Projects

 

Projects

Overview


 

3d-archaeology
numerical-modeling cl freebim dps squirrel igs qe sp-lab byte
bdfa
bennett_rswl genetic-algorithms tunnel-half-full railwaybridge read dk-cim      

 

 List of Projects


3d-archaeologyArchaeology
Research area(s):
Near Eastern Archaeology
Project title:
3D/4D Documentation of Excavations
Link to Webpage »

 


numerical-modelingAtmospheric Sciences
Research area(s): Simulation of Weather and Climate
Project title:
High-Resolution Modeling in Complex Terrain (various projects)
(no term of the projects)
Link to Webpage »

 


 clComputer Sciences
Research area(s):
Computational Logic
Project title:
From Confluence to Unique Normal Forms: Certification and Complexity
Link to Webpage »

read more »

This project is about confluence and the related unique normal form property of rewrite systems. In the preceding years many powerful confluence methods have been developed and implemented in confluence tools that participate in the recently established confluence competition. Important first steps towards certification have been made, but much remains to be done. The aim of this successor project is to fill two important gaps concerning certification, investigate methods for the unique normal form property, study various complexity issues related to confluence and unique normal forms, and further develop the confluence tool CSI and the certification tool CeTA for confluence.

 


freebimComputer Sciences 
Research area(s):
Databases and Information Systems
Project title:
Free BIM - Building Information Modelling
Link to Webpage »

read more »

Seit ca. 30 Jahren hat sich im Bauwesen die computergestützte Planung etabliert. Dennoch ist die Zusammenarbeit von Architekten, Tragwerksplanern, Gebäudetechnik und den ausführenden Unter-nehmen heute noch weit vom Optimum entfernt.
Eine Vielzahl von unterschiedlichen Dateiformaten und Schnittstellen kann bis heute die Austauschbarkeit der Plandaten unter den Projektbeteiligten nur unzureichend sicherstellen, unter anderem auch weil die CAD-Softwarepakete intern sehr unterschiedlich arbeiten.
Die Zusammenarbeit am Datenmodell scheitert jedoch nicht nur an technischen Hemmnissen im Bereich der Schnittstellen, sondern auch an der zentralen organisatorischen Frage:
"Wie können alle am selben (3D-)Datenmodell arbeiten?"

 


dpsComputer Sciences
Research area(s):
Distributed and Parallel Systems
Project title:
AllScale - An Exascale Programming, Multi-Objective Optimisation and Resilience Management Environment based on Nested Recursive Parallelism
Link to Webpage »

read more »

The potential of existing programming models to effectively utilise future Exascale systems, while addressing the challenges of energy-efficiency, diminishing resilience and hardware diversity, is severey limited. It follows that the lack of appropriate, high-productivity and portable programming models for Exascale computing is a fundamental barrier for the future of science and engineering. We propose the AllScale environment for the effective development of highly scalable, resilient and performance-portable parallel applications for Exascale systems.

 


squirrelComputer Sciences
Research area(s):
Intelligent and Interactive Systems
Project title:
Squirrel
Link to Webpage »

read more »

Clutter in an open world is a challenge for many aspects of robotic systems, especially for autonomous robots deployed in unstructured domestic settings, affecting navigation, manipulation, vision, human robot interaction and planning. SQUIRREL addresses these issues by actively controlling clutter and incrementally learning to extend the robot's capabilities while doing so. We term this the B3 (bit by bit) approach, as the robot tackles clutter one bit at a time and also extends its knowledge continuously as new bits of information become available. SQUIRREL is inspired by a user driven scenario, that exhibits all the rich complexity required to convincingly drive research, but allows tractable solutions with high potential for exploitation. We propose a toy cleaning scenario, where a robot learns to collect toys scattered in loose clumps or tangled heaps on the floor in a child's room, and to stow them in designated target locations.

 


igsComputer Sciences
Research area(s):
Interactive Graphics and Simulation
Project title:
PROSUP - Analysis and simulation of the distal forearm stability during pro-supination for improved surgical planning
Link to Webpage »

read more »

The radioulnar joint is one of two joints of the forearm bones radius and ulna. The bone surfaces enable forearm motion (i.e., pro-supination) in an extensive range while the stability is primarily maintained by a complex system of ligaments connecting the bones. Soft tissue injury can cause chronic joint instability, pain, or functional disability, thus requiring operative treatment by anatomical reconstruction. The goal of this project is to develop a patient-specific hard- and soft-tissue model for simulating not only the healthy but also the pathological forearm motion with respect to functional disability and instability. Besides improving the diagnosis of soft tissue associated injuries before an intervention, such as for distal radius instability, the ultimate goal is to predict the surgical outcome by analyzing the forearm motion before and after simulated surgery.

 


qeComputer Sciencies
Research area(s): Quality Engineering
Project title:
High-Resolution Modeling in Complex Terrain (various projects)
(no term of the projects)
Link to Webpage »

read more »

Collaborative systems support the cooperation of stakeholders across organisations and system boundaries. Due to their evolving nature and their strong quality requirements (e.g. concerning security and dependability) the engineering of collaborative systems poses immense challenges. Living Models strives to a model-based methodology for the continuous quality management of collaborative systems.

 


sp-labComputer Sciencies
Research area(s): Security and Privacy Lab
Project title:
ECRIME - Economic Impacts of Cybercrime
Link to Webpage »

read more »

Some progress has been made in understanding and managing cybercrime as well assessing its economic impact. Yet much remains to be done. Lack of co-ordination in law enforcement and legislation, lack of common consensus on the nature of cybercrime and lack of knowledge sharing and trust are just some of the issues that both afflict cybercrime responses and cloud our understanding of cyber crime. E-CRIME addresses these well-known problems, while analysing the economic impact of cybercrime and developing concrete measures to manage risks and deter cybercriminals in non-ICT sectors.

 


byteComputer Sciencies
Research area(s): Semantic Technology Institute
Project title: BYTE - The Big data roadmap and cross-disciplinarY community for addressing socieTal Externalities
Link to Webpage »

read more»

The Big data roadmap and cross-disciplinarY community for addressing socieTal Externalities (BYTE) project will assist European science and industry in capturing the positive externalities and diminishing the negative externalities associated with big data in order to gain a greater share of the big data market by 2020.


bdfaEngineering
Research area(s): Geotechnical and Tunnel Engineering
Project title: bDFA–beyond dense flow avalanches
Link to Webpage »

 

 


bennett_rswlEngineering
Research area(s):
Geometry and CAD
Project title:
Kinematic analysis of lower-mobility parallel manipulators using efficient algebraic tools
2014-2017
Link to Webpage »


genetic-algorithmsEngineering
Research area(s):
Surveying and Geoinformation
Project title:
Einsatz genetischer Algorithmen zur Erstellung realer, farbkodierter 3D-Modelle zur gleichzeitigen Darstellung von Hämodynamik und Morphologie in zerebralen arterio-venösen Malformationen
2014-2016
Link to Webpage »


tunnel-half-fullEngineering
Research area(s): Strength of Materials and Structural Analysis
Project title:
Modellierung tiefliegender Tunnelbauwerke
2012-2015
Link to Webpage »


railwaybridgeEngineering
Research area(s): Applied Mechanics
Project title:
Reliability assessment of railway bridges designed for high-speed traffic
2011-2015
Link to Webpage »

 


readLanguage and Literature
Research area(s): Digitisation and Digital Preservation
Project title:
READ - Recognition and Enrichment of Archival Documents
2016-2019
Link to Webpage »

read more»

The H2020 project READ (Recognition and Enrichment of Archival Documents) which is coordinated by the Digitisation and Digital Preservation group of the University of Innsbruck is an e-Infrastructure project funded by the European Commission with 8,2 mill. EUR. The project combines research, services and network building. It is focused on making archival material more accessible through the development of cutting-edge technologies, namely Handwritten Text Recognition (HTR).
Leading research groups from Germany, Spain, UK, Austria, Finland and Greece are taking part in the project and will set new standards in Handwritten Text Recognition, Key Word Spotting, Layout Analysis, Automatic Writer Identification and related fields.

The HPC facilities at the University of Innsbruck will be used to carry out experiments for training neural networks on historical handwriting, as well as to recognize large amounts (millions of pages) of historical documents.
A first prototype can be accessed and tried out from the following website: http://transkribus.eu/

Image taken by: Guenter Muehlberger
Source: https://transkribus.eu/wiki/index.php/File:Screenshot01.jpg#filelinks



 

Doctoral Program


Doctoral School DK + CIM
Computational Interdisciplinary Modelling

Link to project page »