Results 341 to 350 of about 436,571 (380)
Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday, 2003 We provide a translation from CTL to DatalogSucc. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and its various fragments. c) It uses a fragment of DatalogSucc which is close to the expressive power of CTL.
Guessarian, Irene +4 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Effector and memory CTL differentiation.
Annual Review of Immunology, 2007Technological advances in recent years have allowed for an ever-expanding ability to analyze and quantify in vivo immune responses. MHC tetramers, intracellular cytokine staining, an increasing repertoire of transgenic and “knockout” mice, and the detailed characterization of a variety of infectious models have all facilitated more precise and ...
Matthew A. Williams, M. Bevan
semanticscholar +4 more sources
Immunopharmacology and Immunotoxicology, 2012
To the editors: Wu et al.(1) reported cytotoxic T lymphocyte (CTL) recognition of LLGVGTFVV HLA-A*02 binding MUC4-derived peptide in healthy individuals, and MUC4 has been considered a target in ca...
Madsen, Caroline B +4 more
openaire +4 more sources
To the editors: Wu et al.(1) reported cytotoxic T lymphocyte (CTL) recognition of LLGVGTFVV HLA-A*02 binding MUC4-derived peptide in healthy individuals, and MUC4 has been considered a target in ca...
Madsen, Caroline B +4 more
openaire +4 more sources
EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439), 2002 Model checking has become a widely used technique for formal verification of concurrent systems, such as communication protocols. However its rise is still much restricted to scientists with high mathematical education because temporal logic formulae are difficult to understand and even more difficult to create.
Tatjana Kapus +2 more
openaire +1 more source
In vitro invasiveness of CTL clones and in vivo dissemination of CTL hybridomas
Journal of Leukocyte Biology, 1993Abstract Activated spleen T cells are invasive in hepatocyte and fibroblast cultures, and this property is dominantly expressed in T cell hybridomas. The invasive potential of the hybrids correlates with their capacity to disseminate in vivo.
Cor A. Schipper +4 more
openaire +3 more sources
CTL as an Intermediate Language
2008The Coccinelle system is a program transformer used to automate and document collateral evolutions in Linux device drivers. Semantics are developed for the its underlying semantic patch language (SmPL). A richer and more efficient version is defined, implemented by compiling to the temporal logic CTL-V as an intermediate language.
Jones, Neil Deaton, Hansen, Rene Rydhof
openaire +3 more sources
2014
Enzyme-linked immune absorbent spot (Elispot) is a quantitative method for measuring relevant parameters of T cell activation. The sensitivity of Elispot allows the detection of low-frequency antigen-specific T cells that secrete cytokines and effector molecules, such as granzyme B and perforin.
Elena Ranieri +2 more
openaire +3 more sources
Enzyme-linked immune absorbent spot (Elispot) is a quantitative method for measuring relevant parameters of T cell activation. The sensitivity of Elispot allows the detection of low-frequency antigen-specific T cells that secrete cytokines and effector molecules, such as granzyme B and perforin.
Elena Ranieri +2 more
openaire +3 more sources