Results 41 to 50 of about 1,496,296 (350)
Affordance Equivalences in Robotics: A Formalism
Frontiers in Neurorobotics, 2018 Automatic knowledge grounding is still an open problem in cognitive robotics. Recent research in developmental robotics suggests that a robot's interaction with its environment is a valuable source for collecting such knowledge about the effects of robot's actions.
Andries, Mihai +4 more
openaire +5 more sources
An Order-Theoretic Study on Formal Concept Analysis
Axioms, 2023 This paper employs an order-theoretic framework to explore the intricacies of formal concepts. Initially, we establish a natural correspondence among formal contexts, preorders, and the resulting partially ordered sets (posets).
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
doaj +1 more source
Formal and finite order equivalences [PDF]
Mathematische Zeitschrift, 2010 We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations.
openaire +5 more sources
, 2015 Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence.
Barrett, Thomas William, Halvorson, Hans
core +2 more sources
Identifying Non-Sublattice Equivalence Classes Induced by an Attribute Reduction in FCA
Mathematics, 2021 The detection of redundant or irrelevant variables (attributes) in datasets becomes essential in different frameworks, such as in Formal Concept Analysis (FCA).
Roberto G. Aragón +2 more
doaj +1 more source
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Several application domains require formal but flexible approaches to the comparison problem. Different process models that cannot be related by behavioral equivalences should be compared via a quantitative notion of similarity, which is usually achieved
Alessandro Aldini
doaj +1 more source
Equivalence Checking of Dynamic Quantum Circuits [PDF]
2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021 Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a limited number of qubits. One possible way to execute more realistic algorithms in near-term quantum devices is to employ dynamic ...
Xin Hong +3 more
semanticscholar +1 more source
Are M-atrix theory and Maldacena's conjecture related? [PDF]
, 1999 We give arguments in the support of a relation between M-atrix theory and Maldacena's conjecture. M-atrix theory conjecture implies the equivalence of 11-D light-cone supergravity and strongly-coupled (0+1)-D SYM. Maldacena's SUGRA/SYM duality conjecture
Baake +26 more
core +6 more sources
On the Commutative Equivalence of Algebraic Formal Series and Languages [PDF]
International Journal of Foundations of Computer Science, 2021 The problem of the commutative equivalence of context-free and regular languages is studied. Conditions ensuring that a context-free language of exponential growth is commutatively equivalent with a regular language are investigated.
Flavio D'Alessandro +2 more
openaire +4 more sources
Problems in the theoretical foundation of the functional-equivalent approach
Acta Theologica, 2002 The functional-equivalent approach to Bible translation is based on a specific view of communication, viz. that it is a process which takes place within a closed cultural circle. This view of communication results in a view of the Bible as a time-bound
G. J. C. Jordaan
doaj +1 more source