output
20112019
most citedRevisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming

23 citations

7 papers

q-bio.OT2019

Deep learning languages: a key fundamental shift from probabilities to weights?

François Coste

Recent successes in language modeling, notably with deep learning methods, coincide with a shift from probabilistic to weighted representations. We raise here the question of the i…

cs.LO2018

Hybrid Metabolic Network Completion

Clémence Frioux, Torsten Schaub, Sebastian Schellhorn +2

Metabolic networks play a crucial role in biology since they capture all chemical reactions in an organism. While there are networks of high quality for many model organisms, netwo…

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…

cs.FL2018★ 13 cited

Estimating probabilistic context-free grammars for proteins using contact map constraints

Witold Dyrka, François Coste, Juliette Talibart

Learning language of protein sequences, which captures non-local interactions between amino acids close in the spatial structure, is a long-standing bioinformatics challenge, which…

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…

math.DS2011★ 11 cited

Substitutive Arnoux-Rauzy sequences have pure discrete spectrum

Valérie Berthé, Timo Jolivet, Anne Siegel

We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explic…