Search

Now showing items 1-10 of 11

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

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

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

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

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

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

2007-06-08Habilitation

Einbeziehung von Elementen der 3D-Computergrafik in den Mathematikunterricht der Sekundarstufe II im Stoffgebiet analytische Geometrie

Filler, Andreas

Die Habilitationsschrift beschäftigt sich mit der Einbeziehung von Elementen der 3D-Computergrafik in den Unterricht der analytischen Geometrie in der Sekundarstufe II. Vorrangiges Ziel dabei ist, den Unterricht praxisnäher, ...

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

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

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

1
2