Abstract Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) expressive assume-guarantee fragment of LTL that enables efficient and has been recently used in different contexts application domains. A common form providing system's requirements through use cases, which are existential nature. However, GR(1)...

Intrauterine growth restriction (IUGR) increases the risk for neurodevelopment delay and neuroendocrine reprogramming in both humans and rats. Neuroendocrine reprogramming involves the glucocorticoid receptor (GR) gene that is epigenetically regulated in the hippocampus. Using a well-characterized rodent model, we have previously shown that IUGR increases GR exon 1.7 mRNA variant and total GR e...

Reductions of N -wave type equations related to simple Lie algebras and the hierarchy of their Hamiltonian structures are studied. The reduction group GR is realized as a subgroup of the Weyl group of the corresponding algebra. Some of the reduced equations are of physical interest. 1. Preliminary. The analysis and the classification of all reductions for the nonlinear evolution equations solva...

We provide a geometric interpretation of the local contribution line to count lines on quintic threefold over field k characteristic not equal 2, that is, we define type and show it coincides with index at corresponding zero section Sym5S⁎→Gr(2,5) defined by threefold. Furthermore, dynamic Euler number which allows us compute A1-Euler as sum contributions zeros non-isolated deform general defor...

Let F be a field and Gr(i, F ) be the Grassmannian of idimensional linear subspaces of F . A map f : Gr(i, F ) −→ Gr(j, F ) is called nesting if l ⊂ f(l) for every l ∈ Gr(i, F ). Glover, Homer and Stong showed that there are no continuous nesting maps Gr(i, C) −→ Gr(j, C) except for a few obvious ones. We prove a similar result for algebraic nesting maps Gr(i, F ) −→ Gr(j, F ), where F is an al...

Biosurfactants produced by Lactobacillus fermentum RC-14, L. rhamnosus GR-1 and 36, and L. casei Shirota were found to contain proteins that bind to both collagen types III and VI, as determined by surface-enhanced laser desorption/ionization (SELDI)-time of flight mass spectrometry. Both collagen types III and VI immobilized on SELDI preactivated ProteinChip arrays detected several different s...

In this paper, we give a finite number of defining relations satisfied by a finite number of generators for the elliptic Lie algebras and superalgebras gR with rank ≥ 2. Here the R’s denote the reduced and non-reduced elliptic root systems with rank ≥ 2. We also show that if L is an extended affine Lie algebra (EALA) whose non-isotropic roots form the R, then there exists a natural homomorphism...

the aim of this research was optimization of refining of raw sugarcane juice using bentonite for production of natural liquid sugar or cane honey. non-sugar substances of raw sugarcan juice contains: colorants, polysaccharides, gums, proteins, etc that affect on efficiency and quality of the final product and should remove from raw sugarcane juice. gelatin is a protein which is used as an aid c...

Polyol-containing confectionery offers considerable advantages over traditional sucrose-based confectionery in terms of reduced energy content and reduced cariogenicity. However, over-consumption of polyol confectionery may lead to gastrointestinal symptoms in some individuals. Rather than consider this as a distinct disadvantage to the consumer, this article discusses how careful consideration...

narcissus is one of the very popular flowers among iranians. this flower has a short life. to investigate the increasing of vase life of cut narcissus, sour orange fruit extract in concentrations of 2.5, 4, 5.5 and 7 ml l-1 and sucrose in concentrations of 3, 4, 5 and 6% were used. in addition, distilled water was used as a control treatment. in this experiment, characters of vase life and perc...