Results 331 to 340 of about 21,783,491 (356)

Colorectal cancer screening for average‐risk adults: 2018 guideline update from the American Cancer Society

Ca-A Cancer Journal for Clinicians, 2018
Timothy R Church, Christopher R Flowers, Carmen E Guerra   +2 more
exaly  

Explicit-State Model Checking

Handbook of Model Checking, 2018
G. Holzmann
semanticscholar   +1 more source

Self-management: Enabling and empowering patients living with cancer as a chronic illness

Ca-A Cancer Journal for Clinicians, 2011
Ruth McCorkle, Mark Lazenby, Dena Schulman-Green   +2 more
exaly  

Combining Model Checking and Runtime Verification for Safe Robotics

Runtime Verification, 2017
Ankush Desai, T. Dreossi, S. Seshia
semanticscholar   +1 more source

Improving patient and caregiver outcomes in oncology: Team‐based, timely, and targeted palliative care

Ca-A Cancer Journal for Clinicians, 2018
David Hui, Camilla Zimmermann, Eduardo Bruera   +2 more
exaly  

Combining Model Checking and Deduction

Handbook of Model Checking, 2018
N. Shankar
semanticscholar   +1 more source

Automata Theory and Model Checking

Handbook of Model Checking, 2018
O. Kupferman
semanticscholar   +1 more source

Breast cancer and circadian disruption from electric lighting in the modern world

Ca-A Cancer Journal for Clinicians, 2014
Richard G Stevens, George C Brainard, Steven W Lockley   +2 more
exaly  

Hardware model checking competition 2017

Formal Methods in Computer-Aided Design, 2017
Armin Biere, T. V. Dijk, Keijo Heljanko
semanticscholar   +1 more source

American Joint Committee on Cancer acceptance criteria for inclusion of risk models for individualized prognosis in the practice of precision medicine

Ca-A Cancer Journal for Clinicians, 2016
Michael W Kattan, Justin H Guinney, Susan Halabi   +2 more
exaly