1 – 100 of 523
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
-
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
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
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
- 2023
-
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
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
Elements of cognition for general intelligence
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements Engineering for Automotive Perception Systems : An Interview Study
2023) 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023 In Lecture Notes in Computer Science 13975 LNCS. p.189-205(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Phase Correction and Noise-to-Noise Denoising of Diffusion Magnetic Resonance Images Using Neural Networks
(
- 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
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 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
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
-
Mark
Preface
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
A Literature Survey of Assertions in Software Testing
2023) 8th International Conference on the Engineering of Computer Based Systems, ECBS 2023 In Lecture Notes in Computer Science 14390.(
- 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
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
-
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
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
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
-
Mark
DeepRecon : Joint 2D Cardiac Segmentation and 3D Volume Reconstruction via a Structure-Specific Generative Method
2022) 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13434 LNCS. p.567-577(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Post-Quantum Cryptography : 13th International Workshop, PQCrypto 2022, Virtual Event, September 28–30, 2022, Proceedings
- Book/Report › Conference proceeding (editor)
-
Mark
Design and Evaluation of Three User Interfaces for Detecting Unmanned Aerial Vehicles Using Virtual Reality
2022) 19th EuroXR International Conference, EuroXR 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13484 LNCS. p.36-49(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2022) 13th International Conference on Post-Quantum Cryptography, PQCrypto 2022 In Lecture Notes in Computer Science 13512 LNCS.(
- Contribution to journal › Debate/Note/Editorial
-
Mark
ERA : Enhanced Rational Activations
2022) 17th European Conference on Computer Vision, ECCV 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13680 LNCS. p.722-738(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Learning Online Multi-sensor Depth Fusion
2022) 17th European Conference on Computer Vision, ECCV 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13692 LNCS. p.87-105(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Early Identification of Invalid Bug Reports in Industrial Settings – A Case Study
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13709 LNCS. p.497-507(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
LMGROUP: A Lightweight Multicast Group Key Management for IoT Networks
2022) The 17th International Conference on Information Security Practice and Experience (ISPEC 2022) In Lecture Notes in Computer Science 13620.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LaMAR: Benchmarking Localization and Mapping for Augmented Reality
2022) 17th European Conference on Computer Vision, ECCV 2022 In Lecture Notes in Computer Science 13667. p.686-704(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Comparison of the Effect of Exposing Users for Height While Being Active Versus Passive in a Virtual Environment - A Pilot Study
2022) 1st International Conference on eXtended Reality, XR SALENTO 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13445 LNCS. p.18-36(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adaptive Inhibition for Optimal Energy Consumption by Animals, Robots and Neurocomputers
2022) 16th International Conference on Simulation of Adaptive Behavior In Lecture Notes in Computer Science 13499. p.103-114(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Semantic Synthesis of Pedestrian Locomotion
2021) 15th Asian Conference on Computer Vision, ACCV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12623 LNCS. p.470-487(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Deep Label Fusion : A 3D End-To-End Hybrid Multi-atlas Segmentation and Deep Learning Pipeline
2021) 27th International Conference on Information Processing in Medical Imaging, IPMI 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12729 LNCS. p.428-439(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
X-Pro : Distributed XDP Proxies Against Botnets of Things
2021) 26th Nordic Conference on Secure IT Systems, NordSec 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13115 LNCS. p.51-71(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
TVnet : Automated Time-Resolved Tracking of the Tricuspid Valve Plane in MRI Long-Axis Cine Images with a Dual-Stage Deep Learning Pipeline
2021) 24th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12906 LNCS. p.567-576(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Transductive Image Segmentation : Self-training and Effect of Uncertainty Estimation
2021) 3rd MICCAI Workshop on Domain Adaptation and Representation Transfer, DART 2021, and the 1st MICCAI Workshop on Affordable Healthcare and AI for Resource Diverse Global Health, FAIR 2021, held in conjunction with 24th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12968 LNCS. p.79-89(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Layout-Agnostic Order-Batching Optimization
2021) 12th International Conference on Computational Logistics, ICCL 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13004 LNCS. p.115-129(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ensemble of Deep Convolutional Neural Networks with Monte Carlo Dropout Sampling for Automated Image Segmentation Quality Control and Robust Deep Learning Using Small Datasets
2021) 25th Annual Conference on Medical Image Understanding and Analysis, MIUA 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12722 LNCS. p.280-293(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Unfolding the Medial Temporal Lobe Cortex to Characterize Neurodegeneration Due to Alzheimer’s Disease Pathology Using Ex vivo Imaging
2021) 4th International Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2021 held in Conjunction with 24th International Conference on Medical Imaging Computing and Computer-Assisted Intervention, MICCAI 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13001 LNCS. p.3-12(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Faster Dual Lattice Attacks for Solving LWE with Applications to CRYSTALS
2021) 27th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2021 In Lecture Notes in Computer Science 13093. p.33-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Grain-128AEADv2: Strengthening the Initialization Against Key Reconstruction
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Online Representations of Older People Generated by Public Sector Organizations
2021) 7th International Conference on Human Aspects of IT for the Aged Population, ITAP 2021, held as part of the 23rd International Conference, HCI International 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12786 LNCS. p.459-470(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bayesian Optimization with a Prior for the Optimum
2021) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12977 LNAI. p.265-296(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LOVE a Pairing
2021) 7th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2021 In Lecture Notes in Computer Science 12912. p.320-340(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
2021) 12th International Conference on Algorithms and Complexity (CIAC 2021) In Lecture Notes in Computer science 12701. p.314-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
A Recommender System for User-Specific Vulnerability Scoring
2020) 14th International Conference on Risk and Security of Internet and Systems, CRISIS 2019 In Lecture Notes in Computer Science 12026. p.355-364(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Collaboration in Open Government Data Ecosystems: Open Cross-sector Sharing and Co-development of Data and Software
2020) 19th IFIP WG 8.5 International Conference, EGOV 2020 In Lecture notes in computer science 12219. p.290-303(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
2020) 25th European Symposium on Research in Computer Security, ESORICS 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12308 LNCS. p.677-697(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure generalized deduplication via multi-key revealing encryption
2020) 12th International Conference on Security and Cryptography for Networks, SCN 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12238 LNCS. p.298-318(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Future climate resilience through informed decision making in retrofitting projects
2020) 20th International Conference on Computational Science and Its Applications, ICCSA 2020 In Lecture Notes in Computer Science 12251 LNCS. p.352-364(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Far from success – Far from feedback acceptance? The influence of game performance on young students’ willingness to accept critical constructive feedback during play
2020) 21st International Conference on Artificial Intelligence in Education, AIED 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12163 LNAI. p.537-548(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Identification and citation of digital research resources
2020) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12003. p.162-175(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using augmented reality to train flow patterns for pilot students - An explorative study
2020) 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12242. p.215-231(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Supporting cross-domain system-level environmental and earth science
2020) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12003. p.3-16(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival
2020) 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12012 LNCS. p.175-190(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Where is search in Information Literacy : A Theoretical Note on Infrastructure and Community of Practice
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Educating for democracy? : The role of media and information literacy education for pupils in Swedish compulsory school
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automated CPE Labeling of CVE Summaries with Machine Learning
2020) 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12223 LNCS. p.3-22(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A key-recovery timing attack on post-quantum primitives using the Fujisaki-Okamoto transformation and its application on FrodoKEM
2020) 40th Annual International Cryptology Conference, CRYPTO 2020 In Lecture Notes in Computer Science 12171. p.359-386(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Accurate Optimization of Weighted Nuclear Norm for Non-Rigid Structure from Motion
2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12372 LNCS. p.21-37(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A New Decryption Failure Attack Against HQC
2020) 26th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2020 In Lecture Notes in Computer Science 12491. p.353-382(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Single Tweakey Cryptanalysis of Reduced-Round SKINNY-64
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enforcing the General Planar Motion Model : Bundle Adjustment for Planar Scenes
2020) 8th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11996 LNCS. p.119-135(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Persuasive Argumentation and Epistemic Attitudes
2020) 2nd International Workshop on Dynamic Logic, DALI 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12005 LNCS. p.104-123(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2020) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12003.(
- Chapter in Book/Report/Conference proceeding › Foreword/Postscript
-
Mark
Efficient Radial Distortion Correction for Planar Motion
2020) 9th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12594 LNCS. p.46-63(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Internet Use and Loneliness Among Older Adults : The Moderating Role of Self-perceptions of Ageing
2020) 6th International Conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12209 LNCS. p.364-381(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design and Usability of an E-Health Mobile Application
2020) 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12202 LNCS. p.314-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving Hard Problems by Protein Folding?
2020) 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12494 LNCS. p.36-41(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simplified and Improved Separations Between Regular and General Resolution by Lifting
2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Making the BKW Algorithm Practical for LWE
2020) International Conference on Cryptology in India - INDOCRYPT 2020 In Lecture Notes in Computer Science 12578. p.417-439(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using academic work places to involve older people in the design of digital applications : presentation of a methodological framework to advance co-design in later life
2020) 6th International Conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12207 LNCS. p.45-58(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Technology development with older people : the role of “unfettered design”
2020) 6th International Conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12207 LNCS. p.18-33(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Online invariance selection for local feature descriptors
2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science 12347. p.707-724(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Infrastructure-based multi-camera calibration using radial projections
2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science 12361. p.327-344(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Privacy preserving structure-from-motion
2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science 12346. p.333-350(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Handcrafted outlier detection revisited
2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science 12364. p.770-787(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Calibration-free structure-from-motion with calibrated radial trifocal tensors
2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science 12350. p.382-399(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Homography-based Egomotion Estimation Using Gravity and SIFT Features
2020) 15th Asian Conference on Computer Vision, ACCV 2020 In Lecture Notes in Computer Science 12622. p.278-294(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2019
-
Mark
Decryption Failure Attacks on IND-CCA Secure Lattice-Based Schemes
2019) 22nd edition of the International Conference on Practice and Theory of Public Key Cryptography (PKC), 2019 In Lecture Notes in Computer Science 11443. p.565-598(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Stochastic Analysis of Time-Difference and Doppler Estimates for Audio Signals
2019) 7th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11351 LNCS. p.116-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design and Evaluation of Three Interaction Models for Manipulating Internet of Things (IoT) Devices in Virtual Reality
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding