Results 51 to 60 of about 34,528,690 (304)

A Verified Algebra for Linked Data

, 2011
A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Horne, Ross, Sassone, Vladimiro
core   +2 more sources

On Involutive Weak Exchange Algebras

Bulletin of the Section of Logic
In 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

BORDERED GE-ALGEBRAS [PDF]

Journal of Algebraic Systems
The notions of (transitive, commutative, antisymmetric) bordered GE-algebras are introduced,and their properties are investigated. Relations between a commutative bordered GE-algebra and anantisymmetric bordered GE-algebra are considered, and also ...
Ravikumar Bandaru, Mehmet Ali Ozturk, Young Bae Jun   +2 more
doaj   +1 more source

Class of Sheffer stroke BCK-algebras

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022
In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It is indicated that the axioms of a Sheffer stroke BCK-algebra are independent.
Oner Tahsin, Kalkan Tugce, Saeid Arsham Borumand   +2 more
doaj   +1 more source

Carrollian conformal scalar as flat-space singleton

Physics Letters B, 2023
We show that, in any space-time dimension, the on-shell (electric) conformal Carrollian scalar can be interpreted as the flat-space limit of the singleton representation of the conformal algebra.
Xavier Bekaert, Andrea Campoleoni, Simon Pekar   +2 more
doaj   +1 more source

Graphics calculators and algebra [PDF]

, 1999
The personal technology of the graphics calculator is presently the only one likely to be available widely enough to influence curriculum design and implementation on a large scale.
Kissane, B.
core  

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

Game-Theoretic Resource Allocation and Dynamic Pricing Mechanism in Fog Computing

IEEE Access
Fog 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, Sujata Swain, Raj Singh, Pritam Sarkar, Siddhartha Bhattacharyya, Leo Mrsic   +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 Systems
The 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

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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source