Filtrer vos résultats
- 34
- 1
- 1
- 14
- 7
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 35
- 10
- 1
- 1
- 1
- 5
- 7
- 5
- 1
- 4
- 2
- 2
- 4
- 2
- 1
- 2
- 31
- 3
- 2
- 23
- 21
- 9
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 36
- 24
- 11
- 7
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
36 résultats
|
|
|
triés par
|
|
|
Condition for periodic attractor in 4-dimensional repressilators21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg. pp.184-201, ⟨10.1007/978-3-031-42697-1_13⟩
Communication dans un congrès
hal-04135182v1
|
||
|
|
Limit cycle analysis of a class of hybrid gene regulatory networksJournées Nationales de l’Informatique Mathématique (JNIM 2022), Mar 2022, Lille, France
Poster de conférence
hal-03700402v1
|
||
|
|
Identification of Biological Regulatory Networks from Process Hitting modelsTheoretical Computer Science, 2015, 568, pp.39. ⟨10.1016/j.tcs.2014.12.002⟩
Article dans une revue
hal-01094249v1
|
||
|
|
Modeling Intestinal Glucose Absorption from D-xylose Data15th International Conference on Bioinformatics, Models, Methods and Algorithms, Feb 2024, Rome, Italy
Communication dans un congrès
hal-04329210v2
|
||
|
|
Supplementary material of condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks2022
Pré-publication, Document de travail
hal-03890505v1
|
||
|
|
Learning any memory-less discrete semantics for dynamical systems represented by logic programsMachine Learning, 2021, ⟨10.1007/s10994-021-06105-4⟩
Article dans une revue
hal-02925942v5
|
||
|
|
Concretizing the Process Hitting into Biological Regulatory NetworksComputational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩
Communication dans un congrès
hal-00704569v2
|
||
|
|
Limit cycle analysis of a class of hybrid gene regulatory networks20th International Conference on Computational Methods in Systems Biology (CMSB 2022), Sep 2022, Bucharest, Romania
Communication dans un congrès
hal-03700025v2
|
||
|
|
Analyzing Large Network Dynamics with Process HittingLuis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8
Chapitre d'ouvrage
hal-01060490v1
|
||
|
|
INEX-MED: INtegration and EXploration of heterogeneous bio-MEDical dataJOBIM 2019, Jul 2019, Nantes, France
Poster de conférence
hal-02330853v1
|
||
|
|
Learning Dynamics with Synchronous, Asynchronous and General Semantics28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩
Communication dans un congrès
hal-01826564v1
|
||
|
|
The Challenges of Inferring Dynamic Models from Time SeriesSymbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩
Chapitre d'ouvrage
hal-04279657v1
|
||
INEX-MED: a Knowledge Graph to explore and link heterogeneous bio-medical dataJOBIM 2019, Jul 2019, Nantes, France
Communication dans un congrès
hal-02330809v1
|
|||
|
|
Sufficient Conditions for Reachability in Automata Networks with PrioritiesTheoretical Computer Science, 2015, ⟨10.1016/j.tcs.2015.08.040⟩
Article dans une revue
hal-01202671v1
|
||
|
|
Analyses statiques de la dynamique des réseaux d'automates indéterministesRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (4), pp.22. ⟨10.3166/TSI.34.463-484⟩
Article dans une revue
hal-01070295v2
|
||
|
|
Abducing Biological Regulatory Networks from Process Hitting modelsECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom
Communication dans un congrès
hal-01314470v1
|
||
|
|
A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinomaBMC Bioinformatics, 2020, 21 (1), pp.18. ⟨10.1186/s12859-019-3316-1⟩
Article dans une revue
hal-02095930v4
|
||
|
|
Reachability analysis of a class of hybrid gene regulatory networks17th International Conference on Reachability Problems (RP'23), Oct 2023, Nice, France. pp.56-69, ⟨10.1007/978-3-031-45286-4_5⟩
Communication dans un congrès
hal-04180870v1
|
||
|
|
Automatic Modeling of Dynamical Interactions Within Marine EcosystemsPoster de conférence hal-03347033v1 |
||
|
|
pylfitLogiciel hal-04435180v1 |
||
|
|
Hoare-folLogiciel hal-04433929v1 |
||
|
|
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networksAlgorithms for Molecular Biology, 2017, 12 (1), ⟨10.1186/s13015-017-0111-2⟩
Article dans une revue
hal-01654877v1
|
||
|
|
Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.5⟩
Communication dans un congrès
hal-01655310v1
|
||
|
|
Modélisation algébrique de la dynamique multi-échelles des réseaux de régulation biologiqueBio-informatique [q-bio.QM]. Ecole Centrale de Nantes (ECN), 2014. Français. ⟨NNT : ⟩
Thèse
tel-01105203v2
|
||
|
|
Large-scale regulatory and signaling network assembly through linked open dataDatabase - The journal of Biological Databases and Curation, 2021, 2021, pp.baaa113. ⟨10.1093/database/baaa113⟩
Article dans une revue
hal-03107317v2
|
||
|
|
The Hoare-fol Tool[Technical Report] Univ. Lille, CNRS, Centrale Lille, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, F-59000 Lille, France. 2019
Rapport
hal-02409801v1
|
||
|
|
Inductive Learning from State Transitions over Continuous Domains27th International Conference on Inductive Logic Programming, LNCS, volume 10759, Springer, Cham, pp.124-139, 2018, Inductive Logic Programming, ⟨10.1007/978-3-319-78090-0_9⟩
Chapitre d'ouvrage
hal-01655644v3
|
||
|
|
Condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networksInternational Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal. pp.29-40, ⟨10.5220/0011614300003414⟩
Communication dans un congrès
hal-03902156v1
|
||
|
|
Les enjeux de l'inférence de modèles dynamiques des systèmes biologiques à partir de séries temporellesApproches symboliques de la modélisation et de l’analyse des systèmes biologiques, 2022
Chapitre d'ouvrage
hal-02634235v2
|
||
|
|
Under-approximation of Reachability in Multivalued Asynchronous Networksfourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), Jun 2013, Florence, Italy. pp.33--51, ⟨10.1016/j.entcs.2013.11.004⟩
Communication dans un congrès
hal-00873000v1
|
- 1
- 2