Forschungspapier (78)

481.
Forschungspapier
Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P. et al.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.: SC2: Satisfiability Checking meets Symbolic Computation (Project Paper). (2016), 15 S.
482.
Forschungspapier
Abraham, I.; Chechik, S.; Krinninger, S.: Fully Dynamic All-pairs Shortest Paths with Worst-case Update-time revisited. (2016), 21 S.
483.
Forschungspapier
Abraham, I.; Durfee, D.; Koutis, I.; Krinninger, S.; Peng, R.: On Fully Dynamic Graph Sparsifiers. (2016), 67 S.
484.
Forschungspapier
Babu, J.; Basavaraju, M.; Chandran, L. S.; Francis, M. C.: On Induced Colourful Paths in Triangle-free Graphs. (2016), 11 S.
485.
Forschungspapier
Becker, R.; Karrenbauer, A.; Krinninger, S.; Lenzen, C.: Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models. (2016), 30 S.
486.
Forschungspapier
Becker, R.; Karrenbauer, A.; Mehlhorn, K.: An Integer Interior Point Method for Min-Cost Flow Using Arc Contractions and Deletions. (2016), 17 S.
487.
Forschungspapier
Becker, R.; Sagraloff, M.; Sharma, V.; Yap, C.: A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration. (2016), 53 S.
488.
Forschungspapier
Bei, X.; Garg, J.; Hoefer, M.; Mehlhorn, K.: Computing Equilibria in Markets with Budget-Additive Utilities. (2016), 21 pages S.
489.
Forschungspapier
Bhattacharyya, A.; Malinowski, M.; Fritz, M.: Spatio-Temporal Image Boundary Extrapolation. (2016), 10 S.
490.
Forschungspapier
Blanchette, J. C.; Böhme, S.; Popescu, A.; Smallbone, N.: Encoding Monomorphic and Polymorphic Types. (2016), LMCS-2014-1018 S.
491.
Forschungspapier
Bodwin, G.; Krinninger, S.: Fully Dynamic Spanners with Worst-Case Update Time. (2016), 22 S.
492.
Forschungspapier
Brand, C.; Sagraloff, M.: On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection. (2016), 21 S.
493.
Forschungspapier
Bringmann, K.; Grønlund, A.; Larsen, K. G.: A Dichotomy for Regular Expression Membership Testing. (2016), 31 S.
494.
Forschungspapier
Bringmann, K.; Keusch, R.; Lengler, J.: Geometric Inhomogeneous Random Graphs. (2016), 22 S.
495.
Forschungspapier
Bringmann, K.; Keusch, R.; Lengler, J.: 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
Bringmann, K.; Keusch, R.; Lengler, J.; Maus, Y.; Molla, A.: Greedy Routing and the Algorithmic Small-World Phenomenom. (2016), 59 pages, 1 figure S.
497.
Forschungspapier
Chalermsook, P.; Goswami, M.; Kozma, L.; Mehlhorn, K.; Saranurak, T.: The Landscape of Bounds for Binary Search Trees. (2016), 32 S.
498.
Forschungspapier
Cheung, Y. K.; Cole, R.: A Unified Approach to Analyzing Asynchronous Coordinate Descent and Tatonnement. (2016), 41 pages S.
499.
Forschungspapier
Chiantini, L.; Ikenmeyer, C.; Landsberg, J. M.; Ottaviani, G.: The Geometry of Rank Decompositions of Matrix Multiplication I: 2x2 Matrices. (2016), 9 S.
500.
Forschungspapier
Choudhary, A.; Kerber, M.; Raghvendra, S.: Polynomial-Sized Topological Approximations Using The Permutahedron. (2016), 24 S.
Zur Redakteursansicht