Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Adresse
Ernst-Reuter-Platz 7
10587 Berlin
Deutschland
GERiT
Diese Institution in GERiT
10587 Berlin
Projekte
Schwerpunktprogramme
abgeschlossene Projekte
Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen
(Antragsteller
Jähnichen, Stefan
)
Generische Modellierung und Simulation hybrider Systeme mit adaptiver Modellierungstiefe
(Antragsteller
Jähnichen, Stefan
)
Iterative Kompression zur Lösung schwieriger Netzprobleme
(Antragsteller
Niedermeier, Rolf
)
Modellierung von Inferenzen in Mentalen Modellen
(Antragsteller
Wysotzki, Fritz
)
Untersuchung der kausalen Beziehungen zwischen Systemzuständen und Funktionen des Primatengedächtnisses mit Hilfe von tACS Stimulation
(Antragsteller
Logothetis, Nikos K.
;
Obermayer, Klaus
;
Paulus, Walter
)
Verknüpfung von metrischen und symbolischen Ebenen in autonomen Reinforcement Lernen
(Antragsteller
Obermayer, Klaus
)
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
abgeschlossene Projekte
Aktionsplan-Informatik: Kleine Parameter in schwierigen Problemen: Entwurf, Analyse, Implementierung und Anwendung von Festparameteralgorithmen
(Antragsteller
Niedermeier, Rolf
)
Sachbeihilfen
laufende Projekte
Computational Social Choice: Mehrere Präferenzprofile und mehrere Lösungen
(Antragsteller
Bredereck, Robert
)
Die Kunst der Differenzparametrisierung in der multivariaten Algorithmik
(Antragsteller
Komusiewicz, Christian
)
Optimale Kontrolle von Modellen neuronaler Populationsdynamik
(Antragsteller
Obermayer, Klaus
)
abgeschlossene Projekte
Algorithmen für Faire Allokationen (AFFA)
(Antragsteller
Bredereck, Robert
)
Algorithm Engineering für NP-schwere Probleme: Parametrisierte Algorithmen versus etablierte Techniken
(Antragsteller
Hüffner, Falk
)
Algorithmen zur Erzeugung quasiregulärer Strukturen in Graphen (AREG)
(Antragsteller
Niedermeier, Rolf
)
Automatische Modellierung und Simulation von technischen Systemen mit Unsicherheit
(Antragsteller
Jähnichen, Stefan
;
Mehrmann, Volker
;
Nytsch-Geusen, Christoph
;
Pepper, Peter
)
Datengetriebene parametrisierte Algorithmik von Graphmodifikationsproblemen (DAPA)
(Antragsteller
Niedermeier, Rolf
)
Datenreduktion in der parametrisierten Algorithmik: neue Modelle und Methoden (DAMM)
(Antragsteller
Niedermeier, Rolf
)
Datenreduktion und Problemkerne
(Antragsteller
Guo, Jiong
;
Niedermeier, Rolf
)
Dynamische Schätzung von hierarchischen Vorhersagefehlern bei menschlichem Sequenzlernen
(Antragsteller
Blankenburg, Felix
;
Obermayer, Klaus
)
Effizientere Algorithmen für polynomialzeitlösbare Graphprobleme
(Antragsteller
Nichterlein, André
)
Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen
(Antragsteller
Jähnichen, Stefan
)
Heterogeneity of the Suprachiasmatic Nucleus: Quantification, Simulation, and Functional Analysis
(Antragsteller
Bordyugov, Grigory
)
Kern-Algorithmen zum Lernen in Feature-Räumen
(Antragsteller
Jähnichen, Stefan
)
Konstruktion und Verifikation eingebetteter echtzeitfähiger Steuerungssoftware und ihrer Transformation in ausführbaren Code unter besonderer Berücksichtigung von Multicore und Adaptivität
(Antragstellerinnen / Antragsteller
Glesner, Sabine
;
Jähnichen, Stefan
)
Lernende Software-Agenten zur Filterung von Textdokumenten
(Antragsteller
Obermayer, Klaus
)
Lernende Software-Agenten zur Filterung von Textdokumenten
(Antragsteller
Albayrak, Sahin
;
Obermayer, Klaus
)
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
(Antragsteller
Buhmann, Joachim M.
)
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
(Antragsteller
Lengauer, Thomas
)
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
(Antragsteller
Jähnichen, Stefan
)
Matching mit Praeferenzen: Multimodale Sichten und eingeschraenkte Praeferenzen
(Antragsteller
Bredereck, Robert
)
Multivariate Algorithmik temporaler Graphprobleme (MATE)
(Antragsteller
Niedermeier, Rolf
)
Neuronale biologisch inspirierte Steuerungsachitektur für einen mobilen Roboter
(Antragsteller
Obermayer, Klaus
)
Neuronale Mechanismen lebensnaher visueller Kategorisierungsentscheidungen
(Antragsteller
Cichy, Radoslaw Martin
;
Obermayer, Klaus
)
Optimale Lösungen harter Probleme der algorithmischen Biologie
(Antragsteller
Niedermeier, Rolf
)
Parameterized algorithmics for bioinformatics
(Antragsteller
Niedermeier, Rolf
)
Parametrisierte Algorithmik
(Antragsteller
Niedermeier, Rolf
)
Parametrisierte Algorithmik für Wahlsysteme (PAWS)
(Antragsteller
Niedermeier, Rolf
)
Parametrisierte Komplexität und exakte Algorithmen
(Antragsteller
Niedermeier, Rolf
)
Quantitative Erfassung der Entwicklungsdynamik von identifizierten Neuronen bei Insekten
(Antragsteller
Pflüger, Hans-Joachim
)
Quantitative Erfassung der Entwicklungsdynamik von identifizierten Neuronen bei Insekten
(Antragsteller
Obermayer, Klaus
)
Risiko-sensitive Entscheidungen und belohnungsabhängiges Lernen unter Unsicherheit
(Antragsteller
Obermayer, Klaus
;
Ostwald, Dirk
)
Risiko-sensitive Entscheidungsprozesse unter unvollständiger Information
(Antragsteller
Obermayer, Klaus
)
Spezifikation und Verifikation objektorientierter Design-Patterns im Kontext nebenläufiger Objektsemantiken
(Antragsteller
Helke, Steffen
)
Subjekt und Restitutionsphase spezifische Maximierung der motorischen Funktionen mit adaptiver transkranieller stochastischer und oszillierender Stimulation
(Antragsteller
Brandt, Stephan A.
;
Obermayer, Klaus
)
Wechselwirkungen bei parametrisierter Datenreduktion
(Antragsteller
Niedermeier, Rolf
)
Forschungsgruppen
abgeschlossene Projekte
FOR 2143: Synaptische Plastizität GABAerger Zellen - Vom Mechanismus zur Funktion
(Sprecherin
Bartos, Marlene
)
Funktionelle Konsequenzen der Plastizität von inhibitorischen Interneuronen
(Antragsteller
Sprekeler, Henning
)
Emmy Noether-Nachwuchsgruppen
laufende Projekte
Informationsverarbeitung und Sicherheit für kommende Quantenkommunikationsnetzwerke
(Antragstellerin
Pappa, Ph.D., Anna
)
Sonderforschungsbereiche
laufende Projekte
Ein kombinierter Perturbations- und Modellierungsansatz für die Untersuchung von Hirnoszillationen, die der Konsolidierung des menschlichen Gedächtnisses zu Grunde liegen, und ihrer Wechselwirkungen während des NREM Schlafs
(Teilprojektleiterinnen / Teilprojektleiter
Flöel, Agnes
;
Obermayer, Klaus
;
Ritter, Petra
)
Ein neuronales Modell für die Entwicklung von Schemas und ihre Rolle bei der systemischen Gedächtniskonsolidierung
(Teilprojektleiter
Kempter, Richard
;
Lindner, Benjamin
;
Sprekeler, Henning
)
Ganzheitliche Energieprofile für Datenanalyse-Workflows
(Teilprojektleiter
Böhm, Matthias
;
Grunske, Lars
;
Rabl, Tilmann
)
abgeschlossene Projekte
Dynamik und Kontrolle von inter-arealen neuronalen Netzwerken im Gehirn
(Teilprojektleiter
Obermayer, Klaus
)
Kontextabhängige Signalverarbeitung im visuellen System
(Teilprojektleiter
Obermayer, Klaus
)
Transregios
laufende Projekte
Maschinelles Lernen für Populationsdaten
(Teilprojektleiter
Binder, Harald
;
Sprekeler, Henning
)
Optimierung von inhibitorischen Schaltkreisen für die flexible Integration von Informationsquellen
(Teilprojektleiter
Sprekeler, Henning
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 120: Signalketten in lebenden Systemen
(Sprecher
Menzel, Randolf
)
GRK 1589: Verarbeitung sensorischer Informationen in neuronalen Systemen
(Sprecher
Obermayer, Klaus
)
GRK 2434: Facetten der Komplexität
(Sprecher
Rote, Günter
)
Exzellenzcluster (ExStra)
laufende Projekte
EXC 2002: Science of Intelligence (SCIoI)
(Sprecher
Brock, Oliver
)
Graduiertenschulen
abgeschlossene Projekte
GSC 86: Berlin School of Mind and Brain
(Sprecher
Pauen, Michael
;
Villringer, Arno
)