Results 61 to 70 of about 329,027 (236)
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
CTL+FO Verification as Constraint Solving
, 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.
Beyene, Tewodros A. +2 more
core +1 more source
Role of early viral surface antigens in cellular immune response to vaccinia virus [PDF]
, 1976 Infection of mice with the vaccinia virus strain WR, Elstree or DIs, a conditional lethal mutant of vaccinia virus, resulted in the generation of vaccinia virus-specific sensitized cytolytic T lymphocytes (CTL).
Ertl, H., Koszinowski, Ulrich H.
core +1 more source
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
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
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
Efficient CTL Verification via Horn Constraints Solving [PDF]
, 2016 The use of temporal logics has long been recognised as a fundamental approach to the formal specification and verification of reactive systems. In this paper, we take on the problem of automatically verifying a temporal property, given by a CTL formula ...
Beyene, Tewodros A. +2 more
core +2 more sources
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 +5 more sources
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
Electrochemical Modulation of Hole Extraction in NiO/Perovskite Bilayers
Advanced Materials Interfaces, EarlyView.The influence of hole depletion/accumulation on the hole extraction is evaluated in NiO/perovskite bilayers by transient spectroelectrochemical measurements. Metal‐halide perovskite thin films with different valence band positions are prepared, and the influence of band offset on the hole extraction kinetics is studied.
Xiangtian Chen +7 more
wiley +1 more source