Computer Graphics, Simulation & roboti Ny
Want to build a simulator or a robot?
Verifying programs with a proof assistant Ny
This project is fairly open-ended. The general idea is to learn the basics of a proof assistant and who to use it. This could be to use Why3 or F* to develop and prove some programs.
Interaction with VR Ny
Project ideas: -Perception in Virtual Reality: Avatars in VR influence how users perceive their own physical bodies. -Movement in Virtual Reality: in this project you’ll model motion data from interaction in virtual reality.
Computer Vision and Applications Ny
Digital natural history: Specimen detection, species identification, automatic label reading, …
Analysis of biological material Ny
Growth of fungii. Input: Time image-sequence of petridishes tracking fungii growth Mitophagy – death of mitochondria Input: Snapshots of 3D microscope images of cells at various stages of mitophagy
User Experience Ny
Topics may include: -The user experience of notifications across all devices -Studying the experience of being in VR -Human-computer integration is emerging as a new concept to describe the experience of being one with a tool.
Master and bachelor projects on antibiotic induced spread of genes Ny
We have shown that antibiotic treatment induces the conjugative spread of antibiotic-resistance genes. But we need to know how, in order to find measures to prevent it.
Projects in Community Ecology Ny
Community ecologists explore the diversity of life - how this diversity is distributed across the planet. Our insights help predict how biodiversity will change in the future, which is important given the threats of global change.
The Eocene-Oligocene transition in Fuente Caldera, Spain Ny
Study extinctions across one of the most dramatic climate shifts of the last 65 million years!
Reinforcement Learning in Combinatorially-Structured Environments: An Empirical Study Ny
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