Results 291 to 300 of about 622,762 (333)

Ferroptosis: mechanisms, biology and role in disease

Nature Reviews Molecular Cell Biology, 2021
Xuejun Jiang, Brent R Stockwell, Marcus Conrad   +2 more
exaly  

Light in Gold Catalysis

Chemical Reviews, 2021
A Stephen K Hashmi
exaly  

Formal Verification of Symbolic Bug Finders

Testing the robustness of software systems is a fundamental concern. To do so, a common approach is to rely on automated testing methods to search for bugs and potential errors before deploying systems. To be reliable, a testing tool needs to be precise and exhaustive: it should not report false alarms, and not miss too many bugs.
openaire   +1 more source

Considerations for diagnostic COVID-19 tests

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

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
, Yang Liu
exaly  

A Tutorial on Interference Exploitation via Symbol-Level Precoding: Overview, State-of-the-Art and Future Directions

IEEE Communications Surveys and Tutorials, 2020
Ang Li, Danilo Spano, Jevgenij Krivochiza   +2 more
exaly  

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly  

American Cancer Society Guidelines for Breast Cancer Screening: Update 2003

Ca-A Cancer Journal for Clinicians, 2003
Robert A Smith
exaly  

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  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly