Zeitschriftenartikel (142)
21.
Zeitschriftenartikel
36 (4), 50, S. 1 - 12 (2017)
Saccade Landing Position Prediction for Gaze-Contingent Rendering. ACM Transactions on Graphics 22.
Zeitschriftenartikel
163 (1-2), S. 445 - 469 (2017)
Truthful Mechanism Design via Correlated Tree Rounding. Mathematical Programming / A 23.
Zeitschriftenartikel
37 (3), S. 34 - 42 (2017)
FabSquare: Fabricating Photopolymer Objects by Mold 3D Printing and UV Curing. IEEE Computer Graphics and Applications 24.
Zeitschriftenartikel
36 (4), 124, S. 1 - 15 (2017)
Color Contoning for 3D Printing. ACM Transactions on Graphics 25.
Zeitschriftenartikel
64 (3), S. 295 - 300 (2017)
Therapeutic Immune Recovery and Reduction of CXCR4-Tropic HIV-1. Clinical Infectious Diseases 26.
Zeitschriftenartikel
262, S. 15 - 22 (2017)
Language and Proofs for Higher-Order SMT (Work in Progress). Electronic Proceedings in Theoretical Computer Science 27.
Zeitschriftenartikel
81, S. 41 - 68 (2017)
Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. Journal of Symbolic Computation 28.
Zeitschriftenartikel
3, 6, S. 1 - 8 (2017)
On the Performance of De Novo Pathway Enrichment. njp Systems Biology and Applications 29.
Zeitschriftenartikel
30 (4), S. 293 - 306 (2017)
Simple Dynamics for Plurality Consensus. Distributed Computing 30.
Zeitschriftenartikel
33 (18), S. 2968 - 2968 (2017)
ISCB’s Initial Reaction to The New England Journal of Medicine Editorial on Data Sharing. Bioinformatics 31.
Zeitschriftenartikel
Abstract Soundness. Archive of Formal Proofs, S. 1 - 15 (2017)
32.
Zeitschriftenartikel
58 (1), S. 149 - 179 (2017)
Soundness and Completeness Proofs by Coinductive Methods. Journal of Automated Reasoning 33.
Zeitschriftenartikel
34 (Revision 1), S. 1 - 30 (2017)
On Algebraic Branching Programs of Small Width. Electronic Colloquium on Computational Complexity (ECCC): Report Series 34.
Zeitschriftenartikel
27 (1/2), S. 85 - 119 (2017)
Improved Approximation for Fréchet Distance on c-packed Curves Matching Conditional Lower Bounds. International Journal of Computational Geometry and Applications 35.
Zeitschriftenartikel
79 (2), S. 484 - 508 (2017)
Efficient Sampling Methods for Discrete Distributions. Algorithmica 36.
Zeitschriftenartikel
8, 872 (2017)
Bypassing the Kohn-Sham Equations with Machine Learning. Nature Communications 37.
Zeitschriftenartikel
51 (3), S. 433 - 461 (2017)
New Techniques for Linear Arithmetic: Cubes and Equalities. Formal Methods in System Design 38.
Zeitschriftenartikel
477, S. 390 - 434 (2017)
Fundamental Invariants of Orbit Closures. Journal of Algebra 39.
Zeitschriftenartikel
145, S. 1247 - 1258 (2017)
Permanent versus Determinant: Not via Saturations. Proceedings of the American Mathematical Society 40.
Zeitschriftenartikel
65 (4), S. 1181 - 1195 (2017)
Malondialdehyde Epitopes Are Sterile Mediators of Hepatic Inflammation in Hypercholesterolemic Mice. Hepatology