Results 141 to 150 of about 3,064,694 (187)

Skolem Machines

Fundamenta Informaticae, 2009
The Skolem machine is a Turing-complete machine model where the instructions are first-order formulas of a specific form. We introduce Skolem machines and prove their logical correctness and completeness. Skolem machines compute queries for the Geolog language, a rich fragment of first-order logic.
John Fisher, Marc Bezem
openaire   +2 more sources

The Machine of Machines

Le Visiteur, 2022
Pierre Caye, Timothy Stroud
openaire   +1 more source

Human vs. Machine – or with Machine?

European Journal of Vascular and Endovascular Surgery, 2021
Triantafillos G. Giannakopoulos, Ioannis Kyriazanos   +1 more
openaire   +2 more sources

THE COMMUNICATION MACHINE

International Journal of High Speed Computing, 2004
Summary: The Communication Machine brings to the multicomputer what vectorization brought to the uniprocessor. It provides the same tools to speed communication that have traditionally been used to speed computation; namely, the capability to program optimal communication algorithms on an architecture that can, to the extent possible, replicate their ...
openaire   +1 more source

Machine Learning in Epigenetic Diseases

Medical Epigenetics, 2021
Robert E Akins, Karyn Robinson
exaly  

The Machines' Machines

2022
openaire   +1 more source

Prospective Clinical Deployment of Machine Learning in Radiation Oncology

Nature Reviews Clinical Oncology, 2021
Issam El Naqa, Issam El Naqa
exaly  

A Guide to Machine Learning for Biologists

Nature Reviews Molecular Cell Biology, 2022
David Tudor Jones, Shaun M. Kandathil, Joe G Greener   +2 more
exaly  

Machine tools safety � Machining centres, milling machines, transfer machines

2022
  +4 more sources

Could Machine Learning Fuel a Reproducibility Crisis in Science?

Nature, 2022
Elizabeth Gibney
exaly