Search

Now showing items 1-10 of 11

2001-05-23Habilitation

Formal Semantics for SDL

Definition and Implementation

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 ...

2007-07-27Habilitation

Random planar structures and random graph processes

Diese Habilitationsschrift richtete auf zwei diskrete Strukturen aus: planare Strukturen und zufällige Graphen-Prozesse. Zunächst werden zufällige planare Strukturen untersucht, mit folgende Gesichtspunkte: - Wieviele ...

2010-10-28Habilitation

Regular partitions of hypergraphs and property testing

Schacht, Mathias

Die Regularitätsmethode für Graphen wurde vor über 30 Jahren von Szemerédi, für den Beweis seines Dichteresultates über Teilmengen der natürlichen Zahlen, welche keine arithmetischen Progressionen enthalten, entwickelt. ...

2011-03-30Habilitation

The role of the medial prefrontal cortex in mediating social event knowledge

Zunehmend mehr Beweise aus der sozialen Neurowissenschaft deuten darauf hin, dass der mediale präfrontale Cortex (mPFC) eine entscheidende neurale Komponente in der Verarbeitung von sozialem Ereigniswissen ist. Die vorliegende ...

2014-04-16Habilitation

Executive functions modulated by context, training, and age

Der vorliegende Arbeit systematisiert Befunde aus dem Gebiet der exekutiven Funktionen und ihren Modulationen durch verschiedene Parameter (d.h. Shifting, Inhibition, Updating, Dual tasking). Diese Parameter werden in einer ...

2011-10-28Habilitation

Neuroscientific approaches to general intelligence and cognitive ageing

Nach einem ausführlichem Überblick über den Kenntnisstand der Genetik und Neurowissenschaft von allgemeiner Intelligenz und einer methodischen Anmerkung zur Notwendigkeit der Berücksichtigung latenter Variablen in den ...

2002-11-15Habilitation

Explicit state space verification

Schmidt, Karsten

Gegenstand der Arbeit ist die Verifikation von verteilten diskreten Systemen in bezug auf Spezifikationen ihres Verhaltens. Diskrete Systeme bestehen aus einer abzaehlbaren Zustandsmenge und einer Zustandsuebergangsrelation. ...

2001-02-05Habilitation

Improved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent Systems

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 ...

2005-03-10Habilitation

Relaxation and decomposition methods for mixed integer nonlinear programming

Die Habilitationsschrift beschäftigt sich mit Theorie, Algorithmen und Software zur Lösung von nichtkonvexen, gemischt-ganzzahligen, nichtlinearen Optimierungsproblemen (MINLP). Sie besteht aus 14 Kapiteln, die in zwei ...

2014-10-02Habilitation

Darstellung von Hysterese-Operatoren mit stückweise monotaffinen Input-Funktionen durch Funktionen auf Strings

Klein, Werner Olaf

In Brokate-Sprekels 1996 wurde ein Darstellungsresultat für Hysterese-Operatoren, die auf skalaren, stetigen, stückweise monotonen Funktionen definiert sind, hergeleitet. Dieses erlaubt es, die Operatoren eindeutig ...

1
2