161 – 170 of 553
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
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
-
Mark
Matrioska: A Compiler for Multi-key Homomorphic Signatures
Fiore, Dario and Pagnin, Elena LU
(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
The CPS triangle : A suggested framework for evaluating robots in everyday life
Frennert, Susanne LU
(2018)
10th International Conference on Social Robotics, ICSR 2018
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11357 LNAI.
p.369-379
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
Coded-BKW with Sieving
Guo, Qian LU ; Johansson, Thomas LU
; Mårtensson, Erik
LU
and Stankovski, Paul
LU
(2017)
23rd Annual International Conference on the Theory and Applications of Cryptology and Information Security (ASIACRYPT), 2017
In Lecture Notes in Computer Science
10624.
p.323-346
- 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
Introducing programming and digital competence in Swedish K-9 education
Heintz, Fredrik ; Mannila, Linda ; Nordén, Lars Åke ; Parnes, Peter and Regnell, Björn LU
(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
Multicompartment simulations of NMDA receptor based facilitation in an insect target tracking neuron
Bekkouche, Bo LU ; Shoemaker, Patrick A. ; Fabian, Joseph LU ; Rigosi, Elisa LU
; Wiederman, Steven D.
and O’Carroll, David C.
LU
(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