1 – 15 of 518
- show: 15
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
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
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
“Mum Helps Me When the Internet Messes Up…” : Accessibility of eHealth Services for People with Intellectual Disability
2024) 18th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14697 LNCS. p.213-230(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight Security of TNT and Beyond : Attacks, Proofs and Possibilities for the Cascaded LRW Paradigm
2024) 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14651 LNCS. p.249-279(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
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
-
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
PAPR : Publicly Auditable Privacy Revocation for Anonymous Credentials
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
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
(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
A System-Level Brain Model for Enactive Haptic Perception in a Humanoid Robot
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
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
Improved Segmentation of Deep Sulci in Cortical Gray Matter Using a Deep Learning Framework Incorporating Laplace’s Equation
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