Results 111 to 120 of about 24,130 (303)
Advanced Science, EarlyView.This review comprehensively summarizes the atomic defects in TMDs for their applications in sustainable energy storage devices, along with the latest progress in ML methodologies for high‐throughput TEM data analysis, offering insights on how ML‐empowered microscopy facilitates bridging structure–property correlation and inspires knowledge for precise ...
Zheng Luo +6 more
wiley +1 more source
Castor: Programming with extensible generative visitors
, 2020 Much recent work on type-safe extensibility for Object-Oriented languages has focused on design patterns that require modest type system features. Examples of such design patterns include Object Algebras, Extensible Visitors, Finally Tagless interpreters,
ZHANG, W, Dos Santos Oliveira, BCDS
core +1 more source
Advanced Science, EarlyView.ABSTRACT Advancements in tissue engineering have revolutionized therapeutic paradigms for diabetic tissue defects; however, the lack of applicable scaffold containing various bioactive substance aggregates remained a critical bottleneck hindering satisfactory repair effect.
Tao Wang +8 more
wiley +1 more source
Advanced Science, EarlyView.This work proposes a novel strategy to fabricate unimolecular pyroptosis photoinitiators activated by deep‐red light at low light doses. It relies on a photosensitization mechanism to trigger nitric oxide (NO) release from benzisothiadiazole‐based N‐nitrosanilines without modification of nitro moieties, thereby boosting pyroptosis‐mediated ...
Chuangxin Zhang +4 more
wiley +1 more source
Integrating Constraints into an Imperative Programming Language
, 1998 We investigate here how to integrate constraints directly into the imperative programming paradigm, as "first class citizens" and not by means of an external library. To this end we provide a systematic account of the issues that arise.
Krzysztof R. Apt, Andrea Schaerf
core
Advanced Science, EarlyView.Mesenchymal stromal cells (MSCs) show promise for treating immune‐related disorders through immunomodulation and tissue regeneration. This review gives a brief overview of current clinical approval of MSC therapies. It also discussed how bioengineering, including genetic modification, biomaterial delivery, extracellular vesicles, and iPSC‐derived MSCs,
Sichen Yang +6 more
wiley +1 more source
Advanced Science, EarlyView.An implantable hydrogel is designed to hold gene transfection agents engineered to turn early recurrent tumor cells into generators of synthetic EVs. These synthetic EVs can express engineered miR‐26a (E‐miR‐26a) for highly sensitive detection and PD‐1 (a PD‐L1‐blocking agent) for therapeutic intervention, thereby enabling early detection and ...
Junli Zhang +7 more
wiley +1 more source
Adding imperative programming to the pattern calculus [PDF]
, 2005 University of Technology, Sydney. Dept. of Software Engineering.By focusing on data and flow control, imperative languages provide a finely grained and efficient mechanism for directly manipulating state and memory. By focusing on functions, polymorphism
Nguyen, QT
core
A language-based approach to functionally correct imperative programming
, 2005 In this paper a language-based approach to functionally correct imperative programming is proposed. The approach is based on a programming language called RSP1, which combines dependent types, general recursion, and imperative features in a type-safe way,
Edwin Westbrook +5 more
core +1 more source
Advanced Science, EarlyView.We developed a nanoparticle named OAF, which simultaneously targeted to both the brain and liver via the transferrin receptor 1 (TfR1) receptor, promoting lipoprotein receptor‐related protein 1 (LRP1) expression to enhance amyloid‐beta (Aβ) clearance. In AD mice model, OAF significantly reduced Aβ deposition and cognitive impairment, while a mitigating
Wenshuai Gong +8 more
wiley +1 more source