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

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

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

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

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

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

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

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

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

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