Projects
Satisfiability and model generation in infinite space KU Leuven
The ultimate goal of the declarative programming paradigm is to represent the knowledge available in a problem domain, rather than that of one specific task dealing with (an instance of) that knowledge. So far, declarative approaches have mainly focused on one generic class of tasks and apply one particular form of inference. Various declarative paradigms have done this with great success, often obtaining spectacular improvements of ...
Long-term storage of Organ-on-Chip: from deep space exploration to organ preservation on Earth KU Leuven
Space biological research studies the effects of the hostile space environment on the human body to enable future deep-space manned missions. As access to the ISS is limited, ground-based facilities are available on Earth to simulate different space stressors. Investigating the harmful effects of space on the human body is crucial to perform health risk assessments of astronauts during deep-space missions. Organ-on-chips (OoC) are complex 3D ...
SpaceTimeOmics: combining high-throughput spatial omics with AI to model gene regulation in space and time KU Leuven
Tracking and understanding cellular differentiation during the development of a multicellular organism at single-cell resolution is a long-standing challenge in biology. While single-cell multi-omics, combined with genomic sequence analysis, provides a powerful means to infer gene regulatory networks for a specific tissue, or for a specific time point (i.e., a snapshot), such approaches are limited in throughput and lack the power to ...
Entanglement, space and time Vrije Universiteit Brussel
But quantum systems can be entangled in other ways – e.g., between small and large energy scales, and between ...
Understanding intra-tumor heterogeneity in glioblastoma in space and in time. KU Leuven
Intra-tumor heterogeneity is the main obstacle to effective cancer treatment and personalized medicine. The mechanistic underpinnings of intra-tumor heterogeneity in progression and therapeutic resistance are however largely unknown. Single-cell RNA-sequencing (scRNA-seq) has revealed significant inter- and intra-tumoral molecular heterogeneity in Glioblastoma (GBM), an aggressive brain tumor that is obstinate to most therapies. However, this ...
Multi-modal sensor fusion for deep state estimation Ghent University
There is an abundance of sensory information being collected by sensors since the emergence of the Internet of things. Combining this information (sensor fusion) to get a meaningful picture of the system under observation currently needs a lot of expert knowledge and human engineering, which doesn't scale well with the growing amount of sensors available. These sensors can vary strongly (multi-modality), ranging from complex depth camera's to ...
Assimilation of remotely sensed observations into land surface models to improve surface condition estimates Ghent University
This project aims at improving the state estimation of the land surface at a regional to a global scale. This will allow to optimize weather and climate predictions or to monitor floods and droughts. New remote sensing observations (satellite, from space) play a crucial role in this project.
Development of model order reduction techniques for mechatronic system models in inverse problems. KU Leuven
Mechatronic models are developed in the design stage to describe and further improve the performance of systems. These models tend to cause difficulties with respect to numerical modelling and simulation due to (1) a large number of degrees of freedom (DOFs), (2) strongly coupled non-linear equations, (3) a wide frequency difference between the dominant behaviour of the different physical domains and (4) strongly non-linear parametric ...