Department of Computer Science
241 – 250 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Scalable Actor Networks with CAL
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
- Contribution to journal › Article
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
(2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
and Vandesande, Dieter
(2023)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14132 LNAI.
p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
(2023) 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 In Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 p.74-81
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bettan – Industrial robot and application for Finja Exakt build system
(2023) 40th International Symposium on Automation and Robotics in Construction, ISARC 2023 In Proceedings of the International Symposium on Automation and Robotics in Construction p.86-93
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks
Mayr, Matthias LU
; Ahmad, Faseeh
LU
; Duerr, Alexander
LU
and Krueger, Volker
LU
(2023)
19th IEEE International Conference on Automation Science and Engineering, CASE 2023
In IEEE International Conference on Automation Science and Engineering
2023-August.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
eHealth as an Aid for Facilitating and Supporting Self-Management in Families with Long-Term Childhood Illness; Development, Evaluation, and Implementation in Clinical Practice
Kristensson Hallström, Inger LU ; Castor, Charlotte LU ; Hansson, Helena LU ; Holmberg, Robert LU ; Jerene, Degu LU ; Johnsson, Björn A LU
; Kristjánsdóttir, Gudrún
LU
; Kristjánsdóttir, Ólöf
LU
; Magnusson, Boris
LU
and Persson, Magnus C
LU
, et al.
(2023)
In Clinical Health Promotion - Research and Best Practice for patients, staff and community
13(1).
- Contribution to journal › Article
-
Mark
eHealth usage among parents to premature or surgically treated neonates: associations with eHealth literacy, healthcare satisfaction or satisfaction with an eHealth device
Derwig, Mariette LU ; Lindkvist, Rose-Marie LU
; Kristensson Hallström, Inger
LU
; Johnsson, Björn A
LU
and Stenström, Pernilla
LU
(2023)
In BMC Pediatrics
23.
- Contribution to journal › Article
-
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