Parallel Systems

1 – 10 of 504

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
2
3
4
…
50
51
next »

2026
Mark Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning
Oertel, Andy ^LU (2026)
- Thesis › Doctoral thesis (compilation)
Mark Sensitivity Lower Bounds for Approximation Algorithms
Fleming, Noah ^LU and Yoshida, Yuichi (2026) 37th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2026 p.4043-4076
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Anders, Markus ; Bogaerts, Bart ; Bogø, Benjamin ; Gontier, Arthur ; Koops, Wietze ^LU ; McCreesh, Ciaran ; Myreen, Magnus O. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU and Rebola-Pardo, Adrian , et al. (2026) 40th AAAI Conference on Artificial Intelligence, AAAI 2026 p.14140-14148
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark General Purpose AI Computing : Opportunities and Challenges
Grahn, Hakan ; Kessler, Christoph ; Gruian, Flavius ^LU ; Janneck, Jorn ^LU ; Borg, Anton ; Ernstsson, August ; Boulasikis, Michail ^LU ; Qummar, Sehrish and Aleskog, Christoffer (2026) In Computer 59(8). p.39-49
- Contribution to specialist publication or newspaper › Specialist publication article
Mark Integrating multi-source feedback in computational design
Erivaldo Fernandes Junior, Francisco ; Langerak, Thomas ; Keranen, Mira ; Shi, Danqing ^LU ; Alipova, Ardak and Oulasvirta, Antti (2026) In ACM Transactions on Interactive Intelligent Systems (TiiS)
- Contribution to journal › Article
Mark Supporting optimization and cross-compilation of dataflow actor networks via an intermediate representation in MLIR
Callanan, Gareth ^LU ; Boulasikis, Michail ^LU and Gruian, Flavius ^LU (2026) In ACM Transactions on Architecture and Code Optimization (TACO)
- Contribution to journal › Article
Mark ETH-Hardness of Learning Monotone Circuits and Approximating Their Size
Cavalar, Bruno ; de Rezende, Susanna F. ^LU ; Gray, Matthew and Santhanam, Rahul (2026) 41st Computational Complexity Conference, CCC 2026 In Leibniz International Proceedings in Informatics, LIPIcs 383.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark On the Algebraic Proof Complexity of Constraint Satisfaction
Conneryd, Jonas ^LU (2026)
- Thesis › Doctoral thesis (compilation)
Mark Lower Bounds for CSP Hierarchies Through Ideal Reduction
Conneryd, Jonas ^LU ; Ghannane, Yassine and Pang, Shuo (2026) 37th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2026 In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms 2026-January. p.6436-6463
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Total search problems in ZPP
Fleming, Noah ^LU ; Grosser, Stefan ; Jain, Sigghartha ; Li, Jiawei ; Ren, Hanlin ; Shirley, Morgan ^LU and Yuan, Weiqiang (2026) In Leibniz International Proceedings in Informatics (LIPIcs) 362. p.1-60
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
…
50
51
next »