Results 81 to 90 of about 750 (245)
Advanced Materials, EarlyView.Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje +7 more
wiley +1 more source
Transient Charging of Mixed Ionic‐Electronic Conductors by Anomalous Diffusion
Advanced Materials, EarlyView.This article explores charge transport in mixed ionic‐electronic conductors (MIECs) through electrochemical impedance spectroscopy and transient current analysis. Focusing on PEDOT:PSS, WO3, and n‐doped PBDF, it uncovers the impact of anomalous diffusion via fractional modeling. The study reveals key correlations that deepen understanding and guide the
Heyi Zhang +9 more
wiley +1 more source
Deforestation of Functional Programs through Type Inference [PDF]
, 2000 Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestation method which is based on a single, local transformation rule. In return,
Chitil, Olaf
core
Advanced Materials, EarlyView.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
Correctness of copy in calculi with letrec, case and constructors
, 2007 Call-by-need lambda calculi with letrec provide a rewritingbased operational semantics for (lazy) call-by-name functional languages. These calculi model the sharing behavior during evaluation more closely than let-based calculi that use a fixpoint ...
Schmidt-Schauß, Manfred
core
Advanced Materials, EarlyView.Ball‐milling Cu‐based metallic glasses with ceria creates a unique nanostructure where metallic glass particles are wrapped by CeO2 nanoparticles. The intimate integration triggers copper state reorganization during reaction and aging, boosting CO oxidation and COPrOx activity.
Maahin Mirzay‐Shahim +17 more
wiley +1 more source
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
Foundations and programming implementations of lambda calculus [PDF]
, 2015 U ovom završnom radu prikazane su osnovne karakteristike lambda računa kao formalnog sustava za izračun vrijednosti funkcija. Objašnjen je pojam apstrakcije od kojeg kreće kreiranje svakog rješenja lambda računa.
Mihaljević, Maja
core
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
On generic context lemmas for lambda calculi with sharing
, 2007 This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language.
Sabel, David +3 more
core