Results 21 to 30 of about 12,536 (262)
Probabilistic logics based on Riesz spaces [PDF]
Logical Methods in Computer Science, 2020 We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature ...
Robert Furber, Radu Mardare, Matteo Mio
doaj +1 more source
Algebraic theory of measure algebras
Доповiдi Нацiональної академiї наук України, 2023 A. Horn and A. Tarski initiated the abstract theory of measure algebras. Independently V. Sushchansky, B. Oliynyk and P. Cameron studied the direct limits of Hamming spaces.
O.O. Bezushchak, B.V. Oliynyk
doaj +1 more source
Explicit decomposition of a rational prime in a cubic field
International Journal of Mathematics and Mathematical Sciences, 2006 We give the explicit decomposition of the principal ideal 〈p〉 (p prime) in a cubic field.
Saban Alaca +2 more
doaj +1 more source
Frontiers in Physics, 2023 Indroduction: The novel model of a non-local elastic semiconductor material that is microelongated is created. The process of photothermal transfer is responsible for the stimulation of the material. Photo-thermoelastic theories are used when the thermal
Ashraf M. Farhan +7 more
doaj +1 more source
Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
Open Mathematics, 2017 The convolution sum, ∑(l,m)∈N02αl+βm=nσ(l)σ(m), $ \begin{array}{} \sum\limits_{{(l\, ,m)\in \mathbb{N}_{0}^{2}}\atop{\alpha \,l+\beta\, m=n}} \sigma(l)\sigma(m), \end{array} $ where αβ = 22, 44, 52, is evaluated for all natural numbers n. Modular forms
Ntienjem Ebénézer
doaj +1 more source
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
On split quasi-hereditary covers and Ringel duality
Forum of Mathematics, SigmaIn this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module.
Tiago Cruz
doaj +1 more source
Organic Materials of Tomorrow: Horizons of Artificial Intelligence
Advanced Materials, EarlyView.This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena +3 more
wiley +1 more source
Injective hulls of many-sorted ordered algebras
Open Mathematics, 2019 This paper is devoted to the study of injectivity for ordered universal algebras. We first characterize injectives in the category OALΣ⩽$\begin{array}{} \displaystyle {\mathsf{OAL}_{{\it\Sigma}}^{\leqslant}} \end{array}$ of ordered Σ-algebras with lax ...
Zhang Xia, Ma Wen, Rump Wolfgang
doaj +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