Skip to main content Skip to main navigation

Projects

Displaying results 21 to 25 of 25.
  1. Fast&Slow – Combination of Symbolic and Subsymbolic Methods

    Fast&Slow – Combination of Symbolic and Subsymbolic Methods

    Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable statement can be made about their correctness. In contrast, t

  2. VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been develope

  3. SUITE – Intelligent, adaptive assistance services based on smart meters and building automation data

    SUITE – Intelligent, adaptive assistance services based on smart meters and building automation data

    SUITE tests concepts of machine learning and multi-agent technology in Smart Home. On the basis of smart meter data, intelligent audio systems, selected smart home sensors and building automation data

  4. ForeSight – Platform for Context-sensitive, Intelligent and Predictive Smart Living Services

    ForeSight – Platform for Context-sensitive, Intelligent and Predictive Smart Living Services

    The ForeSight project idea emerged from the Smart Living business initiative. The aim of the project is to make a significant contribution to the further development of smart buildings and apartments

  5. CrowdHEALTH – Collective Wisdom Driving Public Health Policies

    CrowdHEALTH – Collective Wisdom Driving Public Health Policies

    In the last few years information and communication technologies as well as sensors and applications that support personalized medical treatment increasingly emerged in health service – also known as