Central to any theory of continuum mechanics, are balance laws of mass, momentum, and energy. These provide us with universal relations, which should be satisfied during every process associated with the continuous body. However, to obtain general statements of these laws, several integral theorems are required. A major portion of this chapter therefore deals with divergence theorem, Stokes’ th...

In [10] Osorio et al. introduced a paraconsistent three-valued logic, the logic CG3 which was named after the logic G ′ 3 due to the close relation between them. Authors defined CG3 via the three-valued matrix that defines G3 but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3 before constructing...

A new scheme for the excitation of spins according to the joint values of their heteronuclear or homonuclear J couplings and of their chemical shifts, is proposed and demonstrated. The principles of the new pulses involved derive from those employed in NMR imaging for exciting arbitrary 2D spatial shapes, using so-called "multidimensional" RF pulses. It is shown that if recast in a suitable spe...

We provide an experimental detailed study of the three-dimensional coherence properties of light speckles produced by different tunable pseudothermal sources. Our findings confirm the theoretical prediction of the companion article A. Gatti et al., Phys. Rev. A 78, 063806 2008 , according to which the longitudinal coherence of the speckles is ruled by ordinary diffraction laws only in the deep-...

In this work, we study the (2 + 1)-dimensional Zoomeron equation which is an extension of the famous (1 + 1)-dimensional Zoomeron equation that has been studied extensively in the literature. Using classical Lie point symmetries admitted by the equation, for the first time we develop an optimal system of one-dimensional subalgebras. Based on this optimal system, we obtain symmetry reductions an...

In this work we present additional results related to the property of strong equivalence of logic programs. This property asserts that two programs share the same set of stable models, even under the addition of new rules. As shown in a recent work by Lifschitz, Pearce and Valverde, strong equivalence can be simply reduced to equivalence in the logic of Here-and-There (HT). In this paper we pro...

Abstract. The object of this research in the queueing theory is theorems about the functional strong laws of large numbers (FSLLN) under the conditions of heavy traffic in an open queueing network (OQN). The FSLLN is known as a fluid limit or fluid approximation. In this paper, FSLLN are proved for the values of important probabilistic characteristics of the OQN investigated as well as the virt...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . doi:10.1093/ejechocard/jer099 Online publish-ahead-...