Results 121 to 130 of about 444,050 (330)
Spin and Charge Control of Topological End States in Chiral Graphene Nanoribbons on a 2D Ferromagnet
Chiral graphene nanoribbons on a ferromagnetic gadolinium‐gold surface alloy display tunable spin and charge states at their termini. Atomic work function variations and exchange fields enabe transitions between singlet, doublet, and triplet configurations.
Leonard Edens +8 more
wiley +1 more source
Automatic Deduction in Dynamic Geometry using Sage
We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer algebra system Sage,
Abánades, Miguel A., Botana, Francisco
core +2 more sources
The water permeability of amorphous carbon dots (CDs) is demonstrated by investigating their plasticization. Novel polyamide‐based and amorphous nanoparticles are synthesized by controlling their inner packing density. Water plasticization is evidenced by the decrease of the CDs glass transition temperature with increasing the hydration degree.
Elisa Sturabotti +8 more
wiley +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Deductive Theories and Non-deductive Knowledge
I start by briefly considering three different epistemological conceptions associated with deductive theories. I then relate the conceptions to the debate about whether non-deductive knowledge of mathematical claims is possible. The hope is that getting clearer about the different types of deductive science sheds light on whether a mathematical ...
openaire +2 more sources
Reconstructing a logic for inductive proofs of properties of functional programs [PDF]
A logical framework consisting of a polymorphic call-by-value functional language and a first-order logic on the values is presented, which is a reconstruction of the logic of the verification system VeriFun.
Sabel, David, Schmidt-Schauß, Manfred
core
Role of the Recombination Zone in Organic Light‐Emitting Devices
This review summarizes the critical role of the recombination zone in organic light‐emitting diodes (OLEDs). We highlight that broadening the recombination zone in OLEDs based on emissive layers with balanced charge transport and high photoluminescence quantum yields provides a promising route toward achieving both long operational lifetime and high ...
Yungui Li, Karl Leo
wiley +1 more source
Metasurface‐engineered NC‐TENG arrays integrate tactile pressure mapping, non‐contact gesture sensing, and acoustic signal readouts in one ultrathin module, and outperforms pristine PDMS in terms of electrical output and real‐time spatial mapping for next‐gen wearables.
Injamamul Arief +12 more
wiley +1 more source
Solvent‐mediated reactivity control of Lewis‐paired dopants enables highly efficient, finely tunable, and stable doping of organic semiconductors. The optimally doped semiconductor films exhibit superior thermoelectric performance and doping stability, feature delocalized polarons along structurally ordered polymer backbones, and outperform ...
Sang Beom Kim +5 more
wiley +1 more source
The energetic offset between the donor and the acceptor components in organic photoactive layers is central to the tradeoff between photovoltage and photocurrent losses. This Perspective covers the most important issues surrounding this topic in non‐fullerene acceptor blends, from the difficulty of accurately determining state energies and driving ...
Dieter Neher, Manasi Pranav
wiley +1 more source

