We propose a general formalism of iterated random functions with semigroup property, under which exact and approximate Bayesian posterior updates can be viewed as specific instances. A convergence theory for iterated random functions is presented. As an application of the general theory we analyze convergence behaviors of exact and approximate message-passing algorithms that arise in a sequenti...

The present study deals with the analysis of the effects of radiative heat transfer of micropolar fluid flow over a porous and stretching sheet in the presence of magnetic field. The dynamic viscosity and thermal conductivity coefficient have formulated by temperature-dependent relations to obtain more exact results. The flow is supposed two-dimensional, incompressible, steady and laminar and t...

An experimental investigation has been carried out with the aim of charac-terizing material damping in metals as a function of the wave parameters. Tests on Anticorodal(Si 1%;Mg 0.6%;Mn 0.3%)bars at room temperature, in both flexural and longitudinal small-amplitude vibrations, are discussed with reference as well to results by other Authors as to theoretical predictions. Many aspects of the th...

In this paper, a displacement-based, variationally consistent, two variable refined theory for shear deformable beams is presented. The beam is assumed to be of linearly elastic, homogeneous, isotropic material and has a uniform rectangular cross-section. In this theory, the beam axial displacement and beam transverse displacement consist of bending components and shearing components. The assum...

In this paper, the effect of autofrettage process parameters on the ultimate pressure that functionally graded spherical vessel can tolerate are investigated. FGM properties and autofrettage pressure are considered as important parameters. Assumptions are variation of properties of FGM in radial direction, the residual stress in the absence of Bauschinger effect with the operation of variable m...

Notwithstanding its importance, property law has eluded both a consistent definition and a unified conceptual framework. Indeed, modern property scholarship has utterly splintered the field. On the one hand, instrumentalists view property as nothing more than default contract rules. On the other hand, conceptualists proclaim the primacy of in rem, rights and specially privileged rights such as ...

The object of this paper is to indicate the immediate usefulness of Caratheodory's theory of the conformal mapping of variable regions in the study of boundary behavior of a fixed but arbitrary conformal map. We study especially the mapping of an infinite strip and its behavior at infinity. Studies of an infinite strip by other methods have previously been made, especially by Ahlfors, Ferrand, ...

We show how to mechanise equational proofs about higher-order languages by using the primitive proof principles of first-order abstract syntax over one-sorted variable names. We illustrate the method here by proving (in Isabelle/HOL) a technical property which makes the method widely applicable for the λ-calculus: the residual theory of β is renaming-free up-to an initiality condition akin to t...