Results 301 to 310 of about 180,278 (321)
Some of the next articles are maybe not open access.
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
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
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
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
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
Characterization of CTL by Microscopy
2014Conventional microscopic techniques may be easily employed to detect and characterize cytotoxic T lymphocytes (CTL). Immunohistochemistry (IHC) may be effectively performed in CTL characterization to identify the location and distribution of target antigens in suspension cells or in tissues by staining with a specific antibody.
openaire +4 more sources
2007
The programming language MATLAB is widespread in the field of scientific computing. In some cases it may be reasonable to use external software, which is to be embedded into or invoked from MATLAB code. Interfacing Java code from MATLAB is directly available.
Bügling, Boris, Krosche, Martin
openaire +3 more sources
The programming language MATLAB is widespread in the field of scientific computing. In some cases it may be reasonable to use external software, which is to be embedded into or invoked from MATLAB code. Interfacing Java code from MATLAB is directly available.
Bügling, Boris, Krosche, Martin
openaire +3 more sources
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
Logic Journal of IGPL, 1999We study both the expressive and the distinguishing powers of at temporal logics. These are fragments obtained by restricting the ??rst argument of the Until operator to propositional formulae. Both the linear-time and the branching-time cases are considered.
openaire +2 more sources
CTL+ Is Exponentially More Succinct than CTL
1999It is proved that CTL+ is exponentially more succinct than CTL. More precisely, it is shown that every CTL formula (and every modal µ-calculus formula) equivalent to the CTL+ formula E(Fp0 Λ... Λ Fpn-1) is of length at least (n/⌊n/2⌋), which is Ω(2n/√n). This matches almost the upper bound provided by Emerson and Halpern, which says that for every CTL+
openaire +2 more sources
Intracellular Signaling of CTLs
2014Extracellular signals are transmitted to intracellular targets thanks to a complex network of interacting proteins that regulate a large number of cellular processes. The signaling mechanisms that occur in CTLs are initiated by T cell receptors (TCRs) that recognize antigens presented in the groove of class I histocompatibility (MHC) molecules of ...
openaire +3 more sources