Bovine viral diarrhea virus (BVDV), strain NADL, was originally isolated from an animal with fatal mucosal disease. This isolate is cytopathic in cell culture and produces two forms of NS3-containing proteins: uncleaved NS2-3 and mature NS3. For BVDV NADL, the production of NS3, a characteristic of cytopathic BVDV strains, is believed to be a consequence of an in-frame insertion of a 270-nucleo...

Antigenic diversity among the bovine viral diarrhea virus (BVDV) cytopathic strains 87-2552 (field isolate) and NADL and Singer (prototype strains) was demonstrated with monoclonal antibodies (MAbs) in enzyme-linked immunosorbent, immunofluorescence, virus neutralization, and immunoprecipitation assays. Two MAbs against BVDV strain 87-2552, designated D11 and B7, strongly neutralized this field...

Recently model checking representation and search techniques were shown to be ef-ciently applicable to planning, in particular to non-deterministic planning. Such planning approaches use Ordered Binary Decision Diagrams (obdds) to encode a planning domain as a non-deterministic nite automaton and then apply fast algorithms from model checking to search for a solution. obdds can eeectively scale...

The open reading frame of a Brazilian bovine viral diarrhea virus (BVDV) strain, IBSP4ncp, was recombined with the untranslated regions of the reference NADL strain by homologous recombination in Saccharomyces cerevisiae, resulting in chimeric full-length cDNA clones of BVDV (chi-NADL/IBSP4ncp#2 and chi-NADL/IBSP4ncp#3). The recombinant clones were successfully recovered, resulting in viable vi...

Isolates of bovine viral diarrhea virus (BVDV), the prototype pestivirus, are divided into cytopathic (cp) and noncytopathic (ncp) biotypes according to their effect on cultured cells. The cp viruses also differ from ncp viruses by the production of viral nonstructural protein NS3. However, the mechanism by which cp viruses induce cytopathic effect in cell culture remains unknown. Here we used ...

Recently model checking representation and search techniques were shown to be eeciently applicable to planning, in particular to non-deterministic planning. Such planning approaches use Ordered Binary Decision Diagrams (obdds) to encode a planning domain as a non-deterministic nite automaton (NFA) and then apply fast algorithms from model checking to search for a solution. obdds can eeectively ...

18. Simons M, Rosenberg RD. Antisense nonmuscle myosin heavy chain and c-myb oligonucleotides suppress smooth muscle cell proliferation in vitro. Circ Res. 1992;70:835-843.19. Biro S, Fu YM, Yu ZX, Epstein SE. Inhibitory effects of antisenseoligodeoxynucleotides targeting c-myc mRNA onsmooth musclecell proliferation and migration. Proc Nadl Acad Sci U S A.1993;