Results 271 to 280 of about 32,620 (305)
Some of the next articles are maybe not open access.
Formalizing the Environment View of Process Equivalence
2004The notion of program equivalence plays a fundamental role in the understanding of programming related issues in the framework of concurrent/distributive/mobile/global/grid computing. Many observational equivalences have been proposed in the literature.
Yuxi Fu, Xiaoju Dong
openaire +1 more source
Equivalence between two Formalisms of Plasma Fluctuations
The Physics of Fluids, 1966The expression for auto-correlation functions given in terms of the two-time distribution function is related by a trivial identity to the expression for auto-correlation functions, which is given in terms of the usual distribution function.
openaire +1 more source
Formalizing Object Equivalence in Machine Knitting
Correctness is a desirable property for any program, whether that program computes an equation, controls a machine, or interprets data. Defining what it means for a program to be correct can be surprisingly nuanced, however, especially when that program is used to create a physical object.openaire +1 more source
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Chapter 6. Perceived formal and functional equivalence
2014Hungarian prefers indirect insertion of copied verbal stems. The few counterexamples of directly inserted verbal stems indicate a high degree of intimacy due to intensive contact or relatedness. András Róna-Tas and Árpád Berta’s work West Old Turkic published in 2011 gives a list of over thirty Turkic verb stems that were inserted directly into ...
openaire +1 more source
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz, Robert A Smith
exaly