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
Universität Bremen
Fachbereich 03: Mathematik und Informatik
Address
Bibliothekstraße 5
28359 Bremen
Deutschland
GERiT
This institution in GERiT
28359 Bremen
Projects
Priority Programmes
Completed projects
Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden, dynamischen Umgebungen
(Applicant
Visser, Ubbo
)
Bildfolgenbasierte semilokale 3D Landmarken zur Navigation in dynamischen Umgebungen
(Applicant
Krieg-Brückner, Bernd
)
Publication Grants
Completed projects
Die Inszenierung der Geschlechter in den Naturwissenschaften
(Applicant
Wiesner, Heike
)
Research Grants
Completed projects
Abstraktion und Wiederverwendung von formalen Programmentwicklungen
(Applicant
Lüth, Christoph
)
Conservative Extensions in Ontology Languages: Beyond Description Logics
(Applicants
Lutz, Carsten
;
Schneider, Thomas
)
Diffusion on irregular sets
(Applicant
Keßeböhmer, Marc
)
Ergodic theory of nonlinear waves in discrete and continuous excitable media
(Applicant
Rademacher, Jens
)
Formal hazard analysis, specification and testing of hybrid real-time systems in application to service robotics
(Applicant
Krieg-Brückner, Bernd
)
Harold Cohen & Leslie Mezei: Pioneering Times of Algorithmic Art.Two Book Projects
(Applicant
Nake, Frieder
)
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
(Applicant
Krieg-Brückner, Bernd
)
Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung
(Applicant
Krieg-Brückner, Bernd
)
Renewal theory and statistics of rare events in infinite ergodic theory
(Applicant
Keßeböhmer, Marc
)
Tropical Geometry at MSRI (Forschungssemester)
(Applicant
Feichtner, Eva Maria
)
CRC/Transregios
Current projects
Meso- to Submesoscale Turbulence in the Ocean
(Project Heads
Griesel, Alexa
;
Keßeböhmer, Marc
;
Walter, Maren
)
Completed projects
A Safe Wheelchair with Driving Assistance
(Project Heads
Frese, Udo
;
Krieg-Brückner, Bernd
;
Röfer, Thomas
)
[DiaSpace] Flexible Dialogue Control for Intuitive Spatial Communication
(Project Heads
Bateman, Ph.D., John
;
Shi, Hui
;
Tenbrink, Thora
)
[FreePerspective] Real-Time Aggregation of Spatial Perceptions into a Renderable 3-D Representation
(Project Heads
Frese, Udo
;
Röfer, Thomas
)
[HumanoidSpace] Humanoid Robot Navigation in Complex Indoor Environments
(Project Heads
Bennewitz, Maren
;
Röfer, Thomas
)
Maps for Robot Navigation
(Project Heads
Krieg-Brückner, Bernd
;
Röfer, Thomas
)
[Q-Shape] Reasoning about Paths, Shapes, and Configurations
(Project Heads
Dylla, Frank
;
Freksa, Ph.D., Christian
;
Wolter, Diedrich
)
Shared-Control Interaction
(Project Heads
Krieg-Brückner, Bernd
;
Schill, Kerstin
;
Shi, Hui
)
Specification for the Integration of Spatial Concepts
(Project Heads
Krieg-Brückner, Bernd
;
Mossakowski, Till
)
International Research Training Groups
Completed projects
GRK 1498: Semantic Integration of Geospatial Information
(Spokesperson
Kuhn, Werner
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
