نتایج جستجو برای: reachability rec

تعداد نتایج: 9188  

Journal: :Proceedings of the National Academy of Sciences of the United States of America 1986
S K Hoiseth E R Moxon R P Silver

Encapsulated Haemophilus influenzae type b produce nonencapsulated variants at high frequency (0.1-0.3%). Cosmid cloning was used to investigate the genetic mechanism responsible for this instability. Analysis of three independently derived cosmid clones showed that the b+ parental strain contains an 18-kilobase tandem duplication of genes involved in type b capsule expression. Loss of one comp...

2016
Dae-Jung Kim Chae-Won Park Munkhzaya Byambaragchaa Shin-Kwon Kim Bae-Ik Lee Hyung-Kyu Hwang Jeong-In Myeong Sun-Mee Hong Myung-Hwa Kang Kwan-Sik Min

Monoclonal antibodies were generated against recombinant follicle-stimulating hormone (rec-FSH) from Japanese eel Anguilla japonica; rec-FSH was produced in Escherichia coli and purified using Ni-NTA Sepharose column chromatography. In support of our recent publication, "Production and characterization of monoclonal antibodies against recombinant tethered follicle-stimulating hormone from Japan...

Journal: :J. Symb. Log. 2004
Wolfgang Merkle Nenad Mihailovic

We present a comparatively simple way to construct MartinLöf random and rec-random sets with certain additional properties, which works by diagonalizing against appropriate martingales. Reviewing the result of Gács and Kučera, for any given set X we construct a Martin-Löf random set from which X can be decoded effectively. By a variant of the basic construction we obtain a rec-random set that i...

Journal: :Journal of bacteriology 1986
D McCarthy S S Cox

Plasmids that share homology with the Haemophilus influenzae chromosome transform wild-type cells more efficiently than they transform recombination-defective mutants. A 5.2-kilobase-pair chromosomal fragment containing the strA gene of H. influenzae was found to promote efficient plasmid establishment in recombination-defective mutants. A cis-acting element in the insert, called rpe for rec-le...

Journal: :Nursing standard (Royal College of Nursing (Great Britain) : 1987) 2009
Angela Mary Tod Peter Allmark Althea Alison

This article examines the permissions and approvals required for nurses and other health professionals to conduct research in the NHS in the U.K. today. A fictitious example of a research study conducted by a nurse who did not obtain NHS research ethics committee (REC) approval is provided. The current position regarding the REC approval process, including the role of ethics in research governa...

2012
Grigore Roşu Andrei Ştefănescu Brandon M. Moore

This paper introduces reachability logic, a language-independent seven-rule proof system for deriving reachability properties of systems. The key ingredients of reachability logic are its sentences, which are called reachability rules and generalize the transitions of operational semantics and the Hoare triples of axiomatic semantics, and the Circularity proof rule, which generalizes invariant ...

Journal: :Theoretical Computer Science 2012

Journal: :Logical Methods in Computer Science 2013

Journal: :Discrete Applied Mathematics 2022

Fortier et al. proposed several research problems on packing arborescences and settled some of them. Others were later solved by Matsuoka Tanigawa Gao Yang. The last open problem is in this article. We show how to turn an inductive idea used the latter two articles into a simple proof technique that allows relate previous results arborescence packings. prove strong version Edmonds’ theorem span...

1997
RHONDA CORNUM JOHN CALDWELL

P SY CHOSTIMU LANTS, par ticu larly ampheta mine, be came avail able in Amer ica for clini cal use in 1937, and since then have been widely prescribed. More re cently, their bene fi cial ef fects have been over shad owed by the rec og ni tion of a sig nifi cant abuse po ten tial. Nev er the less, the mili tary serv ices, par ticu larly the Air Force, have rec og nized the value of psy chostimu ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید