Cognitive Psychology New
Are you interested in cognition including perception, attention, memory, and thinking - how these processes can be measured and their relation to HCC. Read more here.
Reinforcement Learning in Combinatorially-Structured Environments: An Empirical Study New
The goal of this project is to conduct an extensive empirical study of such algorithmic ideas. In particular we would like to understand, through an empirical study, whether such model-based ideas could be combined with Q-learning
Business Processes and Intelligence Supervisor Thomas Hildebrandt New
Design and development of modelling, simulation and execution framework • Process Compliance Monitoring & Verification • Machine learning, data & process mining for predictive process monitoring and prescriptive process management
3D Printing & Physical Interaction New
In Human-Centered Computing, some topics for your bachelor project may be: 3D Design Software, Augmented Reality, Interactive 3D-Printed Objects, Shape-changing Interfaces and Wearable computing
Explainable Stance Detection New
Stance detection: classify attitude of tweets towards targets • Problem: deep neural networks are black box models -- inner workings can’t easy be explained • Project goal: develop explainability methods for stance detection
Optimization of enzyme function and stability New
We have developed an efficient method for stabilizing proteins using a combination of random mutations, genetic screening, deep sequencing and a computational tool. We want to apply this to enzyme activity.
Projects in Conservation Biology New
Human activities impact on biodiversity, with consequences for species survival and human wellbeing. Conservation biology examines human effects on diversity, from genes to communities, and explores how they can be mitigated.
Trustworthy Software via Runtime Monitoring or Formal Verification New
Runtime Monitoring Monitor = tool/algorithm that detects Formal Verification Proof Assistant = tool that mechanically checks the correctness of mathematical arguments
Project Idea: Spanners New
Graph spanners have found a wide range of applications in, e.g., distributed systems and communication networks. A spanner is a representation of a graph which approx. preserves shortest path distances between all vertex pairs.