92 hits in 0.008 sec.
A continuous analogue of the upper bound theorem; 2
[Score: 100%]
Author / Editor: Wagner, Uli; Welzl, Emo | Place of publication: New York, NY | Publisher: Springer | Year of Publication: 2001 | 15 s.
Journal / Series / Collection: Discrete & computational geometry; 26
Subject Area: Mathematik; Informatik
Author / Editor: Wagner, Uli; Welzl, Emo | Place of publication: New York, NY | Publisher: Springer | Year of Publication: 2001 | 15 s.
Journal / Series / Collection: Discrete & computational geometry; 26
Subject Area: Mathematik; Informatik
A descartes algorithm for polynomials with Bit-Stream coefficients
[Score: 100%]
Author / Editor: Eigenwillig, Arno; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Computer algebra in scientific computing
Subject Area: Informatik
Author / Editor: Eigenwillig, Arno; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Computer algebra in scientific computing
Subject Area: Informatik
A faster combinatorial approximation algorithm for scheduling unrelated parallel machines
[Score: 100%]
Author / Editor: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Automata, languages and programming
Subject Area: Informatik
Author / Editor: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Automata, languages and programming
Subject Area: Informatik
A formal model of services; 1
[Score: 100%]
Author / Editor: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2007 | 40 s.
Journal / Series / Collection: ACM transactions on software engineering and methodology; 16
Subject Area: Informatik
Author / Editor: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2007 | 40 s.
Journal / Series / Collection: ACM transactions on software engineering and methodology; 16
Subject Area: Informatik
[External link]
A hierarchy of polynomial time lattice basis reduction algorithms; 2-3
[Score: 100%]
Author / Editor: Schnorr, Claus Peter | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1987
Journal / Series / Collection: Theoretical computer science; 53
Subject Area: Informatik
Author / Editor: Schnorr, Claus Peter | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1987
Journal / Series / Collection: Theoretical computer science; 53
Subject Area: Informatik
A lower bound for randomized algebraic decision trees; 4
[Score: 100%]
Author / Editor: Grigorʹev, Dima J.; Meyer auf der Heide, Friedhelm | Place of publication: Basel [u.a.] | Publisher: Birkhäuser | Year of Publication: 1997 | 19 s.
Journal / Series / Collection: Computational complexity; 6
Subject Area: Informatik
Author / Editor: Grigorʹev, Dima J.; Meyer auf der Heide, Friedhelm | Place of publication: Basel [u.a.] | Publisher: Birkhäuser | Year of Publication: 1997 | 19 s.
Journal / Series / Collection: Computational complexity; 6
Subject Area: Informatik
A new data structure for representing sorted lists; 1
[Score: 100%]
Author / Editor: Huddleston, Scott; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 1982 | 28 s.
Journal / Series / Collection: Acta informatica; 17
Subject Area: Informatik
Author / Editor: Huddleston, Scott; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 1982 | 28 s.
Journal / Series / Collection: Acta informatica; 17
Subject Area: Informatik
A separation bound for real algebraic expressions
[Score: 100%]
Author / Editor: Burnikel, Christoph; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2001 | 12 s.
Journal / Series / Collection: Algorithms - ESA 2001
Subject Area: Informatik
Author / Editor: Burnikel, Christoph; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2001 | 12 s.
Journal / Series / Collection: Algorithms - ESA 2001
Subject Area: Informatik
A subexponential bound for linear programming
[Score: 100%]
Author / Editor: Matousek, Jiri; Sarir, Mika; Welzl, Emo | Place of publication: New York | Publisher: Springer | Year of Publication: 1996 | 19 s.
Journal / Series / Collection: Algorithmica; 16
Subject Area: Informatik
Author / Editor: Matousek, Jiri; Sarir, Mika; Welzl, Emo | Place of publication: New York | Publisher: Springer | Year of Publication: 1996 | 19 s.
Journal / Series / Collection: Algorithmica; 16
Subject Area: Informatik
[External link]
A theory for nondeterminism, parallelism, communication and concurrency
[Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik