Results 71 to 80 of about 126,488 (157)

A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL

Italian Conference on Computational Logic, 2021
Asta Halkjær From, Anders Schlichtkrull, J. Villadsen   +2 more
semanticscholar   +1 more source

Experimental realization of logical elastic bits as qubit analogues in a nonlinear oscillator. [PDF]

Sci Rep
Mahmood KT, Faiaz AN, Hasan MA, Deymier PA, Runge K, Levine JA.   +5 more
europepmc   +1 more source

A quantum information processing machine for computing by observables. [PDF]

Proc Natl Acad Sci U S A, 2023
Remacle F, Levine RD.
europepmc   +1 more source

Nonlinear Stability in a Free Boundary Model of Active Locomotion. [PDF]

Arch Ration Mech Anal
Berlyand L, Safsten CA, Truskinovsky L.
europepmc   +1 more source

REVIEW PAPER ON SEGMENTATION METHODS FOR MULTIOBJECT FEATURE EXTRACTION

, 2014
S. Deshmukh, Anjali Yadav
semanticscholar   +1 more source

Quantum suppression of cold reactions far from the s-wave energy limit. [PDF]

Nat Commun
Katz O, Pinkas M, Akerman N, Li M, Ozeri R.   +4 more
europepmc   +1 more source

Gradient descent in materia through homodyne gradient extraction. [PDF]

Nat Commun
Boon MN, Cassola L, Ruiz Euler HC, Chen T, van de Ven B, Alegre Ibarra U, Bobbert PA, van der Wiel WG.   +7 more
europepmc   +1 more source

Decentralized adaptive task allocation for dynamic multi-agent systems. [PDF]

Sci Rep
Tarasova E, Erofeeva V, Granichin O, Chernikov K.   +3 more
europepmc   +1 more source

Thomas precession, relativistic torque, and non-planar orbits. [PDF]

Eur Phys J C Part Fields
Czarnecki A, Zelnikov A.
europepmc   +1 more source

Nanophotonic resonator assisted photonic spin Hall enhancement for sensing application. [PDF]

Sci Rep, 2023
Goyal AK, Divyanshu D, Massoud Y.
europepmc   +1 more source