Results 301 to 310 of about 1,501,622 (351)
Some of the next articles are maybe not open access.
On Formal Equivalence Verification of Hardware
Computer Science Symposium in Russia, 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).
Z. Khasidashvili
semanticscholar +3 more sources
Formal equivalence verification
, 2015E. Seligman, Tom Schubert, M. K. Kumar
semanticscholar +2 more sources
Formal Equivalence Checking for Mobile Malware Detection and Family Classification
IEEE Transactions on Software Engineering, 2022Several techniques to overcome the weaknesses of the current signature based detection approaches adopted by free and commercial antimalware have been proposed by industrial and research communities.
F. Mercaldo, A. Santone
semanticscholar +1 more source
On the Formal Equivalence of Tubes and Transistors
IRE Transactions on Broadcast and Television Receivers, 1962D. E. Sparks
semanticscholar +3 more sources
Dynamic or Formal Equivalence? A Response
Theological Studies, 1990J. Walsh
semanticscholar +3 more sources
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.
Konrad Möhring, Duco van Straten
openaire +2 more sources
On the Formal Equivalence of Normal Form Theory and the Method of Multiple Time Scales
, 2009Multiple time scales technique has long been an important method for the analysis of weakly nonlinear systems. In this technique, a set of multiple time scales is introduced that serve as independent variables.
Fengxia Wang, A. Bajaj
semanticscholar +1 more source
Literalism: Non "formal-equivalence"
, 1989What is the true nature of literalism? The present article argues that literalism is in fact word translation plus syntax transplantation, imposing SL's peculiar syntax on TL words, treating TL as a syntactically unpatterned system.
D. Shen
semanticscholar +1 more source
, 1971
We investigate the possible factorizations of the confluent hypergeometric equation and show that this leads to a formal equivalence of the usual hydrogen atom problem with that of a set of multidimensional harmonic oscillators of appropriate classical ...
D. Basu
semanticscholar +1 more source
We investigate the possible factorizations of the confluent hypergeometric equation and show that this leads to a formal equivalence of the usual hydrogen atom problem with that of a set of multidimensional harmonic oscillators of appropriate classical ...
D. Basu
semanticscholar +1 more source
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 +2 more sources