Results 21 to 30 of about 1,318,770 (301)
Formally Verified Approximations of Definite Integrals [PDF]
Journal of Automated Reasoning, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Assia Mahboubi +2 more
openaire +6 more sources
European Physical Journal C: Particles and Fields, 2020 Integral equations for meson–baryon scattering amplitudes are obtained by utilizing time-ordered perturbation theory for a manifestly Lorentz-invariant formulation of baryon chiral perturbation theory.
X.-L. Ren +3 more
doaj +1 more source
Integrating semi-formal and formal requirements
, 1997 In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J. +2 more
openaire +1 more source
Formal foundations for responsible application integration
Information Systems, 2021 Enterprise Application Integration (EAI) constitutes the cornerstone in enterprise IT landscapes that are characterized by heterogeneity and distribution. Starting from established Enterprise Integration Patterns (EIPs) such as Content-based Router and Aggregator, EIP compositions are built to describe, implement, and execute integration scenarios. The
Daniel Ritter 0001 +3 more
openaire +3 more sources
Path integral formalism for the free Dirac propagator in spherical coordinates [PDF]
, 2023 The relativistic Green's function of a free spin-1/2 fermion is derived using the Feynman path integral formalism in spherical coordinates. The Green's function is reduced to an exactly solvable path integral by an appropriate coordinate transformation ...
Harman, Zoltán, Banerjee, Sreya
core
Advances in Condensed Matter Physics, 2018 Inclined threading dislocations (TDs) piercing the oriented free surface of a crystal are currently observed after growth of oriented thin films on substrates.
Salem Neily, Sami Dhouibi, Roland Bonnet
doaj +1 more source
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science, 2007 AbstractUML is a widespread language used in both industry and academia, despite the fact that its semantics is still informal and allows ambiguities. On the other hand, OhCircus is a formal specification language which unifies Z, CSP, the refinement calculus of Morgan and object-oriented theories.
Rafael Magalhães Borges +1 more
openaire +1 more source
Investigating the Integration of two Formal Methods [PDF]
Formal Aspects of Computing, 1998 Abstract. VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools differ significantly. The SPECTRUM project has investigated the feasibility of integrating support for the two methodologies.
Juan Bicarregui +3 more
openaire +2 more sources
Quantum sampling for the Euclidean path integral of lattice gauge theory
, 2022 Although the Hamiltonian formalism is so far favored for quantum computation of lattice gauge theory, the path integral formalism would never be useless.
Yamamoto, Arata, Arata Yamamoto
core +1 more source
Path integral formalism of Bose Einstein condensation and superconductivity [PDF]
, 2019 I set up the path integral formalism to study interacting bosonic gases, binary boson-fermion mixtures, and fermionic superconductors. The large-N theory is applied to bosonic interactions. The corresponding auxiliary field theory is applied to fermionic
Kim, Tom
core +1 more source