Project-Team:CONTRAINTES

Project-Team Contraintes

Members

Overall Objectives

Research Program

Application Domains

Software and Platforms

New Results

A Stronger Necessary Condition for the Multistationarity of Chemical Reaction Networks
Petri Net Analyses of Biochemical Reaction Networks using Constraint Logic Programming
Structural Model Reduction: CLP and SAT Solvers for Computing Subgraph Epimorphisms
Quantitative Model Reduction: a CLP Solver for Computing Tropical Equilibrations
Species Minimization in Biochemical Reaction Computing
Hybrid Composition and Simulation of Heterogeneous Biochemical Models
Composition and Abstraction of Logical Influence Networks: Application to Multi-Cellular Systems
Identification of Biological Models from Single Cell Data: a Comparison between Mixed-Effects and Moment-based Inference
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification
Single Cell Models and Models of Populations: A Mixed Effect Approach
Coupled Model of the Cell Cycle and Circadian Clock
Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy
Railway Time Tabling Optimization with CMA-ES and Greedy Heuristics

Bilateral Contracts and Grants with Industry

Partnerships and Cooperations

Dissemination

Bibliography

Publications of the year

Inria | Raweb 2013 | Presentation of the Project-Team CONTRAINTES | CONTRAINTES Web Site


	PDF	e-Pub

Home | Next next

next

2013 Project-Team Activity Report

CONTRAINTES

Constraint programming

Research centre: Paris - Rocquencourt

Field: Algorithmics, Programming, Software and Architecture
Theme: Architecture, Languages and Compilation

Keywords: Systems Biology, Rule-based Languages, Formal Methods, Optimization, Synthetic Biology