Projects
Joint model-based registration and segmentation strategies for integrated quantitative analysis of cardiac MRI sequences KU Leuven
Cardiac magnetic resonance imaging (MRI) is a state-of-the-art method for non-invasive visualization and functional analysis of the heart and enables not only qualitative but also quantitative analysis. Examples are cine MRI for assessment of cardiac contraction or T1 mapping for quantitative characterization of myocardial tissue. The different images result in a large amount of data and provide complementary information to assess cardiac ...
Structured Machine Learning for Mapping Natural Language to Spatial Ontologies KU Leuven
Due ...
6D object pose tracking KU Leuven
With the rapid development of 3D acquisition technologies, 3D sensors are becoming increasingly available and affordable, including various types of 3D scanners, LiDARs, and RGB-D cameras (such as Kinect and RealSense). 3D data acquired by these sensors can provide rich geometric, shape and scale information, which makes it suitable for applications such as robotics, autonomous driving, virtual reality and augmented reality. In this research, ...
A new typology of indefinite pronouns and adverbs. University of Antwerp
A new typology of indefinites. University of Antwerp
Foundations for Co-Simulation. University of Antwerp
Tensors and Neural Networks for Creative Language Generation KU Leuven
The neurobiology of meaning composition: a multi-method research approach KU Leuven
Comprehending written sentences requires complex combinatorial routines: syntactic parser processing, logical semantics and conceptual structure. By taking advantage of the rare opportunity to record neural signal from depth electrodes (Stereo-electroencephalography (SEEG)) in neurosurgery patients - along with EEG and functional Magnetic Resonance Imaging (fMRI) recordings – this project will reveal the neurobiological foundation of the ...
Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge KU Leuven
Approximation Fixpoint Theory (AFT) is an algebraic fixpoint theory of
nonmonotone operators. It was founded in order to unify semantics
of various non-monontic logics, in particular default logic (DL),
autoepistemic logic (AEL), and logic programming (LP).
Using AFT, one can obtain a family of semantics for any of these
logics by defining (only) a semantic operator: an operator that maps
interpretations to ...