386 related articles for article (PubMed ID: 25440773)
1. Automatic validation of computational models using pseudo-3D spatio-temporal model checking.
Pârvu O; Gilbert D
BMC Syst Biol; 2014 Dec; 8():124. PubMed ID: 25440773
[TBL] [Abstract][Full Text] [Related]
2. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
Pârvu O; Gilbert D
PLoS One; 2016; 11(5):e0154847. PubMed ID: 27187178
[TBL] [Abstract][Full Text] [Related]
3. Assessment and statistical modeling of the relationship between remotely sensed aerosol optical depth and PM2.5 in the eastern United States.
Paciorek CJ; Liu Y;
Res Rep Health Eff Inst; 2012 May; (167):5-83; discussion 85-91. PubMed ID: 22838153
[TBL] [Abstract][Full Text] [Related]
4. Temporal logic patterns for querying dynamic models of cellular interaction networks.
Monteiro PT; Ropers D; Mateescu R; Freitas AT; de Jong H
Bioinformatics; 2008 Aug; 24(16):i227-33. PubMed ID: 18689830
[TBL] [Abstract][Full Text] [Related]
5. STSE: Spatio-Temporal Simulation Environment Dedicated to Biology.
Stoma S; Fröhlich M; Gerber S; Klipp E
BMC Bioinformatics; 2011 Apr; 12():126. PubMed ID: 21527030
[TBL] [Abstract][Full Text] [Related]
6. Towards dynamic genome-scale models.
Gilbert D; Heiner M; Jayaweera Y; Rohr C
Brief Bioinform; 2019 Jul; 20(4):1167-1180. PubMed ID: 29040409
[TBL] [Abstract][Full Text] [Related]
7. Verification, validation and sensitivity studies in computational biomechanics.
Anderson AE; Ellis BJ; Weiss JA
Comput Methods Biomech Biomed Engin; 2007 Jun; 10(3):171-84. PubMed ID: 17558646
[TBL] [Abstract][Full Text] [Related]
8. Automatic selection of verification tools for efficient analysis of biochemical models.
Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
[TBL] [Abstract][Full Text] [Related]
9. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
Batt G; Ropers D; de Jong H; Geiselmann J; Mateescu R; Page M; Schneider D
Bioinformatics; 2005 Jun; 21 Suppl 1():i19-28. PubMed ID: 15961457
[TBL] [Abstract][Full Text] [Related]
10. NeuCube: a spiking neural network architecture for mapping, learning and understanding of spatio-temporal brain data.
Kasabov NK
Neural Netw; 2014 Apr; 52():62-76. PubMed ID: 24508754
[TBL] [Abstract][Full Text] [Related]
11. ML-Space: Hybrid Spatial Gillespie and Particle Simulation of Multi-Level Rule-Based Models in Cell Biology.
Bittig AT; Uhrmacher AM
IEEE/ACM Trans Comput Biol Bioinform; 2017; 14(6):1339-1349. PubMed ID: 27514063
[TBL] [Abstract][Full Text] [Related]
12. Model building and model checking for biochemical processes.
Antoniotti M; Policriti A; Ugel N; Mishra B
Cell Biochem Biophys; 2003; 38(3):271-86. PubMed ID: 12794268
[TBL] [Abstract][Full Text] [Related]
13. Strategy and software for the statistical spatial analysis of 3D intracellular distributions.
Biot E; Crowell E; Burguet J; Höfte H; Vernhettes S; Andrey P
Plant J; 2016 Jul; 87(2):230-42. PubMed ID: 27121260
[TBL] [Abstract][Full Text] [Related]
14. Gene expression complex networks: synthesis, identification, and analysis.
Lopes FM; Cesar RM; Costa Lda F
J Comput Biol; 2011 Oct; 18(10):1353-67. PubMed ID: 21548810
[TBL] [Abstract][Full Text] [Related]
15. Specification and verification of pharmacokinetic models.
Kwon Y; Kim E
Adv Exp Med Biol; 2010; 680():465-72. PubMed ID: 20865531
[TBL] [Abstract][Full Text] [Related]
16. Automatic image analysis for gene expression patterns of fly embryos.
Peng H; Long F; Zhou J; Leung G; Eisen MB; Myers EW
BMC Cell Biol; 2007 Jul; 8 Suppl 1(Suppl 1):S7. PubMed ID: 17634097
[TBL] [Abstract][Full Text] [Related]
17. MetaReg: a platform for modeling, analysis and visualization of biological systems using large-scale experimental data.
Ulitsky I; Gat-Viks I; Shamir R
Genome Biol; 2008 Jan; 9(1):R1. PubMed ID: 18171474
[TBL] [Abstract][Full Text] [Related]
18. A model for space-time cluster detection using spatial clusters with flexible temporal risk patterns.
Gangnon RE
Stat Med; 2010 Sep; 29(22):2325-37. PubMed ID: 20564730
[TBL] [Abstract][Full Text] [Related]
19. Temporal logics for phylogenetic analysis via model checking.
Requeno JI; Casado Gde M; Blanco R; Colom JM
IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
[TBL] [Abstract][Full Text] [Related]
20. Parameter discovery in stochastic biological models using simulated annealing and statistical model checking.
Hussain F; Jha SK; Jha S; Langmead CJ
Int J Bioinform Res Appl; 2014; 10(4-5):519-39. PubMed ID: 24989866
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]