71 – 80 of 1729
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Sparse Spatial Shading in Augmented Reality
Olajos, Rikard LU and Doggett, Michael LU
(2024)
19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
1.
p.293-299
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
Runeson, Per LU
; Söderberg, Emma
LU
and Höst, Martin
LU
(2024)
International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024
In ICSE Workshops
p.68-75
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
Yaman, Ilayda LU ; Tian, Guoda LU ; Larsson, Martin LU
; Persson, Patrik
LU
; Sandra, Michiel
LU
; Dürr, Alexander
LU
; Tegler, Erik
LU
; Challa, Nikhil
; Garde, Henrik
LU
and Tufvesson, Fredrik
LU
, et al.
(2024)
2024 IEEE International Conference on Robotics and Automation, ICRA 2024
p.11920-11926
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proof Logging for the Circuit Constraint
(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
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
Towards the exact complexity of realizability for Safety LTL
- 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