Results 101 to 110 of about 39,214 (275)
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
Dynamic Neural‐Model‐Based Predictive Control for Autonomous Wheel‐Legged Robot System
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT Mobile wheel‐legged robots exhibiting mobility, stability and reliability have garnered heightened research attention in demanding real‐world scenarios, especially in material transport, emergency response and space exploration. The kinematics model merely delineates the geometric relationship of the controlled objective, disregarding force ...
Jiehao Li +4 more
wiley +1 more source
Mesh‐Based Charge Simulation Method and Its Applications to Electrostatic Electric Field Computation
High Voltage, EarlyView.ABSTRACT The charge simulation method (CSM) is a well‐established numerical technique employed in electrostatic field calculations, primarily due to its simplicity and computational efficiency. However, conventional CSM face challenges when applied to complex geometries, as they necessitate meticulous manual placement of simulation charges and matching
Tahan Wang +5 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 ConferenceAutomated 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 +2 more
doaj +1 more source
Dependently Typed Programming based on Automated Theorem Proving [PDF]
, 2011 Alasdair Armstrong +2 more
openalex +1 more source
Addressing ecological challenges from a quantum computing perspective
Methods in Ecology and Evolution, EarlyView.Abstract With increased access to data and the advent of computers, the use of statistical tools and numerical simulations is becoming commonplace for ecologists. These approaches help improve our understanding of ecological phenomena and their underlying mechanisms in increasingly complex environments.
Maxime Clenet +2 more
wiley +1 more source
ComputationThis 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 +2 more
doaj +1 more source
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 +2 more
wiley +1 more source
Zhejiang Daxue xuebao. Lixue banFirst-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) +4 more
doaj +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 +2 more
wiley +1 more source