1 – 250 of 518
- show: 250
- |
- 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
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
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
- 2023
-
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
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
Elements of cognition for general intelligence
(
- 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
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
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
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
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
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
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
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
-
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
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
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
-
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
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
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
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
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
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
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
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
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
- 2021
-
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
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
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
-
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
A Novel Joint Points and Silhouette-Based Method to Estimate 3D Human Pose and Shape
(
- 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
Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study
(
- 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
Development of a Survey Instrument to Explore Telehealth Adoption in the Healthcare Domain
2021) Thematic Area, HIMI 2021(
Held as Part of the 23rd HCI International Conference, HCII 2021 In Lecture Notes in Computer Science 12766. p.208-225- 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
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
- 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
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
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
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
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
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
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
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
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
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
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
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
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
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
The Adoption of Mobile Technologies in Healthcare: The Perceptions of Healthcare Professionals Regarding Knowledge Management Practices in Developing Countries
2020) 22nd HCI International Conference, HCII 2020 In Lecture Notes in Computer Science 12427. p.68-76(
- 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
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
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
Single Tweakey Cryptanalysis of Reduced-Round SKINNY-64
(
- 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
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
-
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
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
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
- 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
Pushing the Online Matrix-Vector Conjecture Off-Line and Identifying Its Easy Cases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Parametric Model-Based 3D Human Shape and Pose Estimation from Multiple Views
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.336-347(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Merging of Maps and Detection of Changes
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.348-360(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Global Trifocal Adjustment
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.287-298(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating Diffusion MRI Scalar Maps from T1 Weighted Images Using Generative Adversarial Networks
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.489-498(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Combining Depth Fusion and Photometric Stereo for Fine-Detailed 3D Models
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.261-274(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Hardware Implementations of Grain-128AEAD
2019) 20th International Conference on Cryptology in India, INDOCRYPT 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11898 LNCS. p.495-513(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Deep Learning Approach to MR-less Spatial Normalization for Tau PET Images
2019) 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11765 LNCS. p.355-363(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A novel CCA attack using decryption errors against LAC
2019) 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11921 LNCS. p.82-111(
- 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
-
Mark
Using VR for Fitness Training – Pilot Study
2019) 16th EuroVR International Conference, EuroVR 2019(
In Lecture Notes in Computer Scence 11883. p.97-115- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Two-Way Gaze Sharing in Remote Teaching
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
(2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science 11651.
- Book/Report › Book
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651. p.322-334(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Simplest Multi-key Linearly Homomorphic Signature Scheme
2019) 6th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2019 In Lecture Notes in Computer Science 11774. p.280-300(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Odometry for Indoor Mobile Robot by Recognizing Local Manhattan Structures
2019) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture Notes in Computer Science 11365.(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Methodological strategies to understand smartphone practices for social connectedness in later life
2019) 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCI International 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11593 LNCS. p.46-64(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
QREME – Quality requirements management model for supporting decision-making
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.173-188(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practical Attacks on Relational Databases Protected via Searchable Encryption
2018) 21st Information Security Conference, ISC 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11060 LNCS. p.171-191(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An exploratory study on how Internet of Things developing companies handle User Experience Requirements
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.20-36(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Fiat-Shamir Zoo : Relating the Security of Different Signature Variants
2018) 23rd Nordic Conference on Secure IT Systems, NordSec 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11252 LNCS. p.154-170(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Iterative High Resolution Tomography from Combined High-Low Resolution Sinogram Pairs
2018) 19th International Workshop on Combinatorial Image Analysis, IWCIA 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11255 LNCS. p.150-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adaptive interface for mapping body movements to sounds
2018) 7th International Conference on Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10783 LNCS. p.194-205(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A projected gradient descent method for crf inference allowing end-to-end training of arbitrary pairwise potentials
2018) 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMVCPR 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10746 LNCS. p.564-579(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design for me?
2018) 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10896 LNCS. p.93-99(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A taxonomy of deviant encodings
2018) 14th Conference on Computability in Europe, CiE 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10936 LNCS. p.338-348(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trust Anchors in Software Defined Networks
2018) European Symposium on Research in Computer Security In Lecture Notes in Computer Science 11009. p.485-505(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Teaching without learning : Is it OK With weak AI?
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10948 LNAI. p.241-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do preschoolers ‘Game the system’? : a case study of children’s intelligent (Mis)use of a teachable agent based play-&-learn game in mathematics
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.557-569(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perseverance Is crucial for learning. “OK! but Can I take a break?”
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.532-544(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Matrioska: A Compiler for Multi-key Homomorphic Signatures
2018) 11th International Conference on Security and Cryptography for Networks, SNC 2018 In Lecture Notes in Computer Science 11035. p.43-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rectification from radially-distorted scales
2018) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture notes in computer science (LNCS) 11365. p.36-52(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fading characterization of 73 GHz millimeter-wave V2V channel based on real measurements
2018) 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10796. p.159-168(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
Argument-Based Bayesian Estimation of Attack Graphs : A Preliminary Empirical Analysis
2017) 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10621 LNAI. p.523-532(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multicompartment simulations of NMDA receptor based facilitation in an insect target tracking neuron
2017) 26th International Conference on Artificial Neural Networks, ICANN 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10613 LNCS. p.397-404(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Publishing E-RDF linked data for many agents by single third-party server
2017) 7th Joint International Conference on Semantic Technology, JIST 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10675 LNCS. p.151-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A secure group-based AKA protocol for machine-type communications
2017) 19th International Conference on Information Security and Cryptology, ICISC 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10157 LNCS. p.3-27(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Introducing programming and digital competence in Swedish K-9 education
2017) 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10696 LNCS. p.117-128(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The altruistic robot : Do what i want, not just what i say
2017) 11th International Conference on Scalable Uncertainty Management, SUM 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10564 LNAI. p.149-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CNFgen : A generator of crafted benchmarks
2017) 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 In Lecture Notes in Computer Science 10491. p.464-473(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Grey Matter Segmentation in Spinal Cord MRIs via 3D Convolutional Encoder Networks with Shortcut Connections
2017) In Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support 10553. p.330-337(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conditional Cube Attack on Reduced-Round Keccak Sponge Function
2017) 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017 In Lecture Notes in Computer Science 10211.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Transferring and compressing convolutional neural networks for face representations
2016) 13th International Conference on Image Analysis and Recognition, ICIAR 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9730. p.20-29(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Uncovering symmetries in polynomial systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breast Imaging. : 13th International Workshop, IWDM 2016 Malmö, Sweden, June 19-22, 2016, Proceedings
(2016) 13th International Workshop on Breast Imaging, IWDM 2016 In Lecture Notes in Computer Science 9699.
- Book/Report › Conference proceeding (editor)
-
Mark
Accurate and versatile automation of industrial kitting operations with SkiROS
2016) 17th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2016 In Lecture Notes in Computer Science 9717. p.255-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Brain tumor segmentation using a generative model with an RBM prior on tumor shape
2016) 1st International Workshop on Brainlesion, Brainles 2015 Held in Conjunction with International Conference on Medical Image Computing for Computer-Assisted Intervention, MICCAI 2015 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9556. p.168-180(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2015
-
Mark
The Relationship Between Working Memory Capacity and Students' Behaviour in a Teachable Agent-Based Software
2015) The 17th International Conferenece on Artificial Intelligence in Education (AIED 2015) In Lecture Notes in Computer Science 9112. p.670-673(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Usage of Finance Information Systems in Developing Countries: Identifying Factors During Implementation that Impact Use
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
No Child Behind nor Singled Out? - Adaptive Instruction Combined with Inclusive Pedagogy in Early Math Software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Bayesian Network for Probabilistic Reasoning and Imputation of Missing Risk Factors in Type 2 Diabetes
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Learning Companions to Testing Companions Experience with a Teachable Agent Motivates Students' Performance on Summative Tests
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Cryptography and Obfuscation: A Use-Case for Decrypting and Deobfuscating Information using Augmented Reality
2015) 1st Workshop on Wearable Security and Privacy, Financial Crypto In Lecture Notes in Computer Science 8976. p.261-273(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Spotting Trees with Few Leaves
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Envelopes for Low Rank Approximation
2015) 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR), 2015 8932. p.1-14(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Regularizing Image Intensity Transformations Using the Wasserstein Metric
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Minimal Solution to Relative Pose with Unknown Focal Length and Radial Distortion
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Democratic Tone Mapping Using Optimal K-means Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Virtual Blindness - A Choice Blindness Experiment with a Virtual Experimenter
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Left and Right Atrial Contribution to the P-wave in Realistic Computational Models
2015) 8th International Conference on Functional Imaging and Modeling of the Heart(FIMH) 9126. p.439-447(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems
2015) The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) 9134. p.231-242(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bayesian Formulation of Gradient Orientation Matching
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing at School in Sweden - Experiences from Introducing Computer Science within Existing Subjects
2015) 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives 9378. p.118-130(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coded-BKW: Solving LWE Using Lattice Codes.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Sociolinguistic Inspired Features for Gender Classification of Web Authors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computer vision systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
(2015) 10th International Conference on Computer Vision Systems, ICVS 2015 In Lecture Notes in Computer Science 9163.
- Book/Report › Conference proceeding (editor)
-
Mark
Comparative evaluation of 3D pose estimation of industrial objects in RGB pointclouds
2015) 10th International Conference on Computer Vision Systems, ICVS 2015 In Lecture Notes in Computer Science 9163. p.329-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Steps towards a Challenging Teachable Agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Colinet, Margot ; Katrenko, Sophia and Rendsvig, Rasmus Kraemmer LU (2014) In Lecture Notes in Computer Science 8607.
- Book/Report › Anthology (editor)
-
Mark
Fast Witness Extraction using a Decision Oracle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rank Minimization with Structured Data Patterns
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clearing Connections by Few Agents
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortest Two Disjoint Paths in Polynomial Time
2014) Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014 8572. p.211-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Introducing a challenging teachable agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2014) 8607.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Ascribed Gender and Characteristics of a Visually Androgynous Teachable Agent.
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Minimal Solvers for Unsynchronized TDOA Sensor Network Calibration
2014) 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS 2013) p.95-110(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving LPN Using Covering Codes
2014) 20th Annual International Conference on the Theory and Application of Cryptology and Information Security (Asiacrypt) 8873. p.1-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simple Iterative Heuristics for Correlation Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Listing Triangles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tractable and Reliable Registration of 2D Point Sets
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A coalgebraic view of characteristic formulas in equational modal fixed point logic
2014) LNCS 8446.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On infrastructure for facilitation of inner source in small development teams
2014) The 15th International Conference of Product Focused Software Development and Process Improvement (Profes) 8892. p.149-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Measurement tensors in diffusion MRI: generalizing the concept of diffusion encoding
(
- Contribution to journal › Article
-
Mark
Classical conditioning in social robots
2014) 6th International Conference on Social Robotics, ICSR 2014 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8755. p.279-289(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Communicating unknown objects to robots through pointing gestures
2014) 15th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2014 In Lecture Notes in Computer Science 8717. p.209-220(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the Leakage of Information in Biometric Authentication
2014) 15th International Conference on Cryptology in India, INDOCRYPT 2014 In Lecture Notes in Computer Science 8885. p.265-280(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Long Proofs of (Seemingly) Simple Formulas
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A (biased) proof complexity survey for SAT practitioners
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Detecting and Counting Small Pattern Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A two-tiered formalization of social influence
(
- Contribution to journal › Article
-
Mark
Older People´s Involvement in the Development of a Social Assistive Robot
(
- Contribution to journal › Letter
-
Mark
Circular Higher-order Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improved Object Detection and Pose Using Part-Based Models
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CopyMe3D: Scanning and Printing Persons in 3D
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in Flexible Safety-Critical Software Development -- An Industrial Qualitative Survey
2013) Product-Focused Software Process Improvement. 14th International Conference, PROFES 2013 7983. p.283-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simultaneous Fusion Moves for 3D-label Stereo
2013) Energy Minimization Methods in Computer Vision and Pattern Recognition, 9th International Conference, EMMCVPR 2013 Lund, Sweden, August 19-21, 2013 8081. p.80-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simultaneous Multiple Rotation Averaging using Lagrangian Duality
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Structure from Motion Estimation with Positional Cues
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risk Identification on the Interface Between Business Case and Requirements
2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.253-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Interpreting Robot Pointing Behavior
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast and accurate unknown object segmentation for robotic systems
2013) 9th International Symposium on Advances in Visual Computing, ISVC 2013 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8034 LNCS(PART 2). p.318-327(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards an understanding of polynomial calculus : New separations and lower bounds (extended abstract)
2013) 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 In Lecture Notes in Computer Science 7965(PART 1). p.437-448(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
Modeling the Effects of Project Management Strategies on Long-Term Product Knowledge
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Extracting Data from WSNs: A Service-Oriented Approach
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Numerically Stable Optimization of Polynomial Solvers for Minimal Problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tighter Relaxations for Higher-Order Models based on Generalized Roof Duality
2012) ECCV 2012 Workshop on Higher-Order Models and Global Constraints in Computer Vision 7585. p.273-282(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exact and approximation algorithms for geometric and capacitated set cover problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Covariance Propagation and Next Best View Planning for 3D Reconstruction
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust Fitting for Multiple View Geometry
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Drawing Planar Graphs on Points Inside a Polygon
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fostering and Sustaining Innovation in a Fast Growing Agile Company
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Advances in Cryptology--EUROCRYPT 2012: 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques
- Book/Report › Anthology (editor)
-
Mark
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A new version of McEliece PKC based on convolutional codes
2012) International Conference on Information and Communications Security In Lecture Notes in Computer Science 7618. p.461-470(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On The Distribution of Linear Biases: Three Instructive Examples
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Some instant- and practical-time related-key attacks on KTANTAN32/48/64
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Flow Counting Using Realboosted Multi-sized Window Detectors
2012) 3rd IEEE International Workshop on Analysis and Retrieval of Tracked Events and Motion in Imagery Streams (ARTEMIS 2012) In Lecture notes in computer science 7585. p.193-202(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Transparent neural networks : integrating concept formation and reasoning
2012) 5th International Conference on Artificial General Intelligence In Lecture Notes in Computer Science 7716. p.302-311(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
PQL: A Purely-Declarative Java Extension for Parallel Programming
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Java wildcards meet definition-site variance
2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Relating proof complexity measures and practical hardness of SAT
2012) 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 In Lecture Notes in Computer Science 7514. p.316-331(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guiding Tourists through Haptic Interaction: Vibration Feedback in the Lund Time Machine
2012) Haptics: Perception, Devices, Mobility, and Communication 8th International Conference, EuroHaptics 2012 7283. p.157-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2011
-
Mark
Service Orienting the Swedish Vaccination Recommendation Activity with the Business Rules Centric Digital Service VacSam
2011) Sixth International Conference on Design Science Research in Information Systems and Technology 6629. p.376-386(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Stable Structure from Motion for Unordered Image Collections
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimal View Path Planning for Visual SLAM
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Harnessing Handheld Computing – Managing IS Support to the Digital Ranger with Defensive Design
2011) International Conference on Design Science in Information Systems and Technology 6629. p.62-76(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Technique for Remote Detection of Certain Virtual Machine Monitors
2011) The Third International Conference on Trusted Systems, INTRUST 2011 In Lecture Notes in Computer Science 7222. p.129-137(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Approximation algorithms for buy-at-bulk geometric network design
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic Compartment Modelling and Segmentation for Dynamical Renal Scintigraphies
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Automated System for the Detection and Diagnosis of Kidney Lesions in Children from Scintigraphy Images
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scaling up requirements engineering - exploring the challenges of increasing size and complexity in market-driven software development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimization for Multi-Region Segmentation of Cardiac MRI
2011) MICCAI Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 2011 7085. p.129-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimizing Visual Vocabularies Using Soft Assignment Entropies
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Usage of Open Source in Commercial Software Product Development - Findings from a Focus Group Meeting
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Triangulating a Plane
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Comparative Evaluation of JavaScript Execution Behavior
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Metacompiling OWL Ontologies
2011) SLE'11: 4th International Conference on Software Language Engineering In Lecture Notes in Computer Science 6940. p.354-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On equivalence classes of Boolean functions
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A note on fast algebraic attacks and higher order nonlinearities
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A comparative evaluation of JavaScript execution behavior
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On minimal unsatisfiability and time-space trade-offs for k-DNF resolution
2011) 38th International Colloquium on Automata, Languages and Programming, ICALP 2011 In Lecture Notes in Computer Science 6755(PART 1). p.642-653(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding