Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Address
Ernst-Reuter-Platz 7
10587 Berlin
Deutschland
GERiT
This institution in GERiT
10587 Berlin
Projects
Priority Programmes
Completed projects
Adaptive depth simulation of hybrid models within generic modeling and simulation frameworks
(Applicant
Jähnichen, Stefan
)
Causal relations among system states and behavior in primate memory: a tACS perturbation approach
(Applicants
Logothetis, Nikos K.
;
Obermayer, Klaus
;
Paulus, Walter
)
Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen
(Applicant
Jähnichen, Stefan
)
Iterative Kompression zur Lösung schwieriger Netzprobleme
(Applicant
Niedermeier, Rolf
)
Linking metric and symbolic levels in autonomous reinforcement learning
(Applicant
Obermayer, Klaus
)
Modellierung von Inferenzen in Mentalen Modellen
(Applicant
Wysotzki, Fritz
)
Independent Junior Research Groups
Completed projects
Small parameters in hard problems: Design, analysis, implementation and application of fixed-parameter algorithms
(Applicant
Niedermeier, Rolf
)
Research Grants
Current projects
Computational Social Choice: Multiple Preference Profiles and Multiple Solutions
(Applicant
Bredereck, Robert
)
Optimal Control of Models of Neural Population Dynamics
(Applicant
Obermayer, Klaus
)
The Art of Difference Parameterization in Multivariate Algorithmics
(Applicant
Komusiewicz, Christian
)
Completed projects
Algorithm Engineering for NP-hard Problems: Parameterized Algorithms versus Established Techniques
(Applicant
Hüffner, Falk
)
Algorithmen zur Erzeugung quasiregulärer Strukturen in Graphen (AREG)
(Applicant
Niedermeier, Rolf
)
Algorithms for Fair Allocations (AFFA)
(Applicant
Bredereck, Robert
)
Automatische Modellierung und Simulation von technischen Systemen mit Unsicherheit
(Applicants
Jähnichen, Stefan
;
Mehrmann, Volker
;
Nytsch-Geusen, Christoph
;
Pepper, Peter
)
Data-driven parameterized algorithmics of graph modification problems(DAPA)
(Applicant
Niedermeier, Rolf
)
Data reduction in parameterized algorithmics: New models and methods
(Applicant
Niedermeier, Rolf
)
Datenreduktion und Problemkerne
(Applicants
Guo, Jiong
;
Niedermeier, Rolf
)
Dynamic computation of hierarchical prediction errors during sequence learning
(Applicants
Blankenburg, Felix
;
Obermayer, Klaus
)
Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen
(Applicant
Jähnichen, Stefan
)
Heterogeneity of the Suprachiasmatic Nucleus: Quantification, Simulation, and Functional Analysis
(Applicant
Bordyugov, Grigory
)
Kern-Algorithmen zum Lernen in Feature-Räumen
(Applicant
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
(Applicants
Glesner, Sabine
;
Jähnichen, Stefan
)
Lernende Software-Agenten zur Filterung von Textdokumenten
(Applicant
Obermayer, Klaus
)
Lernende Software-Agenten zur Filterung von Textdokumenten
(Applicants
Albayrak, Sahin
;
Obermayer, Klaus
)
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
(Applicant
Buhmann, Joachim M.
)
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
(Applicant
Lengauer, Thomas
)
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
(Applicant
Jähnichen, Stefan
)
Matching under Preferences: Multimodal Views and Domain Restrictions
(Applicant
Bredereck, Robert
)
More efficient algorithms for polynomial-time solvable graph problems
(Applicant
Nichterlein, André
)
Multivariate Algorithmics for Temporal Graph Problems (MATE)
(Applicant
Niedermeier, Rolf
)
Neural mechanisms of real-world visual categorical decisions
(Applicants
Cichy, Radoslaw Martin
;
Obermayer, Klaus
)
Neuronale biologisch inspirierte Steuerungsachitektur für einen mobilen Roboter
(Applicant
Obermayer, Klaus
)
Optimal solutions for hard problems in computational biology
(Applicant
Niedermeier, Rolf
)
Parameterized algorithmics for bioinformatics
(Applicant
Niedermeier, Rolf
)
Parameterized Algorithmics for Voting Systems
(Applicant
Niedermeier, Rolf
)
Parameterized complexity and exact algorithms
(Applicant
Niedermeier, Rolf
)
Parametrisierte Algorithmik
(Applicant
Niedermeier, Rolf
)
Quantitative Erfassung der Entwicklungsdynamik von identifizierten Neuronen bei Insekten
(Applicant
Pflüger, Hans-Joachim
)
Quantitative Erfassung der Entwicklungsdynamik von identifizierten Neuronen bei Insekten
(Applicant
Obermayer, Klaus
)
Risk-sensitive choice and reinforcement learning under uncertainty
(Applicants
Obermayer, Klaus
;
Ostwald, Dirk
)
Risk-sensitive decision making under inclomplete information
(Applicant
Obermayer, Klaus
)
Subject specific maximization of motor function with an adaptive optimal combination of noisy and oscillatory transcranial current stimulation
(Applicants
Brandt, Stephan A.
;
Obermayer, Klaus
)
Trade-offs in Parameterized Data Reduction
(Applicant
Niedermeier, Rolf
)
Verifying common object-oriented design-patterns in stateful actor-languages
(Applicant
Helke, Steffen
)
Research Units
Current projects
FOR 2143: Interneuron Synaptic Plasticity - From Mechanisms to Functions
(Spokesperson
Bartos, Marlene
)
Completed projects
Computational consequences of interneuron plasticity
(Applicant
Sprekeler, Henning
)
Independent Junior Research Groups
Current projects
Information processing and security in near-future quantum communication networks
(Applicant
Pappa, Ph.D., Anna
)
Collaborative Research Centres
Current projects
A combined perturbation and modelling approach to understand and modulate the interactions between brain oscillations underlying memory consolidation in human NREM sleep
(Project Heads
Flöel, Agnes
;
Obermayer, Klaus
;
Ritter, Petra
)
A neuronal model for the development of schemas and their role in systems memory consolidation
(Project Heads
Kempter, Richard
;
Lindner, Benjamin
;
Sprekeler, Henning
)
End-to-end Energy Profiles of Data Analysis Workflows
(Project Heads
Böhm, Matthias
;
Grunske, Lars
;
Rabl, Tilmann
)
Completed projects
Dynamics and control of inter-areal brain networks
(Project Head
Obermayer, Klaus
)
Kontextabhängige Signalverarbeitung im visuellen System
(Project Head
Obermayer, Klaus
)
CRC/Transregios
Current projects
Machine and deep learning for population data analysis
(Project Heads
Binder, Harald
;
Sprekeler, Henning
)
Optimizing cortical interneuron circuits for flexible integration of information streams
(Project Head
Sprekeler, Henning
)
Research Training Groups
Completed projects
GRK 120: Signalling Cascades in Living Systems
(Spokesperson
Menzel, Randolf
)
GRK 1589: Sensory Computation in Neural Systems
(Spokesperson
Obermayer, Klaus
)
GRK 2434: Facets of Complexity
(Spokesperson
Rote, Günter
)
Clusters of Excellence (ExStra)
Current projects
EXC 2002: Science of Intelligence (SCIoI)
(Spokesperson
Brock, Oliver
)
Graduate Schools
Completed projects
GSC 86: Berlin School of Mind and Brain
(Spokespersons
Pauen, Michael
;
Villringer, Arno
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
