Automatic staging for image processing von Herrmann, Christoph A., Langhammer, Tobias

“… MIP …”

A generic projection operator for partial cylindrical algebraic decomposition von Seidl, Andreas, Sturm, Thomas

“… MIP …”

Quantifier elimination based constraint logic programming von Sturm, Thomas

“… MIP …”

SYMOPT user manual REDUCE package for symbolic optimization ; edition 1.1, version 1.1., June 2002 von Mazzucco, Isolde

“… MIP …”

Evaluating bestmatch joins on streaming data von Kemper, Alfons 1958-, Stegmaier, Bernhard 1975-

“… MIP …”

A logical framework for the specification of transactions von Wichert, Carl-Alexander, Fent, Alfred, Freitag, Burkhard 1953-

“… MIP …”

Robust clustering under general normal assumptions von Gallegos, María Teresa

“… MIP …”

Gröbner bases for binomials with parametric exponents von Weispfenning, Volker 1944-

“… MIP …”

Efficient projection orders for CAD von Dolzmann, Andreas, Seidl, Andreas, Sturm, Thomas

“… MIP …”

Generalized constraint solving over differential algebras von Dolzmann, Andreas, Sturm, Thomas

“… MIP …”

Generic Hermitian quantifier elimination von Dolzmann, Andreas, Gilch, Lorenz

“… MIP …”

Improved symmetric lists von Bachmaier, Christian, Raitner, Marcus

“… MIP …”

Boolean quantification in a first order context von Seidl, Andreas, Sturm, Thomas

“… MIP …”

Estimation of the parameters of a normal population under ambiguity von Gallegos, María Teresa, Ritter, Gunter

“… MIP …”

Self-organizing systems new trends in architectures and performance modeling

“… MIP …”
Inhaltsverzeichnis

Maintaining hierarchical graph views for dynamic graphs von Raitner, Marcus

“… MIP …”

P-adic root isolation von Sturm, Thomas, Weispfenning, Volker 1944-

“… MIP …”

Projektive Rekonstruktion - Stereobildverarbeitung ohne Nebenwissen von Graf, Simone, Hanning, Tobias, Wagner, Robert

“… MIP …”

Solving univariate p-adic constraints von Sturm, Thomas, Weispfenning, Volker 1944-

“… MIP …”

Linking a symbolic solver to AMPL von Mazzucco, Isolde

“… MIP …”