Results 91 to 100 of about 180,278 (321)
Dendrimer Conjugates with PD‐L1‐Binding Peptides Enhance In Vivo Antitumor Immune Response
Advanced Healthcare Materials, EarlyView.In this paper, a novel nanoparticle scaffold composed of dendrimers conjugated with peptide‐based immune checkpoint inhibitors, enhancing drug delivery efficacy is introduced. By conjugating PD‐L1‐binding peptides to dendrimers, multivalent binding effects are harnessed, resulting in enhanced binding affinity, prolonged half‐life, and improved ...
DaWon Kim +11 more
wiley +1 more source
Temporal Logics with Language Parameters [PDF]
arXiv, 2019 Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many properties of interest like reachability, even simple regular properties like "Every other index is labelled a cannot be expressed in these logics. While many extensions were
arxiv
Advanced Materials, EarlyView.A mitochondria‐targeted cationic nanoscale metal organic framework shows strong radiotherapy‐radiodynamic therapy effects and selectively releases digitonin in acidic tumor microenvironments to induce disulfidptosis of cancer cells and downregulate immune checkpoints in cancer and T cells, thereby eliciting strong antitumor immunity to effectively ...
Wenyao Zhen +7 more
wiley +1 more source
Acta Pharmaceutica Sinica B, 2021 Major challenges for cancer treatment are how to effectively eliminate primary tumor and sufficiently induce immunogenic cell death (ICD) to provoke a robust immune response for metastasis control.
Hao Ren +9 more
doaj
CTL+FO Verification as Constraint Solving [PDF]
arXiv, 2014 Expressing program correctness often requires relating program data throughout (different branches of) an execution. Such properties can be represented using CTL+FO, a logic that allows mixing temporal and first-order quantification. Verifying that a program satisfies a CTL+FO property is a challenging problem that requires both temporal and data ...
arxiv
Advanced Materials, EarlyView.In this review, the recent development of deep‐blue (≤465 nm) perovskite light‐emitting diodes (PeLEDs) are summarized, using different perovskite nanomaterials, including nanocrystals (NCs), quantum dots (QDs), nanoplatelets (NPLs), quasi‐2D thin film, 3D bulk thin film, as well as lead‐free perovskite nanomaterials.
Pui Kei Ko +6 more
wiley +1 more source
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2015 TIME 2015 conference version, modified title and ...
Arne Meier, Andreas Krebs, Jonni Virtema
openaire +3 more sources
Engineering CAR‐T Therapeutics for Enhanced Solid Tumor Targeting
Advanced Materials, EarlyView.CART cell therapy has proven effective for blood cancers but struggles with solid tumors due to diverse antigens and complex environments. Recent efforts focus on improving CAR design and validation platforms. Advances in protein engineering, machine learning, and organoid systems aim to enhance CAR‐T therapy against solid tumors.
Danqing Zhu +4 more
wiley +1 more source
Targeting Checkpoint Receptors and Molecules for Therapeutic Modulation of Natural Killer Cells
Frontiers in Immunology, 2018 Among the most promising therapeutic modalities for cancer treatment is the blockade of immune checkpoint pathways, which are frequently co-opted by tumors as a major mechanism of immune escape.
Nayoung Kim +4 more
doaj +1 more source
A Characterization of Chover-Type Law of Iterated Logarithm [PDF]
arXiv, 2014 Let $0 < \alpha \leq 2$ and $- \infty < \beta < \infty$. Let $\{X_{n}; n \geq 1 \}$ be a sequence of independent copies of a real-valued random variable $X$ and set $S_{n} = X_{1} + \cdots + X_{n}, ~n \geq 1$. We say $X$ satisfies the $(\alpha, \beta)$-Chover-type law of the iterated logarithm (and write $X \in CTLIL(\alpha, \beta)$) if $\limsup_{n ...
arxiv