Parallel Systems

61 – 70 of 479

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/organization/V1001417?embed=1&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 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
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 Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
Rajan, Krishna ; Hashemi, Soheil ; Karpuzcu, Ulya ; Doggett, Michael ^LU and Reda, Sherief (2020) In Computers and Graphics 87. p.72-79
- Contribution to journal › Article
Mark Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ^LU ; Elffers, Jan ^LU and Nordstrom, Jakob ^LU (2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Photon Mapping Superluminal Particles
Waldemarson, Gustaf ^LU and Doggett, Michael ^LU (2020) Eurographics Eurovis, EGEV 2020
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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 Solving Hard Problems by Protein Folding?
Lingas, Andrzej ^LU (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

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