RTL2RTL Formal Equivalence: Boosting the Design Confidence [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Increasing design complexity driven by feature and performance requirements and the Time to Market (TTM) constraints force a faster design and validation closure.
M V Achutha Kiran Kumar +2 more
doaj +11 more sources
On the formal equivalence of the TAP and thermodynamic methods in the SK model [PDF]
Journal of Physics A: Mathematical and General, 2003 We revisit two classic Thouless–Anderson–Palmer (TAP) studies of the Sherrington–Kirkpatrick model (Bray A J and Moore M A 1980 J. Phys. C: Solid State Phys. 13 L469; De Dominicis C and Young A P 1983 J. Phys. A: Math. Gen. 16 2063).
Andrea Cavagna +3 more
semanticscholar +8 more sources
Formal Equivalence Analysis [PDF]
Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), 2019 Following R. Wille’s lead and suggestion we set out to design a new kind of view onto a formal context analogous but different to Formal Concept Analysis and Formal Independent Analysis.
F. V. Albacete +3 more
semanticscholar +3 more sources
A formal proof of the Lax equivalence theorem for finite difference schemes [PDF]
NASA Formal Methods, 2021 The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretized on a computational domain, and numerical solutions are computed.
Mohit Tekriwal +2 more
openalex +3 more sources
Fermat's principle and the formal equivalence of local light-ray rotation and refraction at the interface between homogeneous media with a complex refractive index ratio [PDF]
Optics Letters, 2009 We derive a formal description of local light-ray rotation in terms of complex refractive indices. We show that Fermat's principle holds, and we derive an extended Snell's law.
Bhuvanesh Sundar +2 more
openalex +3 more sources
Formal Game Grammar and Equivalence [PDF]
2020 IEEE Conference on Games (CoG), 2020 We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe finite discrete games without hidden information, allowing for randomness, and mixed sequential and simultaneous ...
Paul Riggins, David L. McPherson
openalex +4 more sources
*-IDEALS AND FORMAL MORITA EQUIVALENCE OF *-ALGEBRAS [PDF]
International Journal of Mathematics, 2001 Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of *-algebras over a ring [Formula: see text] which is the quadratic extension by i of an ordered ring [Formula: see text]. The goal of the present paper is twofold.
Henrique Bursztyn, Stefan Waldmann
openalex +4 more sources
Formal Verification of Flow Equivalence in Desynchronized Designs [PDF]
2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020 To appear in ASYNC ...
Jennifer Paykin +3 more
openalex +5 more sources
Formal Equivalence Between Normal Forms of Reversible and Hamiltonian Dynamical Systems [PDF]
, 2011 We show the existence of formal equivalences between reversible and Hamiltonian vector fields. The main tool we employ is the normal form theory.
Ricardo Miranda Martins
openalex +3 more sources
Convergence of formal equivalences of hypersurfaces
, 2000 20 pages ...
Joël Merker
openalex +4 more sources