DYLISS - 2013 - Annual activity report

DYLISS

DYLISS - 2013

Project-Team Dyliss

Members

Overall Objectives

Overall objectives
Highlights of the Year

Research Program

Knowledge representation with constraint programming
Probabilistic and symbolic dynamics
Grammatical inference and highly expressive structures

Application Domains

Formal models in molecular biology
Application fields

Software and Platforms

Platform
Integrative Biology: (constraint-based) toolbox for network filtering
Dynamics: invariant-based prediction
Sequence annotation
Integration of our tools in larger software environments

New Results

Data integration
Asymptotic dynamics
Sequence annotation

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2013 Project-Team Activity Report

DYLISS

Dynamics, Logics and Inference for biological Systems and Sequences

Research centre: Rennes - Bretagne-Atlantique

In partnership with: CNRS, Université Rennes 1

In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Digital Health, Biology and Earth

Theme: Computational Biology

Keywords: Computational Biology, Systems Biology, Knowledge Representation, Machine Learning, Combinatorial Optimization, Formal Methods, Network Modeling