Results 251 to 260 of about 12,698 (302)

Conscious active inference I: A quantum model naturally implements the path integral needed for real-time planning and control. [PDF]

Comput Struct Biotechnol J
Wiest MC, Puniani AS.
europepmc   +1 more source

Entropy and Stability: Reduced Hamiltonian Formalism of Non-Barotropic Flows and Instability Constraints. [PDF]

Entropy (Basel)
Yahalom A.
europepmc   +1 more source

Neon dimers in momentum and configuration spaces. [PDF]

Sci Rep
Ahnouch R, Hadizadeh MR.
europepmc   +1 more source

Unifying Decoherence and Phase Evolution in Mixed Quantum-Classical Dynamics through Exact Factorization. [PDF]

J Phys Chem Lett
Ha JK, Kim SH, Min SK.
europepmc   +1 more source

On the Relativity of Quantumness as Implied by Relativity of Arithmetic and Probability. [PDF]

Entropy (Basel)
Czachor M.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Integral Formalism for Gauge Fields

Physical Review Letters, 1974
Summary: A new integral formalism for gauge fields is described. Further developments are presented, including gravitation equations related to, but not identical with, Einstein's equations.
C N Yang
exaly   +2 more sources

A Regular Integral Equation Formalism for Solving the Standard Boussinesq’s Equations for Variable Water Depth

Journal of Scientific Computing, 2017
This paper begins with a question of existence of a regular integral equation formalism, but different from the existing usual ones, for solving the standard Boussinesq’s equations for variable water depth (or Peregrine’s model).
T S Jang, Jang T S
exaly   +2 more sources

Integrating semi-formal and formal software specification techniques

Information Systems, 1998
In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed.
Roel J. Wieringa, Eric Dubois 0001
openaire   +2 more sources

Formalizing Application Integration Patterns

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), 2018
Enterprise Integration Patterns (EIPs) and their extensions denote the informally described building blocks of current Enterprise Application Integration (EAI) systems. Although a recent approach strives to provide an EIP formalization based on Coloured Petri Nets (CPNs), it does not completely consider EAI requirements, such as complex data ...
Daniel Ritter 0001, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha   +4 more
openaire   +2 more sources

FORMAL AND ANALYTIC INTEGRABILITY OF THE ROSSLER SYSTEM

International Journal of Bifurcation and Chaos, 2007
The well–known Rossler system can be written as ẋ = -(z + y), ẏ = x + ay and ż = b + xz - cz. Here, we study the first integrals of the Rossler system that can be described by formal power series.
Jaume Llibre, Cláudia Valls
openaire   +1 more source