This paper proposes a new logic RoCTL* to model robustness in concurrent systems. RoCTL* extends CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. We present a number of examples of problems to which RoCTL* can be applied. The core result of this paper is to show that RoCTL* is expressively equivalen...

Abstract: Development of Contextual Teaching and Learning (CTL) Based Modules Through Experimental Methods on Colloidal Subjects. This study aims to (1) determine the level validation learning modules colloidal materials developed based CTL, (2) student responses CTL-based through experimental methods materials, (3) outcomes modules. materials. uses method (R&D) with Dick Carey model at eac...

background: leishmaniasis is a worldwide disease prevalent in tropical and sub tropical coun­tries. many attempts have been made and different strategies have been approached to develop a potent vaccine against leishmania . dna immunisation is a method, which is shown to be effec­tive in leishmania vaccination. leishmania soluble antigen (sla) has also recently been used leishmania vaccination....

Numerous cell-to-cell signals tightly regulate CTL function. Human fibroblasts infected with HSV type 1 or 2 can generate such a signal and inactivate human CTL. Inactivated CTL lose their ability to release cytotoxic granules and synthesize cytokines when triggered through the TCR. Inactivation requires cell-to-cell contact between CTL and HSV-infected cells. However, inactivated CTL are not i...

Cytolytic T lymphocyte precursors (CTL-P) were sensitized in vivo by intraplantar infection of C57BL/6 mice with a lethal dose of rabies virus, strain ERA (ERA). As a result of sensitization CTL-P matured to interleukin-receptive CTL-P (IL-CTL-P) that could be expanded in vitro to Thy-1+, Lyt-2+ CTL clones in the presence of IL without subjection to antigen-driven selection. After infection wit...

ION FRAMEWORK FOR MARKOV DECISIONPROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth

To investigate possible mechanisms behind HIV-1 escape from CTL, we performed detailed longitudinal analysis of Gag (SLYNTVATL)- and RT (ILKEPVHGV)-specific CTL responses and plasma epitope sequences in five individuals. Among those with CTL against consensus epitope sequences, epitope mutations developed over several years, invariably followed by decay of the CTL targeting the consensus epitop...

Module checking has been introduced in late 1990s to verify open systems, i.e., systems whose behavior depends on the continuous interaction with the environment. Classically, module checking has been investigated with respect to specifications given as CTL and CTL∗ formulas. Recently, it has been shown that CTL (resp., CTL∗) module checking offers a distinctly different perspective from the be...

BACKGROUND Antigen-specific CTL responses are thought to play a central role in containment of HIV-1 infection, but no consistent correlation has been found between the magnitude and/or breadth of response and viral load changes during disease progression. METHODS AND FINDINGS We undertook a detailed investigation of longitudinal CTL responses and HIV-1 evolution beginning with primary infect...