Search
Now showing items 1-10 of 16
Delay Management in Public Transportation: Capacities, Robustness, and Integration
(2010-02-17)
In dieser Arbeit beschäftigen wir uns hauptsächlich mit dem Anschlusssicherungsproblem mit Kapazitätsrestriktionen, einem wichtigen Aspekt im operativen Betrieb öffentlicher Verkehrsunternehmen. ...
Learning Finite State Machine Specifications from Test Cases
(2010-08-05)
Moderne Software-Systeme sind häufig modular aufgebaut, müssen dabei aber Ansprüchen an Wartbarkeit und Änderbarkeit genügen. Während man einerseits annimmt, dass modulare Software mit ...
Julia Set as a Martin Boundary
(2010-11-18)
Die Julia-Menge der Klasse hyperbolischer rationaler Abbildungen, deren Julia-Menge vollständig unzusammenhängend ist, wird hier identifiziert als die Martin-Grenze (Martin boundary) einer ...
A Comparison of Models and Methods for Spatial Interpolation in Statistics and Numerical Analysis
(2010-06-18)
Die Interpolation räumlicher Daten ist eine sehr allgemeine, mathematische Problemstellung mit vielen Anwendung wie zum Beispiel Oberflächenrekonstruktion, numerische Lösung partieller ...
A UML Based Methodology for the Development of Web Services
(2010-08-06)
Web Services sind gegenwärtig eine der wichtigsten Technologien, die eine effektive Kommunikation in verteilten Systemen ermöglicht. Die Web Services Technologie basiert auf weitverbreiteten ...
Maximum Likelihood Theory for Retention of Effect Non-Inferiority Trials
(2010-05-28)
Diese Arbeit behandelt die methodischen Aspekte von Nicht-Unterlegenheitsstudien, die den Nachweis der Nicht-Unterlegenheit einer neuen Test-Behandlung gegenüber einer etablierten ...
Some Aspects on Coarse Homotopy Theory
(2010-01-08)
Die wichtigsten Beispiele von groben Räumen ergeben sich aus der proper Metriken auf Räume oder aus metrisierbaren Kompaktifizierungen. In beiden Fällen sind die beschränkten Teilmengen genau die relativ Kompakten. ...
Discrete and Profinite Groups Acting on Regular Rooted Trees
(2010-01-14)
Wir entwickeln eine neue Methode um
Gruppen zu untersuchen, die auf regulären Bäumen mit einem Fixpunkt
operieren. Hierzu betrachten wir die Menge aller stetigen
Funktionen von der Automorphismengruppe $\operatorname{ ...
Quality Assurance of Test Specifications for Reactive Systems
(2010-08-20)
Umfassendes Testen von modernen kommunizierenden Systemen beinhaltet oft große und komplexe Testsuiten, die über den Lebenszyklus des getesteten Systems hinweg gewartet werden müssen. Daher ...
Statistische Multiresolutions-Schätzer in linearen inversen Problemen - Grundlagen und algorithmische Aspekte
(2010-12-15)
In jüngerer Vergangenheit haben statistische
Multiresolutionstechniken viel Aufmerksamkeit erregt.
Dies liegt vor allem daran, dass die hieraus
resultierenden statistischen Multiresolu ...