The impact-parameter representation of the spin-flip amplitude of hadron elastic scattering is examined in different unitarisation schemes, taking the Born term of the spin-flip amplitude from the Dubna Dynamical Model (DDM). It is shown that the basic properties of the unitarisation schemes are independent of the functional form used for unitarisation but heavily depend on the asymptotic value...

We provide a comprehensive study of arbitrarily high-order finite elements defined on pyramids. We propose a new family of high-order nodal pyramidal finite element which can be used in hybrid meshes which include hexahedra, tetrahedra, wedges and pyramids. Finite elements matrices can be evaluated through approximate integration, and we show that the order of convergence of the method is conse...

Semantic models are presented for two simple imperative languages with higher order constructs. In the rst language the interesting notion is that of second order assignment x := s, for x a procedure variable and s a statement. The second language extends this idea by a form of higher order communication, with statements c ! s and c ? x, for c a channel. We develop operational and denotational ...

We show that function types which have only initial algebras for regular functors in the domains, i.e. first order function types, can be represented by terminal coalgebras for certain nested functors. The representation exploits properties of ω-limits and local ω-colimits.

Logic programs can be synthesized as a by-product of the planning of their verification proofs. This is achieved by using higher-order variables at the proof planning level, which become instantiated in the course of planning. We illustrate two uses of such variables in proof planning for program synthesis, one for synthesis proper and one for the selection of induction schemes. We demonstrate ...

In this paper, we present a mixed displacement–pressure finite element formulation that can successively model compressible as well truly incompressible behaviour in growth-induced deformations significantly observed soft materials. Inf–sup stable elements of various shapes based on quadratic Bézier are employed for spatial discretisation. At first, the capability proposed framework to accurate...