A numeral system is a sequence of an infinite different closed normal λ-terms which has closed λ-terms for successor and zero test. A numeral system is said adequate iff it has a closed λ-term for predecessor. A storage operator for a numeral system is a closed λ-term which simulate “call-by-value” in the context of a “call-by-name” strategy. E. Tronci conjectured the following result : a numer...

A triple system of order v ≥ 3 and index λ is faithfully enclosed in a triple system of order w ≥ v and index μ ≥ λ when the triples induced on some v elements of the triple system of order w are precisely those from the triple system of order v. When λ = μ, faithful enclosing is embedding; when λ = 0, faithful enclosing asks for an independent set of size v in a triple system of order w. When ...

Microalgae are a promising feedstock for biofuels because of their capability to produce lipids. Cell disruption is necessary to maximize lipid extraction. Sonication conditions were evaluated for breaking heterotrophic (Schizochytrium limacinum) and autotrophic (Chlamydomonas reinhardtii) microalgae cells. Cell disruption was estimated by Nile red-lipids fluorescence quantification in S. limac...

we consider the semilinear elliptic boundary value problem  = ∈∂ω− δ = ∈ωu x xu x f u x x( ) 0;( ) λ ( ( ));where λ > 0 is a parameter, ω is a bounded region in rn with a smooth boundary, and f is asmooth function. we prove, under some additional conditions, the existence of a positive solution for λlarge. we prove that our solution u for λ large is such that = →∞∈ω|| u ||: sup| u(x) |xas λ ...

in the last two decades due to globalization of supply chain, enormous changes occurred in chains. leaders in this field, always facing new risks and disorders that should prepare themselves to deal with them. in the recent years, sanctions as one of the most serious risks have damaged the supply chains. however, in the research related to global supply chains, modeling of disruption has been n...

Coliphage HK022 excludes phage λ by subverting the λ antitermination system and arresting transcription on the λ chromosome. The 12 kDa HK022 Nun protein binds to λ nascent transcript through its N-terminal Arginine Rich Motif (ARM), blocking access by λ N and arresting transcription via a C-terminal interaction with RNA polymerase. In a purified in vitro system, we recently demonstrated that N...

We define a family of symmetric polynomials Gν,λ(z1,…,zn+1,q) indexed by pair dominant integral weights for root system type An. The polynomial Gν,0(z,q) is the specialized Macdonald Pν(z,q,0) and known to be graded character level one Demazure module associated affine Lie algebra slˆn+1. prove that G0,λ(z,q) two Under suitable conditions on (ν,λ) (which apply pairs (ν,0) (0,λ)) we Gν,λ(z,q) Sc...

The polyhedral realizations for crystal bases of the integrable highest weight modules Uq(g) have been introduced in Nakashima (1999) [13], which describe as sets lattice points infinite Z-lattice Z∞ given by some system linear inequalities, where g is a symmetrizable Kac-Moody Lie algebra. To construct realization, we need to fix an sequence ι from indices simple roots. If pair (ι,λ) (λ: domin...

The algebraic λ-calculus [40] and the linear-algebraic λ-calculus [3] extend the λ-calculus with the possibility of making arbitrary linear combinations of λ-calculus terms (preserving ∑ αi.ti). In this paper we provide a fine-grained, System F -like type system for the linear-algebraic λ-calculus (Lineal). We show that this scalar type system enjoys both the subject-reduction property and the ...

We present an efficient algorithm for obtaining a canonical system of Jordan chains for an n×n regular analytic matrix function A(λ) that is singular at the origin. For any analytic vector function b(λ), we show that each term in the Laurent expansion of A(λ)−1b(λ) may be obtained from the previous terms by solving an (n+d)× (n+d) linear system, where d is the order of the zero of detA(λ) at λ ...