Rolling contact fatigue is a unique mode of that components under cyclic loading experience. In this work, the impact induction hardening residual stresses in rolling lifetime investigated experimentally and numerically using Dang Van multiaxial criterion. Various stress fields from are simulated finite element method mapped into classical mono-contact model. The hardened on component has been ...

Excited hadrons are seen as resonances in the scattering of lighter stable hadrons like π , K and η . Many decay into multiple final states necessitating coupled-channel analyses. Recently it has become possible to obtain coupled-channel scattering amplitudes from lattice QCD. Using large diverse bases of operators it is possible to obtain reliable finite volume spectra at energies where multip...

In this work we study a modified Susceptible-Infected-Susceptible (SIS) model in which the infection rate λ decays exponentially with the number of reinfections n, saturating after n = l. We find a critical decaying rate ǫc(l) above which a finite fraction of the population becomes permanently infected. From the mean-field solution and computer simulations on hypercubic lattices we find evidenc...

We develop a finite-state transducer for translating unranked trees into general graphs. This work is motivated by recent progress in semantic parsing natural language, where sentences are first mapped tree-shaped syntactic representations, and then these translated graph representations. investigate formal properties of our tree-to-graph transducers polynomial time algorithm weighted language ...

Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. Previously, we have shown that these requirements can be verified using interactive theorem proving techniques. In this paper, we investigate how this approach can be mapped to the ...

We consider the problem of representing geometric entities in a perceptual coordinate system. A geometric object (for instance a closed contour or a surface patch) described by a finite number of parameters is mapped onto an arbitrary collection of perceptual coordinates via a psychophysical experiment, resulting in a collection of marginal probability distributions. Viceversa, a set of percept...

xj(u, v) = yj(u, v), j = 1, 2, 3, so that again (8) holds. Hence, under our hypotheses, D is mapped isothermically on a spherical surface of finite radius, and circles are not mapped on circles. III. Characterization of Those Isothermic Spherical Maps Which Map Circles on Circles and of Isothermic Maps on Minimal Surfaces.-THEOREM 3. If thefunctions (6) have continuous partial derivatives of th...

This paper presents a comprehensive picture of the mapping of structural properties associated with general linear multivariable systems under bilinear transformation. While the mapping of poles of linear multivariable systems under such a transformation is well known, the question of how the structural invariant properties of a given system are mapped remains unanswered. This paper addresses t...