Results 251 to 260 of about 1,318,770 (301)

The moving Born-Oppenheimer approximation. [PDF]

Proc Natl Acad Sci U S A
Barrera B, Arovas DP, Chandran A, Polkovnikov A.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

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

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.
exaly   +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

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
exaly   +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   +2 more sources

Integrating formalism and pragmatism

Proceedings of the 1997 workshop on New security paradigms - NSPW '97, 1997
Two major schools have dominated computer security research and thinking for the last twenty to twenty-five years - formalism and pragmatism. In spite of all their work, progress has been limited, system designers do not incorporate security principles and security is seen as a detriment to functionality.
openaire   +2 more sources

On the Integrity of a Repository of Formalized Mathematics

2003
MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). This is a long term project aiming at building a comprehensive library of mathematical knowledge. The language and the checking software evolve, and the evolution is driven by the growing library.
Piotr Rudnicki, Andrzej Trybulec
openaire   +1 more source