Results 351 to 360 of about 436,571 (380)
Some of the next articles are maybe not open access.
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
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
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
Logic Journal of IGPL, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 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 +4 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
CTL Analysis for Tumor Vaccines
2003Many studies have been conducted with the aim to stimulate a therapeutic immune response against tumors. In most cases, efforts have been directed toward the induction of tumor-specific cytotoxic T lymphocytes (CTL), because this T lymphocyte subpopulation is considered to play a major role in the destruction of tumor cells (1).
ROSATO, ANTONIO +4 more
openaire +3 more sources
2009
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional version of computation tree logic CTL*. This is the first such tableau. CTL* is an exceptionally important temporal logic with applications from hardware design to agent reasoning but there is no easy automated reasoning ...
openaire +2 more sources
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional version of computation tree logic CTL*. This is the first such tableau. CTL* is an exceptionally important temporal logic with applications from hardware design to agent reasoning but there is no easy automated reasoning ...
openaire +2 more sources
On the expressive power of CTL
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 2003We show that the expressive power of the branching time logic CTL coincides with that of the class of bisimulation invariant properties expressible in so-called monadic path logic: monadic second order logic in which set quantification is restricted to paths. In order to prove this result, we first prove a new composition theorem for trees.
L. Rabinovich, Faron Moller
openaire +2 more sources
Journal of Immunology, 1995
Human papillomavirus type 16 (HPV16) is strongly associated with cervical carcinogenesis. The HPV16 E6 and E7 oncoproteins are constitutively expressed in the majority of cervical tumor cells and are, therefore, attractive targets for CTL-mediated ...
M. Ressing +9 more
semanticscholar +1 more source
Human papillomavirus type 16 (HPV16) is strongly associated with cervical carcinogenesis. The HPV16 E6 and E7 oncoproteins are constitutively expressed in the majority of cervical tumor cells and are, therefore, attractive targets for CTL-mediated ...
M. Ressing +9 more
semanticscholar +1 more source