In this paper we identify the “nil-terms” for Waldhausen’s algebraic K-theory of spaces functor as the reduced K-theory of a category of equivariant spaces equipped with a homotopically nilpotent endomorphism.

We study subgroups Γ in Aff(N) = N ⋊ Aut(N) acting properly discontinuously and cocompactly on N . Here N is a simply connected, connected real nilpotent Lie group of finite dimension n. This situation is a natural generalization of the so-called affine crystallographic groups. We prove that for all dimensions 1 ≤ n ≤ 5 the generalized Auslander conjecture holds, i.e., that such subgroups are v...

BACKGROUND Angiogenesis plays an important role in maintaining adequate oxygen delivery, and nitric oxide (NO) is a potential regulator of angiogenesis. NO is synthesized through three isoforms of NO synthase (NOS). It is hypothesized that the NO derived from inducible NOS (iNOS) may promote survival of ischemic tissue through angiogenesis. To test this hypothesis, we investigated the effect of...

Introgressive hybridization has played a crucial role in crop breeding. Powdery mildew-resistant gene 21 (Pm21), located on the short arm of chromosome 6V of Haynaldia villosa (H. villosa), is typically a representative element which is transferred to hexaploid wheat through introgressive hybridization. Determination of sequence evidence for H. villosa DNA introgression would help trace Pm21 in...

The Knuth-Bendix completion procedure was introduced as a means of deriving canonical term-rewriting systems to serve as deci­ sion procedures for given equational theories. The procedure gen­ erates new rewrite rules to resolve ambiguities resulting from exist­ ing rules that overlap. We propose using this procedure to syn­ thesize logic programs, as well as functional programs, from specifica...

The complex [Ni{2-PyNHC(S)NP(S)(OiPr)(2)-1,5,7-N,N',S}(2)] ([NiL(I)(2)]) dissolved in tri-n-octylphosphine (TOP) is decomposed in hot hexadecylamine (HDA) to give TOP-capped Ni nanoparticles. The same procedure using [Ni{2-MeC(6)H(4)NHC(S)NP(S)(OiPr)(2)}(2)-1,3-N,S] ([NiL(II)(2)]) and [Ni{PhC(S)NP(S)(OiPr)(2)-1,5-S,S'}(2)] ([NiL(III)(2)]) leads to the formation of NiS nanoparticles with the rho...

Following the rapid enzymatic transfer of an oligosaccharide (GlcNAc2Man9Glc3) from a lipid carrier to endogenous protein acceptors in membrane preparations from NIL fibroblasts, the transferred oligosaccharide chain undergoes processing. Protein-bound oligosaccharides, released from the polypeptide backbone by treatment with endo-beta-N-acetylglucosaminidase H, were analyzed by gel filtration ...

When presenting logical systems and type theories, it is common to write finite lists of things using a comma to indicate the cons-operation and with the head of the list at the right. With this convention there is no common notation for the empty list; we will use the symbol “ ”. Thus ML-style list notation nil a :: nil b :: a :: nil etc becomes , a , a, b etc For non-empty lists, it is very c...

Nanoimprint lithography (NIL) is a fabrication technology that offers high-throughput, ultrahigh resolution patterning at great cost savings compared to most competing next-generation radiative lithography methods. As a result of its rapid development in the past decade and its potential for sub-100 nm lithography, NIL has been listed by MIT’s Technology Review as one of ten emerging technologi...

The spring-type near isogenic line (NIL) of the winter-type barley (Hordeum vulgare ssp. vulgare) var. Hayakiso 2 (HK2) was developed by introducing VERNALIZATION-H1 (Vrn-H1) for spring growth habit from the spring-type var. Indo Omugi. Contrary to expectations, the spring-type NIL flowered later than winter-type HK2. This phenotypic difference was controlled by a single gene, which cosegregate...