Two essential tasks in managing Description Logic (DL) ontologies are eliminating problematic axioms and incorporating newly formed axioms. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard DL semantics yields in...

Contraction-level invariant surface electromyography pattern recognition introduces the decrease of training time and decreases the limitation of clinical prostheses. This study intended to examine whether a signal pre-processing method named frequency division technique (FDT) for online myoelectric pattern recognition classification is robust against contraction-level variation, and whether th...

Abstract In this paper we study fractional initial value problems with Caputo–Fabrizio derivative which involves nonsingular kernel. First apply α - ℓ -contraction and -type F mappings to the existence uniqueness of solutions for such problems. Finally, use some contraction in complete $\mathfrak{F}$ F -metri...

BACKGROUND Resistive exercise after stroke can improve strength (force-generating capacity) without increasing spasticity (velocity-dependent hypertonicity). However, the effect of resistive load type on muscle activation and co-contraction after stroke is not clear. OBJECTIVE The purpose of this study was to determine the effect of load type (elastic, viscous, or mass) on muscle activation a...

In this paper, we shall establish some fixed point theorems for mappings with the contractive  condition of integrable type on complete intuitionistic fuzzy metric spaces $(X, M,N,*,lozenge)$. We also use Lebesgue-integrable mapping to obtain new results. Akram, Zafar, and Siddiqui introduced the notion of $A$-contraction mapping on metric space. In this paper by using the main idea of the work...

Cardiomyocyte Ca2+ dictates cardiac contraction via excitation–contraction coupling (ECC) and excitation–transcription coupling. Adaptation to these processes also majorly contributes enhanced contractile function capacity following exercise training. Cytoplasmic release controls sarcomeric contraction, with important modulation by the voltage-sensitive plasma membrane L-type channel Ryanodine ...