Formal equivalence of Poisson structures around Poisson submanifolds [PDF]
, 2012 Let (M,π) be a Poisson manifold. A Poisson submanifold P ⊂ M gives rise to a Lie algebroid AP → P. Formal deformations of π around P are controlled by certain cohomology groups associated to AP.
Ioan Mărcuţ
semanticscholar +6 more sources
Formal equivalence between Tsallis and extended Boltzmann–Gibbs statistics [PDF]
, 2008 A formal correspondence between the q-distribution obtained from the Tsallis entropy and non-maxwellian distributions obtained from the Boltzmann-Gibbs entropy is afforded.Comment: 3 pages.
N. G. de Almeida
semanticscholar +5 more sources
Model-Checking Process Equivalences [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal ...
Martin Lange +2 more
doaj +4 more sources
Linearized models of calcium dynamics: formal equivalence to the cable equation [PDF]
Journal of Neuroscience, 1994 The dynamics of calcium and other diffusible second messengers play an important role in intracellular signaling. We show here the conditions under which nonlinear equations governing the diffusion, extrusion, and buffering of calcium can be linearized ...
Anthony M. Zador, Christof Koch
openalex +2 more sources
Formal Equivalences in $\mathbb{C}^{4}$
, 2018 There are solved standard problems related to Formal (Holomorphic) Segre preserving Mappings of non-trivial Real-Formal Hypersurfaces in $\mathbb{C}^{2}$.
Valentin Burcea
openalex +4 more sources
Algebraic Rieffel induction, formal Morita equivalence, and applications to deformation quantization [PDF]
, 2001 In this paper we consider algebras with involution over a ring C which is given by the quadratic extension by i of an ordered ring R. We discuss the *-representation theory of such *-algebras on pre-Hilbert spaces over C and develop the notions of ...
Henrique Bursztyn, Stefan Waldmann
openalex +3 more sources
Einstein and the Formal Equivalence of Mass and Energy [PDF]
, 2014 This is a brief look at how Einstein explored formal symmetries between quantized matter and quantized radiation between 1903 and 1925. Specifically he employed thermodynamic comparisons between the ideal molecular gas and the photon gas. His achievements are tied in with a more general pattern in physics to explore formal symmetries between quantized ...
Klevgard, Paul A.
openaire +4 more sources
Formal equivalence of direct and indirect boundary element methods
, 1978 C. A. Brebbia, R. Butterfield
openalex +2 more sources
Cutpoints for formal equivalence verification of embedded software [PDF]
International Conference on Embedded Software, 2005 Xiushan Feng, Alan J. Hu
openalex +2 more sources
A Study of Nida’s (1964) Types of Equivalence in Three English Translations of Letters 40 to 60 of Nahj-al-balagheh [In English] [PDF]
آموزش زبان، ادبیات و زبانشناسی, 2022 The main objective of this study is to probe into the issue of equivalency in three translations of Nahj-al-balagheh. More specifically, it is aimed to find out if there was any significant difference between dynamic and formal types of equivalence in ...
Samad Mirza Suzani +1 more
doaj +1 more source