Parallel Systems
1 – 10 of 435
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
(2022)
- Thesis › Doctoral thesis (compilation)
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
Moreau, Pierre LU
(2022)
- Thesis › Doctoral thesis (compilation)
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
Moreau, Pierre LU
and Doggett, Michael
LU
(2022)
17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022
1.
p.39-48
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
Gasieniec, Leszek ; Jansson, Jesper LU and Levcopoulos, Christos LU
(2021)
In Journal of Computer and System Sciences
120.
p.177-178
- Contribution to journal › Article
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
Gasieniec, Leszek ; Jansson, Jesper LU ; Levcopoulos, Christos LU
; Lingas, Andrzej
LU
and Persson, Mia
LU
(2021)
In Journal of Computer and System Sciences
118.
p.108-118
- Contribution to journal › Article
-
Mark
Proof complexity and SAT solving
(2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
Zhang, Cheng ; Dong, Zhao ; Doggett, Michael LU
and Zhao, Shuang
(2021)
In ACM Transactions on Graphics
40(4).
p.1-1
- Contribution to journal › Article
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
De Rezende, Susanna F. LU
; Meir, Or
; Nordström, Jakob
LU
and Robere, Robert
(2021)
In Computational Complexity
30(1).
- Contribution to journal › Article
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
(2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
- Contribution to journal › Article