51 – 60 of 476
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
- Contribution to journal › Article
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
- 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
Path Verification for Dynamic Indirect Illumination
(2021)
- Book/Report › Report
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
- Contribution to journal › Article
- 2020
-
Mark
Computing the boolean product of two n × n boolean matrices using o(N2) mechanical operations
- Contribution to journal › Article
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
(2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
- Contribution to journal › Article
-
Mark
Crystal centering using deep learning in X-ray crystallography
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
- Contribution to journal › Article
