Validation of Qualitative Models of Genetic Regulatory Networks A Method Based on Formal Verification Techniques Grégory Batt Ph.D. defense -- under supervision.
Presentation sismega june 2013
NON-OBSERVATION OF HEAVY NEUTRAL SCALARS AT THE LHC Pedro Ferreira ISEL and CFTC, UL Scalars 2013, Warsaw 14/09/2013 Work with A. Arhrib and R. Santos.
Data Mining for Complex Network Introduction and Background.
NON-OBSERVATION OF HEAVY NEUTRAL SCALARS AT THE LHC
Shell models as phenomenological models of turbulence The Seventh Israeli Applied and Computational Mathematics Mini-Workshop. Weizmann Institute of Science,
Stochastic simulations Application to molecular networks Didier Gonze Unité de Chronobiologie Théorique Service de Chimie Physique - CP 231 Université.