Bericht (33)
321.
Bericht
Scheduling and traffic allocation for tasks with bounded splittability. Max-Planck-Institut für Informatik, Saarbrücken (2003), 15 S.
322.
Bericht
Compositional circular assume-guarantee rules cannot be sound and complete. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 S.
323.
Bericht
Software model checking of liveness properties via transition invariants. Max-Planck-Institut für Informatik, Saarbrücken (2003), 29 S.
324.
Bericht
Visualization of volume data with quadratic super splines. Max-Planck-Institut für Informatik, Saarbrücken (2003), 15 S.
325.
Bericht
Polynomial time algorithms for network information flow. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 S.
326.
Bericht
Asynchronous parallel disk sorting. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 S.
327.
Bericht
A note on the smoothed complexity of the single-source shortest path problem. Max-Planck-Institut für Informatik, Saarbrücken (2003), 8 S.
328.
Bericht
Average case and smoothed competitive analysis of the multi-level feedback algorithm. Max-Planck-Institut für Informatik, Saarbrücken (2003), 31 S.
329.
Bericht
Cross-monotonic cost sharing methods for connected facility location games. Max-Planck-Institut für Informatik, Saarbrücken (2003), 10 S.
330.
Bericht
Topology matters: smoothed competitive analysis of metrical task systems. Max-Planck-Institut für Informatik, Saarbrücken (2003), 28 S.
331.
Bericht
The Diamond Operator for Real Algebraic Numbers. Effective Computational Geometry for Curves and Surfaces, Sophia Antipolis, FRANCE (2003)
332.
Bericht
A linear time heuristic for the branch-decomposition of planar graphs. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 S.
333.
Bericht
Alternating cycles contribution: a strategy of tour-merging for the traveling salesman problem. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 S.
334.
Bericht
3D acquisition of mirroring objects. Max-Planck-Institut für Informatik, Saarbrücken (2003), 37 S.
335.
Bericht
A flexible and versatile studio for synchronized multi-view video recording. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 S.
336.
Bericht
FaceSketch: an interface for sketching and coloring cartoon faces. Max-Planck-Institut für Informatik, Saarbrücken (2003), 30 S.
337.
Bericht
Convex boundary angle based flattening. Max-Planck-Institut für Informatik, Saarbrücken (2003), 16 S.
Sonstige (1)
338.
Sonstige
Identification of rat brahma (rBRM), a subunit of SWI/SNF chromatin remodeling complex: Involvement in the differentiation of retinal stem cells/progenitors, (2003)
Manuskript (1)
339.
Manuskript
ECLIPPSE: Environment for Chemical Library Inspection, Pre- and Postprocessing, and Screening Evaluation. User Guide. (2003)