Inria
/
Raweb 2006
Presentation of the Project Contraintes
Logo Inria
Contraintes
Constraint Programming
2006 Research Team Activity Report
Paris - Rocquencourt
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Concurrent constraint programming
Constraint solvers
Computational systems biology
Application Domains
Combinatorial optimization problems
In-silico cell
Software
BIOCHAM
TCLP
GNU-Prolog
CLPGUI
Tra4CP
New Results
Implementation of SiLCC
Module System for SiLCC
Type systems
Constraint programming environments
Global constraint of scheduling with concentration constraints
Continuous dynamics in BIOCHAM
Inferring reaction rules in BIOCHAM
Coupled model of the cell cycle and the circadian cycle in mammalian cells
Contracts and Grants with Industry
ILOG
TOTAL
Other Grants and Activities
National contracts
European contracts
Invitations
Dissemination
Teaching
Leadership within scientific community
Bibliography
Publications of the year