Showing 1 - 20 results of 70 for search '"CTL*"', query time: 0.11s Refine Results
  1. 1
    CTL for Test Information of Digital ICS
    by Kapur, Rohit
    Published 2002
    Table of Contents: “…Hello CTL -- Uses of CTL -- Design Philosophy of CTL -- Simplified View of CTL -- CTL Syntax…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Resistance of Cancer Cells to CTL-Mediated Immunotherapy
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Killer Cell Dynamics Mathematical and Computational Approaches to Immunology /
    Published 2007
    Table of Contents: “…Viruses and Immune Responses: A Dynamical View -- Models of CTL Responses and Correlates of Virus…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Η τροποποίηση της αλληλουχίας πεπτιδίων νεοπλασιών επηρεάζει την ανοσογονικότητά τους
    “… δυνητικοί στόχοι για CTL (κυτταροτοξικά Τ λεμφοκύτταρα - Cytotoxic T lymphocyte), στα οποία βασίζεται η…”
    Get full text
    Thesis
  5. 5
    War in the Body The Evolutionary Arms Race Between HIV and the Human Immune System and the Implications for Vaccines /
    by Wick, W David, Yang, Otto O.
    Published 2013
    Table of Contents: “…The HIV Infection model -- The CTL Model -- Simulating an HIV Infection In Vivo -- The Escape…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Deductive Proof System for CTL* -- Event-State Duality: The Enriched Case -- Expressive Power of Temporal…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Killer Lymphocytes
    by Berke, Gideon, Clark, William R.
    Published 2005
    Table of Contents: “… and CTL Vaccines.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Mathematical Models for Therapeutic Approaches to Control HIV Disease Transmission
    by Roy, Priti Kumar
    Published 2015
    Table of Contents: “…Chapter 1. Introduction -- Part I: Dynamics of Immune System against HIV -- Chapter 2. Role of CTL…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
    Published 2012
    Table of Contents: “… Exposure to Extreme Heat in HI-Maude -- Order-Sorted Equality Enrichments Modulo Axioms -- Timed CTL Model…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Analyzing T Cell Responses How to Analyze Cellular Immune Responses against Tumor Associated Antigens /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Foundations of Software Technology and Theoretical Computer Science 19th Conference, Chennai, India, December 13-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Bounds for Transformations of ?-Automata -- CTL+ Is Exponentially More Succinct than CTL -- Invited Talk…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Trends in Biomathematics: Mathematical Modeling for Health, Harvesting, and Population Dynamics Selected works presented at the BIOMAT Consortium Lectures, Morocco 2018 /
    Published 2019
    Table of Contents: “… of the dynamics of HIV infection with CTL immune response and cure rate -- Qualitative analysis of a PDE model…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published 2015
    Table of Contents: “… -- On Automation of CTL* Verification for Infinite-State Systems -- Algorithms for Model Checking HyperLTL…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
    Published 2003
    Table of Contents: “… with Temporal Logic on Truncated Paths -- Structural Symbolic CTL Model Checking of Asynchronous Systems -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Rewriting Systems -- On the Hybrid Extension of CTL and CTL?+? -- Bounds on Non-surjective Cellular Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Immunobiology of Natural Killer Cell Receptors
    Published 2006
    Table of Contents: “… Regulation of Effector CTL Functions in the Human Tissue Microenvironment -- Dendritic Cell-NK Cell Cross…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions -- CTL as an Intermediate…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Published 2010
    Table of Contents: “… Abstractions for ?CTL* without Next -- Timing Verification of GasP Asynchronous Circuits: Predicted Delay…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search