Results 71 to 80 of about 206,152 (285)
Inactivating SARS‐CoV‐2 Virus with MOF‐Composites as Smart Face Masks
Advanced Functional Materials, EarlyView.In situ preparation and functionalization of MOF@Cotton fabrics as smart face masks for the immobilization of proteins and inactivation viruses, such as SARS‐CoV‐2. Abstract The significant impact of the SARS‐CoV‐2 (COVID‐19) pandemic outbreak on people's lives has highlighted the urgent need for effective personal protective equipment.
Romy Ettlinger +9 more
wiley +1 more source
X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites
Advanced Functional Materials, EarlyView.We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim +21 more
wiley +1 more source
Axiomatic quasi-natural deduction.
Notre Dame Journal of Formal Logic, 1970 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
, 2013 This document contains corrections to errors discovered to-date in, and also some remarks upon, both Samin Ishtiaq's thesis, A Relevant Analysis of Natural Deduction [Ish99] and also the JLC [IP98] and CSL [IP99] papers, by Ishtiaq and Pym, that ...
Ishtiaq, S., Pym, David
core
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core
Shellac‐Mediated Assembly of Nanoparticles for mRNA Delivery
Advanced Healthcare Materials, EarlyView.A shellac‐mediated nanoparticle assembly strategy is presented, involving the complexation of mRNA and low‐molecular‐weight cationic molecules (e.g., polyethyleneimine, chitosan, lipids, and poly‐l‐lysine), followed by capping with shellac. This nanoparticle platform enables mRNA transfection following intravenous injection and facilitates gene editing
Meizhang Lu +7 more
wiley +1 more source
A verified abstract machine for functional coroutines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot's classical ...
Tristan Crolard
doaj +1 more source
Microengineered Gradient Hydrogels for Mechanobiology
Advanced Healthcare Materials, EarlyView.Gradient hydrogels are used to mimic the mechanical heterogeneity in native tissues, offering powerful in vitro platforms to study cell‐material interactions in diverse pathophysiological contexts. Here, we present a comprehensive review of the design and experimental considerations for stiffness gradient hydrogels, discussing exemplary achievements ...
Shin Wei Chong +4 more
wiley +1 more source
Light Logics and the Call-by-Value Lambda Calculus [PDF]
Logical Methods in Computer Science, 2008 The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic.
Paolo Coppola +2 more
doaj +1 more source
Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells
Advanced Materials, EarlyView.This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno +16 more
wiley +1 more source