نتایج جستجو برای: fuzzy ctl

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

2003
Jan Johannsen Martin Lange

We show that the satisfiability problem for CTL, the branching time logic that allows boolean combinations of path formulas inside a path quantifier but no nesting of them, is 2-EXPTIME-hard. The construction is inspired by Vardi and Stockmeyer’s 2-EXPTIME-hardness proof of CTL∗’s satisfiability problem. As a consequence, there is no subexponential reduction from CTL to CTL which preserves sati...

2002
B. Konikowska W. Penczek

A multi-valued version of CTL (mv-CTL), where both the propositions and the accessibility relation are multi-valued taking values in a nite quasi-boolean algebra, is considered. A general translation from mv-CTL to CTL model checking is deened. An application of the translation is shown for the most commonly used quasi-boolean algebras.

Journal: :The Journal of clinical investigation 1986
S J Mentzer B E Bierer D C Anderson T A Springer S J Burakoff

The involvement of the lymphocyte function-associated antigen-1 (LFA-1) membrane molecule in cytolytic T lymphocyte (CTL) interactions with lymphoid target cells was investigated using CTL clones derived from two patients with a heritable deficiency of LFA-1. LFA-1 surface expression on the CTL clones was 1% of the normal level of LFA-1, unchanged with prolonged culture, and identical on 14 dif...

Journal: :European journal of immunology 1982
M J Reddehase J H Cox U H Koszinowski

The aim of this study was to determine the number and state of activity of cytolytic T lymphocytes (CTL) and their precursors (CTL-P) present in vivo during the early stages of viral infection. The local response to lethal infection with rabies virus was used as a model system that is not accessible to analysis by secondary activation in vitro. The local response to alloantigen served as a cont...

Journal: :Journal of virology 1999
T Woodberry J Gardner L Mateo D Eisen J Medveczky I A Ramshaw S A Thomson R A Ffrench S L Elliott H Firat F A Lemonnier A Suhrbier

Compelling evidence now suggests that alphabeta CD8 cytotoxic T lymphocytes (CTL) have an important role in preventing human immunodeficiency virus (HIV) infection and/or slowing progression to AIDS. Here, we describe an HIV type 1 CTL polyepitope, or polytope, vaccine comprising seven contiguous minimal HLA A2-restricted CD8 CTL epitopes conjoined in a single artificial construct. Epitope-spec...

Journal: :Journal of virology 1995
L M Mylin R H Bonneau J D Lippolis S S Tevethia

Simian virus 40 large tumor (T) antigen contains three H-2Db-restricted (I, II/III, and V) and one H-2Kb-restricted (IV) cytotoxic T lymphocyte (CTL) epitopes. We demonstrate that a hierarchy exists among these CTL epitopes, since vigorous CTL responses against epitopes I, II/III, and IV are detected following immunization of H-2b mice with syngeneic, T-antigen-expressing cells. By contrast, a ...

2016
Amirhossein Vakili

Model checking is an automatic technique for the verification of temporal properties of a system. In this technique, a system is represented as a labelled graph and the specification as a temporal logic formula. The core of temporal logic model checking is the reachability problem, which is not expressible in first-order logic (FOL); as a result, model checking of finite/infinite state systems ...

2011
Qi Fang Fei Wang John A. Gatehouse Angharad M. R. Gatehouse Xue-xin Chen Cui Hu Gong-yin Ye

BACKGROUND Insect hosts have evolved immunity against invasion by parasitoids, and in co-evolutionary response parasitoids have also developed strategies to overcome host immune systems. The mechanisms through which parasitoid venoms disrupt the promotion of host immunity are still unclear. We report here a new mechanism evolved by parasitoid Pteromalus puparum, whose venom inhibited the promot...

Journal: :The Journal of Experimental Medicine 1985
J Reimann D Kabelitz K Heeg H Wagner

Cytotoxic T lymphocyte (CTL) responses of splenic T cells from C57BL/6 B6) mice and mutant H-2Kbm1 (bm1) mice to haptenic (trinitrophenyl [TNP] ) and herpes simplex virus (HSV) determinants in the context of an allogenic (wild-type or mutant) H-2Kb molecule were analyzed in a modified limiting dilution system. In the B6-anti-bm1TNP mixed leukocyte reaction (MLR), estimated frequencies for precu...

Journal: :Poultry science 2007
B Baurhoo A Letellier X Zhao C A Ruiz-Feria

Two experiments were conducted to evaluate lignin and mannanoligosaccharides as alternatives to antibiotic growth promoters in broilers. Dietary treatments for the 2 studies were 1) negative control (CTL-, antibiotic free); 2) positive control (CTL+, diet 1 + 11 mg of virginiamycin/kg); 3) mannanoligosaccharide (MOS; diet 1 + BioMos: 0.2% to 21 d and 0.1% thereafter); 4) LL (diet 1 + 1.25% Alce...

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

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