Publications | Lund University Publications

61 – 70 of 1762

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

« previous
1
…
6
7
8
9
…
177
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 Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ^LU ; Oertel, Andy ^LU ; Paxian, Tobias and Vandesande, Dieter (2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU and Sidorov, Konstantin (2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Heander, Lo ^LU ; Söderberg, Emma ^LU and Rydenfält, Christofer ^LU (2024) 10th Edition of the Programming Experience Workshop, PX/24 p.57-67
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Artificial Intelligence, Datafication and Exploring the Minimum Content of Nationality
Tucker, Jason Edward ^LU (2024) In Statelessness and Citizenship Review 6(1). p.124-129
- Contribution to journal › Article
Mark Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
Rizwan, Momina ^LU (2024) In Licentiate thesis 2024(1).
- Thesis › Licentiate thesis
Mark Navigating the upcoming European Union AI act
Wagner, Matthias ^LU ; Borg, Markus ^LU and Runeson, Per ^LU (2024) In IEEE Software 41(1). p.19-24
- Contribution to journal › Article
Mark Automotive fault nowcasting with machine learning and natural language processing
Pavlopoulos, John ; Romell, Alv ; Curman, Jacob ; Steinert, Olof ; Lindgren, Tony ; Borg, Markus ^LU and Randl, Korbinian (2024) In Machine Learning 113(2). p.843-861
- Contribution to journal › Article
Mark Automated Log Message Embeddings
Murphy, Adrian ; Larsson, Daniel ; Söderlund, Fanny ; Angelsmark, Ola and Eker, Johan ^LU (2024) 11th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2024 p.192-197
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
…
6
7
8
9
…
177
next »

your query:: Remove subject: Computer Sciences