Projects
A Study of Oxide Defects in III-V MOS Devices using Electrical and Mathematical Methods KU Leuven
III-V compound semiconductors are considered as potential channel materials for replacing Silicon in commercial logic devices. One of the major roadblock is the difficulty in developing the gate stack of sufficiently high quality to enable a III-V metal-oxide-semiconductor (MOS) device with high and reliable On performance. The defects in high-k dielectrics are, therefore, one of the key areas of focus for research on III-V based MOS devices. ...
Adaptive model reduction strategies for fast prediction and optimization of the vibro-acoustic performance of dynamical systems with damping KU Leuven
Over the past years, the dynamic and acoustic qualities of products have become an increasingly important design criterion in many industrial sectors. Moreover, in order to improve the cost-efficiency of products, lightweight designs are emerging. However, their high stiffness-to-mass ratio can often be the cause of noise and vibration problems. Therefore, it is customary to use complex damping materials such as viscoelastic and porous ...
Exploiting Symmetry in Model Expansion for Predicate and Propositional Logic KU Leuven
Many combinatorial problems exhibit symmetry, a transformational property that does not fundamentally alter the nature of a problem. For instance, renaming a set of identical trucks in a routing problem, mirroring or rotating a chessboard onto itself, or the automorphisms of an input graph give rise to symmetry. These symmetry properties often hinder an algorithm solving a combinatorial problem, as it wastefully investigates different ...
Satisfiability and model generation in infinite space KU Leuven
The goal of declarative programming is to represent the knowledge available in a problem domain and solve tasks using inference tools. The FO(.)-Knowledge Base System IDP is a state-of-the-art declarative system that is unique as it comes with a multitude of inferences and allows developers to use the same information for solving very different kinds of tasks. Currently, the language and its inferences only allow for finite domains; it is ...
What works for high risk students? Looking for clues to improve their academic outcomes KU Leuven
What works for high-risk students? Looking for clues to improve their academic outcomes.
Gudrun Vanlaar (Supervisors prof. B. De Fraine & prof. J. Van Damme)
Educational research shows that students with a low socioeconomic status (SES), an immigrant background, and/or special educational needs are more vulnerable for academic underachievement. This doctoral project focuses on the question how the gap between high- and ...
User modeling for personalized Ad retrieval KU Leuven
The era of Social Media-as we know it today-started around the early 2000s. Social media enable a form of virtual content sharing that is fundamentally different than before. Social media content is no longer created and published by specific individuals, but instead is continuously modified by all users in a collaborative fashion. Nowadays, users around the world are taking advantage of social media as one of their key components of ...
Dynamics of Quantum Correlations KU Leuven
The main aim of this thesis is to study quantum dynamics, with a focus on irreversible, dissipative dynamics, by collecting repeated observations and arranging them to form a process. This leads to quantum states of extended models with some simplifying features. The models explored here are quantum spins on Fermionic lattices and chains of quantum spins. We focus in particular on the randomising properties of the dynamics.
The thesis ...
Multiscale modelling of plastic anisotropy of automotive steels KU Leuven
The proposed project contributes to the development of a multiscale modelling platform for advanced metal forming simulations. For that purpose, suitable parametric representations of the (dual phase) microstructures will be searched and corresponding virtual, microstructure-based RVE generators will be built. The scientific core of the project will be the extension of single phase polycrystal plasticity models available at KU Leuven to dual ...
Study of a family of asymmetric densities and flexible quantile regression KU Leuven
Probability distributions are fundamental tools for data analysis and statistical inference. Although often a symmetric distribution is used as a reference density for statistical modelling, it is unsuitable for multiple other applications. In this dissertation, we study a broad family of asymmetric distributions that can describe skewed data properly. A symmetric density is a special element in this family of densities. Based on the proposed ...