Results 51 to 60 of about 1,475,338 (284)
Regular Partial Residuated Lattices and Their Filters
Mathematics, 2022 To express wider uncertainty, Běhounek and Daňková studied fuzzy partial logic and partial function. At the same time, Borzooei generalized t-norms and put forward the concept of partial t-norms when studying lattice valued quantum effect algebras. Based
Nan Sheng, Xiaohong Zhang
doaj +1 more source
Artificial Intelligence Meets Micro/Nanorobotics
Advanced Materials, EarlyView.Artificial intelligence is transforming micro‐ and nanorobots from externally controlled, task‐specific machines into adaptive, autonomous systems. Machine learning, multimodal perception, digital twins, AI‐guided materials and geometry design enhance propulsion, localization, decision‐making, whichaccelerates clinical and environmental applications ...
Fatma M. Yurtsever +6 more
wiley +1 more source
The space of measurement outcomes as a spectrum for non-commutative algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Bohrification defines a locale of hidden variables internal in a topos. We find that externally this is the space of partial measurement outcomes. By considering the double negation sheafification, we obtain the space of measurement outcomes which ...
Bas Spitters
doaj +1 more source
Theoretical Computer Science, 1993 In the paper ``programs'' in partial algebras are understood, in an intuitive sense, as a class constructed starting from term operations by using branches, compositions, restrictions, and loops. It is shown that such programs may be regarded as a subclass of implicit operations (in a weak variety of partial algebras considered).
openaire +3 more sources
Kleene Algebra of Partial Predicates
Formalized Mathematics, 2018 Summary We show that the set of all partial predicates over a set D together with the disjunction, conjunction, and negation operations, defined in accordance with the truth tables of S.C. Kleene’s strong logic of indeterminacy [17], forms a Kleene algebra.
Artur Kornilowicz +2 more
openaire +3 more sources
Transmathematica, 2022 We will examine totalising a partial operation in a general algebra by using an absorbtive element, bottom, such as an error flag. We then focus on the simplest example of a partial operation, namely subtraction on the natural numbers: n - m is undefined whenever n < m.
Bergstra, J.A., Tucker, J.V.
openaire +2 more sources
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
Unsolid and fluid strong varieties of partial algebras
International Journal of Mathematics and Mathematical Sciences, 2006 A partial algebra 𝒜=(A;(fiA)i∈I) consists of a set A and an indexed set (fiA)i∈I of partial operations fiA:Ani⊸→A. Partial operations occur in the algebraic description of partial recursive functions and Turing machines. A pair of terms p≈q over the
S. Busaman, K. Denecke
doaj +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
partial translation algebras for certain discrete metric spaces
, 2010 The notion of a partial translation algebra was introduced by Brodzki, Nibloand Wright in [11] to provide an analogue of the reduced group C*-algebrafor metric spaces.
Putwain, Rosemary Johanna
core +1 more source