Results 141 to 150 of about 7,429,852 (332)
Solvent‐Free Thermal Defect Engineering in Molecular Frameworks With Volatile Linkers
Advanced Materials, EarlyView.Thermal removal of neutral volatile linkers enables precise and solvent‐free generation of metal vacancies in MOFs. This strategy affords redox‐stable, coordinatively unsaturated FeII sites with tunable spin, ligand coordination, and catalytic behavior. The approach offers a general route to design defect‐functional materials through local coordination
Sonia Martínez‐Giménez +9 more
wiley +1 more source
Opportunities of Semiconducting Oxide Nanostructures as Advanced Luminescent Materials in Photonics
Advanced Materials, EarlyView.The review discusses the challenges of wide and ultrawide bandgap semiconducting oxides as a suitable material platform for photonics. They offer great versatility in terms of tuning microstructure, native defects, doping, anisotropy, and micro‐ and nano‐structuring. The review focuses on their light emission, light‐confinement in optical cavities, and
Ana Cremades +7 more
wiley +1 more source
POM‐Based Water Splitting Catalyst Under Acid Conditions Driven by Its Assembly on Carbon Nanotubes
Advanced Materials, EarlyView.A newly‐engineered POM‐based electrocatalyst incorporating non‐innocent counter cations exhibits fast kinetics for either the OER or HER under strongly acidic conditions (1 m H2SO4), depending on whether it is assembled on carbon nanotubes (1@CNT) or physically mixed with them (1/CNT). In water‐splitting tests using a two‐electrode setup, these systems
Eugenia P. Quirós‐Díez +8 more
wiley +1 more source
The Design and Implementation of an Interactive Proof Editor [PDF]
, 1988 This thesis describes the design and implementation of the IPE, an interactive proof editor for first-order intuitionistic predicate calculus, developed at the University of Edinburgh during 1983-1986, by the author together with John Cartmell and ...
Ritchie, Brian
core
A Proof-theoretic Characterization of Independence in Type Theory
, 2015 International audienceFor λ-terms constructed freely from a type signature in a type theory such as LF, there is a simple inductive subordination relation that is used to control type-formation.
Chaudhuri, Kaustuv, Wang, Yuting
core +1 more source
Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory
International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2019 A. De, A. Saurin
semanticscholar +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.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
COALITION-PROOF SUPPLY FUNCTION EQUILIBRIA UNDER CAPACITY CONSTRAINTS [PDF]
Whereas in the absence of capacity constraints the Cournot outcome is the unique coalition-proof supply function equilibrium outcome, the presence of capacity constraints may enlarge the set of equilibrium outcomes.
Juan Delgado
core
Azaporphyrinoid‐Based Photo‐ and Electroactive Architectures for Advanced Functional Materials
Advanced Materials, EarlyView.A long‐standing collaboration between the Torres and Guldi groups has yielded diverse azaporphyrinoid‐based donor‐acceptor nanohybrids with promising applications in solar energy conversion. This conspectus highlights key molecular platforms and structure‐function relationships that govern light and charge management, supporting the rational design of ...
Jorge Labella +3 more
wiley +1 more source
In Situ Amine Formation to Modulate MOF‐Derived PdIn N‐Doped Carbon Catalysts
Advanced Materials, EarlyView.An amine‐assisted approach converts PdIn‐MOF into PdIn intermetallic nanoparticles embedded in N‐doped carbon. In situ‐generated amines trigger early Pd nucleation, producing smaller PdIn domains than direct pyrolysis. Amine sterics and basicity tune composition and particle size, while solvent and amine co‐determine textural features.
Gonzalo Egea +9 more
wiley +1 more source