Thesis - Habilitation (1)

241.
Thesis - Habilitation
Charatonik, W.: Direktionale Typen in der Logischen Programmierung. Habilitation, Universität des Saarlandes, Saarbrücken (2002)

Thesis - Diploma (2)

242.
Thesis - Diploma
Annen, T.: Advanced Shadow Map Parameterization. Diploma, Hochschule für Technik und Wirtschaft des Saarlandes, Saarbrücken (2002)
243.
Thesis - Diploma
Michail, D.: Lobster- A Load Balanced P2P Content Sharing Network. Diploma, Universität Kreta, Heraklion (2002)

Thesis - Master (5)

244.
Thesis - Master
Baraque, R.: Effiziente Multiplikationsverfahren: ein numerischer Vergleich. Master, Universität des Saarlandes, Saarbrücken (2002)
245.
Thesis - Master
Hemmer, M.: Reliable computation of planar and spatial arrangements of quadrics. Master, Universität des Saarlandes, Saarbrücken (2002)
246.
Thesis - Master
Kessler, H.: Robust Computation of Visibility Maps. Master, Universität des Saarlandes, Saarbrücken (2002)
247.
Thesis - Master
Ossamy, R.: TSP Cuts Outside the Template Paradigm. Master, Universität des Saarlandes, Saarbrücken (2002)
248.
Thesis - Master
Rybalchenko, A.: A Model Checker based on Abstraction Refinement. Master, Universität des Saarlandes, Saarbrücken (2002)

Report (12)

249.
Report
Beldiceanu, N.; Carlsson, M.; Thiel, S.: Cost-filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint. Swedish Institute of Computer Science, Uppsala, Sweden (2002)
250.
Report
Charatonik, W.; Ganzinger, H.: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi. Max-Planck-Institut für Informatik, Saarbrücken (2002), 64 pp.
251.
Report
Charatonik, W.; Talbot, J.-M.: Atomic set constraints with projection. Max-Planck-Institut für Informatik, Saarbrücken (2002), 20 pp.
252.
Report
Drago, F.; Martens, W.; Myszkowski, K.; Seidel, H.-P.: Perceptual evaluation of tone mapping operators with regard to similarity and preference. Max-Planck-Institut für Informatik, Saarbrücken (2002), 30 pp.
253.
Report
Eigenwillig, A.; Schömer, E.; Wolpert, N.: Sweeping Arrangements of Cubic Segments Exactly and Efficiently. Effective Computational Geometry for Curves and Surfaces, Sophia Antipolis (2002)
254.
Report
Gösele, M.; Kautz, J.; Lang, J.; Lensch, H. P. A.; Seidel, H.-P.: Tutorial notes ACM SM 02: a framework for the acquisition, processing and interactive display of high quality 3D models. Max-Planck-Institut für Informatik, Saarbrücken (2002), 50 pp.
255.
Report
Grandoni, F.: Incrementally Maintaining the Number of l-cliques. Max-Planck-Institut für Informatik, Saarbrücken (2002), 10 pp.
256.
Report
Hert, S.; Polzin, T.; Kettner, L.; Schäfer, G.: Exp Lab: a tool set for computational experiments. Max-Planck-Institut für Informatik, Saarbrücken (2002), 59 pp.
257.
Report
Hoefer, M.: Performance of heuristic and approximation algorithms for the uncapacitated facility location problem. Max-Planck-Institut für Informatik, Saarbrücken (2002), 27 pp.
258.
Report
Katriel, I.; Sanders, P.; Träff, J. L.: A practical minimum spanning tree algorithm using the cycle property. Max-Planck-Institut für Informatik, Saarbrücken (2002), 21 pp.
259.
Report
Polzin, T.; Vahdati, S.: Using (sub)graphs of small width for solving the Steiner problem. Max-Planck-Institut für Informatik, Saarbrücken (2002), 9 pp.
260.
Report
Sanders, P.; Träff, J. L.: The factor algorithm for all-to-all communication on clusters of SMP nodes. Max-Planck-Institut für Informatik, Saarbrücken (2002), 8 pp.
Go to Editor View