Forschungspapier (78)
481.
Forschungspapier
SC2: Satisfiability Checking meets Symbolic Computation (Project Paper). (2016), 15 S.
482.
Forschungspapier
Fully Dynamic All-pairs Shortest Paths with Worst-case Update-time revisited. (2016), 21 S.
483.
Forschungspapier
On Fully Dynamic Graph Sparsifiers. (2016), 67 S.
484.
Forschungspapier
On Induced Colourful Paths in Triangle-free Graphs. (2016), 11 S.
485.
Forschungspapier
Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models. (2016), 30 S.
486.
Forschungspapier
An Integer Interior Point Method for Min-Cost Flow Using Arc Contractions and Deletions. (2016), 17 S.
487.
Forschungspapier
A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration. (2016), 53 S.
488.
Forschungspapier
Computing Equilibria in Markets with Budget-Additive Utilities. (2016), 21 pages S.
489.
Forschungspapier
Spatio-Temporal Image Boundary Extrapolation. (2016), 10 S.
490.
Forschungspapier
Encoding Monomorphic and Polymorphic Types. (2016), LMCS-2014-1018 S.
491.
Forschungspapier
Fully Dynamic Spanners with Worst-Case Update Time. (2016), 22 S.
492.
Forschungspapier
On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection. (2016), 21 S.
493.
Forschungspapier
A Dichotomy for Regular Expression Membership Testing. (2016), 31 S.
494.
Forschungspapier
Geometric Inhomogeneous Random Graphs. (2016), 22 S.
495.
Forschungspapier
Average Distance in a General Class of Scale-Free Networks with Underlying Geometry. (2016), 25 pages. arXiv admin note: text overlap with arXiv:1511.00576 S.
496.
Forschungspapier
Greedy Routing and the Algorithmic Small-World Phenomenom. (2016), 59 pages, 1 figure S.
497.
Forschungspapier
The Landscape of Bounds for Binary Search Trees. (2016), 32 S.
498.
Forschungspapier
A Unified Approach to Analyzing Asynchronous Coordinate Descent and Tatonnement. (2016), 41 pages S.
499.
Forschungspapier
The Geometry of Rank Decompositions of Matrix Multiplication I: 2x2 Matrices. (2016), 9 S.
500.
Forschungspapier
Polynomial-Sized Topological Approximations Using The Permutahedron. (2016), 24 S.