Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Augsburg
Fakultät für Angewandte Informatik
Institut für Informatik

Adresse Universitätsstraße 6a
86159 Augsburg
Deutschland

GERiT Diese Institution in GERiT

86159 Augsburg

Projekte

Sachbeihilfen
- laufende Projekte
  - Neuartige Approximationstechniken für Traveling Salesman Probleme
    (Antragsteller Mömke, Tobias )
- abgeschlossene Projekte
  - Algebra-basierte Feature-orientierte Programmsynthese
    (Antragsteller Apel, Sven ; Möller, Bernhard )
  - Algebraische Kalküle für Separationslogik
    (Antragsteller Möller, Bernhard )
  - ANtiDOTE: Echtzeitanalyse von Informationsausbreitung zur Bestimmung von Vertrauenswürdigkeit und Relevanz
    (Antragsteller Fischer, Peter M. )
  - Beobachtbarkeit von halbgeordneten Abläufen mittels Test-Szenarios, Aktionsverfeinerung und temporaler Logik
    (Antragsteller Vogler, Walter )
  - Dekomposition von Signalflankengraphen zur Synthese asynchroner Steuerwerksverbünde
    (Antragsteller Vogler, Walter ; Wollowski, Ralf )
  - Dekomposition von Signalflankengraphen zur Synthese asynchroner Steuerwerksverbünde
    (Antragsteller Vogler, Walter )
  - Erweitertes Fetalmonitoring mittels systemtechnischer Analyse der fetalen autonomen kardiovaskulären Regulation
    (Antragsteller Malberg, Hagen ; Stepan, Holger ; Wessel, Niels )
  - Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
    (Antragsteller Lüttgen, Gerald )
  - Identifikation von Hirnarealen und neuronalen Netzwerken, die für die Kodierung von Schmerz, Hyperalgesie, Schmerzkontrollfunktion und vegetativer Innervation verantwortlich sind, mit Hilfe von VLBM (voxel-based lesion-behavior (network) mapping) Untersuchungen an akuten Schlaganfallpatienten
    (Antragsteller Baier, Bernhard ; Birklein, Frank ; Muthuraman, Ph.D., Muthuraman )
  - Kalküle für charakteristische informatische Strukturen
    (Antragsteller Möller, Bernhard )
  - Kamerabasierte Erfassung der Hämodynamik für die kontaktlose Blutdruckbestimmung
    (Antragsteller Zaunseder, Sebastian )
  - Modellbasiertes Engineering adaptiver Rich-Internet-Applications
    (Antragsteller Wirsing, Martin )
  - Neuartige Approximationstechniken für Traveling Salesperson Probleme
    (Antragsteller Mömke, Tobias )
  - Optimierung hochsprachen-spezifizierter asynchroner Controller mittels STG-Dekomposition (Kennwort: Optacon)
    (Antragsteller Vogler, Walter ; Wollowski, Ralf )
  - Spezifikation und Verifikation von Informationsflüssen (InfoZert B)
    (Antragsteller Hofmann, Martin ; Knapp, Alexander )
  - Synthese von Petrinetzen aus Szenarien
    (Antragsteller Lorenz, Robert )
  - Testen selbst-organisierender, adaptiver Systeme (TeSOS)
    (Antragsteller Knapp, Alexander ; Reif, Wolfgang )
Heisenberg-Förderung
- laufende Projekte
  - Techniken für Effiziente Algorithmen mit Limitierten Ressourcen
    (Antragsteller Mömke, Tobias )
Transregios
- laufende Projekte
  - Entwicklung von Standards, Infrastruktur und Workflows für computerbasierte Analysen in der Neuromodulationsforschung
    (Teilprojektleiterinnen / Teilprojektleiter Muthuraman, Ph.D., Muthuraman ; Neumann, Wolf-Julian ; Ritter, Petra ; Tovote, Philip )
  - Gangstörungen bei Morbus Parkinson: von der klinischen multifaktoriellen Überwachung zu Hause hin zu adaptiven neuromodulationalen Therapien
    (Teilprojektleiterinnen / Teilprojektleiter Muthuraman, Ph.D., Muthuraman ; Palmisano, Chiara ; Pozzi, Nicoló Gabriele )
- abgeschlossene Projekte
  - Topologie der Neurodegeneration- und Kompensationsmuster bei chronischer Neuroinflammation
    (Teilprojektleiterinnen / Teilprojektleiter Groppa, Sergiu ; Meuth, Sven G. ; Muthuraman, Ph.D., Muthuraman ; Zipp, Frauke )

© 2024 DFG Kontakt / Impressum / Datenschutz