Filtrer vos résultats
- 51
- 21
- 31
- 24
- 12
- 2
- 2
- 1
- 69
- 22
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 3
- 2
- 3
- 2
- 4
- 1
- 4
- 5
- 2
- 2
- 4
- 9
- 4
- 15
- 3
- 1
- 61
- 11
- 46
- 26
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 72
- 36
- 12
- 7
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
72 résultats
Simulation qualitative des Réseaux de régulation biologique, modèle de H. de JongGroupe de travail <>, génopole évry, 2005, Evry, France
Communication dans un congrès
hal-00342021v1
|
|||
Simulation qualitative des Réseaux de régulation biologique, modèle de H. de JongGroupe de travail <>, génopole, 2005, Evry, France
Communication dans un congrès
hal-00343071v1
|
|||
Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosaSymposium Modeling approaches in Systems Biology, Physiology, and Pathophysiology, Poitiers (Futuroscope), France, 2005, France
Communication dans un congrès
hal-00341999v1
|
|||
|
|
Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri NetsProceedings of the International Conference on Applications and Theory of Petri Nets, 2005, United States. pp.208--227, ⟨10.1007/11494744_13⟩
Communication dans un congrès
hal-00342065v1
|
||
|
|
Embedding of biological regulatory networks and property preservationMathematics in Computer Science, 2011, 5 (1), pp.263-288
Article dans une revue
hal-00782867v1
|
||
Quelques problèmes autour de la modélisation des réseaux de régulation de R. ThomasExposé à l'ENS Ulm, département informatique, 2005, Paris, France
Communication dans un congrès
hal-00342066v1
|
|||
|
|
Regulation of Eukaryote Metabolism: An Abstract Model Explaining the Warburg/Crabtree EffectProcesses, 2021, 9 (9), pp.1496. ⟨10.3390/pr9091496⟩
Article dans une revue
hal-03897002v1
|
||
Stacked Generalization with Applicability Domain Outperforms Simple QSAR on in Vitro Toxicological DataJournal of Chemical Information and Modeling, 2019, 59 (4), pp.1486-1496. ⟨10.1021/acs.jcim.8b00553⟩
Article dans une revue
hal-02051775v1
|
|||
A hybrid model of cell cycle in mammals.Journal of Bioinformatics and Computational Biology, 2015, pp.1640001
Article dans une revue
hal-01255242v1
|
|||
|
|
Biological detection of low radiation doses by combining results of two microarray analysis methodsNucleic Acids Research, 2004, 32 (1), pp.e12. ⟨10.1093/nar/gnh002⟩
Article dans une revue
hal-02480321v1
|
||
Graph Transformation for Topology Modelling. 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩
Communication dans un congrès
istex
hal-00341176v1
|
|||
Necessary conditions for multistationarity in discrete dynamical systemsDiscrete Applied Mathematics, 2007, 155 (18), pp.2403-2413
Article dans une revue
hal-00415886v1
|
|||
A Hoare logic for gene regulatory networks2nd Workshop on Computational Structural Biology: Integrative Approaches for Modeling Biomolecular Complexes, May 2013, Nice, France
Communication dans un congrès
hal-01282935v1
|
|||
|
|
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
|
||
Chemical in vitro bioactivity profiles are not informative about the long-term in vivo endocrine mediated toxicityComputational Toxicology, 2019, 12, pp.100098. ⟨10.1016/j.comtox.2019.100098⟩
Article dans une revue
hal-02540249v1
|
|||
|
|
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
|
||
Approche logique, bio-informatique et expérimentale de la dynamique d'un réseau de régulation chez Pseudomonas aeruginosaRéunion satellite des Journée Ouvertes Biologie Informatique Mathématiques (JOBIM) : <>, 2005, France
Communication dans un congrès
hal-00342084v1
|
|||
Quelques problèmes autour de la modélisation des réseaux de régulation de R. ThomasExposé à l'ENS Ulm, département informatique, 2005, Paris, France
Communication dans un congrès
hal-00343074v1
|
|||
|
|
Exploring Topological Modelling to Discriminate Models of Golgi Apparatus DynamicsEuropean Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès
hal-00348154v1
|
||
|
|
Delays in Biological Regulatory NetworksProceedings of the 2nd International Workshop on Bioinformatics Research and Applications, 2006, United Kingdom. pp.887--894, ⟨10.1007/11758525_118⟩
Communication dans un congrès
hal-00341972v1
|
||
Méthodes de vérification formelle pour la modélisation en biologie : le cas des réseaux de régulation biologiqueApproches symboliques de la modélisation et de l’analyse des systèmes biologiques, ISTE Group, pp.275-335, 2022, ⟨10.51926/ISTE.9029.ch8⟩
Chapitre d'ouvrage
hal-03897039v1
|
|||
Formal methods applied to gene network modellingLuis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, 2014, 978-1-84821-680-8
Chapitre d'ouvrage
hal-01282880v1
|
|||
A Qualitative Framework Dedicated to ToxicologyInternational Conference on Bioinformatics Models, Methods and Algorithms, Feb 2017, Porto, Portugal. pp.93-103
Communication dans un congrès
hal-02540290v1
|
|||
|
|
Semantics of Biological Regulatory NetworksElectronic Notes in Theoretical Computer Science, 2007, 180, pp.3--14. ⟨10.1016/j.entcs.2004.01.038⟩
Article dans une revue
hal-00339588v1
|
||
Evolutionary Continuous Optimization of Hybrid Gene Regulatory NetworksArtificial Evolution, Oct 2022, Exeter, United Kingdom. pp.159-172, ⟨10.1007/978-3-031-42616-2_12⟩
Communication dans un congrès
hal-04333752v1
|
|||
|
|
Enzymatic competition: Modeling and verification with timed hybrid petri netsPattern Recognition Letters, 2009, 42 (4), pp.562--566. ⟨10.1016/j.patcog.2008.09.019⟩
Article dans une revue
hal-00967379v1
|
||
|
|
Evolutionary continuous optimization of hybrid Gene Regulatory NetworksBiennial International Conference on Artificial Evolution (EA-2022), Oct 2022, Exeter, United Kingdom. pp.159-172, ⟨10.1007/978-3-031-42616-2_12⟩
Communication dans un congrès
hal-03895987v1
|
||
|
|
Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa.BMC Bioinformatics, 2006, 7, pp.272. ⟨10.1186/1471-2105-7-272⟩
Article dans une revue
hal-00381910v1
|
||
On the impact of the distance between two genes on their interaction curveJournal of Mathematical Biology, 2012, 64 (1), pp.131-147. ⟨10.1007/s00285-010-0373-5⟩
Article dans une revue
istex
hal-01242438v1
|
|||
A hybrid model of cell cycle in mammals6th International Conference on Computational Systems-Biology and Bioinformatics (CSBio'2015), Nov 2015, Bangkok, Thailand
Communication dans un congrès
hal-02540293v1
|