41 – 50 of 550
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Finding Small Complete Subgraphs Efficiently
(2023) 34th International Workshop on Combinatorial Algorithms, IWOCA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13889 LNCS. p.185-196
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Prolog for Scientific Explanation
(2023) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13900 LNAI. p.372-385
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Improved Segmentation of Deep Sulci in Cortical Gray Matter Using a Deep Learning Framework Incorporating Laplace’s Equation
Ravikumar, Sadhana ; Ittyerah, Ranjit ; Lim, Sydney ; Xie, Long ; Das, Sandhitsu ; Khandelwal, Pulkit ; Wisse, Laura E.M. LU
; Bedard, Madigan L.
; Robinson, John L.
and Schuck, Terry
, et al.
(2023)
28th International Conference on Information Processing in Medical Imaging, IPMI 2023
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
13939 LNCS.
p.692-704
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower Bounds for Monotone q-Multilinear Boolean Circuits
(2023) 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13878 LNCS. p.301-312
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust and Accurate Cylinder Triangulation
Gummeson, Anna LU and Oskarsson, Magnus LU
(2023)
23nd Scandinavian Conference on Image Analysis, SCIA 2023
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
13886 LNCS.
p.451-466
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Out-of-Distribution Detection for Adaptive Computer Vision
Kristoffersson Lind, Simon LU ; Triebel, Rudolph ; Nardi, Luigi LU and Krueger, Volker LU
(2023)
23nd Scandinavian Conference on Image Analysis, SCIA 2023
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
13886 LNCS.
p.311-325
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Multi-view Geometry of Parallel Cylinders
Tegler, Erik LU ; Engman, Johanna LU ; Gillsjö, David LU
; Flood, Gabrielle
LU
; Larsson, Viktor
LU
; Oskarsson, Magnus
LU
and Åström, Kalle
LU
(2023)
22nd Scandinavian Conference on Image Analysis, SCIA 2023
In Lecture Notes in Computer Science
13886.
p.482-499
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Systematic Augmentation in HSV Space for Semantic Segmentation of Prostate Biopsies
Winzell, Filip LU ; Arvidsson, Ida LU
; Overgaard, Niels Christian
LU
; Åström, Kalle
LU
; Marginean, Felicia-Elena
LU
; Bjartell, Anders
LU
; Krzyzanowska, Agnieszka
LU
; Simoulis, Athanasios
LU
and Heyden, Anders
LU
(2023)
22nd Scandinavian Conference on Image Analysis, SCIA 2023
In Lecture Notes in Computer Science
13886.
p.293-308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
-
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