Results 211 to 220 of about 329,027 (236)
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 +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
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
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
2013
T-cells are created continuously in bone marrow and “educated” (selected against recognizing self-antigens) in the thymus. Afterwards, they migrate to lymph nodes and other tissues, where they patrol for cells infected by pathogens. Each T-cell recognizes a specific antigen, which in our context is an “epitope”, a short segment of an HIV protein in a ...
Otto O. Yang, W. David Wick
openaire +2 more sources
T-cells are created continuously in bone marrow and “educated” (selected against recognizing self-antigens) in the thymus. Afterwards, they migrate to lymph nodes and other tissues, where they patrol for cells infected by pathogens. Each T-cell recognizes a specific antigen, which in our context is an “epitope”, a short segment of an HIV protein in a ...
Otto O. Yang, W. David Wick
openaire +2 more sources