Engineering principles for rationally design therapeutic strategies against hepatocellular carcinoma

A Hernández-Magaña, A Bensussen… - Frontiers in Molecular …, 2024 - frontiersin.org
The search for new therapeutic strategies against cancer has favored the emergence of
rationally designed treatments. These treatments have focused on attacking cell plasticity …

Reduction of qualitative models of biological networks for transient dynamics analysis

L Paulevé - IEEE/ACM transactions on computational biology …, 2017 - ieeexplore.ieee.org
Qualitative models of dynamics of signalling pathways and gene regulatory networks allow
for the capturing of temporal properties of biological networks while requiring few …

Inference of delayed biological regulatory networks from time series data

E Ben Abdallah, T Ribeiro, M Magnin, O Roux… - … Methods in Systems …, 2016 - Springer
Abstract The modeling of Biological Regulatory Networks (BRNs) relies on background
knowledge, deriving either from literature and/or the analysis of biological observations. But …

Modeling delayed dynamics in biological regulatory networks from time series data

E Ben Abdallah, T Ribeiro, M Magnin, O Roux, K Inoue - Algorithms, 2017 - mdpi.com
Background: The modeling of Biological Regulatory Networks (BRNs) relies on background
knowledge, deriving either from literature and/or the analysis of biological observations …

[图书][B] Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools

E De Maria - 2022 - books.google.com
Systems Biology Modelling and Analysis Describes important modelling and computational
methods for systems biology research to enable practitioners to select and use the most …

Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell

S Buchet - 2022 - theses.hal.science
La compréhension des mécanismes cellulaires à l'œuvre au sein des organismes vivants
repose généralement sur l'étude de leur expression génétique. Cependant, les gènes sont …

[PDF][PDF] Formal Methods for Systems Biology: Contributions

E De Maria - 2020 - hal.science
This manuscript is devoted to the researches I performed after obtaining my Ph. D. thesis, in
the lapse of time that goes from March 2009 to March 2020. My contributions concern the …

[PDF][PDF] Learning Disjunctive Logic Programs from Interpretation Transition.

Y Huang, Y Wang, Y Zhang, M Zhang - ILP (Short Papers), 2016 - ceur-ws.org
We present a new framework for learning disjunctive logic programs from interpretation
transitions, called LFDT. It is a nontrivial extension to Inoue, Ribeiro and Sakama's LF1T …

[PDF][PDF] Habilitation à Diriger des Recherches Formal Methods for Systems Biology: Contributions

E De Maria - 2020 - academia.edu
This manuscript is devoted to the researches I performed after obtaining my Ph. D. thesis, in
the lapse of time that goes from March 2009 to March 2020. My contributions concern the …

Inference of Delayed Biological Regulatory Networks from Time Series Data

K Inoue - Computational Methods in Systems Biology: 14th …, 2016 - books.google.com
The modeling of Biological Regulatory Networks (BRNs) relies on background knowledge,
deriving either from literature and/or the analysis of biological observations. But with the …