Results 111 to 120 of about 39,214 (275)

Proofs from interactive and automated theorem provers to evaluate Kontroli & Dedukti

, 2021
Michael Färber
openalex   +1 more source

Technologies for equine welfare and performance monitoring under field conditions – Where do we stand?

Equine Veterinary Journal, EarlyView.
Abstract The need for comprehensive equine welfare assessments has become particularly evident amid ongoing debates about the social licence to operate in equestrian sports. During exercise, multiple physiological systems, principally the cardiovascular, respiratory, muscular, thermoregulatory, endocrine, and locomotory systems, undergo complex ...
Rhana Mackie Aarts, Esther W. Siegers, Filipe M. Serra Braganca, P. René van Weeren   +3 more
wiley   +1 more source

Guiding an Automated Theorem Prover with Neural Rewriting [PDF]

, 2022
Jelle Piepenbrock, Tom Heskes, Mikoláš Janota, Josef Urban   +3 more
openalex   +1 more source

Machine learning and automated theorem proving

, 2021
James P. Bridge
openalex   +1 more source

A spectral analysis extension to DEMATEL for strategic leverage points identification

International Transactions in Operational Research, EarlyView.
Abstract Efforts to intervene in complex systems often emphasize influential factors, yet system behavior is equally shaped by the relationships among them. Methods such as Decision‐Making Trial and Evaluation Laboratory (DEMATEL) map causal structures but remain descriptive and do not identify which relationships provide the greatest leverage for ...
Pavlos Delias, Kerasia Kalkitsa
wiley   +1 more source

Artificial intelligence‐powered microscopy: Transforming the landscape of parasitology

Journal of Microscopy, EarlyView.
Abstract Microscopy and image analysis play a vital role in parasitology research; they are critical for identifying parasitic organisms and elucidating their complex life cycles. Despite major advancements in imaging and analysis, several challenges remain. These include the integration of interdisciplinary data; information derived from various model
Mariana De Niz, Sara Silva Pereira, David Kirchenbuechler, Leandro Lemgruber, Constadina Arvanitis   +4 more
wiley   +1 more source

Can Neural Networks Do Arithmetic? A Survey on the Elementary Numerical Skills of State-of-the-Art Deep Learning Models

Applied Sciences
Creating learning models that can exhibit sophisticated reasoning abilities is one of the greatest challenges in deep learning research, and mathematics is rapidly becoming one of the target domains for assessing scientific progress in this direction. In
Alberto Testolin
doaj   +1 more source

Do robots boost productivity? A quantitative meta‐study

Journal of Economic Surveys, EarlyView.
ABSTRACT This meta‐study analyzes the productivity effects of industrial robots. More than 1800 estimates from 85 primary studies are collected. The meta‐analytic evidence suggests that robotization has so far provided, at best, a small boost to productivity. There is strong evidence of publication bias in the positive direction.
Florian Schneider
wiley   +1 more source

Automated theorem proving

, 2016
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2016, Director: Juan Carlos Martínez ...
openaire   +1 more source

Subtle Discrimination

The Journal of Finance, EarlyView.
ABSTRACT We introduce the concept of subtle discrimination—biased acts that cannot be objectively ascertained as discriminatory. When candidates compete for promotions by investing in skills, firms' subtle biases induce discriminated candidates to overinvest when promotions are low‐stakes (to distinguish themselves from favored candidates) but ...
ELENA S. PIKULINA, DANIEL FERREIRA
wiley   +1 more source