ions. Following SLAM, abstractions are represented by Boolean Programs. Unlike SLAM, the semantics of these programs is given via a variant of Mixed Transition Systems (MixTS) [7, 11]. Compared to Modal and 3-valued TSs, MixTSs allow for (a) 1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16: 17: int p1,p2,p3,x,y; p1=p2=p3=x=y=5; if(p3<=0) return; if(y<0) {if(x>2){ if(y>10) {if(p2>0) ERROR;}...

Hepatitis B virus (HBV) infection is highly prevalent in China. To identify the genotypes of HBV in the southern Yunnan Province of China, full-length HBV genomes were extracted from 1 Dai and 4 Hani HBV carriers and linked with the pMD T-18 vector. For each patient, 3-10 clones were sequenced directly and a consensus sequence was created. Genotypic and serotypic analysis revealed 4 HBV/B (2 B2...

Two TK+ acyclovir-resistant variants of herpes simplex virus (HSV) (S1 and Tr7) and one TK+ BVdU-resistant variant (B3) induce abnormal thymidine kinases with impaired ability to phosphorylate the drugs used in their isolation. These enzymes have been purified and their properties compared with those of the wild-type (wt) parent, SC16. The enzyme induced by S1 differed markedly from the other t...

The human Y chromosome is replete with amplicons-very large, nearly identical repeats-which render it susceptible to interstitial deletions that often cause spermatogenic failure. Here we describe a recurrent, 1.8-Mb deletion that removes half of the azoospermia factor c (AZFc) region, including 12 members of eight testis-specific gene families. We show that this "b2/b3" deletion arose at least...

In Streptomyces coelicolor, amtB transcription is promptly regulated by the global nitrogen regulator GlnR. Although the GlnR binding cis-element has been characterized in amtB promoter, consisting of three GlnR boxes of a3-b3, a1-b1, and a2-b2, its role in GlnR-mediated transcriptional regulation remains unclear. Here, we showed that GlnR had different binding affinity against each pair of Gln...

Enteroviruses (EVs) represent many important pathogens of humans. Unfortunately, no antiviral compounds currently exist to treat infections with these viruses. We screened the Prestwick Chemical Library, a library of approved drugs, for inhibitors of coxsackievirus B3, identified pirlindole as a potent novel inhibitor, and confirmed the inhibitory action of dibucaine, zuclopenthixol, fluoxetine...

The aim of this work was to analyse the response of NH4 + assimilation in leaves of tobacco plants (Nicotiana tabacum L. cv. Tennessee 86), to different B applications (B1, 5 M H3BO3; B2, 10 M H3BO3; B3, 20 M H3BO3). The plants were grown under controlled environmental conditions and received a complete nutrient solution. In this experiment, we analysed the foliar concentrations of B and NH4 , ...

Coxsackievirus B3 (CV-B3) is a cardiovirulent enterovirus that utilizes a 5' untranslated region (5'UTR) to complete critical viral processes. Here, we directly compared the structure of a 5'UTR from a virulent strain with that of a naturally occurring avirulent strain. Using chemical probing analysis, we identified a structural difference between the two 5'UTRs in the highly substituted stem-l...

Posterior capsule opacification (PCO) is the most common complication that causes visual decrease after extracapsular cataract surgery. The primary cause of PCO formation is the proliferation of the residual lens epithelial cells (LECs). The mammalian target of rapamycin (mTOR) plays an important role in the growth and migration of LECs. In the current study, we used small interfering RNA (siRN...

PURPOSE To investigate the sensitivity of lens epithelial cells (LECs) to Fas-dependent apoptosis and to determine the role of interaction with the extracellular matrix (ECM) in the regulation of Fas-dependent apoptosis. METHODS Sensitivity to Fas-mediated apoptosis of primary human LECs and HLE-B3 LECs cultured on different substrates was determined by Hoechst staining after incubation with ...