The aim of this thesis is to present Paramodulation Operators deciding the (i) Ackermann class with Equality [FS93] and (ii) the monadic class with equality [BGW93]. Ad (i) a refinement of the Ordered Paramodulation calculus [HR91] is used to define the appropriate inference operator; ad (ii) a variant of the Superposition calculus [BG94] is employed for this purpose. It seemed natural to give ...

The purpose of this study is to evaluate the possible use of four "FSA" thin and flexible resistive pressure mapping systems, designed by Vista Medical (Winnipeg, Manitoba, Canada), for the measurement of interface pressure exerted by lumbar belts onto the trunk. These sensors were originally designed for the measurement of low pressure applied by medical devices on the skin. Two types of tests...

Nature conducts its action in a very private manner. To reveal these actions classical science has done a great effort. But classical science can experiment only with the things that can be seen with eyes. Beyond the scope of classical science quantum science works very well. It is based on some postulates like qubit, superposition of two states, entanglement, measurement and evolution of state...

Abstract We study the asymptotic behaviour of a properly normalized time changed Wiener processes. The change reflects fact that we consider Laplace operator (which generates process) multiplied by possibly degenerate state-space dependent intensity ? ( x ) . Applying functional limit theorem for superposition stochastic processes, prove theorems process. normalization depends on function One p...

It is known that there are several approaches to define a Sobolev class for Banach valued functions. We compare the usual definition via weak derivatives with Reshetnyak–Sobolev space and Newtonian space; in particular, we provide sufficient conditions when all three agree. Also, revise difference quotient criterion property of Lipschitz mapping preserve it acting as superposition operator.

A chief problem in seismic data processing is the filtering of unwanted events like ground roll and multiples. Methods to deal with this problem often exploit moveout or curvature differences between offending events and the events one would like to preserve (primaries). In particular, removal of multiples based on moveout discrimination can be attained via parabolic and hyperbolic Radon transf...

Introduction: Single isocentre half-beam block (HBB) technique permits the avoidance of hot and cold spots. This technique is very useful in sparing the underlying ipsilateral lung and heart, if the left breast is treated. The major advantage of this technique is that it facilitates the complete sparing of both contralateral breast and lung. Regarding this, the present study aimed to analyse th...

In a recent work of the author, de Branges space was constructed, as well an operator on it whose spectrum coincides with set nontrivial zeros Riemann zeta function after rotation complex plane. Also canonical system related to in question constructed. this paper, natural factorization is exhibited for unitary that realizes correspondence between Hilbert and space, superposition four operators....

Quantum characteristics of a driven series RLC nanoelectronic circuit whose capacitance varies with time are studied using an invariant operator method together with a unitary transformation approach. In particular, squeezing effects and nonclassical properties of a superposition state composed of two displaced squeezed number states of equal amplitude, but 180° out of phase, are investigated i...