Results 231 to 240 of about 1,423 (254)

Learning nonlinear operators via DeepONet based on the universal approximation theorem of operators

Nature Machine Intelligence, 2021
Lu Lu, Pengzhan Jin, Guofei Pang
exaly  

Experimental quantum key distribution certified by Bell's theorem

Nature, 2022
Kirill Ivanov, Pavel Sekatski, Renato Renner   +2 more
exaly  

Automated Theorem Proving with Disjunctive Constraints

1999
Automated theorem proving (ATP) is an important research area in artificial intelligence. The objective of an ATP system is to find out whether or not a query (or goal) is a logical consequence of a set of axioms (the query and the axioms have to be formally specified, for example in first-order clause logic).
openaire   +2 more sources

Verification of the Crooks fluctuation theorem and recovery of RNA folding free energies

Nature, 2005
Felix Ritort, Christopher Jarzynski
exaly  

Beyond the Floquet theorem: generalized Floquet formalisms and quasienergy methods for atomic and molecular multiphoton processes in intense laser fields

Physics Reports, 2004
Shih-I Chu, Dmitry A Telnov
exaly  

Automated Theorem Proving and Machine Learning

In this thesis, we present a framework for Automated Theorem Proving called plCoP, which builds on theleanCoP system and adds machine learning-guided Monte Carlo TreeSearch.
openaire   +1 more source

Quark confinement: Dual superconductor picture based on a non-Abelian Stokes theorem and reformulations of Yang–Mills theory

Physics Reports, 2015
Seikou Kato
exaly  

A new fixed-time stability theorem and its application to the fixed-time synchronization of neural networks

Neural Networks, 2020
Chuan Chen, Lixiang Li, Haipeng Peng
exaly  

Gibbs–Curie–Wulff Theorem in Organic Materials: A Case Study on the Relationship between Surface Energy and Crystal Growth

Advanced Materials, 2016
Rongjin Li, Xiaotao Zhang, Huanli Dong
exaly  

Automated Theorem Proving

1982
openaire   +1 more source