Results 261 to 270 of about 32,620 (305)
Some of the next articles are maybe not open access.
Asynchronous communicating cellular automata: Formalization, robustness and equivalence
Information Sciences, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lei, Qin +4 more
openaire +2 more sources
On Vasyliunas's equivalent conductivity formalism
Journal of Geophysical Research: Space Physics, 1992The coupling of the ionosphere and magnetosphere can be understood by examining the field‐aligned currents passing between the two. In his treatment of the shielding of the inner magnetosphere, Vasyliunas [1972] developed a mathematical formalism for representing this coupling by a pseudo Ohm's law.
openaire +1 more source
A criterion for the equivalence of formal singularities
American Journal of Mathematics, 2002We prove a generalization of the finite determinacy theorem for isolated singularities. The maximal ideal occuring in the finite determinacy theorem is replaced by any ideal annihilating the first cotangent cohomology of a formal singularity over a Noetherian ring. An analogous result holds for finitely generated modules.
Möhring, Konrad, van Straten, Duco
openaire +1 more source
Formal Correspondence vs. Translation Equivalence Revisited
Poetics Today, 1981The two concepts which feature in the title of the present paper belong to two different, though (as will be shown) by no means unrelated, activities. Formal correspondence is a term used in contrastive analysis, while translation equivalence belongs to the metalanguage of translation.
openaire +1 more source
Equivalence between Lagrangian and Hamiltonian BRST formalisms
Journal of Mathematical Physics, 1993For a wide class of gauge invariant systems, the equivalence between Lagrangian and Hamiltonian BRST formalisms is proven.
Nirov, Kh. S., Razumov, A. V.
openaire +2 more sources
Group selection and kin selection: formally equivalent approaches
Trends in Ecology & Evolution, 2011Inclusive fitness theory, summarised in Hamilton's rule, is a dominant explanation for the evolution of social behaviour. A parallel thread of evolutionary theory holds that selection between groups is also a candidate explanation for social evolution. The mathematical equivalence of these two approaches has long been known.
openaire +2 more sources
On the Convergence of Formal Equivalence between Embeddings
The Annals of Mathematics, 1981Let j: X --* W denote the morphism embedding the compact complex manifold X into the manifold W. The formal principle holds (for j) if, given any other embedding j': X'-W' together with a formal isomorphism between j and j', there is an actual isomorphism between j and j' (for definitions see ? 2.1).
openaire +1 more source
On Formal Equivalence Verification of Hardware
2008When modeling the logic functionality, hardware can be viewed as a Finite State Machine (FSM) [7]. The power-up state of hardware cannot be determined uniquely, therefore the FSM modeling the hardware does not have an initial state (or a set of initial states).
openaire +1 more source
Formalization of equivalence of recursively defined functions
Information Sciences, 1978Abstract In this paper we use the fixpoint approach in formalizing the equivalence of recursively defined functions within the framework of predicate calculus. The results suggest some general mathematical techniques useful in proving equivalence of recursive programs.
openaire +1 more source