http://dl.gi.de/handle/20.500.12116/4402 2026-07-21T13:48:12Z 2026-07-21T13:48:12Z Winkelbach, Simon http://dl.gi.de/handle/20.500.12116/4552 2017-09-22T20:43:31Z 2007-01-01T00:00:00Z

Das 3d-Puzzle-Problem - Effiziente Methoden zum paarweisen Zusammensetzen von dreidimensionalen Fragmenten Winkelbach, Simon Wagner, Dorothea Das automatische Zusammenfügen von dreidimensionalen Objekten aus Einzelteilen (3d-Puzzle-Problem) ist in vielen wichtigen Forschungs- und Anwen- dungsbereichen von hoher Relevanz. In diesen Bereichen können insbesondere durch Methoden der Informatik und der 3d-Bildverarbeitung substanzielle Fortschritte er- zielt werden. Diese Arbeit gibt einen Überblick über die gesamte Prozesskette von der Datenakquisition, über die allgemeine Registrierung von Oberflächen, bis hin zu speziellen Anforderungen beim Zusammensetzen von Fragmenten in unterschiedlichen Anwendungsfällen. Insbesondere werden neuartige Ansätze vorgestellt, mit denen Fragmentoberflächen auf äußerst effiziente Weise und ohne Wissen über eine Initiallösung automatisch zusammengefügt werden können. Hierbei wird eine hohe Robustheit gegenüber Messungenauigkeiten, Fragmentschädigungen und Materialverschleiß erreicht. Darüber hinaus gelingt es, durch Ausnutzung von Symmetrieebenen und Achsen gebrochene Oberschenkel- und Beckenknochen virtuell zusammenzufügen und somit einen wichtigen Baustein für die computerassistierte Frakturbehandlung in der Chirurgie zu schaffen.

2007-01-01T00:00:00Z Fey, Görschwin http://dl.gi.de/handle/20.500.12116/4553 2017-09-22T20:43:31Z 2007-01-01T00:00:00Z

Increasing robustness and usability of circuit design tools by using formal techniques Fey, Görschwin Wagner, Dorothea

2007-01-01T00:00:00Z Foth, Kilian http://dl.gi.de/handle/20.500.12116/4554 2017-09-22T20:43:31Z 2007-01-01T00:00:00Z

Hybrid methods of natural language analysis Foth, Kilian Wagner, Dorothea Eine handgeschriebener Parser des Deutschen wird um statistische Methoden ergänzt, die dessen axiomatische und operative Semantik verbessern. Das Gesamtsystem weist dabei höhere Präzision als jede Einzelkomponente auf und definiert eine neue Bestmarke für automatische deutsche Parser.

2007-01-01T00:00:00Z Frenz, Stefan http://dl.gi.de/handle/20.500.12116/4557 2017-09-22T20:43:31Z 2007-01-01T00:00:00Z

Zuverlässiger Verteilter Speicher mit Transaktionaler Konsistenz Frenz, Stefan Wagner, Dorothea Beim Betrieb von Rechnern sind Ausfälle von Hardware, Fehler in der Software sowie nicht reproduzierbare Störungen in der Kommunikation zu erwarten. Stützt sich die Funktionsfähigkeit eines aus vielen Rechnern bestehenden Gesamtsystems auf die Verfügbarkeit aller Teilkomponenten, ist das Ausfallrisiko deutlich erhöht. Um die Zuverlässigkeit dennoch ausreichend gewährleisten zu können, ist es wünschenswert, auftretende Fehler zu erkennen und angemessen darauf zu reagieren. Die meisten Verfahren zur Behandlung von Fehlern sind auch im fehlerfreien Betrieb mit zum Teil erheblichen Kosten verbunden und nur auf eine sehr kleine Menge von Fehlern anwendbar. Hieraus ergibt sich der Bedarf einer unter Umständen nicht völlig verlustfreien, dafür aber möglichst generischen, schnellen und vorzugsweise schlanken Alternative, die im fehlerfreien Betrieb geringen Overhead aufweist. Diese Zusammenfassung der Dissertation ”Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz“ stellt ein leichtgewichtiges Verfahren zur Unterstützung von Persistenz in einem verteilten Betriebssystem mit transaktionaler Konsistenz vor und erläutert die erforderlichen Grundlagen im Bereich verteilter Systeme sowie die Synergien zwischen transaktionaler Konsistenz und Schnappschusserstellung. Die originale Schrift durchleuchtet auch den Lösungsraum für einen schnellen Wiederanlauf nach einem behebbaren Fehler und entwickelt die Verfahren, mit denen modifizierte Seiten im fehlerfreien Betrieb elegant eingesammelt und schnell gesichert werden können. Ebenso werden dort auch die besonders zu berücksichtigenden Zustände von Kern und Gerätetreibern diskutiert.

2007-01-01T00:00:00Z