Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Abstract. In this paper, we propose dynamic discrete-event based models for information dissemination systems in both single cell and multiple cell mobile environments. We demonstr...
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...