LTH Profile Area: AI and Digitalization
241 – 250 of 813
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 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
Embedded eigenvalues for asymptotically periodic ODE systems
- Contribution to journal › Article
-
Mark
Inter-Organizational Data Sharing Processes - An Exploratory Analysis of Incentives and Challenges
Malysh, Konstantin LU
; Ahmed, Tanvir
; Linåker, Johan
LU
and Runeson, Per
LU
(2024)
50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024
p.80-87
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LightFF: Lightweight Inference for Forward-Forward Algorithm
Aminifar, Amin ; Huang, Baichuan LU
; Abtahi Fahliani, Azra
LU
and Aminifar, Amir
LU
(2024)
27th European Conference on Artificial Intelligence, ECAI-2024
In Frontiers in Artificial Intelligence and Applications
392.
p.1728-1735
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Feedforward Control : Analysis, Design, Tuning rules, and Implementation
(2024) In De Gruyter Textbook
- Book/Report › Book
-
Mark
Learning an interpretable end-to-end network for real-time acoustic beamforming
Liang, Hao ; Zhou, Guanxing ; Tu, Xiaotong LU
; Jakobsson, Andreas
LU
; Ding, Xinghao
and Huang, Yue
(2024)
In Journal of Sound and Vibration
591.
- Contribution to journal › Article
-
Mark
Minimax dual control with finite-dimensional information state
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding