Filters








751 Hits in 3.9 sec

Flat fragments of CTL and CTL: separating the expressive and distinguishing powers

D. Dams
1999 Logic Journal of the IGPL  
doi:10.1093/jigpal/7.1.55 fatcat:okdvih3dq5buje3adz6elthh64

CTL-Mediated Killing of Intracellular Mycobacterium tuberculosis Is Independent of Target Cell Nuclear Apoptosis

S. Thoma-Uszynski, S. Stenger, R. L. Modlin
2000 Journal of Immunology  
Acknowledgments We thank Marcus Horwitz for allowing us to use the P3 unit in his laboratory.  ...  This was representative of a separate panel of DN and CD8 ϩ T cell lines in which DN CTL and CD8 ϩ CTL produced IFN-␥ in response to M. tb.  ...  We found that both DN and CD8 ϩ CTL-induced nuclear fragmentation in Ͼ40% of the target cells.  ... 
doi:10.4049/jimmunol.165.10.5773 pmid:11067936 fatcat:uejudtxitzhyzhz3pjyzfic2ja

Timed CTL Model Checking in Real-Time Maude [chapter]

Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2012 Lecture Notes in Computer Science  
An important benefit of our model checker is that it also automatically provides a timed CTL model checker for subsets of modeling languages, like Ptolemy II and (Synchronous) AADL, which have Real-Time  ...  In particular, we give a timed CTL model checking procedure for that is sound and complete for closedbound formulas under a continuous semantics for a fairly large class of systems.  ...  , time-bounded safety, and minimum separation), but only for flat object-based specifications.  ... 
doi:10.1007/978-3-642-34005-5_10 fatcat:sa3227536jacrgx3kw5xzivyiq

Page 1441 of Mathematical Reviews Vol. , Issue 2000b [page]

2000 Mathematical Reviews  
(NL-EIND; Eindhoven) Flat fragments of CTL and CTL*: separating the expressive and distinguishing powers. (English summary) Log. J. IGPL 7 (1999), no. 1, 55-78.  ...  In this article the author investigates the expressive and distinguish- ing powers of a number of variants of linear and branching-time temporal logics.  ... 

Targeting of human p53-overexpressing tumor cells by an HLA A*0201-restricted murine T-cell receptor expressed in Jurkat T cells

X Liu, E A Peralta, J D Ellenhorn, D J Diamond
2000 Cancer Research  
The separate A and B chain TCR cDNAs were transfected in the corresponding TCR A- and B- Jurkat-CD3- mutant T-cell lines, and each rescued CD3 surface expression.  ...  Mice immunized with the hu P53(149-157) peptide develop a CTL response that is of moderately high affinity and is capable of recognizing hu tumor cells expressing mutated p53.  ...  Victor Engelhard of the University of Virginia, kindly provided us with the Tg mice (HLA A*0201) used to generate CTL clones against hu p53.  ... 
pmid:10676655 fatcat:jk2fwqxp6zcohoujx3xk4gjjr4

Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic [article]

Martin Lück
2017 arXiv   pre-print
The satisfiability problem of the branching time logic CTL is studied in terms of computational complexity. Tight upper and lower bounds are provided for each temporal operator fragment.  ...  A sharp dichotomy is shown in terms of complexity and minimal models: Temporal depth one has low expressive power, while temporal depth two is equivalent to full CTL.  ...  and for pointing out helpful references, and as well to the anonymous referees for their many valuable corrections and hints.  ... 
arXiv:1510.08786v3 fatcat:tv6y7j63vvhj5fwdde2inb5rhq

The adenosine 2a receptor and TIM3 directly inhibit killing of tumor cells by cytotoxic T lymphocytes through interference with cytoskeletal polarization [article]

Grace L. Edmunds, Carissa C.W. Wong, Rachel Ambler, Emily Milodowski, Hanin Alamir, Stephen J. Cross, Gabriella Galea, Christoph Wülfing, David J. Morgan
2021 bioRxiv   pre-print
Engagement of the adenosine 2a receptor and TIM3 reduced tumor cell killing in spheroids, impaired CTL cytoskeletal polarization ex vivo and in vitro and inhibited CTL infiltration into tumors and spheroids  ...  interaction between CTL and tumor cells and to determine mechanisms of action.  ...  Data Analysis and Statistics The Power of in vivo experiments was designed to reach >80%.  ... 
doi:10.1101/2021.05.20.444944 fatcat:vfj5ctew6rekvcervs35prlxki

Fine specificity of cellular immune responses in humans to human cytomegalovirus immediate-early 1 protein

N J Alp, T D Allport, J Van Zanten, B Rodgers, J G Sissons, L K Borysiewicz
1991 Journal of Virology  
In one subject, the peptide specificities of proliferative and MHC class I-restricted cytotoxic determinants on IE1 were spatially distinct.  ...  The regions of the IE1 molecule recognized were identified and these varied between individuals, possibly reflecting differences in major histocompatibility complex (MHC) class II haplotype.  ...  The reproducibility of the responses (two separate experiments) to TEl for subject 1 are shown (Table 3) .  ... 
pmid:1714519 pmcid:PMC248939 fatcat:2q2xkdrgrvckrbgqixl7kb3exe

Probably safe or live

Joost-Pieter Katoen, Lei Song, Lijun Zhang
2014 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14  
A simple algorithm is provided to obtain such a property decomposition for flat probabilistic CTL (PCTL).  ...  For liveness properties, we provide two PCTL fragments, a sound and a complete one, and show that a sound and complete logical characterisation of liveness properties hinges on the (open) satisfiability  ...  Joost-Pieter Katoen is supported by the Excellence Initiative of the German federal and state governments.  ... 
doi:10.1145/2603088.2603147 dblp:conf/csl/KatoenSZ14 fatcat:untyvhf3ireq3cpmh6xlbugzla

Effects of hypothyroidism on maximum specific force in rat diaphragm muscle fibers

Paige C. Geiger, Mark J. Cody, Young Soo Han, Larry W. Hunter, Wen-Zhi Zhan, Gary C. Sieck
2002 Journal of applied physiology  
These results indicate that the effect of Hyp is more pronounced on fibers expressing MHC 2X and/or MHC2B and that the reduction of Fmax with Hyp may be at least partially attributed to a decrease in MHC  ...  After 2 wk of unilateral denervation of the rat Dia m , we found that MHC content per halfsarcomere and F max are reduced primarily in fibers expressing MHC 2X and MHC 2B (16).  ...  The authors thank R. Macken and T. Keller for assistance in these studies. This research was supported by National Heart, Lung, and Blood Institute Grants HL-34817 and HL-37680.  ... 
doi:10.1152/japplphysiol.00095.2001 pmid:11896017 fatcat:yc7ovvepbbdqfgogru5agq5jwm

Fine specificity of cellular immune responses in humans to human cytomegalovirus immediate-early 1 protein

N J Alp, T D Allport, J Van Zanten, B Rodgers, J G Sissons, L K Borysiewicz
1991 Journal of Virology  
The fine specificity of these IEl-specific T-cell lines was studied by using overlapping synthetic peptides encompassing the entire sequence of the IE1 protein.  ...  In one subject, the peptide specificities of proliferative and MHC class I-restricted cytotoxic determinants on IE1 were spatially distinct.  ...  The reproducibility of the responses (two separate experiments) to TEl for subject 1 are shown (Table 3) .  ... 
doi:10.1128/jvi.65.9.4812-4820.1991 fatcat:5wt434uj2zgmzdwayi7lclzs74

De novo syntheses of Marburg virus antigens from adenovirus vectors induce potent humoral and cellular immune responses

Danher Wang, Alan L. Schmaljohn, Nicholas U. Raja, Charles M. Trubey, Laure Y. Juompan, Min Luo, Stephen B. Deitz, Hong Yu, Jan Woraratanadharm, David H. Holman
2006 Vaccine  
Here, we develop and characterize three novel gene-based vaccine candidates which express the viral glycoprotein (GP) from either the Ci67, Ravn or Musoke strain of MARV.  ...  Immunization of mice with complex adenovirus (Ad)-based vaccine candidates (cAdVax vaccines), led to efficient production of both antibodies and cytotoxic T lymphocytes (CTL) specific to Musoke strain  ...  This work was supported in part by a grant from the Department of Defense, award no. DAMD17-02-2-0035.  ... 
doi:10.1016/j.vaccine.2005.11.046 pmid:16530297 fatcat:6gcfu5sx5zbe5inn7ydx6gxntq

Progression of cancer from indolent to aggressive despite antigen retention and increased expression of interferon-gamma inducible genes

Terry H Wu, Karin Schreiber, Ainhoa Arina, Nikolai N Khodarev, Elena V Efimova, Donald A Rowley, Ralph R Weichselbaum, Hans Schreiber
2011 Cancer Immunity  
In vitro, the variant tumor cells showed increased resistance to the growth-inhibitory effects of IFNγ but expressed high levels of immunoproteasomes and MHC I molecules and were susceptible to tumor-specific  ...  Neoplastic cells isolated from the primary tumor were susceptible to the growth-inhibitory effects of IFNγ in vitro, but expressed very low levels of MHC I antigen and were resistant to tumor-specific  ...  Acknowledgements This work was supported by National Institute of Health grants R01-CA37516, P01-CA74182 and R01-CA2267, by University of Chicago Cancer Center Grant CA-14599, and by the Ludwig Institute  ... 
pmid:21714479 pmcid:PMC3127375 fatcat:cb4eyh2e2rf5fbidhyh6fqkx5i

A partially attenuated simian immunodeficiency virus induces host immunity that correlates with resistance to pathogenic virus challenge

B L Lohman, M B McChesney, C J Miller, E McGowan, S M Joye, K K Van Rompay, E Reay, L Antipa, N C Pedersen, M L Marthas
1994 Journal of Virology  
One of four monkeys immunized with the highly attenuated virus and two of four monkeys immunized with the moderately attenuated virus developed similarly low viral loads after challenge.  ...  Monkeys infected with the partially attenuated virus had moderate to marked lymphoid hyperplasia, normal CD4/CD8 ratios, high levels of SIV-specific antibodies, and cytotoxic Tlymphocyte activity against  ...  ACKNOWLEDGMENTS We are grateful to Murray Gardner for support and to Anne Rosenthal, Yves  ... 
doi:10.1128/jvi.68.11.7021-7029.1994 fatcat:fzmmdth5knhnpi3eftdi7e725i

New Detoxification Processes for Asbestos Fibers in the Environment

Francesco Turci, Massimiliano Colonna, Maura Tomatis, Stefano Mantegna, Giancarlo Cravotto, Bice Fubini
2010 Journal of Toxicology and Environmental Health, Part A  
Turci et al. (2008) recently reported a method for the decontamination of asbestos-polluted waters or landfill leachates from chrysotile that combines power ultrasound (US) with oxalic acid (Ox), an acidic  ...  Some nanometric rod-shaped debris, observed in the previous study and tentatively recognized as serpentine antigorite, was now found to be made of amorphous silica, which is relatively safe and noncarcinogenic  ...  expressed regarding the dispersion of natural occurring asbestos (NOA) in the environment (U.S.  ... 
doi:10.1080/15287390903442678 pmid:20155579 fatcat:n7hjnez5r5cs3ehy6jzssot2si
« Previous Showing results 1 — 15 out of 751 results