Results 131 to 140 of about 13,404,605 (326)
Preferential Interfacial Engineering of Hydrogels via Interdigitated Nanoparticle Assembly
Advanced Functional Materials, EarlyView.Robust surface functionalization of hydrogel surfaces is performed via interdigitated metal nanoparticle assembly, inducing strong affinity with the hydrogel matrix. The partially exposed nanoparticle domains act as interfacial nanobridges that mediate both chemical and physical bonding with diverse materials, including small molecules, fluorous ...
Hyeonjin Kim +11 more
wiley +1 more source
High‐Efficiency Deep Blue Single‐Gaussian Europium(II) Emitters and Their Emitter‐Host Interactions
Advanced Functional Materials, EarlyView.Crown‐ether ligands and carborate anions enable vacuum‐processable Eu(II) emitters with efficient single‐Gaussian deep‐blue luminescence. Combined photophysical and computational analyses reveal that excited‐electron confinement and steric shielding of the europium center jointly govern compatibility with OLED host materials, establishing molecular ...
Mahmoud Soleimani +8 more
wiley +1 more source
A labelled sequent calculus for BBI: proof theory and proof search
, 2018 We present a labelled sequent calculus for Boolean bunched implications (BBI), a classical variant of the logic of Bunched Implications (BI). The calculus is simple, sound, complete and enjoys cut-elimination. We show that all the structural rules in the
Goré, Rajeev, Tiu, Alwen, Hou, Zhe
core +1 more source
Advanced Functional Materials, EarlyView.Cell therapies typically rely on cold‐chain logistics and cryopreservation, limiting access and compromising cell quality. Here, a dual‐chamber device separates an oxygen‐supplying chamber from a hyaluronic acid cargo chamber, sustaining oxygen delivery for over 70 h and enabling ambient‐temperature shipment.
Daniel A. Domingo‐Lopez +9 more
wiley +1 more source
Proof-Carrying Code in a Session-Typed Process Calculus
, 2011 Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dependent session types to express proof-carrying communication.
Luis Caires +5 more
core +1 more source
Advanced Functional Materials, EarlyView.Advanced ink systems for solution‐processed textile triboelectric nanogenerators are systematically summarized, spanning conductive, tribo‐negative, and tribo‐positive layers. By connecting ink chemistry, deposition methods, and device function, the present review reveals the key governing principles of solution development and highlights practical ...
Xinlong Sun, Stephen Beeby
wiley +1 more source
Bribe-proof Rules in the Division Problem [PDF]
The division problem consists of allocating an amount of a perfectly divisible good among a group of n agents with single-peaked preferences. A rule maps preference profiles into n shares of the amount to be allocated.
Jordi MassóAuthor-Email: jordi.masso@uab.es +1 more
core
Planning of Proof by means of Sequents [PDF]
, 2010 P(論文)In a heuristic process of proof in mathematics, we try not only forward derivations from the assumptionssuch as `from A, we get B' but also backward derivations from the conclusion such as `in order to get A, we needB'.
nakanishi, Yasuo +2 more
core
Developing pedagogic approaches for proof: learning from teaching in the East and West
, 2009 In our work we focus on learning from the teaching of proof in geometry at the lower secondary school level across countries in the East and in the West.
Matsumoto, Shinichiro +5 more
core +1 more source
Myogenic Fusogen‐Engineered Lipid Nanoparticles Enhance mRNA Delivery in Skeletal Muscle
Advanced Functional Materials, EarlyView.This study reports a biomimetic strategy of engineering full‐length Myomaker, a muscle‐specific fusogen, into lipid nanoparticles (LNPs) to harness the native myoblast fusion capability for skeletal muscle mRNA delivery. The resulting Mymk‐LNPs enhance transfection in differentiating myocytes and enable Cre‐mediated reporter activation in injured ...
Fangyu Zhang +18 more
wiley +1 more source