23 citations
- Institut de Recherche en Informatique et Systèmes AléatoiresFR4 papers
- Centre Inria de l'Université de RennesFR3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR2 papers
- Université de RennesFR2 papers
- University of TurkuFI2 papers
- ARAMIS: Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologiqueFR1 paper
- Délégation Paris 7FR1 paper
- École Centrale de NantesFR1 paper
- European Bioinformatics InstituteGB1 paper
- Heidelberg UniversityDE1 paper
Showing q-bio.QMShow all
2 papers · 1 filter
q-bio.QM2018
Converting Alzheimer s disease map into a heavyweight ontology: a formal network to integrate data
Vincent Henry, Ivan Moszer, Olivier Dameron +3
Alzheimer s disease (AD) pathophysiology is still imperfectly understood and current paradigms have not led to curative outcome. Omics technologies offer great promises for improvi…
q-bio.QM2012★ 23 cited
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
Santiago Videla, Carito Guziolowski, Federica Eduati +4
A fundamental question in systems biology is the construction and training to data of mathematical models. Logic formalisms have become very popular to model signaling networks bec…