Results 201 to 210 of about 25,570,341 (217)

Finding function in novel targets: C. elegans as a model organism

Nature Reviews Drug Discovery, 2006
Michael Otmar Hengartner
exaly  

Model Checking

2019
Flemming Nielson, Hanne Riis Nielson
openaire   +1 more source

Lipopolysaccharide transport and assembly at the outer membrane: the PEZ model

Nature Reviews Microbiology, 2016
Suguru Okuda, David J Sherman, Thomas J Silhavy   +2 more
exaly  

Proactive self-adaptation under uncertainty: a probabilistic model checking approach

ESEC/SIGSOFT FSE, 2015
Gabriel A. Moreno, J. Cámara, D. Garlan, B. Schmerl   +3 more
semanticscholar   +1 more source

Model-Checking

1999
Markus Müller-Olm, David Schmidt, Bernhard Steffen   +2 more
openaire   +1 more source

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science, 2015
D. D'Souza, A. Lal, K. Larsen
semanticscholar   +1 more source

Prediction of adverse maternal outcomes in pre-eclampsia: development and validation of the fullPIERS model

Lancet, The, 2011
Peter von Dadelszen, Beth Payne, John Mark Ansermino   +2 more
exaly  

Simulation Model Predicts Cost Savings from Colorectal Cancer Screening

Ca-A Cancer Journal for Clinicians, 2010
exaly  

Schizophrenia: an integrated sociodevelopmental-cognitive model

Lancet, The, 2014
Oliver D Howes, Robin M Murray
exaly  

ModelFinder: fast model selection for accurate phylogenetic estimates

Nature Methods, 2017
Subha Kalyaanamoorthy, Bui Quang Minh, Thomas K F Wong   +2 more
exaly