Results 51 to 60 of about 681,600 (315)
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
FIXED POINTS AND CUT-HOMOMORPHISMS GENERATED BY ACTIONS OF A BE-ALGEBRA ON ITS SUBALGEBRA [PDF]
Journal of Algebraic SystemsThe concept of actions of a BE-algebra on its subalgebra is introduced and certain properties of these actions are derived. The notion of cut-homomorphisms is introduced in BE-algebras and proved that the class of all cut-homomorphisms forms an ordered ...
Mukkamala Sambasiva Rao
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
Corrections to “Game-Theoretic Resource Allocation and Dynamic Pricing Mechanism in Fog Computing”
IEEE AccessPresents corrections to the paper, (Game-Theoretic Resource Allocation and Dynamic Pricing Mechanism in Fog Computing).
Anjan Bandopadhyay +5 more
doaj +1 more source
An Introduction to The Algebra Revolution
Numeracy, 2023 Bardige, Art. 2022. The Algebra Revolution: How Spreadsheets Eliminate Algebra 1 to Transform Education; (Bookbaby) 135 pp. UNSPSC 55111505. The Algebra Revolution: How Spreadsheets Eliminate Algebra 1 to Transform Education argues that Algebra 1 can be ...
Art Bardige
doaj +1 more source
Subtraction algebras and $BCK$-algebras [PDF]
Mathematica Bohemica, 2003 Summary: In this note we show that a subtraction algebra is equivalent to an implicative BCK-algebra, and a subtraction semigroup is a special case of a BCI-semigroup.
Kim, Young Hee, Kim, Hee Sik
openaire +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
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
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
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source