Results 91 to 100 of about 1,423 (254)

Polarization and state legislative elections

American Journal of Political Science, EarlyView.
Abstract US state legislatures are critical policymaking institutions that are increasingly polarized, yet data and measurement limitations have prevented researchers from understanding how state legislative elections contribute to this polarization. To address this gap, we construct new measures of candidate ideology based on campaign contributions ...
Cassandra Handan‐Nader, Andrew C. W. Myers, Andrew B. Hall   +2 more
wiley   +1 more source

AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION [PDF]

, 2006
Ewen Denney, Bernd Fischer, Johann Schumann   +2 more
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

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

Clustering Longitudinal Data: A Review of Methods and Software Packages

International Statistical Review, EarlyView.
Summary Clustering of longitudinal data is becoming increasingly popular in many fields such as social sciences, business, environmental science, medicine and healthcare. However, it is often challenging due to the complex nature of the data, such as dependencies between observations collected over time, missingness, sparsity and non‐linearity, making ...
Zihang Lu
wiley   +1 more source

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

Automated Theorem Prover for Pointer Logic [PDF]

, 2009
Zhenming Wang, Yiyun Chen, Zhifang Wang
openalex   +1 more source

Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用)

Zhejiang Daxue xuebao. Lixue ban
First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving.
郭海林(GUO Hailin), 曹锋(CAO Feng), 易见兵(YI Jianbing), 李俊(LI Jun), 吴贯锋(WU Guanfeng)   +4 more
doaj   +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

Questions Concerning Possible Shortest Single Axioms for the Equivalential Calculus: An Application of Automated Theorem Proving to Infinite Domains [PDF]

, 2010
L. WOS, S. WINKER, R. VEROFF, B. SMITH, L. HENSCHEN   +4 more
openalex   +1 more source