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
ANtiDOTE: Echtzeitanalyse von Informationsausbreitung zur Bestimmung von Vertrauenswürdigkeit und Relevanz
(Antragsteller
Fischer, Peter M.
)
abgeschlossene Projekte
Algebra-basierte Feature-orientierte Programmsynthese
(Antragsteller
Apel, Sven
;
Möller, Bernhard
)
Algebraische Kalküle für Separationslogik
(Antragsteller
Möller, Bernhard
)
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 Salesman Probleme
(Antragsteller
Mömke, Tobias
)
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
)