Publicaties
Recent advancements in medical simulation: patient-specific virtual reality simulation Universiteit Gent
Neural simulation for auricular vagus nerve stimulation Universiteit Gent
Accuracy-based Simulation Strategies for Plasma Edge Simulations for Nuclear Fusion Devices KU Leuven
Nuclear fusion has the potential to provide the world's energy needs with safe, sustainable and virtually limitless energy. A key challenge in the realization of magnetically confined nuclear fusion is the power exhaust in the so-called divertor region near the reactor walls, which has to withstand enormous power loads. To predict and analyze divertor performance, accurate plasma edge simulations are indispensable. State-of-the-art plasma edge ...
On CFD simulation of wind-induced airflow in narrow ventilated facade cavities: Coupled and decoupled simulations and modelling limitations KU Leuven
Heat and mass transfer modelling in building facades with ventilated cavities requires information on the cavity air change rates, which can be a complex function of the building and cavity geometry and the meteorological conditions. This paper applies Reynolds-averaged Navier-Stokes (RANS) CFD to study wind-induced airflow in the narrow (23 mm) ventilated facade cavities of an isolated low-rise building. Both coupled and decoupled simulations ...
Natural Media Simulation and Art-Directable Simulations for Computer Animation KU Leuven
Computer graphics is a vast domain within computer sciences which encompasses simulation and visualization of physical effects like the behaviour of fluids, gasses and object interactions such as collisions and deformations. Such simulations are often defined by the underlying laws and equations of physics which leave little control over the outcome of these simulations. The focus of this dissertation is twofold: first of all the high-fidelity ...
Statistical simulations of 6T-SRAM cell ageing using a reliability aware simulation flow KU Leuven
© 2015 IEEE. This work present the last development of a statistical reliability aware simulation flow from transistors to circuits. A TCAD calibration methodology based on statistical measurement of a 60nm bulk MOSFET is presented. Statistical compact models of fresh and aged transistors are extracted form large ensembles of TCAD simulations results. Compact models representing intermediate stages of degradation, not captured in the TCAD ...
A general Monte Carlo simulation of energy-dispersive X-ray fluorescence spectrometers, part 6 : quantification through iterative simulations Universiteit Gent
On the definability of simulation and bisimulation in epistemic logic Universiteit Gent
We explore when finite epistemic models are definable up to simulation or bisimulation, either over the basic multi-agent epistemic language L or over its extension L-C with common knowledge operators. Our main results are the following: (1) Bisimulation to finite epistemic states (i.e. pointed models) is not definable in L. (2) Global bisimulation to finite epistemic models is definable using model validity in L. (3) Simulation by finite ...