Results 51 to 60 of about 750 (245)
Chiral Phase Change Nanomaterials
Advanced Functional Materials, EarlyView.This work demonstrates reversible, non‐volatile phase transitions in chiral Ge2${\rm Ge}_2$Sb2${\rm Sb}_2$Te5${\rm Te}_5$ (GST) nanohelices for high‐speed optical modulation of chirality and dynamic control of the state of polarization (SOP). The chiral nanostructures are fabricated using a highly directional, wafer‐scale physical vapor deposition ...
Joshua A. Burrow +11 more
wiley +1 more source
On correctness of buffer implementations in a concurrent lambda calculus with futures
, 2009 Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other.
Sabel, David +3 more
core
Practical implementation of a dependently typed functional programming language [PDF]
, 2005 Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program's ...
Brady, Edwin С., Brady, Edwin ?
core
Reduced Graphene Oxide Transparent Electrodes Enabling Compact Soft Tunable Lenses
Advanced Functional Materials, EarlyView.By spray‐coating an elastomeric membrane with reduced graphene oxide (rGO) at various surface densities, elastomeric actuators are manufactured. Electro‐mechano‐optical characterizations show the suitability of rGO as an effective material for compliant, semi‐transparent electrodes, enabling soft electrically tunable lenses with a compact form factor ...
Giacomo Sasso +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Top‐down organic pillaring expands the interlayer spacing of bulk‐sized MoS2 particles while preserving the bulk morphology. Operando X‐ray diffraction and electrochemical dilatometry show that MoS2‐bulk undergoes solvent co‐intercalation in diglyme electrolyte, causing large structural expansion, while pillared, expanded MoS2 suppresses solvent uptake
Jaehoon Choi +8 more
wiley +1 more source
Sharing a Perspective on the lambda Calculus
, 2023 International audienceThe lambda calculus models the core of functional programming languages. This essay discusses a gap between the theory of the lambda calculus and functional languages, namely the fact that the former does not give a status to ...
Accattoli, Beniamino
core +1 more source
Advanced Functional Materials, EarlyView.Bandgap‐engineered AlGaAs/GaAs heterostructures exhibit wavelength‐selective dual‐polarity photoelectrochemistry, switching from photocathodic to photoanodic response depending on excitation wavelength. The polarity transition is governed by band‐selective absorption, built‐in electric‐field‐driven carrier transport, and interfacial charge‐transfer ...
Yukai Mao +9 more
wiley +1 more source
, 2006 In this dissertation a non-deterministic lambda-calculus with call-by-need evaluation is treated. Call-by-need means that subexpressions are evaluated at most once and only if their value must be known to compute the overall result. Also called "sharing",
Mann, Matthias
core
Submicron Metasurface Reconfigured Multiband Smart Windows
Advanced Functional Materials, EarlyView.This work presents a submicron metasurface reconfigured multiband thermochromic smart window. By integrating subwavelength nanostructures into a Fabry−Perot resonator configuration, it mitigates conventional trade‐offs to simultaneously deliver high luminous transmittance and robust solar heating and radiative cooling modulation capabilities ...
Guanya Wang +8 more
wiley +1 more source
Recent Advances in Intelligent Source Code Generation: A Survey on Natural Language Based Studies. [PDF]
Entropy (Basel), 2021 Yang C, Liu Y, Yin C.
europepmc +1 more source