Weitere Projekte

3nuts

3nuts ['frE 'n\&ts] is a peer-to-peer network combining the benefits of reliable random graphs and semantic search trees.

Automatic Web Data Extraction for Information Monitoring

Rife information content available on the World Wide Web is published within representation-oriented semi-structured HTML pages making it difficult for machines to access the content automatically. Therefore tools which are able to unfold the information contained in suchlike resources and transform them into machine-readable and understandable formats are required.

BMBF Project D.6

Alternative splicing at NAGNAG acceptors result in the insertion/deletion (indel) of 3 nt into the transcript.

BMBF Project Freiburg Initiative for Systems Biology (FRISYS) - WP 2 and WP 3

The programmatic focus of FRISYS is modelling and systems’ analysis of signalling processes in growth and differentiation of well developed model organisms at phylogenetic key positions.

BMBF/JCB Project D.5: Regulatory Elements

This project is about the development of new approaches for representing promoter sequences. Current solutions for predicting promoter sequences are mostly based on sequence-based training algorithms.

CARMEN - The Carnegie Mellon Robot Navigation Toolkit

CARMEN is an open-source collection of software for mobile robot control.

CoSy - Cognitive Systems for Cognitive Assistants

 

DEAXS - Formal Analysis of XML-Specifications

New developments in databases build on XML technologies.

DESIRE - The German Service Robotics Initiative

DESIRE ist ein Verbundvorhaben, das im Rahmen des Forschungprogramms "Leitinnovation Servicerobotik" vom Bundersministerium für Bildung und Forschung (BMBF) gefördert wird. Übergeordnetes Ziel von DESIRE ist es, die Führungsrolle der deutschen Servicerobotik zu erhalten und auszubauen.

Desktopvirtualisierung auf dem PC (*VirtualWS*)

 

DFG Priority Program SPP 1258: Sensory and regulatory RNAs in Prokaryotes

Detection of novel ncRNAs in prokaryotes and investigation of structural/functional features within them, as well as analysis of the interaction between bacterial ncRNAs and their target mRNAs.

DFG-Projekt: "NimbRo - Lernende humanoide Roboter"

Im von der DFG im Rahmen des Aktionsplans Informatik geförderten Projekt sollen lernende Roboter entwickelt werden, die in Körperform und Sensorik im Wesentlichen der menschlichen Ausstattung entsprechen.

Die Mondial-Datenbank

Die Mondial-Datenbank ist eine geografische Datenbank, die mittlerweile in der 2. Generation an unserem Lehrstuhl entwickelt wurde.

Dynamic Integration of eCatalogs

Das allgemeine Problem der Datenintegration besteht darin, dass eine Menge von lokalen und heterogenen Informationsquellen zu einem einheitlichen Informationssystem integriert werden sollen.

Erstausstattung Juniorprofessur

 

EU Network of Excellence REWERSE: Reasoning on the Web with Rules and Semantics - Working Group A2 - Adding Semantics to the Bioinformatics Web

The objective of REWERSE is to strengthen Europe in the area of reasoning languages for Web systems and applications, especially Semantic Web systems and applications aiming at enriching the current Web with so-called intelligent capabilities for data and service retrieval, composition, and processing.

EU Project EMBIO: Emergent Organisation in Complex Biomolecular Systems

Biomolecular systems exhibit spontaneous self-organisation that is critical to their function. Examples are protein folding and the self-assembly of membranes. The project aims to develop mathematical and computational approaches primarily to identify the poorly understood principles of this phenomenon

FEST - Funktionale Verifikation von Systemen

Es handelt sich um ein im Rahmen der Förderinitiative Ekompass gestartetes Projekt, das vom Bundesministerium für Bildung und Forschung (BMBF) sowie durch die edacentrum GmbH unterstützt wird. Projektpartner sind neben der Albert-Ludwigs-Universität Freiburg die TU Darmstadt, Universität Frankfurt/Main, TU Ilmenau, Universität Kaiserslautern sowie die Universität Tübingen. Im Rahmen des Projektes werden Lösungen erforscht, die eine einheitliche Verifikation von SoCs (System On Chip) ermöglichen. Mit dem gewonnenen Forschungs-Know-How soll die Halbleiter-Industrie in Deutschland unterstützt werden, um die Kompetenz ihrer Entwurfsteams auch in Zukunft auf höchstem Niveau zu halten und neue, leistungsfähigere Verfahren in ihre Entwurfsplattformen zu integrieren. Der Freiburger Beitrag zum Projekterfolg besteht in der Untersuchung und Entwicklung von Black-Box-Techniken bei der Eigenschaftsprüfung.

Flexible Pool- und Kursräume

Computer sind aus dem Alltags- und Wirtschaftsleben nicht mehr wegzudenken. Deshalb gehört es für die meisten Menschen zu den Grundlagen der Ausbildung mit Computern und darauf laufenden Betriebssystemen oder Anwendungssoftware umgehen zu können. Deshalb werden von allen möglichen Organisationen und Firmen Schulungen angeboten. Diese erfordern Räumlichkeiten mit einer flexiblen Computer- und Softwareausstattung. Hier liegen jedoch grosse Probleme, da eine PC-Standardeinrichtung diesen Anforderungen oft nicht entspricht. Die Kosten und Mühen des Betriebes solcher Räume sind oft exorbitant hoch bei nicht immer optimalen Ergebnissen.

Florid - F-Logic Reasoner

FLORID (F-LOgic Reasoning In Databases) is a deductive object-oriented database system employing F-Logic as data definition and query language.