AbstractCellpresentation summary objectives and scientific challenges working schedule affiliated events members and frequent collaborators publications |
AbstractCell
|
AbstractCell is a long-term Junior Chair of Excellence, that is supported by the ANR (French national research agency). The project started December 1st, 2009, and will last until November 30th, 2013.
We want to investigate formal foundations and computational aspects of both the stochastic and differential approximate semantics for rule-based models: we will relate these semantics formally, then we will design sound approximations for each of these semantics (by abstract interpretation) and investigate scalable algorithms to compute the properties of both the stochastic and the differential semantics. Our approximations focus only on certain projections, thereby reducing the dimension of semantics.