In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative ...

Viele Probleme der Kombinatorik, Zahlentheorie, Wahrscheinlichkeitstheorie, Zuverlässigkeitstheorie und Statistik lassen sich durch Anwendung einer einheitlichen Methode lösen, die als Prinzip der Inklusion-Exklusion bekannt ...

Die Fragestellung dieser Arbeit ist ob derzeit angebotene e-Government Systeme von älteren Nutzern angenommen werden und wie solche aufgebaut werden müssen, damit diese Nutzergruppe solche Systeme als eine nützliche ...

Diese Studie soll klären, ob und inwieweit zurückliegende Schwangerschaftsverluste und -abbrüche für eine stationäre Psychotherapie relevant sind. Aufbauend auf zwei Vorstudien wurden in die retrospektive, querschnittliche ...

Diese Arbeit befasst sich mit der Entwicklung eines echtzeitfähigen Systems zur Erstellung von Tiefeninformation aus Stereobildpaaren, das in einer Reihe von Anwendungen zur dreidimensionalen Vermessung des Raumes ...

Eine Vielzahl von Anwendungen in der numerischen Simulation der Strömungsdynamik und der Festkörpermechanik begründen die Entwicklung von zuverlässigen und effizienten Algorithmen für nicht-standard Methoden der ...

Die geographische Handelsforschung konzentriert sich bei der Betrachtung des Tankstellengewerbes seit den 1990er Jahren vornehmlich auf die Untersuchung der sekundären Geschäftsaktivitäten im Tankstellenshop. Die vorliegende ...

Die Schätzung von Quantilen und verwandten Funktionalen wird in zwei inversen Problemen behandelt: dem klassischen Dekonvolutionsmodell sowie dem Lévy-Modell in dem ein Lévy-Prozess beobachtet wird und Funktionale des ...

Gegenstand dieser Arbeit ist die numerische Approximation von Eigenwerten elliptischer Differentialoperatoren vermittels der adaptiven finite-Elemente-Methode (AFEM). Durch lokale Netzverfeinerung können derartige Verfahren ...

Trotz zahlreicher Untersuchungen lässt sich bei der Zwangsstörung noch kein einheitliches, alle Befunde integrierendes Krankheitsmodell formulieren. Die Verarbeitung von emotionalen Reizen könnte bei Personen mit Zwangsstörungen ...