相关论文: A consistent formalism for the Thomas-Ehrman Level…

The general translator formalism and computing specific implementations are proposed. The implementation of specific elements necessary to process the source and destination information within the translators are presented. Some common…

Formalism of extended Lagrangian represent a systematic procedure to look for the local symmetries of a given Lagrangian action. In this work, the formalism is discussed and applied to a field theory. We describe it in detail for a field…

A geometric global formulation of the higher-order Lagrangian formalism for systems with finite number of degrees of freedom is provided. The formalism is applied to the study of systems with groups of Noetherian symmetries.

In this paper we prove several results on normal forms for linear displacement context-free grammars. The results themselves are rather simple and use well-known techniques, but they are extensively used in more complex constructions.…

We develop a time-non-local (TNL) formalism based on variational calculus, which allows for the analysis of TNL Lagrangians. We derive the generalized Euler-Lagrange equations starting from the Hamilton's principle and, by defining a…

A general formalism is developed for constructing modified Hamiltonian dynamical systems which preserve a canonical equilibrium distribution by adding a time evolution equation for a single additional thermostat variable. When such systems…

We give a language-parametric solution to the problem of total correctness, by automatically reducing it to the problem of partial correctness, under the assumption that an expression whose value decreases with each program step in a…

In a recent paper we introduced the chirality-flow formalism, a method for simple and transparent calculations of Feynman diagrams based on the left- and right-chiral $\mathrm{sl}(2,\mathbb{C})$ nature of spacetime. While our previous work…

A formalism is presented to obtain closed evolution equations for asymptotic probability distribution functions of turbulence magnitudes. The formalism is derived for a generic evolution equation, so that the final result can be easily…

This paper presents a generalized flux-corrected transport (FCT) algorithm, which is shown to be total variation diminishing under some conditions. The new algorithm has improved properties from the standpoint of use and analysis. Results…

Deep learning operators are fundamental components of modern deep learning frameworks. With the growing demand for customized operators, it has become increasingly common for developers to create their own. However, designing and…

Localization transitions represent a fundamental class of continuous phase transitions, yet they occur without any accompanying symmetry breaking. We resolve this by introducing the concept of dynamical translational symmetry (DTS), which…

A matrix approach to continuous iteration is proposed for general formal series. It leads, in particular, to an order{to{order iteration of the exponential function, and consequently to an algorithmic approach to tetration. Lower{order…

The worldline formalism shares with string theory the property that it allows one to write down master integrals that effectively combine the contributions of many Feynman diagrams. While at the one-loop level these diagrams differ only by…

Recently a perturbative theory has been constructed, starting from the Feynman rules of the nonlinear sigma model at the tree level in the presence of an external vector source coupled to the flat connection and of a scalar source coupled…

We introduce the notion of topological entropy of a formal languages as the topological entropy of the minimal topological automaton accepting it. Using a characterization of this notion in terms of approximations of the Myhill-Nerode…

In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…

We extend Padmanabhan's entropy functional formalism to show that, in addition to the Gauss-Bonnet or the entire series of Lanczos-Lovelock Lagrangians already obtained, more general higher-order corrections to General Relativity, i.e., the…

We review here the development of the general formalism for the study of fermion propagation in the presence of stochastic media. This formalism allows the systematic derivation of evolution equations for averaged quantities as survival…

Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely accepted belief that formal methods require extensive expertise…