31 – 40 of 547
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
(Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information
(2023) 23rd International Conference on Computational Science and Its Applications, ICCSA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14111 LNCS. p.624-638
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Post-Quantum Cryptography : 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16–18, 2023, Proceedings
(2023) The 14th International Conference on Post-Quantum Cryptography In Lecture Notes in Computer Science 14154.
- Book/Report › Conference proceeding (editor)
-
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
Robust and Accurate Cylinder Triangulation
(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
(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
(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
(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
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
Certified Core-Guided MaxSAT Solving
(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
