CONTRAINTES - 2011 - Annual activity report

CONTRAINTES

CONTRAINTES - 2011

Project Team Contraintes

Members

Overall Objectives

Introduction
Highlight 2011 on the Subgraph Epimorphism Problem

Scientific Foundations

Rule-based Languages
Constraint Solving Techniques
Formal Methods for Systems Biology
Integration of In Silico and In Vivo Approaches

Application Domains

Combinatorial optimization
Computational Systems Biology

Software

BIOCHAM
Nicotine
Spatio-temporal simulation environment (STSE)
YeastTracker
Rules2CP
SiLCC
EMoP
CHRat
CLPGUI

New Results

Constraint Handling Rules and Linear Logic
Rule-based Modeling Language for Constraint Programming
Trace Development Methodology
Railway Time Tabling Optimization
Petri Net Analysis of Biochemical Networks
Theory of Subgraph Epimorphisms
Parameter Search under Temporal Logic Constraints
Model-based Optimization of Cancer Chronotherapies
Analysis of FSH and Angiotensine Signaling
Multi-affine Hybrid Automaton Model of Cardiac Cells
Real-time Control of Gene Expression in Yeast
Artificial Tissue Homeostasis in Mammalian Cells

Contracts and Grants with Industry

Biointelligence
Rules2Optim
General Electric Transportation

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Publications of the year

Home | Next next

2011 Team Activity Report

CONTRAINTES

Constraint programming

Research centre: Paris - Rocquencourt

Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs

Keywords: Rule-based Languages, Formal Methods, Computational Biology, Combinatorial Optimization, Logics, Constraints, Hybrid Systems, Systems Biology, Synthetic Biology