Results 361 to 370 of about 3,649,820 (385)

Considerations for diagnostic COVID-19 tests

Nature Reviews Microbiology, 2020
Olivier Vandenberg, Olivier Rochas, Alex van Belkum   +2 more
exaly  

A hybrid formal verification approach for QoS-aware multi-cloud service composition

Cluster Computing, 2019
A. Souri, A. Rahmani, Nima Jafari Navimipour, R. Rezaei   +3 more
semanticscholar   +1 more source

American Cancer Society Guideline for Human Papillomavirus (HPV) Vaccine Use to Prevent Cervical Cancer and Its Precursors

Ca-A Cancer Journal for Clinicians, 2007
Diane M Harper, Robert A Smith, Francisco Garcia   +2 more
exaly  

Dopamine responses comply with basic assumptions of formal learning theory

Nature, 2001
Wolfram Schultz
exaly  

A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications

Journal of Service Science Research, 2019
A. Souri, Monire Norouzi
semanticscholar   +1 more source

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys and Tutorials, 2015
Junaid Qadir, Osman Hasan
exaly  

Formal [4+1] Annulation Reactions in the Synthesis of Carbocyclic and Heterocyclic Systems

Chemical Reviews, 2015
Jia-Rong Chen, Xiao-Qiang Hu, Liang-Qiu Lu   +2 more
exaly  

Formal property verification

2015
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar   +2 more
openaire   +1 more source

Formal Design Verification

2017
openaire   +2 more sources

Formal methods

ACM Computing Surveys, 2009
James Woodcock, Peter Gorm Larsen, Juan C Bicarregui   +2 more
exaly