Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-05-07

Computational mereotopology - a logical approach

Ziel



Research objectives and content
The project will result in a complete axiomatisation of a simplified mereotopology. The elements of this mereotopology will consist of lines and regions bounded by these lines. Thus it will include one- and two-dimensional spatial entities. Although this mereotopology is parsimonious, it is adequate for many computer applications such as Geographical Information Systems. The result of the project is primarily a theoretical one. Nevertheless, the axiomatisation will provide a mean for a wide range of computer applications for qualitative spatial representation and reasoning. Interfacing the methods of topology, model theory, logic and computer science, will ensure the success of the project.
Training content (objective, benefit and expected impact)
Objectives:
- acquisition of knowledge in the areas of mathematical
topology, logic, and model theory - use of various research methods - publications, PhD
Benefits and expected impact: - confidence in the ability to carry out research abroad - experience in a foreign higher education system - readiness to move to a foreign country to do research - foreign language experience - cultural experience - personal contacts

Wissenschaftliches Gebiet (EuroSciVoc)

CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.

Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen

Programm/Programme

Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.

Thema/Themen

Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.

Aufforderung zur Vorschlagseinreichung

Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.

Daten nicht verfügbar

Finanzierungsplan

Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.

RGI - Research grants (individual fellowships)

Koordinator

University of Manchester
EU-Beitrag
Keine Daten
Adresse
Oxford Road
M13 9PL Manchester
Vereinigtes Königreich

Auf der Karte ansehen

Gesamtkosten

Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.

Keine Daten

Beteiligte (1)

Mein Booklet 0 0