Results 71 to 80 of about 39,214 (275)

The ILLTP Library for Intuitionistic Linear Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis   +3 more
doaj   +1 more source

On subset least squares estimation and prediction in vector autoregressive models with exogenous variables

Canadian Journal of Statistics, EarlyView.
Abstract We establish the consistency and the asymptotic distribution of the least squares estimators of the coefficients of a subset vector autoregressive process with exogenous variables (VARX). Using a martingale central limit theorem, we derive the asymptotic normal distribution of the estimators. Diagnostic checking is discussed using kernel‐based
Pierre Duchesne, Thanh‐Liem Huynh, Mylène Oscar   +2 more
wiley   +1 more source

Converting ALC Connection Proofs into ALC Sequents [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the
Eunice Palmeira, Fred Freitas, Jens Otten   +2 more
doaj   +1 more source

Automation of Diagrammatic Proofs in Mathematics [PDF]

, 1996
Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is a subset of problems which can also be proved in a more informal way by the use of geometric operations on diagrams, so called diagrammatic proofs ...
Bundy, Alan, Green, I., Jamnik, M.
core   +1 more source

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

Epilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus, Cesar Santana‐Gomez, Ruby G. Escalante, Dominique Duncan, Pedro F. Viana, Giulia Sofia Cereda, Naoto Kuroda, Aristea S. Galanopoulou   +7 more
wiley   +1 more source

Defining the meaning of TPTP formatted proofs [PDF]

, 2015
International audienceThe TPTP library is one of the leading problem libraries in the automated theorem proving community. Over time, support was added for problems beyond those in first-order clausal form.
Blanco, Roberto, Libal, Tomer, Miller, Dale   +2 more
core   +2 more sources

Bridging Classical and Quantum Approaches for Quantitative Sensing of Turbid Media with Polarization‐Entangled Photons

Laser &Photonics Reviews, EarlyView.
This work bridges classical and quantum polarimetry toward quantitative quantum photonic sensing of turbid environments. Theoretical and experimental investigations reveal how polarization‐entangled photonic states evolve in turbid media, uncovering robust trends in entanglement evolution and paving the way for advanced quantum sensing in biomedical ...
Vira R. Besaga, Ivan V. Lopushenko, Oleksii Sieryi, Alexander Bykov, Frank Setzpfandt, Igor Meglinski   +5 more
wiley   +1 more source

Staying Offline or Going Online? Managing the Establishment of Service Platforms

Managerial and Decision Economics, EarlyView.
ABSTRACT We study a global game in which consumers and sellers decide whether to join a service platform and interact more efficiently online. Uncertainties about the platform's technology value and users' participation behavior on both market sides cause a coordination problem.
Marit Holler, Manfred Stadler, Lukas Stickel   +2 more
wiley   +1 more source

Graph Representations for Higher-Order Logic and Theorem Proving

, 2019
This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain.
Bansal, Kshitij, Loos, Sarah, Paliwal, Aditya, Rabe, Markus, Szegedy, Christian   +4 more
core   +1 more source

Machine Learning for Predictive Modeling in Nanomedicine‐Based Cancer Drug Delivery

Med Research, EarlyView.
The integration of AI/ML into nanomedicine offers a transformative approach to therapeutic design and optimization. Unlike conventional empirical methods, AI/ML models (such as classification, regression, and neural networks) enable the analysis of complex clinical and formulation datasets to predict optimal nanoparticle characteristics and therapeutic
Rohan Chand Sahu, Sanchit Arora, Dinesh Kumar, Ashish Kumar Agrawal   +3 more
wiley   +1 more source