Standard approachs to belief change assume that the underlying logic contains classical propositional logic. Recently there has been interest in investigating approaches to belief change, specifically contraction, in which the underlying logic is not as expressive as full propositional logic. In this paper we consider approaches to belief contraction in Horn knowledge bases. We develop two broa...

muscle fatigue assessment has been the basis of numerous studies, specifically, in neuromuscular rehabilitation and the applications of fessystems. various emgbased techniques, in time and frequency domains, have been investigatedover years for the detection and evaluationof this phenomenon. the main objective of this study has beento evaluate the efficiency of applying a number of techniques w...

The Banach contraction principle is one of the pivotal results in the metric fixed-point theory. It is a popular tool for the solution of existence problems in various fields of mathematics. There are several generalizations of the Banach contraction principle in the related literature on the metric fixed-point theory. Ran and Reurings [15] extended the Banach contraction principle in partially...

In this note we continue the analysis of the pore-scale model for crystal dissolution and precipitation in porous media proposed in [C. J. van Duijn and I. S. Pop, Crystal dissolution and precipitation in porous media: pore scale analysis, J. Reine Angew. Math. 577 (2004), 171–211]. There the existence of weak solutions was shown. We prove an L1-contraction property of the pore-scale model. As ...

In severe valvular aortic stenosis, obstruction to ventricular contraction results in prolonged ventricular systole and diminished peak flow velocity. This may translate into weak or impalpable peripheral arterial pulses. We report a case of severe aortic stenosis associated with an impalpable carotid pulse (in the absence of local carotid artery disease) that became easily detectable following...

In this article we develop convergence theory for a general class of adaptive approximation algorithms for abstract nonlinear operator equations on Banach spaces, and then use the theory to obtain convergence results for practical adaptive finite element methods (AFEM) applied to several classes of nonlinear elliptic equations. In the first part of the paper, we develop a weak-* convergence fra...