Results 281 to 290 of about 69,366 (304)
Some of the next articles are maybe not open access.
Formal Analysis of Symbolic Authenticity
2021Hai Lin 0005, Christopher Lynch
openaire +1 more source
Operational Semantics Based Formal Symbolic Simulation
1993Abstract This paper describes the development of progressively more powerful and abstract hardware simulators. A small computer hardware design and description language pico-ELLA is then introduced, followed by its formal semantics. Using a number of small examples, we will then show the how this formal semantics may be used within a proof system as ...
openaire +2 more sources
The Law of Symbolic Attrition: A Formal Theory of Asymmetric Symbolic Utility
We present an axiomatic model of adversarial symbolic interaction rooted in information theory and optimal stopping. Within a stylized continuous-time framework, we show that an Initiator who is committed to sustaining a high-complexity symbolic system faces a cumulative utility that diverges to negative infinity as the commitment horizon grows.openaire +1 more source
Hilbert symbol for Lubin-Tate formal groups. II
Journal of Soviet Mathematics, 1985S V Vostokov, Vostokov S V
exaly
Hazewinkel Functional Lemma and Classification of Formal Groups
Vestnik St Petersburg University: Mathematics, 2020A I Madunts
exaly
Formal Verification of Symbolic Bug Finders
Testing the robustness of software systems is a fundamental concern. To do so, a common approach is to rely on automated testing methods to search for bugs and potential errors before deploying systems. To be reliable, a testing tool needs to be precise and exhaustive: it should not report false alarms, and not miss too many bugs.openaire +1 more source
Norm Series for Lubin–Tate Formal Groups
Journal of Mathematical Sciences, 2004S V Vostokov, Vostokov S V
exaly