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, 1978
Abstract 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]

open access: possible, 2004
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

1990
Sight 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), 2012
We 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, 1993
For 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, 2010
This 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, 2015
Jian Hu, Tun Li, Sikun Li
semanticscholar   +1 more source

Fuzzy inference in a formal theory of semantic equivalence

Fuzzy Sets and Systems, 1989
This 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, 2013
Carlos Ivan Castro Marquez   +2 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy