Results 91 to 100 of about 38,933 (219)

Student profiles of change in formative assessment behaviour: Replication and evaluation for grade prediction

British Journal of Educational Technology, EarlyView.
Abstract As students learn and practice new skills in university courses, their behaviour can change in response to competing demands and increasing content complexity. However, most metrics used to evaluate study behaviour focus on the number or sequence of activities rather than on the change of behaviour.
Oleksandra Poquet, Jelena Jovanovic, Stephan Krusche   +2 more
wiley   +1 more source

Establishing Shape Correspondences: A Survey

Computer Graphics Forum, EarlyView.
Abstract Shape correspondence between surfaces in 3D is a central problem in geometry processing, concerned with establishing meaningful relations between surfaces. While all correspondence problems share this goal, specific formulations can differ significantly: Downstream applications require certain properties that correspondences must satisfy ...
A. Heuschling, H. Meinhold, L. Kobbelt
wiley   +1 more source

Textile and colour defect detection using deep learning methods

Coloration Technology, EarlyView.
Abstract Recent advances in deep learning (DL) have significantly enhanced the detection of textile and colour defects. This review focuses specifically on the application of DL‐based methods for defect detection in textile and coloration processes, with an emphasis on object detection and related computer vision (CV) tasks.
Hao Cui, Abdel‐Fattah Seyam, Renzo Shamey   +2 more
wiley   +1 more source

Trust and fairness in platform–supplier contracts: Navigating supplier concerns in the sharing economy

Decision Sciences, EarlyView.
Abstract Trust and fairness are critical to the sustainable development of the sharing economy, particularly in platform–supplier relationships, where numerous individual suppliers offer access to their durable assets without transferring ownership. Motivated by the real‐world phenomenon of personalized wages and informed through direct interactions ...
Ying Yin, Xishu Li
wiley   +1 more source

Proof Verification with GDV and LambdaPi - It's a Matter of Trust

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Automated Theorem Proving (ATP) is concerned with the development and use of software that automates sound reasoning. An ATP system can be required to output a proof that serves as a certificate for the system's claim. To ensure that a proof is correct,
Geoff Sutcliffe, Frédéric Blanqui, Guillaume Burel   +2 more
doaj   +1 more source

Automated Theorem Proving by Test Set Induction

Journal of Symbolic Computation, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

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

ShZZaM

Proceedings of the International Florida Artificial Intelligence Research Society Conference
This paper describes ShZZaM, a tool that translates natural language to typed first-order logic, using Large Language Models (LLMs) and Automated Theorem Proving (ATP).
Geoff Sutcliffe, Danial Haroon
doaj  

Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas

Computation
This paper establishes a connection between control theory for partially observed discrete-event systems (DESs) and automated theorem proving (ATP) in the calculus of positively constructed formulas (PCFs).
Artem Davydov, Aleksandr Larionov, Nadezhda Nagul   +2 more
doaj   +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