61 – 80 of 517
- show: 20
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
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
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
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
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
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
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
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
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
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
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
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