Mathematische Wissenschaften  

Mathematische
Wissenschaften

DFG Projekte

Hybrides Schließen in intelligenten Systemen - FOR 1513

Die Wissensrepräsentation (WR) und insbesondere die Möglichkeit, über Aktionen und ihre Effekte auf die Umgebung, in denen die Aktionen ausgeführt werden, Schlüsse zu ziehen, sind wesentliche Bestandteile intelligenten Verhaltens und wurden seit den Anfängen der künstlichen Intelligenz erforscht. [...] weiterlesen

Quantitative Logiken und Automaten - GRK 1763

Sowohl Automaten als auch Logiken werden in vielen Bereichen der Informatik zur Modellierung eingesetzt, wobei sich die beiden Modellierungsansätze häufig synergetisch ergänzen. In der Theoretischen Informatik wurde der Zusammenhang zwischen endlichen Automaten und Logiken seit dem Anfang der 1960er-Jahre sehr intensiv untersucht. Dieser Zusammenhang ist für zahlreiche Anwendungsgebiete von großer Bedeutung. [...] weiterlesen

EU Projekte

Quantifying aerosol-cloud-climate effects by regime - ERC

Die Projektbeschreibung ist nur in englischer Sprache verfügbar. weiterlesen

The h-Principle for Fluid Dynamics - ERC

Die Projektbeschreibung ist nur in englischer Sprache verfügbar. weiterlesen

BMBF-Projekte

ScaDS-Competence Center For Scalable Data Services and Solutions

Im Rahmen des Förderprogramms „Kompetenzzentren für den intelligenten Umgang mit großen Datenmengen (Big Data)“ wird das Forschungsvorhaben „ScaDS Dresden/Leipzig - Competence Center for Scalable Data Services and Solutions“ vom Bundesministerium für Bildung und Forschung (BMBF) gefördert. [...] weiterlesen

HorseVetMed - Telemetrische Veterinär-Medizintechnik

Das Ziel des Vorhabens ist die Entwicklung einer offenen, erweiterbaren Plattform zur digitalen Diagnose- und Therapieunterstützung in der Veterinärmedizin. Als erste Anwendung ist innerhalb des beantragten Projektes der Einsatz der Plattform als Verarbeitungs- sowie Auswertungssystem zur Diagnostik und Therapie von Großtieren (hier Pferd) vorgesehen. [...] weiterlesen

GEISER - Von Sensordaten zu internetbasierten Geo-Services

Eine Vielzahl von Anwendungen und cyberphysischen Systemen sind auf die Verfügbarkeit von Massen an Geo- und Sensordaten angewiesen. Ein großes und noch weitgehend unerschlossenes Potential bieten Systeme, die auf Daten aus verschiedenen Quellen aber mit gleichem oder ähnlichem inhaltlichen, räumlichen und zeitlichen Bezug zugreifen können. [...] weiterlesen

ASML Electronic Resource Management. Optimierte Nutzungs- und Allokationssteuerung für elektrische Meidien in den sächsischen Hochschulbibliotheken

Teilthema: Implementierung der Anwendung AMSL für sächsische Hochschulbibliotheken inklusive Erweiterung um differenzierte Zugriffs- und Nutzungssteuerung sowie einen Allokationsmanagement für Erwerbungsmittel. [...] weiterlesen

EXPLOIDS

Ziel des Projekts EXPLOIDS (Explicit Privacy-Preserving Host Intrusion Detection System) ist es, ein System zu entwerfen und zu realisieren, das unbekannte Angriffe auf Computer erkennt. Dazu werden neue technische Methoden entwickelt, die es ermöglichen, Angriffsspuren zu sammeln, Angriffe zu erkennen und diese forensisch auszuwerten. Dem Angreifer soll es dabei nicht möglich sein, das Erkennungssystem selbst zu manipulieren. [...] weiterlesen

Verbundprojekte in Kooperationen

Internationale Max Planck Research School "Mathematics in the Sciences"

Die Internationale Max Planck Research School "Mathematics in the Sciences" (IMPRS MiS) ist eine Kooperation zwischen dem Max-Planck-Institut für Mathematik in den Naturwissenschaften und den Instituten für Mathematik, Informatik und Physik der Universität Leipzig. [...] weiterlesen


letzte Änderung: 17.08.2017 

Ansprechpartner

Prof. Dr. Rainer Verch
Institut für Theoretische Physik
Vor dem Hospitaltore 1
04103 Leipzig

Telefon: +49 341 97-32423
Telefax: +49 341 97-32458
E-Mail

Prof. Dr. Martin Middendorf
Institut für Informatik
Augustusplatz 10
04109 Leipzig

Telefon: +49 341 97-32275
Telefax: +49 341 97-32252
E-Mail

pages