Projekte Fakultät für Informatik

Laufende Projekte

TitelBeginnEndeOrgeinheit
"Innovationslehrgang Data Science und Deep Learning 01.12.201731.12.2020E194-01
Abstraction-based Parameterized TLA Checker 01.01.201631.12.2019E192-04
Adaptable Platform for Active Services Exchange 01.01.201530.06.2018E191-03
Adaptive Smoothed Production 01.10.201731.07.2020E191-03
Advanced Data Analytics for Energy Efficiency 01.10.201531.12.2018E191-03
Advanced Visual and Geometric Computing for 3D Capture, Display, and Fabrication 01.09.201831.08.2022E193-02
A European AI On Demand Platform and Ecosystem 02.01.201931.12.2021E192-03
Aggregate Farming in the Cloud 01.09.201831.08.2021E191-01
Algorithm Engineering für Prozess Mapping 01.04.201931.03.2022E191-04
Algorithms for Sustainable Group Decision Making 01.02.201931.05.2022E192-02
Animated Cell Tab development 14.11.201631.12.2019E193-02
Artificial Researcher in Science: Efficient Scientific Publication Mining 01.01.201931.03.2021E194-01
A Test Suite for Photorealistic Rendering and Filtering 01.05.201730.04.2020E193-02
Aufbau und Verwaltung des EOSC Sekretariats zur Unterstützung der EOSC Governance 01.01.201930.06.2021E194-01
Automated Curriculum-based Course Timetabling in the University of Prishtina 15.01.201831.10.2019E192-02
Automation of Flow Cytometric Analysis for Quality-Assured Follow-up Assessment to Guide Curative Therapy for Acute Lymphoblastic Leukaemia in Children 01.02.201431.12.2019E193-01
Automatische Empfehlung von Musiktracks und Musikern zur Zusammenarbeit in einer Online Jam Community 01.02.201731.01.2019E194-01
AUTOnom Optimierte Cloud-Anwendungen 01.07.201331.12.2021E194-02
Autonomous Vehicle to Support Active Mobility 01.09.201628.02.2019E191-03
Balanced Manufacturing 01.01.201431.12.2017E191-03

Abgeschlossene Projekte

TitelBeginnEndeOrgeinheit
3D Vermessung 21.07.201731.10.2017E193-01
Abstraktion von Domänenspezifischen Informationssuche und Evaluierung 01.10.201331.12.2017E194-01
Analysis & Modeling of Single-Event-Transients in VLSI Chips 01.04.201431.12.2017E191-02
Analysis & Modeling of Single-Event-Transients in VLSI Chips 01.04.201431.12.2017E191-02
APA - IT 01.12.201631.08.2017E193-01
Automatische Optimierung der semantic matching Performance für das technische Gebiet eines Kunden 01.09.201531.12.2017E194-01
Beweistheoretische Analyse modaler Logiken 01.05.201530.04.2017E192-05
Breaking the Wall - Spielerische Interfaces und künstlerische Praxis zur Beteiligung des Publikums an Konzerten und Live-Performances 01.11.201531.10.2018E193-05
Christian Doppler Labor für Modellintegrierte Intelligente Produktion 01.01.201731.12.2023E194-03
Christian Doppler - Labor für Software Engineering Integration für flexible Automatisierungssysteme 01.01.201031.12.2016E194-01
Data Intelligence ¿ Tinka Proactive Services 01.10.201631.03.2017E194-04
Design Driven Innovation Network 03.04.201702.06.2018E193-05
Detektion und Visualisierung von Blindgängern 01.10.201531.12.2017E193-01
DiagVis Jahr 2 (KE 2009 offen) 01.10.200728.02.2009E193-02
Die Gestaltung von Lernspielen zu Themen aus Informatik und Gesellschaft 01.03.201531.08.2017E193-05
Die Onlineplattform für informelle PflegerInnen 01.05.201330.04.2016E193-04
Echtzeit Lageerfassung der örtlichen Situation für Einsatzkräfte bei Katastrophen- und Kriseneinsätzen 01.10.201430.11.2015E193-05
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen 01.05.201330.04.2018E192-02
Ein logisches Bezugssystem für Dialogspiele 01.05.201330.04.2017E192-05
Entwicklungsmethoden für analysierbare ausführbare DSMLs 01.07.201813.05.2019E194-03