Projects
A blended experimental and computational approach to assess control of standing balance KU Leuven
With age, our ability to complete seemingly simple activities of daily living declines. Older adults move slower, less accurate and more often lose their balance resulting in frequent falls, which might lead to significant injuries requiring medical attention and leading to loss of independence. Age is associated with declines in muscle strength, sensory acuity, motor acuity and cognitive ability, but our understanding of the relative ...
Satisfiability and model generation in infinite space Ghent University
The ultimate goal of declarative problem solving is to represent human expert
information about a problem domain in a logic, and to solve problems and
execute tasks by running generic, domain independent inference engines on these
representations. This goal is pursued in various declarative and formal
programming paradigms (constraint programming, operations research, logic
programming, SAT and SMT). It often results ...
Adjoint Surface Optimization for Internal and External Aerodynamics Applications by means of OpenFOAM KU Leuven
Industrial design developments are more and more assisted by computer optimization algorithms to speed up the design process. As nowadays the real designs are close to their optimal configurations, the challenge lies in the extraction of the last percentages of improvement, thus accurate evaluations of the performance are required while maintaining the fast industrial time scales. The present thesis proposes a methodology to be used in this ...
Politics of interest representation and agenda-setting in multi-level political systems. University of Antwerp
Econometric evaluation of R&D policy instruments in EU member states. KU Leuven
...
Data-driven logistics KU Leuven
The journey captured by this dissertation centers around knowledge compilation, model counting, and their role within state-of-the-art inference algorithms for probabilistic logic programming (PLP) languages. Model counting is the task of finding the number of solutions that satisfy a given set of constraints such as 'A or not B, and C'. Knowledge compilation techniques can reformulate these constraints such that counting becomes easier. This ...
Organellar Redox Signaling in Plants Ghent University
Belgium research has a longstanding tradition and strong track record in organellar research. Christian de Duve, a Belgian cell biologist, discovered two cellular organelles (lysosomes and peroxisomes), for which he shared the Nobel Prize in Physiology or Medicine in 1974 with Albert Claude (Belgian) and George Palade (Romania). Having worked at the border of biochemistry and cell biology, de Duve insisted on the importance of collaborative ...
Scheduling and Routing of AGV's in Complex Dynamic Envrionments KU Leuven
The hardware and control software costs of AGVs keep dropping at a rapid pace and applications involving hundreds of AGVs are being deployed in many different industries. Currently, in state-of-the-art commercial systems, these AGVs are being scheduled through simple greedy dispatching rules. This PhD project will investigate more advanced scheduling and routing algorithms taking the lower-level route execution into account. As such, ...
Broadening the theoretical and methodological scope of translation and interpreting studies: towards an interdisciplinary language- contact framework Ghent University
Although translation and interpreting studies (TIS) is still a young academic discipline (it started to develop only around mid-20th century), it has already significantly increased our understanding of these highly specific communication practices. It has emerged, for instance, that phonological, prosodic, lexical, grammatical, pragmatic and paralinguistic properties of the languages which are co-activated in translation and interpreting ...