Results 41 to 50 of about 12,728 (301)
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
A commutative noncommutative fractal geometry [PDF]
, 2011 In this thesis examples of spectral triples, which represent fractal sets, are examined and new insights into their noncommutative geometries are obtained.
Samuel, Tony; id_orcid, Samuel, Anthony
core +1 more source
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 +1 more source
N-photon amplitudes in a plane-wave background
Physics Letters B, 2021 We use the worldline formalism to derive master formulas for the one-loop N-photon amplitudes in a plane-wave background, for both scalar and spinor quantum electrodynamics.
James P. Edwards, Christian Schubert
doaj +1 more source
Hamel's formalism and variational integrators on a sphere [PDF]
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012 7 pages, 4 ...
Dmitry V. Zenkov +2 more
openaire +2 more sources
Line Defects in Two-Dimensional Dodecagonal Quasicrystals
MathematicsIn this work, line defects in two-dimensional dodecagonal quasicrystals are investigated. Using the ten-dimensional framework of the integral formalism of two-dimensional quasicrystals, the closed-form solutions for the displacement fields and stress ...
Markus Lazar
doaj +1 more source
Polymer Testing, 2021 The present work introduces a novel methodology to analyse non-uniform residual stresses in composite materials. For robust determination of stresses in complex structures made of different layers, it is first necessary to prove that residual stress ...
A. Magnier +5 more
doaj +1 more source
A gauge-invariant path integral for electrodynamics with magnetic monopoles in the Haddamard formalism [PDF]
, 2017 We propose a new path integral for QED in the presence of magnetic monopoles on the formalism of Geometric Algebra of Hestenes–Haddamard written in terms of Dirac matrices.
Luiz C. L. Botelho
core +1 more source
Quantum sampling for the Euclidean path integral of lattice gauge theory [PDF]
, 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
core +1 more source