Publications | Lund University Publications

81 – 90 of 1773

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=subject+exact+%2210201%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
8
9
10
11
…
178
next »

2024
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 COPDVD : Automated classification of chronic obstructive pulmonary disease on a new collected and evaluated voice dataset
Idrisoglu, Alper ; Dallora, Ana Luiza ; Cheddad, Abbas ; Anderberg, Peter ; Jakobsson, Andreas ^LU and Sanmartin Berglund, Johan (2024) In Artificial Intelligence in Medicine 156.
- Contribution to journal › Article
Mark Software Component Update for IoT Systems
Nordahl, Mattias ^LU ; Åkesson, Alfred ^LU ; Johnsson, Björn A. ^LU ; Hedin, Görel ^LU and Magnusson, Boris ^LU (2024) 11th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2024 p.124-131
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2023
Mark On parallel time in population protocols
Czumaj, Artur and Lingas, Andrzej ^LU (2023) In Information Processing Letters 179.
- Contribution to journal › Article
Mark Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2023) 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023 p.6436-6441
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
Jansson, Jesper ^LU ; Levcopoulos, Christos ^LU and Lingas, Andrzej ^LU (2023) 35th Canadian Conference on Computational
Geometry, CCCG 2023 p.183-189
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, Jonas ^LU ; De Rezende, Susanna F. ^LU ; Nordstrom, Jakob ^LU ; Pang, Shuo and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark An Iterative Ray Tracing Algorithm to Increase Simulation Speed While Maintaining Overall Precision
Autio, Hanna ^LU ; Vardaxis, Nikolaos Georgios ^LU and Bard Hagberg, Delphine ^LU (2023) In Acoustics 5(1). p.320-342
- Contribution to journal › Article
Mark Elements of cognition for general intelligence
Balkenius, Christian ^LU ; Johansson, Birger ^LU and Tjøstheim, Trond A. ^LU (2023) In Lecture Notes in Computer Science 13921. p.11-20
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
…
8
9
10
11
…
178
next »

your query:: Remove subject: Computer Sciences