@article{OnodaRaetschMueller2000,
  author    = {Onoda, T. and R{\"a}tsch, Gunnar and M{\"u}ller, Klaus-Robert},
  title     = {An asymptotic analysis and improvement of AdaBoost in the binary classification case (in Japanese)},
  year      = {2000},
  language  = {en}
}
@book{Linke2000,
  author    = {Linke, Thomas},
  title     = {New foundations for automation of default reasoning},
  volume    = {237},
  publisher = {Akad. Verl.-Ges. Aka},
  address   = {Berlin},
  isbn      = {3-89838-237-0},
  pages     = {VII, 182 S.},
  year      = {2000},
  language  = {en}
}
@article{BesnardLang2000,
  author    = {Besnard, Philippe and Lang, Jerome},
  title     = {Graded paraconsistency},
  isbn      = {0-86380-253-2},
  year      = {2000},
  language  = {en}
}
@article{WongBesnard2000,
  author    = {Wong, P. and Besnard, Philippe},
  title     = {Paraconsistent reasoning as an analytical tool},
  issn      = {1367-0751},
  year      = {2000},
  language  = {en}
}
@article{Wang2000,
  author    = {Wang, Kewen},
  title     = {Argumentation-based abduction in disjunctive logic programming},
  year      = {2000},
  language  = {en}
}
@article{BesnardHunter2000,
  author    = {Besnard, Philippe and Hunter, Anthony},
  title     = {Towards a logic-based theory of argumentation},
  isbn      = {0-262-51112-6},
  year      = {2000},
  language  = {en}
}
@article{WangZhouLin2000,
  author    = {Wang, Kewen and Zhou, Lizhu and Lin, Fangzhen},
  title     = {Alternating fixpoint theory for logic programs with priority},
  isbn      = {3-540-67797-6},
  year      = {2000},
  language  = {en}
}
@article{Schwill2000,
  author    = {Schwill, Andreas},
  title     = {Bericht zur Arbeitsgruppe "Modellbildung und f{\"a}cher{\"u}bergreifender Unterricht"},
  isbn      = {3-88120-314-1},
  year      = {2000},
  language  = {de}
}
@article{Schwill2000,
  author    = {Schwill, Andreas},
  title     = {Modellbildung im Schulfach Informatik},
  isbn      = {3-88120-301-x},
  year      = {2000},
  language  = {de}
}
@book{FedosovSchulzeTarchanov2000,
  author    = {Fedosov, Boris V. and Schulze, Bert-Wolfgang and Tarchanov, Nikolaj N.},
  title     = {Analytic index formulas for elliptic corner operators},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {70 S.},
  year      = {2000},
  language  = {en}
}
@book{BoernerGoessel2000,
  author    = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael},
  title     = {Grundlagen digitaler Systeme},
  publisher = {Univ.-Bibliothek Publ.-Stelle},
  address   = {Potsdam},
  isbn      = {3-9806494-9-0},
  pages     = {61 S.},
  year      = {2000},
  language  = {de}
}
@phdthesis{Seuring2000,
  author    = {Seuring, Markus},
  title     = {Output space compaction for testing and concurrent checking},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-0000165},
  school      = {Universit{\"a}t Potsdam},
  year      = {2000},
  abstract  = {In der Dissertation werden neue Entwurfsmethoden f{\"u}r Kompaktoren f{\"u}r die Ausg{\"a}nge von digitalen Schaltungen beschrieben, die die Anzahl der zu testenden Ausg{\"a}nge drastisch verkleinern und dabei die Testbarkeit der Schaltungen nur wenig oder gar nicht verschlechtern. Der erste Teil der Arbeit behandelt f{\"u}r kombinatorische Schaltungen Methoden, die die Struktur der Schaltungen beim Entwurf der Kompaktoren ber{\"u}cksichtigen. Verschiedene Algorithmen zur Analyse von Schaltungsstrukturen werden zum ersten Mal vorgestellt und untersucht. Die Komplexit{\"a}t der vorgestellten Verfahren zur Erzeugung von Kompaktoren ist linear bez{\"u}glich der Anzahl der Gatter in der Schaltung und ist damit auf sehr große Schaltungen anwendbar. Im zweiten Teil wird erstmals ein solches Verfahren f{\"u}r sequentielle Schaltkreise beschrieben. Dieses Verfahren baut im wesentlichen auf das erste auf. Der dritte Teil beschreibt eine Entwurfsmethode, die keine Informationen {\"u}ber die interne Struktur der Schaltung oder {\"u}ber das zugrundeliegende Fehlermodell ben{\"o}tigt. Der Entwurf basiert alleine auf einem vorgegebenen Satz von Testvektoren und die dazugeh{\"o}renden Testantworten der fehlerfreien Schaltung. Ein nach diesem Verfahren erzeugter Kompaktor maskiert keinen der Fehler, die durch das Testen mit den vorgegebenen Vektoren an den Ausg{\"a}ngen der Schaltung beobachtbar sind.},
  language  = {en}
}
@article{BhattacharyaDimitrievGoessel2000,
  author    = {Bhattacharya, M. K. and Dimitriev, Alexej and G{\"o}ssel, Michael},
  title     = {Zero-aliasing space compresion using a single periodic output and its application to testing of embedded},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaub2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {A consistency-based model for belief change: preliminary report},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaub2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {The role of default logic in knowledge representation},
  isbn      = {0-7923-7224-7},
  year      = {2000},
  language  = {en}
}
@article{LinkeSchaub2000,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Alternative foundations for Reiter's default logic.},
  issn      = {0004-3702},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaubTompits2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans},
  title     = {A compilation of Brewka and Eiter's approach to prioritizationtion},
  isbn      = {3-540-41131-3},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaubTompits2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans},
  title     = {Logic programs with compiled preferences},
  isbn      = {1-58603-013-2},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaub2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {A consistency-based model for belief change: preliminary report},
  isbn      = {0-262-51112-6},
  year      = {2000},
  language  = {en}
}
@article{BesnardSchaub2000,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Significant inferences},
  isbn      = {1-55860-690-4},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaubTompits2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans},
  title     = {Logic programs with compiled preferences},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaubTompits2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans},
  title     = {A compiler for ordered logic programs},
  year      = {2000},
  language  = {en}
}
@article{BesnardSchaub2000,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {What is a (non-constructive) non-monotone logical system?},
  issn      = {0304-3975},
  year      = {2000},
  language  = {en}
}
@article{BrueningSchaub2000,
  author    = {Br{\"u}ning, Stefan and Schaub, Torsten},
  title     = {A connection calculus for handling incomplete information},
  year      = {2000},
  language  = {en}
}
@article{DelgrandeSchaub2000,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Expressing preferences in default logic},
  issn      = {0004-3702},
  year      = {2000},
  language  = {en}
}
@phdthesis{Raetsch2001,
  author    = {R{\"a}tsch, Gunnar},
  title     = {Robust boosting via convex optimization},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-0000399},
  school      = {Universit{\"a}t Potsdam},
  year      = {2001},
  abstract  = {In dieser Arbeit werden statistische Lernprobleme betrachtet. Lernmaschinen extrahieren Informationen aus einer gegebenen Menge von Trainingsmustern, so daß sie in der Lage sind, Eigenschaften von bisher ungesehenen Mustern - z.B. eine Klassenzugeh{\"o}rigkeit - vorherzusagen. Wir betrachten den Fall, bei dem die resultierende Klassifikations- oder Regressionsregel aus einfachen Regeln - den Basishypothesen - zusammengesetzt ist. Die sogenannten Boosting Algorithmen erzeugen iterativ eine gewichtete Summe von Basishypothesen, die gut auf ungesehenen Mustern vorhersagen. Die Arbeit behandelt folgende Sachverhalte: o Die zur Analyse von Boosting-Methoden geeignete Statistische Lerntheorie. Wir studieren lerntheoretische Garantien zur Absch{\"a}tzung der Vorhersagequalit{\"a}t auf ungesehenen Mustern. K{\"u}rzlich haben sich sogenannte Klassifikationstechniken mit großem Margin als ein praktisches Ergebnis dieser Theorie herausgestellt - insbesondere Boosting und Support-Vektor-Maschinen. Ein großer Margin impliziert eine hohe Vorhersagequalit{\"a}t der Entscheidungsregel. Deshalb wird analysiert, wie groß der Margin bei Boosting ist und ein verbesserter Algorithmus vorgeschlagen, der effizient Regeln mit maximalem Margin erzeugt. o Was ist der Zusammenhang von Boosting und Techniken der konvexen Optimierung? Um die Eigenschaften der entstehenden Klassifikations- oder Regressionsregeln zu analysieren, ist es sehr wichtig zu verstehen, ob und unter welchen Bedingungen iterative Algorithmen wie Boosting konvergieren. Wir zeigen, daß solche Algorithmen benutzt werden koennen, um sehr große Optimierungsprobleme mit Nebenbedingungen zu l{\"o}sen, deren L{\"o}sung sich gut charakterisieren laesst. Dazu werden Verbindungen zum Wissenschaftsgebiet der konvexen Optimierung aufgezeigt und ausgenutzt, um Konvergenzgarantien f{\"u}r eine große Familie von Boosting-{\"a}hnlichen Algorithmen zu geben. o Kann man Boosting robust gegen{\"u}ber Meßfehlern und Ausreissern in den Daten machen? Ein Problem bisheriger Boosting-Methoden ist die relativ hohe Sensitivit{\"a}t gegen{\"u}ber Messungenauigkeiten und Meßfehlern in der Trainingsdatenmenge. Um dieses Problem zu beheben, wird die sogenannte 'Soft-Margin' Idee, die beim Support-Vector Lernen schon benutzt wird, auf Boosting {\"u}bertragen. Das f{\"u}hrt zu theoretisch gut motivierten, regularisierten Algorithmen, die ein hohes Maß an Robustheit aufweisen. o Wie kann man die Anwendbarkeit von Boosting auf Regressionsprobleme erweitern? Boosting-Methoden wurden urspr{\"u}nglich f{\"u}r Klassifikationsprobleme entwickelt. Um die Anwendbarkeit auf Regressionsprobleme zu erweitern, werden die vorherigen Konvergenzresultate benutzt und neue Boosting-{\"a}hnliche Algorithmen zur Regression entwickelt. Wir zeigen, daß diese Algorithmen gute theoretische und praktische Eigenschaften haben. o Ist Boosting praktisch anwendbar? Die dargestellten theoretischen Ergebnisse werden begleitet von Simulationsergebnissen, entweder, um bestimmte Eigenschaften von Algorithmen zu illustrieren, oder um zu zeigen, daß sie in der Praxis tats{\"a}chlich gut funktionieren und direkt einsetzbar sind. Die praktische Relevanz der entwickelten Methoden wird in der Analyse chaotischer Zeitreihen und durch industrielle Anwendungen wie ein Stromverbrauch-{\"U}berwachungssystem und bei der Entwicklung neuer Medikamente illustriert.},
  language  = {en}
}
@book{AydinJuergensenRobbins2001,
  author    = {Aydin, Suna and J{\"u}rgensen, Helmut and Robbins, L. E.},
  title     = {Dialogues as co-operating grammars},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2001, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 S.},
  year      = {2001},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {A comparative study of disjunctive well-founded semantics},
  isbn      = {3-540-42593-4},
  year      = {2001},
  language  = {en}
}
@phdthesis{Hartje2001,
  author    = {Hartje, Hendrik},
  title     = {Schaltungsoptimierung durch Logiktransformationen w{\"a}hrend des Layoutentwurfs},
  pages     = {113 S.},
  year      = {2001},
  language  = {de}
}
@book{OPUS4-18154,
  title     = {Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 - 21, 2001 ; proceedings},
  series = {Lecture notes in computer science},
  volume    = {2143},
  journal   = {Lecture notes in computer science},
  editor    = {Benferhat, Salem and Besnard, Philippe},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  isbn      = {3-540-42464-4},
  doi       = {10.1007/3-540-44652-4},
  pages     = {818 S.},
  year      = {2001},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {Disjunctive well-founded semantics revisited},
  year      = {2001},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {A top-down procedure for disjucntive well-founded semantics},
  year      = {2001},
  language  = {en}
}
@article{WangZhou2001,
  author    = {Wang, Kewen and Zhou, Lizhu},
  title     = {An extension to GCWA and query evaluation for disjunctive deductive databases},
  year      = {2001},
  language  = {en}
}
@article{AngerKonczakLinke2001,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {A system for non-monotonic reasoning under answer set semantics},
  isbn      = {3-540-42593-4},
  year      = {2001},
  language  = {en}
}
@article{BesnardHunter2001,
  author    = {Besnard, Philippe and Hunter, Anthony},
  title     = {A logic-based theory of deductive arguments},
  issn      = {0004-3702},
  year      = {2001},
  language  = {en}
}
@article{Linke2001,
  author    = {Linke, Thomas},
  title     = {Graph theoretical characterization and computation of answer sets},
  isbn      = {1-558-60777-3},
  issn      = {1045-0823},
  year      = {2001},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {A top-down procedure for disjucntive well-founded semantics},
  isbn      = {3-540-42254-4},
  year      = {2001},
  language  = {en}
}
@article{Linke2001,
  author    = {Linke, Thomas},
  title     = {Graph theoretical characterization and computation of answer sets},
  year      = {2001},
  language  = {en}
}
@phdthesis{Kalkbrenner2001,
  author    = {Kalkbrenner, Gerrit},
  title     = {Lernen und Lehren an der virtuellen Universit{\"a}t},
  pages     = {169 S.},
  year      = {2001},
  language  = {de}
}
@article{KoseWeckwerthLinkeetal.2001,
  author    = {Kose, F. and Weckwerth, Wolfram and Linke, Thomas and Fiehn, Oliver},
  title     = {Visualizing plant metabolomic correlation networks using clique-metabolite matrices},
  year      = {2001},
  language  = {en}
}
@book{SchwillClaus2001,
  author    = {Schwill, Andreas and Claus, Volker},
  title     = {Duden Informatik : ein Fachlexikon f{\"u}r Studium und Praxis},
  publisher = {Dudenverl.},
  address   = {Mannheim},
  isbn      = {3-411-05233-3},
  pages     = {762 S.},
  year      = {2001},
  abstract  = {Die Informatik durchdringt zusehends fast alle Bereiche der Ausbildung und der Berufswelt. Die Stichw{\"o}rter ber{\"u}cksichtigen die Geschichte der Informatik und den heutigen Stand ihrer Methoden und beziehen aktuelle und absehbare Entwicklungen mit ein. Das ausf{\"u}hrliche Register sorgt daf{\"u}r, dass man den gew{\"u}nschten Begriff sofort im Blick hat. Rund 3 000 Stichw{\"o}rter, etwa 700 Abbildungen, Register.},
  language  = {de}
}
@article{Schwill2001,
  author    = {Schwill, Andreas},
  title     = {Ab wann kann man mit Indern Informatik machen? : eine Studie {\"u}ber informatische F{\"a}higkeiten von Kindern},
  year      = {2001},
  language  = {de}
}
@phdthesis{Huong2001,
  author    = {Huong, Dinh Thi Thanh},
  title     = {Correctness proofs and probabilistic tests for constructive specifications and functional programs},
  pages     = {154 S.},
  year      = {2001},
  language  = {en}
}
@article{Schwill2001,
  author    = {Schwill, Andreas},
  title     = {Gedanken zur Lehramtsausbildung Informatik},
  isbn      = {3-85133-022-6},
  year      = {2001},
  language  = {de}
}
@article{Schwill2001,
  author    = {Schwill, Andreas},
  title     = {Die Vielfalt der Modelle in der Informatik},
  isbn      = {3-88579-334-2},
  year      = {2001},
  language  = {de}
}
@book{BoernerGoessel2001,
  author    = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael},
  title     = {Grundlagen digitaler Systeme},
  editor    = {G{\"o}ssel, Michael},
  publisher = {Univ.-Bibliothek Publ.-Stelle},
  address   = {Potsdam},
  isbn      = {3-935024-34-7},
  pages     = {95 S. : graph. Darst.},
  year      = {2001},
  language  = {de}
}
@book{SapoznikovSapoznikovGoessel2001,
  author    = {Sapoznikov, V. V. and Sapoznikov, VL. V. and G{\"o}ssel, Michael},
  title     = {Samodvojstvennye diskretnye ustrojstva},
  publisher = {?nergoatomizdat},
  address   = {Sankt-Peterburg},
  isbn      = {5-283-04748-2},
  pages     = {330 S.},
  year      = {2001},
  language  = {ru}
}
@article{DelgrandeSchaub2001,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {How to reason credulously and skeptically within a single extension},
  year      = {2001},
  language  = {en}
}
@article{SchaubWang2001,
  author    = {Schaub, Torsten and Wang, Kewen},
  title     = {A comparative study of logic programs with preference},
  year      = {2001},
  language  = {en}
}
@article{DelgrandeSchaubTompitsetal.2001,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title     = {On computing solutions to belief change scenarios},
  isbn      = {3-540- 42464-4},
  year      = {2001},
  language  = {en}
}
@article{DelgrandeSchaub2001,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {How to reason credulously and skeptically within a single extension.},
  isbn      = {3-540- 42464-4},
  year      = {2001},
  language  = {en}
}
@article{SchaubWang2001,
  author    = {Schaub, Torsten and Wang, Kewen},
  title     = {A comparative study of logic programs with preference},
  isbn      = {1-558-60777-3},
  issn      = {1045-0823},
  year      = {2001},
  language  = {en}
}
@article{DelgrandeSchaubTompits2001,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans},
  title     = {A generic compiler for ordered logic programs},
  isbn      = {3-540-42593-4},
  year      = {2001},
  language  = {en}
}
@book{OPUS4-18498,
  title     = {Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001},
  editor    = {Brewka, Gerhard and Witteveen, Cees and Schaub, Torsten},
  address   = {Potsdam},
  year      = {2001},
  language  = {en}
}
@article{RoessnerLuedemannBrustetal.2001,
  author    = {Roessner, Ute and Luedemann, A. and Brust, D. and Fiehn, Oliver and Linke, Thomas and Willmitzer, Lothar and Fernie, Alisdair},
  title     = {Metabolic profiling allows comprehensive phenotyping of genetically or environmentally modified plant systems},
  issn      = {1040-4651},
  year      = {2001},
  language  = {en}
}
@article{AngerKonczakLinke2002,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics},
  isbn      = {3-540-42254-4},
  year      = {2002},
  language  = {en}
}
@article{LinkeAngerKonczak2002,
  author    = {Linke, Thomas and Anger, Christian and Konczak, Kathrin},
  title     = {More on nomore},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@phdthesis{Dramlitsch2002,
  author    = {Dramlitsch, Thomas},
  title     = {Distributed computations in a dynamic, heterogeneous Grid environment},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-0000759},
  school      = {Universit{\"a}t Potsdam},
  year      = {2002},
  abstract  = {Die immer dichtere und schnellere Vernetzung von Rechnern und Rechenzentren {\"u}ber Hochgeschwindigkeitsnetzwerke erm{\"o}glicht eine neue Art des wissenschaftlich verteilten Rechnens, bei der geographisch weit auseinanderliegende Rechenkapazit{\"a}ten zu einer Gesamtheit zusammengefasst werden k{\"o}nnen. Dieser so entstehende virtuelle Superrechner, der selbst aus mehreren Grossrechnern besteht, kann dazu genutzt werden Probleme zu berechnen, f{\"u}r die die einzelnen Grossrechner zu klein sind. Die Probleme, die numerisch mit heutigen Rechenkapazit{\"a}ten nicht l{\"o}sbar sind, erstrecken sich durch s{\"a}mtliche Gebiete der heutigen Wissenschaft, angefangen von Astrophysik, Molek{\"u}lphysik, Bioinformatik, Meteorologie, bis hin zur Zahlentheorie und Fluiddynamik um nur einige Gebiete zu nennen. Je nach Art der Problemstellung und des L{\"o}sungsverfahrens gestalten sich solche "Meta-Berechnungen" mehr oder weniger schwierig. Allgemein kann man sagen, dass solche Berechnungen um so schwerer und auch um so uneffizienter werden, je mehr Kommunikation zwischen den einzelnen Prozessen (oder Prozessoren) herrscht. Dies ist dadurch begr{\"u}ndet, dass die Bandbreiten bzw. Latenzzeiten zwischen zwei Prozessoren auf demselben Grossrechner oder Cluster um zwei bis vier Gr{\"o}ssenordnungen h{\"o}her bzw. niedriger liegen als zwischen Prozessoren, welche hunderte von Kilometern entfernt liegen. Dennoch bricht nunmehr eine Zeit an, in der es m{\"o}glich ist Berechnungen auf solch virtuellen Supercomputern auch mit kommunikationsintensiven Programmen durchzuf{\"u}hren. Eine grosse Klasse von kommunikations- und berechnungsintensiven Programmen ist diejenige, die die L{\"o}sung von Differentialgleichungen mithilfe von finiten Differenzen zum Inhalt hat. Gerade diese Klasse von Programmen und deren Betrieb in einem virtuellen Superrechner wird in dieser vorliegenden Dissertation behandelt. Methoden zur effizienteren Durchf{\"u}hrung von solch verteilten Berechnungen werden entwickelt, analysiert und implementiert. Der Schwerpunkt liegt darin vorhandene, klassische Parallelisierungsalgorithmen zu analysieren und so zu erweitern, dass sie vorhandene Informationen (z.B. verf{\"u}gbar durch das Globus Toolkit) {\"u}ber Maschinen und Netzwerke zur effizienteren Parallelisierung nutzen. Soweit wir wissen werden solche Zusatzinformationen kaum in relevanten Programmen genutzt, da der Grossteil aller Parallelisierungsalgorithmen implizit f{\"u}r die Ausf{\"u}hrung auf Grossrechnern oder Clustern entwickelt wurde.},
  language  = {en}
}
@phdthesis{Lanfermann2002,
  author    = {Lanfermann, Gerd},
  title     = {Nomadic migration : a service environment for autonomic computing on the Grid},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-0000773},
  school      = {Universit{\"a}t Potsdam},
  year      = {2002},
  abstract  = {In den vergangenen Jahren ist es zu einer dramatischen Vervielfachung der verf{\"u}gbaren Rechenzeit gekommen. Diese 'Grid Ressourcen' stehen jedoch nicht als kontinuierlicher Strom zur Verf{\"u}gung, sondern sind {\"u}ber verschiedene Maschinentypen, Plattformen und Betriebssysteme verteilt, die jeweils durch Netzwerke mit fluktuierender Bandbreite verbunden sind. Es wird f{\"u}r Wissenschaftler zunehmend schwieriger, die verf{\"u}gbaren Ressourcen f{\"u}r ihre Anwendungen zu nutzen. Wir glauben, dass intelligente, selbstbestimmende Applikationen in der Lage sein sollten, ihre Ressourcen in einer dynamischen und heterogenen Umgebung selbst zu w{\"a}hlen: Migrierende Applikationen suchen eine neue Ressource, wenn die alte aufgebraucht ist. 'Spawning'-Anwendungen lassen Algorithmen auf externen Maschinen laufen, um die Hauptanwendung zu beschleunigen. Applikationen werden neu gestartet, sobald ein Absturz endeckt wird. Alle diese Verfahren k{\"o}nnen ohne menschliche Interaktion erfolgen. Eine verteilte Rechenumgebung besitzt eine nat{\"u}rliche Unverl{\"a}sslichkeit. Jede Applikation, die mit einer solchen Umgebung interagiert, muss auf die gest{\"o}rten Komponenten reagieren k{\"o}nnen: schlechte Netzwerkverbindung, abst{\"u}rzende Maschinen, fehlerhafte Software. Wir konstruieren eine verl{\"a}ssliche Serviceinfrastruktur, indem wir der Serviceumgebung eine 'Peer-to-Peer'-Topology aufpr{\"a}gen. Diese "Grid Peer Service" Infrastruktur beinhaltet Services wie Migration und Spawning, als auch Services zum Starten von Applikationen, zur Datei{\"u}bertragung und Auswahl von Rechenressourcen. Sie benutzt existierende Gridtechnologie wo immer m{\"o}glich, um ihre Aufgabe durchzuf{\"u}hren. Ein Applikations-Information- Server arbeitet als generische Registratur f{\"u}r alle Teilnehmer in der Serviceumgebung. Die Serviceumgebung, die wir entwickelt haben, erlaubt es Applikationen z.B. eine Relokationsanfrage an einen Migrationsserver zu stellen. Der Server sucht einen neuen Computer, basierend auf den {\"u}bermittelten Ressourcen-Anforderungen. Er transferiert den Statusfile des Applikation zu der neuen Maschine und startet die Applikation neu. Obwohl das umgebende Ressourcensubstrat nicht kontinuierlich ist, k{\"o}nnen wir kontinuierliche Berechnungen auf Grids ausf{\"u}hren, indem wir die Applikation migrieren. Wir zeigen mit realistischen Beispielen, wie sich z.B. ein traditionelles Genom-Analyse-Programm leicht modifizieren l{\"a}sst, um selbstbestimmte Migrationen in dieser Serviceumgebung durchzuf{\"u}hren.},
  subject      = {Peer-to-Peer-Netz ; GRID computing ; Zuverl{\"a}ssigkeit ; Web Services ; Betriebsmittelverwaltung ; Migration},
  language  = {en}
}
@article{CiaccioEhlertSchnor2002,
  author    = {Ciaccio, Giuseppe and Ehlert, Marco and Schnor, Bettina},
  title     = {Exploiting gigabit ethernet capacity for cluster applications},
  isbn      = {0-7695-1591-6},
  year      = {2002},
  abstract  = {In this paper we report about the recently completed porting of GAMMA to the Netgear GA621 Gigabit Ethernet adapter, and provide a comparison among GAMMA, MPI/GAMMA, TCP/IP, and MPICH/TCP, based on the Netgear GA621 and the older Netgear GA620 network adapters and using different device drivers, in a Gigabit Ethernet cluster of PCs running Linux 2.4. GAMMA (the Genoa Active Message MAchine) is a lightweight messaging system based on an Active Message-like paradigm, originally designed for efficient exploitation of Fast Ethernet interconnects. The comparison includes simple latency/hspace{0pt}bandwidth evaluation of the messaging systems on both adapters, as well as performance comparisons based on the NAS NPB and an end-user fluid dynamics application called Modular Ocean Model (MOM). The analysis of results provides useful hints concerning the efficient use of Gigabit Ethernet with clusters of PCs. In particular, it emerges that GAMMA on the GA621 adapter, with a combination of low end-to-end latency (8.5 \$mu\$s) and high throughput (118.4 MByte/s), provides a performing, cost-effective alternative to proprietary high-speed networks, e.g.~Myrinet, for a wide range of cluster computing applications.},
  language  = {en}
}
@book{BieberEbnerLoesleretal.2002,
  author    = {Bieber, G{\"o}tz and Ebner, Roland and L{\"o}sler, Thomas and Schwill, Andreas and Thomas, Marco and Vollmost, Manfred},
  title     = {Rahmenlehrplan Informatik : Wahlpflichtbereich ; Sekundarstufe I},
  editor    = {Ministerium f{\"u}r Bildung, Jugend und Sport Brandenburg},
  publisher = {Wiss.-und-Technik-Verl.},
  address   = {Berlin},
  isbn      = {3-89685-840-8},
  pages     = {58 S.},
  year      = {2002},
  language  = {de}
}
@phdthesis{Thomas2002,
  author    = {Thomas, Marco},
  title     = {Informatische Modellbildung : modellieren von Modellen als ein zentrales Element der Informatik f{\"u}r den allgemeinbildenden Schulunterricht},
  pages     = {98 S.},
  year      = {2002},
  language  = {de}
}
@article{AngerKonczakLinke2002,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {NoMoRe: Non-monotonic reasoning with logic programs},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@article{Schwill2002,
  author    = {Schwill, Andreas},
  title     = {Modelle in der Fachsprache der Informatik},
  isbn      = {3-88579-351-2},
  year      = {2002},
  language  = {de}
}
@phdthesis{Kersting2002,
  author    = {Kersting, Oliver},
  title     = {Interaktive, dynamische 3D-Karten zur Kommunikation r{\"a}umlicher Information},
  pages     = {105 S.},
  year      = {2002},
  language  = {de}
}
@phdthesis{Rostock2002,
  author    = {Rostock, Gisbert},
  title     = {Ein polynomialer Algorithmus zur Erkennung von Isomorphie von Graphen},
  pages     = {63 S.},
  year      = {2002},
  language  = {de}
}
@article{LinkeAngerKonczak2002,
  author    = {Linke, Thomas and Anger, Christian and Konczak, Kathrin},
  title     = {More on nomore},
  year      = {2002},
  language  = {en}
}
@article{PearceSarsakovSchaubetal.2002,
  author    = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title     = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs},
  isbn      = {3-540-43930-7},
  year      = {2002},
  language  = {en}
}
@article{DelgrandeSchaubTompitsetal.2002,
  author    = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans and Wang, Kewen},
  title     = {Towards a classification of preference handling approaches in nonmonotonic reasoning},
  isbn      = {1-577-35166-5},
  year      = {2002},
  language  = {en}
}
@article{PearceSarsakovSchaubetal.2002,
  author    = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title     = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report},
  year      = {2002},
  language  = {en}
}
@article{BesnardMercerSchaub2002,
  author    = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten},
  title     = {Optimality Theory via Default Logic},
  year      = {2002},
  language  = {en}
}
@article{DelgrandeHunterSchaub2002,
  author    = {Delgrande, James Patrick and Hunter, Anthony and Schaub, Torsten},
  title     = {COBA: a consistency-based belief revision system},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@article{SchaubWang2002,
  author    = {Schaub, Torsten and Wang, T.},
  title     = {Preferred well-founded semantics for logic programming by alternating fixpoints : preliminary report},
  year      = {2002},
  language  = {en}
}
@article{BesnardFanselowSchaub2002,
  author    = {Besnard, Philippe and Fanselow, Gisbert and Schaub, Torsten},
  title     = {Optimality theory as a family of cumulative logics},
  year      = {2002},
  language  = {en}
}
@article{DelgrandeSchaub2002,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Reasoning credulously and skeptically within a single extension},
  year      = {2002},
  language  = {en}
}
@article{BesnardSchaubTompitsetal.2002,
  author    = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title     = {Paraconsistent reasoning via quantified boolean formulas},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@book{Kuhrmann2003,
  author    = {Kuhrmann, Marco},
  title     = {Analyse und Aufbereitung der Framework Class Library am Beispiel PMS},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 3},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {49 S.},
  year      = {2003},
  language  = {de}
}
@book{ZendlerSteipe2003,
  author    = {Zendler, Andreas and Steipe, Boris},
  title     = {Integrationstechnologien f{\"u}r die life science-informatik (State-of-the-art-report)},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 2},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {38 S.},
  year      = {2003},
  language  = {de}
}
@book{Calame2003,
  author    = {Calame, Jens R.},
  title     = {Considerations on object oriented software testing},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 4},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {71 S.},
  year      = {2003},
  language  = {en}
}
@book{ZendlerSchmidtKrueger2003,
  author    = {Zendler, Andreas and Schmidt, Silke and Kr{\"u}ger, Klaus},
  title     = {Komponentenorientierte Softwareentwicklungstechniken},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {55 S.},
  year      = {2003},
  language  = {de}
}
@article{Linke2003,
  author    = {Linke, Thomas},
  title     = {Suitable graphs for answer set programming},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@phdthesis{Reinke2003,
  author    = {Reinke, Thomas},
  title     = {Architekturbasierte Konstruktion von Multiagentensystemen},
  pages     = {166 S.},
  year      = {2003},
  language  = {de}
}
@phdthesis{Otscheretnij2003,
  author    = {Otscheretnij, Vitalij},
  title     = {Entwurf von fehlertoleranten kompinatorischen Schaltungen},
  pages     = {80 S.},
  year      = {2003},
  language  = {de}
}
@phdthesis{Dmitriev2003,
  author    = {Dmitriev, Alexej},
  title     = {Anwendung alternierender Signale zum Entwurf von Fehlererkennungsschaltungen und Kompaktoren},
  pages     = {97 S.},
  year      = {2003},
  language  = {de}
}
@book{Dietze2003,
  author    = {Dietze, Stefan},
  title     = {Formalisierte Darstellung generalisierter Softwareentwicklungsprozesse im Kontext von Open Source Software},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 9},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {132 S.},
  year      = {2003},
  language  = {de}
}
@book{Dietze2003,
  author    = {Dietze, Stefan},
  title     = {Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 7},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {36 S.},
  year      = {2003},
  language  = {de}
}
@book{MeyerKulisch2003,
  author    = {Meyer, Harald and Kulisch, Marian},
  title     = {Ein experimenteller Vergleich objekt-orientierter und funktionaler Analysetechniken},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 6},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {17 S.},
  year      = {2003},
  language  = {de}
}
@article{Linke2003,
  author    = {Linke, Thomas},
  title     = {Using nested logic programs for answer set programming},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@book{OPUS4-15966,
  title     = {Grundfragen multimedialer Lehre : Tagungsband des 1. Workshops GML2003 10. - 11. M{\"a}rz 2003 an der Universit{\"a}t Potsdam},
  editor    = {Schwill, Andreas},
  publisher = {Univ. Lehrstuhl f{\"u}r Didaktik der Informatik},
  address   = {Potsdam},
  isbn      = {3-8330-0761-3},
  pages     = {208 S.},
  year      = {2003},
  language  = {de}
}
@phdthesis{Frank2003,
  author    = {Frank, Keller},
  title     = {{\"U}ber die Rolle von Architekturbeschreibungen im Software-Entwicklungsprozess},
  pages     = {X, 160 S. : graph. Darst.},
  year      = {2003},
  language  = {de}
}
@article{LanfermannSchnorSeidel2003,
  author    = {Lanfermann, Gerd and Schnor, Bettina and Seidel, Edward},
  title     = {Characterizing Grids},
  isbn      = {1-4020-7418-2},
  year      = {2003},
  abstract  = {We present a new data model approach to describe the various objects that either represent the Grid infrastructure or make use of it. The data model is based on the experiences and experiments conducted in heterogeneous Grid environments. While very sophisticated data models exist to describe and characterize e.g. compute capacities or web services, we will show that a general description, which combines {em all} of these aspects, is needed to give an adequate representation of objects on a Grid. The Grid Object Description Language (GODsL)} is a generic and extensible approach to unify the various aspects that an object on a Grid can have. GODsL provides the content for the XML based communication in Grid migration scenarios, carried out in the GridLab project. We describe the data model architecture on a general level and focus on the Grid application scenarios.},
  language  = {en}
}
@article{FeiderSchnorDramlitsch2003,
  author    = {Feider, Henryk and Schnor, Bettina and Dramlitsch, Thomas},
  title     = {Gridmake : the missing link for compilation in the Grid},
  year      = {2003},
  abstract  = {In order to take full advantage of Grid environments, applications need to be able to run on various heterogeneous platforms. Distributed runs across several clusters or supercomputers for example, require matching binaries at each site. Thus, at some stage, each Grid enabled application needs to be recompiled for every platform. Up to now, creating matching binaries on different platforms was a manual, sequential, slow, and very error-prone process. Developers had to log into each machine, transfer source code, check consistency and recompile if necessary. This cumbersome procedure is surely one reason for the (still existing) lack of production Grid computing. Gridmake, a tool to automate and speed up this procedure is presented in this paper.},
  language  = {en}
}
@article{SchneidenbachSchnorPetri2003,
  author    = {Schneidenbach, Lars and Schnor, Bettina and Petri, Stefan},
  title     = {Architecture and Implementation of the Socket Interface on Top of GAMMA},
  isbn      = {0-7695-2037-5},
  year      = {2003},
  language  = {en}
}
@book{SogomonyanMarienfeldOcheretnijetal.2003,
  author    = {Sogomonyan, Egor S. and Marienfeld, Daniel and Ocheretnij, V. and G{\"o}ssel, Michael},
  title     = {A new self-checking sum-bit duplicated carry-select adder},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 5},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 S.},
  year      = {2003},
  language  = {en}
}
@book{WuKarriKuznetsovetal.2003,
  author    = {Wu, K. and Karri, R. and Kuznetsov, Grigory and G{\"o}ssel, Michael},
  title     = {Low Cost Concurrent Error Detection for the Advanced Encryption Standart},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 8},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 S.},
  year      = {2003},
  language  = {en}
}
@article{KonczakLinkeSchaub2003,
  author    = {Konczak, Kathrin and Linke, Thomas and Schaub, Torsten},
  title     = {Graphs and colorings for answer set programming : abridged report},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@article{DelgrandeGharibMerceretal.2003,
  author    = {Delgrande, James Patrick and Gharib, Mona and Mercer, Robert E. and Risch, V. and Schaub, Torsten},
  title     = {Lukaszewicz-style answer set programming : a preliminary report},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@article{DelgrandeSchaub2003,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {On the relation between Reiter{\"i}s default logic and its (major) variants},
  isbn      = {3-540- 409494-5},
  year      = {2003},
  language  = {en}
}
@article{KonczakSchaubLinke2003,
  author    = {Konczak, Kathrin and Schaub, Torsten and Linke, Thomas},
  title     = {Graphs and colorings for answer set programming with prefernces : preliminary report},
  issn      = {1613-0073},
  year      = {2003},
  language  = {en}
}
@article{BesnardMercerSchaub2003,
  author    = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten},
  title     = {Optimality theory throught default logic},
  isbn      = {3-540-20059-2},
  year      = {2003},
  language  = {en}
}