16 – 30 of 518
- show: 15
- |
- 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
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
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
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
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
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
- 2022
-
Mark
Post-Quantum Cryptography : 13th International Workshop, PQCrypto 2022, Virtual Event, September 28–30, 2022, Proceedings
- Book/Report › Conference proceeding (editor)
-
Mark
A/B Testing in the Small
2022) 23:rd International Conference on Product-Focused Software Process Improvement, PROFES In Lecture Notes in Computer Science 13709. p.449-463(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near Failure Analysis Using Dynamic Behavioural Data
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science 13709. p.171-178(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Count Me In! Extendability for Threshold Ring Signatures
2022) 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, PKC 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13178. p.379-406(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Progressive and efficient verification for digital signatures
2022) 20th International Conference on Applied Cryptography and Network Security, ACNS 2022 In Lecture Notes in Computer Science 13269. p.440-458(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Output-Sensitive Algorithm for All-Pairs Shortest Paths in Directed Acyclic Graphs
2022) 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13179 LNCS. p.140-151(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding