Results 101 to 110 of about 180,278 (321)
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach [PDF]
arXiv, 2020 Computation Tree Logic (CTL) is one of the central formalisms in formal verification. As a specification language, it is used to express a property that the system at hand is expected to satisfy. From both the verification and the system design points of view, some information content of such property might become irrelevant for the system due to ...
arxiv
ctl with finitely bounded semantics
, 2017 We consider a variation of the branching time logic CTL with non-standard, "finitely bounded" semantics (FBS).
Goranko, Valentin +2 more
openaire +4 more sources
Off‐The‐Shelf Multivalent Nanoconjugate Cancer Vaccine Rescues Host Immune Response against Melanoma
Advanced Materials, EarlyView.A star‐shaped cross‐linked polyglutamate (StCl) nanocarrier delivers melanoma‐associated peptide antigens via redox‐responsive linkers, inducing lymph node‐targeted antigen presentation. The nanoconjugate activates dendritic cells, promotes effector T‐cell responses, and enables tumor regression even in humanized patient‐derived preclinical models ...
Liane IF Moura +19 more
wiley +1 more source
Recent Advances in Wide‐Bandgap Perovskite Solar Cells
Advanced Materials, EarlyView.Ubiquitous defects predominately account for photo‐instability and open‐circuit voltage losses in wide‐bandgap perovskite solar cells (WBG PSCs). This review comprehensively presents the underlying impact mechanisms, summarizes the advanced optimization strategies across various functional layers and their interfaces to develop efficient and stable WBG
Jianjun Mei, Feng Yan
wiley +1 more source
Infectio, 2009 Durante las infecciones crónicas la regulación inmune constituye un mecanismo esencial para controlar los procesos inflamatorios; sin embargo, la excesiva regulación impide el desarrollo de una respuesta efectora adecuada.
César Mauricio Rueda +2 more
doaj
Macroscopic limit of a kinetic model describing the switch in T cell migration modes via binary interactions [PDF]
arXiv, 2020 Experimental results on the immune response to cancer indicate that activation of cytotoxic T lymphocytes (CTLs) through interactions with dendritic cells (DCs) can trigger a change in CTL migration patterns. In particular, while CTLs in the pre-activation state move in a non-local search pattern, the search pattern of activated CTLs is more localised.
arxiv
Advanced Materials, EarlyView.Wearable sensors, empowered by AI and smart materials, revolutionize healthcare by enabling intelligent disease diagnosis, personalized therapy, and seamless health monitoring without disrupting daily life. This review explores cutting‐edge advancements in smart materials and AI‐driven technologies that empower wearable sensors for diagnostics and ...
Shuwen Chen +14 more
wiley +1 more source
Advanced Materials, EarlyView.A new spectroscopy technique (i.e., pump‐push‐surface photovoltage) is introduced that monitors trapped carrier dynamics at the buried interfaces in perovskite solar cells (PeSCs) via combining optical trap activation by infrared light with surface photovoltage detection.
Beier Hu +13 more
wiley +1 more source
Progress in Flexible Perovskite Solar Cells: Paving the Way for Scalable Manufacturing
Advanced Materials Technologies, EarlyView.Perovskite solar cells (PSCs) are well positioned for a successful market uptake. This is due to an unprecedented improvement of their efficiency and stability since the first report in 2009. In this review paper, the building blocks for the scalable manufacturing and future commercialization of flexible PSCs and their pathway to impact will be ...
Dimitar I. Kutsarov +5 more
wiley +1 more source
Computing Stuttering Simulations [PDF]
arXiv, 2009 Stuttering bisimulation is a well-known behavioral equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioral equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators.
arxiv