A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
1999
Logic Journal of the IGPL
Preserved Fulltext
CTL-Mediated Killing of Intracellular Mycobacterium tuberculosis Is Independent of Target Cell Nuclear Apoptosis
2000
Journal of Immunology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
2000
Cancer Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2021
bioRxiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
1991
Journal of Virology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2002
Journal of applied physiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1991
Journal of Virology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
Vaccine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Cancer Immunity
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
Journal of Virology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Toxicology and Environmental Health, Part A
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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