Suche
Anzeige 1-9 von 9
UML-based Test Specification for Communication Systems
(2004-10-28)
Die Komplexität moderner, verteilter Kommunikationssysteme hat sich erheblich gesteigert und die Notwendigkeit gründlichen und systematischen Testens ist unbestritten. Die TTCN-3 ist eine ...
Charakterisierung eines Gebiets durch Spektraldaten eines Dirichletproblems zur Stokesgleichnung
(2004-02-17)
Wir betrachten eine mit dem aeusseren Dirichlet Problem zur zwei- bzw. dreidimensionalen Stokesgleichung verbundene inverse Randwertaufgabe.Diese erfordert die Rekonstruktion der Form eines ...
Gene Prediction with a Hidden Markov Model
(2004-02-11)
Die Annotation der großen und schnell wachsenden Menge von genomischen Sequenzdaten erfordert informatische Methoden um Gene in DNA-Sequenzen zu finden. Diese Doktorarbeit stellt eine ...
Ramanujan Regular Hypergraphs based on special Affine Bruhat-Tits Buildings
(2004-02-11)
Gegenstand der Dissertation sind sogenannte Ramanujan-Graphen und Hypergraphen, die mit arithmetischen Hilfsmitteln konstruiert werden. Die Einheitengruppen von Quaternionenalgebren spielen ...
Limit theorems for statistical functionals with applications to dimension estimation
(2004-08-09)
Diese Dissertation beschäftigt sich mit zwei Arten von Grenzwertsätzen: klassische Grenzwertsätze und fast sichere Grenzwertsätze (FSGWS).Wir beweisen klassische Grenzwertsätze für ein ...
Untersuchungen zu kubischen metaplektischen Formen
(2004-11-30)
Die bijektive Korrespondenz zwischen gewissen automorphen Formen zur Bianchigruppe auf dem oberen Halbraum mit trivialem Charakter und solchen zu einer metaplektischen Untergruppe mit ...
The Quintic Gauss Sums
(2004-09-14)
Eine moeglische Veralgeneinerung von Casselscher Formel ist in der Fassung nicht moglich. Wir konstruiiren fundamentale Bereiche zyklotomischer Koerper und dessen kombinatorischen Geometrie. ...
Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests
(2004-11-24)
Für moderne Verteilte Systeme ist es wichtig, dass sie Echtzeit-Anforderungen einhalten, um z.B. innerhalb einer gegebenen Zeitspanne eine Antwort auf eine Anfrage zu liefern. Testen ist ...