Projects
Assessment of dermal exposure to volatile organic compounds: method development, validation and application KU Leuven
Exposure to noxious agents can be considered if there is contact of a hazardous material with the outer boundary of a subject: including respiratory system, digestive system and skin. Occupational exposure of workers plays an important role in the development of several diseases. Exposure to occupational agents, such as volatile organic compounds (VOCs), diisocyanates and polycyclic aromatic hydrocarbons (PAHs), is known to induce skin, ...
Throw them in the deep end. The potential of musical improvisation in connecting participatory music activities and formal music education. KU Leuven
There is a growing evidence that musical improvisation has the potential to promote a music education for all. This perspective calls for a critical consideration of the social and musical dimensions of music education and improvisation. In this respect, participatory music activities often use improvisation and especially, collective free improvisation (CFI), to promote inclusive music making. The pedagogical-artistic strategies of the ...
Modular Formal Verification of Total Correctness Properties of Concurrent Imperative Programs KU Leuven
For software development projects with very high correctness requirements (including safety requirements, security requirements, responsiveness requirements, or real-time requirements), in many cases insufficient assurance of correctness can be obtained through classical quality assurance techniques such as testing and code review. In contrast, the alternative approach of formal verification, where mathematical methods are used to ...
Synthesis of reactive systems from formal specifications and examples. University of Antwerp
Digital game-based learning in formal education: Development and validation of a conceptual model comprising game characteristics, stakeholder variables, school-level factors, socio-cultural influences and learning outcomes Ghent University
Empirical research is growing about both the learning opportunities that can be derived from video games and the effectiveness of digital game-based learning (DGBL) in formal education. However, the resulting evidence is conflicting and inconclusive. A likely explanation is that the underlying theoretical frameworks do not sufficiently address the full complexity of learning with video games in a formal educational context. This post-doctoral ...
The prosody of the Biblical Hebrew. A corpus-linguistic analysis of the Masoretic accent patterns in questions, conditionals, relative clauses and formal speech KU Leuven
The proposed research aims to lay the foundations for the study of Masoretic accents as markers of the prosody of Biblical Hebrew. Prosody is generally acknowledged to play a central role in the interpretation of language. In written language, however, most of the prosodic information is irrecoverably lost, which seriously hampers its interpretation. In an early stage of its transmission, the Biblical Hebrew corpus was enriched with accents, ...
Judgmental adjustment in forecasting with formal models: biases - cause, effect, and solutions Ghent University
The most prevalent method in business forecasting is judgmental adjustment. While previous research has looked into the biases associated with unaided judgmental forecasting, these findings have not yet been tested in judgmental adjustment. This study looks into biases associated with this method, so that we may implement the necessary precautions and training necessary to counter them and improve forecasting performance.
Research on the analysis of the support needs of formal childcare with regard to inclusive childcare and an analysis of the experiences of the Centers for Inclusive Childcare KU Leuven
The aim of the research is to identify the levers and the necessary preconditions to ensure that inclusive childcare is successful for parents, childcare and the Centers for Inclusive Childcare.