A number of theories have been developed to characterize ALogTime (or uniform NC, or just NC), the class of languages accepted by alternating logtime Turing machines, in the same way that Buss’s theory S12 characterizes polytime functions. Among these, ALV ′ (by Clote) is particularly interesting because it is developed based on Barrington’s theorem that the word problem for the permutation gro...

The spring-loaded model stipulates that influenza virus infection is coupled to the transition of the virus hemagglutinin (HA) from a metastable conformation to a highly stable conformation at low pH. The properties of retrovirus envelope glycoproteins indicate that infection is coupled to an analogous conformational change. As a test of this hypothesis, the requirements for avian leukosis viru...

PIWI-interacting RNAs (piRNAs) protect the germ line by targeting transposable elements (TEs) through the base-pair complementarity. We do not know how piRNAs co-evolve with TEs in chickens. Here we reported that all active TEs in the chicken germ line are targeted by piRNAs, and as TEs lose their activity, the corresponding piRNAs erode away. We observed de novo piRNA birth as host responds to...

An incremental learning by navigation approach to vision based autonomous land vehicle (ALV) guidance in indoor environments is proposed. The approach consists of three stages: initial learning, navigation, and model updating. In the initial learning stage, the ALV is driven manually, and environment images and other status data are recorded automatically. Then, an offline procedure is performe...

All currently licensed yellow fever (YF) vaccines are propagated in chicken embryos. Recent studies of chick cell-derived measles and mumps vaccines show evidence of two types of retrovirus particles, the endogenous avian retrovirus (EAV) and the endogenous avian leukosis virus (ALV-E), which originate from the chicken embryonic fibroblast substrates. In this study, we investigated substrate-de...

A highly sensitive and selective high performance liquid chromatography-tandem mass spectrometry method was developed and validated for the quantification of alverine (ALV) and its active metabolite, para hydroxy alverine (PHA), in human plasma. For sample preparation, solid phase extraction of analytes was performed on Phenomenex Strata-X cartridges using alverine-d5 as the internal standard. ...

Avian leukosis virus (ALV) is a retrovirus that causes tumors in avian species, and its vertical and horizontal transmission in poultry flocks results in enormous economic losses. Despite the discovery of specific host receptors, there have been few reports on the modulation of viral susceptibility via genetic modification. We therefore engineered acquired resistance to ALV subgroup B using CRI...

Although it is most often applied to finite state models, in recent years, symbolic model checking has been extended to infinite state models using symbolic representations that encode infinite sets. This paper investigates the application of an infinite state symbolic model checker called Action Language Verifier (ALV) to formal requirements specifications of safety-critical systems represente...

Avian leukosis virus (ALV)-induced osteopetrosis is associated with the accumulation of unintegrated viral DNA in osteoblasts. Viruses constructed from the DNAs of an osteopetrosis-inducing ALV (Br2l) and a non-osteopetrosis-inducing ALV (RAV-0) have been used to test for the role of viral genes in the induction of osteopetrosis. Our results map osteopetrotic potential to a 1,400-base-pair regi...