Results 241 to 250 of about 102,741 (269)

Verification in Predicate Logic with Time: Algorithmic Questions

Annual Conference for Computer Science Logic, 2005
A. Slissenko
semanticscholar   +1 more source

Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

Statistical Relational Artificial Intelligence, 2016
L. D. Raedt, K. Kersting, Sriraam Natarajan, D. Poole   +3 more
semanticscholar   +1 more source

Reporting guidelines for clinical trial reports for interventions involving artificial intelligence: the CONSORT-AI extension

Nature Medicine, 2020
Alastair K Denniston, David Moher, Melanie Calvert   +2 more
exaly  

ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY

The Review of Symbolic Logic, 2012
Taishi Kurahashi
semanticscholar   +1 more source

Changes in Agricultural Extension and Implications for Farmer Adoption of New Practices

Applied Economic Perspectives and Policy, 2020
George W Norton, Jeffrey Alwang
exaly  

HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)

Journal of Philosophical Logic, 2018
H. Leitgeb
semanticscholar   +1 more source

Head and neck cancers—major changes in the American Joint Committee on cancer eighth edition cancer staging manual

Ca-A Cancer Journal for Clinicians, 2017
William M Lydiatt, Snehal G Patel, Brian O'sullivan   +2 more
exaly  

Differentiated and anaplastic thyroid carcinoma: Major changes in the American Joint Committee on Cancer eighth edition cancer staging manual

Ca-A Cancer Journal for Clinicians, 2018
Nancy D Perrier, Tf Duffield, R Michael Tuttle   +2 more
exaly  

Guidelines for clinical trial protocols for interventions involving artificial intelligence: the SPIRIT-AI extension

Nature Medicine, 2020
Alastair K Denniston, An-wen Chan, Melanie Calvert   +2 more
exaly  

Sequential faulting explains the asymmetry and extension discrepancy of conjugate margins

Nature, 2010
César R Ranero, Marta Pérez-gussiny
exaly