41 – 50 of 549
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
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
PAPR : Publicly Auditable Privacy Revocation for Anonymous Credentials
Brorsson, Joakim LU
; David, Bernardo
; Gentile, Lorenzo
; Pagnin, Elena
LU
and Wagner, Paul Stankovski
LU
(2023)
Cryptographers’ Track at the RSA Conference, CT-RSA 2023
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
13871 LNCS.
p.163-190
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Varied Realistic Autonomous Vehicle Collision Scenario Generation
(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.354-372
- 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
Preface
Johansson, Thomas LU
and Smith-Tone, Daniel
(2023)
Post-Quantum Cryptography - 14th International Workshop, PQCrypto 2023, Proceedings
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14154 LNCS.
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
The Case for a Broader Approach to e-Participation Research: Hybridity, Isolation and System Orientation
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A System-Level Brain Model for Enactive Haptic Perception in a Humanoid Robot
Ingvarsdóttir, Kristín Ósk LU ; Johansson, Birger LU
; Tjøstheim, Trond A.
LU
and Balkenius, Christian
LU
(2023)
The 32nd International Conference on Artificial Neural Networks (ICANN 2023)
In Lecture Notes in Computer Science
14254.
p.432-443
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Non-negative Spherical Relaxations for Universe-Free Multi-matching and Clustering
(2023) 23nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science 13886. p.260-277
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
Preface
Cheon, Jung Hee and Johansson, Thomas LU
(2022)
13th International Conference on Post-Quantum Cryptography, PQCrypto 2022
In Lecture Notes in Computer Science
13512 LNCS.
- Contribution to journal › Debate/Note/Editorial