Search

Now showing items 1-10 of 11

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

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

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

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

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

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

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

1
2