Results 71 to 80 of about 13,265 (227)
Neural circuits and symbolic processing. [PDF]
Do Q, Hasselmo ME.
europepmc +1 more source
The role of novel thiophene‐based ligands with halogen substitutions in enhancing the chiroptical and optoelectronic properties of 2D chiral HOIPs has been investigated. By tailoring ligand design, enhanced CD and CPL properties are achieved, with improved CPL discrimination in photodetectors.
Boesung Kwon +4 more
wiley +1 more source
Boltzmann samplers for random generation of lambda terms [PDF]
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for testing and optimizing compilers. For that a tool called QuickCheck has been proposed,
Lescanne, Pierre
core +3 more sources
Modular, Fully-abstract Compilation by Approximate Back-translation
A compiler is fully-abstract if the compilation from source language programs to target language programs reflects and preserves behavioural equivalence.
Devriese, Dominique +3 more
core +1 more source
Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand +13 more
wiley +1 more source
The hidden role of Cd segregation at grain boundaries is revealed in p‐type Mg3Sb2 by atom probe tomography and other advanced characterizations. Grain boundary Cd enrichment suppresses the SbMg+ hole‐killer formation and lowers potential barriers, enhancing electrical conductivity.
Zhou Li +12 more
wiley +1 more source
Charge transport in 2D tin perovskite FETs is shown to be governed by dielectric interface behavior. Polar polymer dielectrics induce dipolar disorder that localizes carriers, whereas nonpolar polymers suppress trapping and enable superior charge transport, ensuring stable and reliable transistor operation. ABSTRACT Understanding the role of interfaces
Chongyao Li +5 more
wiley +1 more source
A hydrogel with dynamic cross‐links was formed by cross‐linking hyaluronic acid with curcumin‐preloaded, phenylboronic acid‐modified poly(amidoamine) dendrimers. This hydrogel exhibited excellent injectability and self‐healing ability, enabling controlled Cur release in response to low pH, high reactive oxygen species (ROS) generation, or mechanical ...
Junjie Liu +9 more
wiley +1 more source
Adequacy of compositional translations for observational semantics [PDF]
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of ...
Niehren, Joachim +3 more
core +8 more sources
Unlocking Photodetection Mode Switching from a Simple Lateral Design
A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong +10 more
wiley +1 more source

