LIFEWARE - 2015 - Annual activity report

LIFEWARE

LIFEWARE - 2015

Project-Team Lifeware

Members

Overall Objectives

Research Program

Application Domains

Highlights of the Year

New Software and Platforms

New Results

Hybrid Simulation of Heterogeneous Biochemical Models in SBML
Theoretical and Practical Complexities of Enumerating Minimal Siphons in Petri Nets
Abstraction-based Parameter Synthesis for Multiaffine Systems
Tropical Algebra Methods for Model Reduction
Modeling the Effect of the Cell Cycle on the Circadian Clock in Mouse Embryonic Fibroblasts
Effects of repeated osmotic stress on gene expression and growth: from cell-to-cell variability to cellular individuality in the budding yeast Saccharomyces cerevisiae
Resistance to anti-cancer drugs by non-mutational mechanisms: insights from a cell-based multi-scale model of TRAIL-induced apoptosis
Controlling a genetic inverted pendulum
Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications
Reconfigurable Neuromorphic Computation in Biochemical Systems
Search by Constraint Propagation
Execution models for Constraint Programming and Semantics Equivalence
On Translating MiniZinc Constraint Model into Fitness Functions: Application to Continuous Placement Problems.

Partnerships and Cooperations

Dissemination

Bibliography

Publications of the year

Previous |

Home | Next next

Section: New Software and Platforms

BIOCHAM

The Biochemical Abstract Machine

Keywords: Systems Biology - Bioinformatics

Functional Description

The Biochemical Abstract Machine (BIOCHAM) is a software environment for modeling and analyzing biochemical reaction systems, making simulations, performing static analyses, specifying behaviors in temporal logic.

Participants: François Fages, François-Marie Floch, Thierry Martinez, Sylvain Soliman
Contact: François Fages
URL: http://lifeware.inria.fr/biocham/

Previous |

Home | Next next