Oberstes Leitziel ist die Konvergenz von Methoden in der Deduktion und, im Gefolge davon, von Deduktionssystemen. Als unmittelbares Teilziel hiervon soll in der verwirrenden Vielfalt von Logiken, Formalismen, Methoden, Strategien, Repräsentationsstrukturen und Implementierungstechniken durch eingehende Vergleiche eine gewisse Sichtung, Ordnung und Vereinheitlichung geschaffen werden, die tragfähig genug ist, um als Richtungsmarkierung und Orientierung zu dienen. Aus der Erkenntnis dieser Analysen soll auf e

Das wissenschaftliche Programm des Schwerpunktes zielt auf die theoretische Durchdringung von übertragungstechnischen und vermittlungstechnischen Grundlagenproblemen von Mobilkommunikationssystemen der dritten und vierten Generation und deren Modellierung, die Entwicklung von Methoden zur Optimierung und zum Entwurf sowie die prototypische Realisierung von Algorithmen der leistungsarmen Signalverarbeitung bzw. von Protokollen für den Kanalzugriff, die Signalisierung und den sicheren Ablauf der Transaktionen

Es sollen effiziente Algorithmen für diskrete Probleme entwickelt und analysiert werden, die für Anwendungen in Wissenschaft und Technik relevant sind. Dabei können die Algorithmen direkt Anwendungsprobleme lösen oder auch den Boden für weiteren Fortschritt im Bereich von Anwendungen bereiten. Die zentrale Aufgabe des Schwerpunktprogramms ist es, Resultate, die aus den letzten Jahren und Jahrzehnten algorithmischer Grundlagenforschung in der Informatik heraus entstanden sind, durch weitere Forschung anw

Im Gegensatz zur klassischen Datenverarbeitung zeichnen sich integrierte Steuerungssysteme durch eine intensive Interaktion mit der Umgebung in fest definierten Aufgaben mit zeitlichen Randbedingungen aus. Eine besondere Rolle spielen harte Echtzeitsysteme, die an harte Zeitbedingungen gestellt werden, bei deren Nichteinhaltung die Funktionsfähigkeit beeinträchtigt ist. Beispiele sind sicherheitskritische Anwendungen und regelungstechnische Aufgaben in dynamisch instabilen Systemen und Protokolle in der Tel

Raumkognition umfasst den Erwerb, die Revision, die Organisation von und den Umgang mit Wissen über räumliche Umgebungen. Der Forschungsschwerpunkt konzentriert sich auf natürliche Vorbilder für die Repräsentation und Verarbeitung räumlichen Wissens, insbesondere auf den Menschen. Es sind empirische Untersuchungen über den kognitiven Umgang mit Raum beim Menschen – sowie ergänzend und kontrastiv beim Tier – durchzuführen. Theoretische Untersuchungen sollen die prinzipiellen Möglichkeiten und Grenzen bestimm

Aufgabe des Sonderforschungsbereichs ist die Entwicklung von Methoden, Verfahren und Hilfsmitteln für die schrittweise Virtualisierung von Parallelität mit dem Ziel der universellen Nutzbarkeit und Produktivitätssteigerung bei der Programmierung paralleler und verteilter Architekturen. Der Schwerpunkt der Untersuchungen liegt dabei zunächst auf der Entwicklungsmethodik. Diese umfasst die Entwicklung und Kategorisierung paralleler Algorithmen für Anwendungen unterschiedlicher Lastprofile unter Berücksichtigu