Results 121 to 130 of about 14,639 (283)
Advanced Functional Materials, EarlyView.This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger +10 more
wiley +1 more source
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
Towards Lambda Calculus Order-Incompleteness
Electronic Notes in Theoretical Computer Science, 2001 AbstractAfter Scott, mathematical models of the type-free lambda calculus are constructed by order theoretic methods and classified into semantics according to the nature of their representable functions. Selinger [48] asked if there is a lambda theory that is not induced by any non-trivially partially ordered model (order-incompleteness problem).
openaire +2 more sources
Advanced Functional Materials, EarlyView.Controlled syntheses of lanthanide coordination polymers based on the dihydroxybenzoquinone (DHBQ) organic linker afforded large single crystals of Ln‐DHBQ CPs (Ln = Yb, Nd). A novel structural variant of Yb‐DHBQ is identified by means of single crystal diffraction analysis.
Marina I. Schönherr +7 more
wiley +1 more source
An Invariant Cost Model for the Lambda Calculus
, 2005 We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lambda-calculus can simulate each other within a polynomial time overhead ...
Lago, Ugo Dal, Martini, Simone
core +1 more source
Fast‐Responding O2 Gas Sensor Based on Luminescent Europium Metal‐Organic Frameworks (MOF‐76)
Advanced Functional Materials, EarlyView.Luminescent MOF‐76 materials based on Eu(III) and mixed Eu(III)/Y(III) show rapid and reversible changes in emission intensity in response to O2 with very short response times. The effect is based on triplet quenching of the linker ligands that act as photosensitizers. Average emission lifetimes of a few milliseconds turn out to be mostly unaffected by
Zhenyu Zhao +5 more
wiley +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Magnetic Control of Chiral Hybridized Phonon Magnetic Moments in Ferrimagnets Fe2‐xZnxMo3O8
Advanced Functional Materials, EarlyView.Helicity‐resolved magneto‐Raman spectroscopy reveals magnetic control of chiral phonon magnetic moments in polar ferrimagnet (ZnxFe2−xMo3O₈). Large spontaneous zero‐field phonon splittings, selective phonon–magnon coupling, and asymmetric Zeeman responses demonstrate that phonon chirality is governed by magnon‐phonon coupling and magnetization.
Youngsu Choi +8 more
wiley +1 more source
3D‐Printed Sulfur‐Derived Polymers With Controlled Architectures for Lithium‐Sulfur Batteries
Advanced Functional Materials, EarlyView.Rheology‐guided formulation design for direct ink writing enables the fabrication of 3D sulfur copolymer cathodes with controlled architectures for lithium‐sulfur batteries. The printed electrodes exhibit multiscale porosity and high sulfur utilization, delivering enhanced electrochemical performance compared to conventional cast electrodes.
Bin Ling +7 more
wiley +1 more source
, 2019 This document presents a variant of the Ordinary λ-Calculus that we call the Distributed λ-Calculus. The novelty is in addition of node annotations to terms in addition to a mobility rule. We show that, despite distributed programs, the Distributed λ-Calculus is computationally equivalent to the Ordinary λ-Calculus.
Haeri, Seyed Hossein, Van Roy, Peter
openaire +1 more source