Results 51 to 60 of about 24,849,887 (362)
Advanced Materials Technologies, EarlyView.A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +1 more source
On Involutive Weak Exchange Algebras
Bulletin of the Section of LogicIn this paper, involutive weak exchange algebras (for short, involutive WE algebras) are introduced and studied. Their properties and characterizations are investigated. Some important results and examples are given.
Andrzej Walendziak
doaj +1 more source
An analysis of algebra lesson: Can apples and pears be added? [PDF]
Journal of Pedagogical ResearchThere is a strong relationship between the quality of education, teachers’ decisions and instructional actions, and knowledge. All of them have an important role outcome of the lesson and students’ learning.
Figen Bozkuş +2 more
doaj +1 more source
Identities in the Algebra of Partial Maps
, 2005 We consider the identities of a variety of semigroup-related algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable.
Marcel Jackson +3 more
core +1 more source
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
Game-Theoretic Resource Allocation and Dynamic Pricing Mechanism in Fog Computing
IEEE AccessFog computing is a promising and challenging paradigm that enhances cloud computing by enabling efficient data processing and storage closer to data sources and users.
Anjan Bandopadhyay +5 more
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
Relation Between Be-Algebras and G-Hilbert Algebras
Discussiones Mathematicae - General Algebra and Applications, 2018 Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source
DMA:an algebra for multicriteria spatial modeling
, 2006 The objective of this paper is to propose a new algebra, called decision map algebra (DMA), especially devoted to multicriteria spatial modeling. DMA is a generic and context-independent modeling language inspired from map algebra and other similar ...
Chakhar, Salem, Mousseau, Vincent
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source