Results 311 to 320 of about 1,501,622 (351)
Some of the next articles are maybe not open access.
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 +2 more sources
Formalizing the Environment View of Process Equivalence [PDF]
The 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.
Xiaoju Dong, Yuxi Fu
openaire +1 more source
On Form, Formalism and Equivalence
1990Sight is perhaps our most sensitive physical sense and can be used to reduce conceptual complexity. This potential is exploited within mathematics when complex ideas are expressed using geometrical relationships between symbols. By conscious manipulation of visual form we achieve unconscious manipulation of conceptual content.
openaire +2 more sources
On the equivalence of Hebbian learning and the SVM formalism
2012 46th Annual Conference on Information Sciences and Systems (CISS), 2012We show that it is possible to relate the Support Vector Machine formalism to Hebbian Learning in the context of olfactory learning in the insect brain. Since neurons cannot have negative firing rates, two neurons and synaptic inhibition are required to encode a binary classification problem in a biologically realistic way.
Thomas Nowotny, Ramon Huerta
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.
A. V. Razumov, Kh. S. Nirov
openaire +3 more sources
Notes on providing a formal definition of equivalence
Anthropological Theory, 2010This paper presents an outline of the definition of equivalence in mathematics. The supporting language of set theory is informally presented. Definitions are provided for Cartesian product, relation and equivalence relation. Equivalence classes and partitions are touched on, though they are not developed in detail.
openaire +2 more sources
Formal equivalence checking between SLM and RTL descriptions
ACM Symposium on Cloud Computing, 2015Jian Hu, Tun Li, Sikun Li
semanticscholar +1 more source
Fuzzy inference in a formal theory of semantic equivalence
Fuzzy Sets and Systems, 1989This paper is devoted to fuzzy inference in a formal theory of semantic equivalence. The author shows how ten different fuzzy implication operators can be represented within a formal axiomatization of the theory of approximate reasoning. The aim of this work is to move the theory of approximate reasoning one step closer to providing a sound basis for a
openaire +3 more sources
Formal equivalence checking between high-level and RTL hardware designs
Latin American Test Workshop - LATW, 2013Carlos Ivan Castro Marquez+2 more
semanticscholar +1 more source