Inria
/
Raweb 2010
Presentation of the Project Contraintes
Logo Inria
Contraintes
Constraint programming
2010 Research Team Activity Report
Paris - Rocquencourt
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Highlight: Model Reductions as Subgraph Epimorphisms
Scientific Foundations
Concurrent Constraint Logic Programming
Constraint Filtering Algorithms
Logical Paradigm for Systems Biology
Application Domains
Combinatorial optimization problems
Computational Systems Biology
Software
BIOCHAM
Rules2CP
SiLCC
CHRat
CLPGUI
New Results
Linear Logic Concurrent Constraint Programming and Constraint Handling Rules
Rule-based Modeling for Constraint Programming
Theory of Traces
Model Reductions as Subgraph Epimorphisms
Steady-State Analyses and Petri Nets
Numerical Parameter Inference from Temporal Logic Properties
Parameter Inference for Qualitative Models of Regulatory Networks
Modeling the cell cycle and optimization of cancer chronotherapies
Modeling and analysis of FSH and Angiotensine Signaling Networks
Control of the HOG signaling cascade
Other Grants and Activities
National contracts
European contracts
International contracts
Invitations
Dissemination
Teaching
Leadership within scientific community
Bibliography
Publications of the year
