Publications | Lund University Publications

61 – 70 of 476

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=department+exact+V1001417&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
6
7
8
9
…
48
next »

2020
Mark Trade-offs between size and degree in polynomial calculus
Lagarde, Guillaume ; Nordström, Jakob ^LU ; Sokolov, Dmitry ^LU and Swernofsky, Joseph (2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Computing the boolean product of two n × n boolean matrices using o(N²) mechanical operations
Lingas, Andrzej ^LU and Persson, Mia ^LU (2020) In International Journal of Unconventional Computing 15(3). p.225-236
- Contribution to journal › Article
Mark Using Resolution Proofs to Analyse CDCL Solvers
Kokkala, Janne I. ^LU and Nordström, Jakob ^LU (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
Say, Buser ; Devriendt, Jo ^LU ; Nordström, Jakob ^LU and Stuckey, Peter J. (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
Gocht, Stephan ^LU ; McBride, Ross ; McCreesh, Ciaran ; Nordström, Jakob ^LU ; Prosser, Patrick and Trimble, James (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 Graphs with equal domination and covering numbers
Lingas, Andrzej ^LU ; Miotk, Mateusz ; Topp, Jerzy and Żyliński, Paweł (2020) In Journal of Combinatorial Optimization 39(1). p.55-71
- Contribution to journal › Article
Mark A framework to generate domain-specific manycore architectures from dataflow programs
Savas, Süleyman ^LU ; Ul-Abdin, Zain and Nordström, Tomas (2020) In Microprocessors and Microsystems 72.
- Contribution to journal › Article
Mark Crystal centering using deep learning in X-ray crystallography
Schurmann, Jonathan ; Lindhe, Isaak ^LU ; Janneck, Jorn W. ^LU ; Lima, Gustavo ^LU and Matej, Zdenek ^LU (2020) 53rd Asilomar Conference on Circuits, Systems and Computers, ACSSC 2019 p.978-983
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
Lingas, Andrzej ^LU (2020) In Theoretical Computer Science 820. p.17-25
- Contribution to journal › Article
Mark Multivariate Analysis of Orthogonal Range Searching and Graph Distances
Bringmann, Karl ; Husfeldt, Thore ^LU and Magnusson, Måns (2020) In Algorithmica 82(8). p.2292-2315
- Contribution to journal › Article

« previous
1
…
6
7
8
9
…
48
next »

your query:: Remove department: Parallel Systems