We show that the call-by-name monad translation of simply typed lambda calculus extended with sum and product types extends to special and general inductive and coinductive types so that its crucial property of preserving typings and βand commuting reductions is maintained. Specific similar-purpose translations such as CPS translations follow from the general monad translations by specializatio...

2 Groups 3 2.1 Basics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Homomoprphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Direct and Semidirect Product . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Normal Subgroups . . . . . . . . . . . . . . . . . . . . . ....

We give an idea of constructing irreducible unitary representations of Lie groups by using Fedosov deformation quantization in the concrete case of the group Aff(R) of affine transformations of the real line. By an exact computation of the star-product and the operator ˆ̀Z , we show that the resulting representations exhausted all the irreducible representations of this groups.

We provide a sufficient condition for the cyclicity of an ordered tensor product L = Va1(ωb1) ⊗ Va2(ωb2) ⊗ . . . ⊗ Vak(ωbk) of fundamental representations of the Yangian Y (g). When g is a classical simple Lie algebra, we make the cyclicity condition concrete, which leads to an irreducibility criterion for the ordered tensor product L. In the case when g = sll+1, a sufficient and necessary cond...

in this paper, the effect of polypropylene fibers added to concrete on strength and thermal resistance of high strength concrete has been investigated. therefore, five tests have been carried out to reach this goal which it includes; effect of weight percent of polypropylene fibers on mechanical properties of concrete, effect of fiber’s length on the strength of high strength concrete, effect o...

Software product line (SPL) based development can help to significantly reduce time-to-market as well as development costs [Don00], by increasing the reuse of all types of documents. To achieve this, SPL development is composed of two primary activities, namely domain engineering and application engineering, that are interlaced during development. Within domain engineering the common and variab...

Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are rarely integrated well due to the diversity of stakeholders with individual knowledge about projects, products and processes. This case study shows how Alcatel-Lucent over time achieved effective interaction of enginee...

A hybrid model, on the competition tumor cells immune system, is studied under suitable hypotheses. The explicit form for the equations is obtained in the case where the density function of transition is expressed as the product of separable functions. A concrete application is given starting from a modified Lotka-Volterra system of equations.