The BDMP (Boolean logic Driven Markov Processes) modeling formalism has recently been adapted from reliability engineering to security modeling. It constitutes an attractive trade-off in terms of readability, modeling power, scalability and quantification capabilities. This report develops and completes the theoretical foundations of such an adaptation and presents new developments on defensive...

Nous montrons tout d’abord en quoi le paradigme de la modélisation physique particulaire masses / interactions présente deux propriétés essentielles nécessaires à un outil de création informatique pour le mouvement visuel : la généricité et la modularité. Puis, nous abordons trois questions fondamentales liées aux conditions technologiques et théoriques pour l’émergence d’un art du mouvement vi...

In this article, we describe the latest developments of the minimally invasive hepatic surgery simulator prototype developed at INRIA. A key problem with such a simulator is the physical modeling of soft tissues. We propose a new deformable model based on non-linear elasticity, anisotropic behavior, and the nite element method. This model is valid for large displacements, which means in particu...

donner par l‟art, l‟illusion de la vie : c‟est ce principe qui donne naissance à l’île de l’errance de danechvar. bâti sur l‟alternance entre la fiction et la réalité, ce roman se déroule dans une forme qui laisse la place à la complexité des personnages. la reprise du mythe de siyâvache dans souvachoune est aussi le point de départ pour une interrogation sur soi, voire une mise à distance de l...