Publications | Lund University Publications

1 – 10 of 519

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=issn+exact+%221611-3349%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
3
4
…
51
52
next »

2024
Mark Proof Logging for the Circuit Constraint
McIlree, Matthew J. ; McCreesh, Ciaran and Nordström, Jakob ^LU (2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
Hoen, Alexander ; Oertel, Andy ^LU ; Gleixner, Ambros and Nordström, Jakob ^LU (2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified MaxSAT Preprocessing
Ihalainen, Hannes ; Oertel, Andy ^LU ; Tan, Yong Kiam ; Berg, Jeremias ; Järvisalo, Matti ; Myreen, Magnus O. and Nordström, Jakob ^LU (2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark “Mum Helps Me When the Internet Messes Up…” : Accessibility of eHealth Services for People with Intellectual Disability
Normand, Claude L. ; Gustavsson, Catharina ; Alfredsson Ågren, Kristin ; Heitplatz, Vanessa N. ; Chadwick, Darren D. and Johansson, Stefan ^LU (2024) 18th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14697 LNCS. p.213-230
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark FuseRank (Demo) : Filtered Vector Search in Multimodal Structured Data
Paraschakis, Dimitris ^LU ; Ros, Rasmus ^LU ; Borg, Markus ^LU and Runeson, Per ^LU (2024) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14948. p.404-408
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Tight Security of TNT and Beyond : Attacks, Proofs and Possibilities for the Cascaded LRW Paradigm
Jha, Ashwin ; Khairallah, Mustafa ^LU ; Nandi, Mridul and Saha, Abishanka (2024) 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14651 LNCS. p.249-279
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
Kahraman, Ali Teymur ; Fröding, Tomas ; Toumpanakis, Dimitrios ; Fridenfalk, Mikael ; Gustafsson, Christian Jamtheim ^LU and Sjöblom, Tobias (2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2023
Mark Non-negative Spherical Relaxations for Universe-Free Multi-matching and Clustering
Thunberg, Johan ^LU and Bernard, Florian (2023) 23nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science 13886. p.260-277
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Lower Bounds for Monotone q-Multilinear Boolean Circuits
Lingas, Andrzej ^LU (2023) 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13878 LNCS. p.301-312
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Robust and Accurate Cylinder Triangulation
Gummeson, Anna ^LU and Oskarsson, Magnus ^LU (2023) 23nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13886 LNCS. p.451-466
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
…
51
52
next »

your query:: Remove issn: 1611-3349