71 – 80 of 476
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Crystal centering using deep learning in X-ray crystallography
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
- Contribution to journal › Article
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
- Contribution to journal › Article
-
Mark
Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
- 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
- 2019
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
(2019) 13th International Symposium on Parameterized and Exact Computation (IPEC 2018). In LIPIcs 115. p.1-13
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On a Fire Fighter’s Problem
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
- Contribution to journal › Article
-
Mark
The approximability of maximum rooted triplets consistency with fan triplets and forbidden triplets
- Contribution to journal › Article
-
Mark
Clearing directed subgraphs by mobile agents : Variations on covering with paths
- Contribution to journal › Article
