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

ClpZinc

Functional Description

CLP2Zinc is a rule-based modeling language for constraint programming. It extends the MiniZinc modeling language with Horn clauses which can be used to express search strategies as constraints in the model. This system is developed in the framework of the ANR Net-WMS-2 project and is a follow-up of the Rules2CP modeling language.

Participants: Thierry Martinez, François Fages, Philippe Morignot and Sylvain Soliman
Contact: Thierry Martinez
URL: http://lifeware.inria.fr/~tmartine/clp2zinc/

Previous |

Home | Next next