Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
The Plant Protection Product Directive (91/414/EEC) stresses the need of validated models to calculate predicted environmental concentrations. The use of models has become an unav...
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
Qi Duan, Philippe Moireau, Elsa D. Angelini, Domin...