Results 121 to 130 of about 1,020,940 (299)
Phase‐Engineered MoS2 Quantum Monolayer Catalysts
A new type of catalyst model—phase‐engineered MoS2 quantum‐monolayer catalyst (∼0.8 nm thick, < 6 nm in the lateral size; switchable freely among metallic 1T, semiconducting 2H, and a hybrid phase of metallic‐semiconducting 1T‐2H)—is reported. It can efficiently and stably drive photochemical H2, syngas and ammonia synthesis as a catalyst or co ...
Ruijie Yang +12 more
wiley +1 more source
In Memoriam: Stephen Edelston Toulmin 1922-2009
Informal Logic
doaj +1 more source
ePyDGGA: automatic configuration for fitting epidemic curves
Many epidemiological models and algorithms are used to fit the parameters of a given epidemic curve. On many occasions, fitting algorithms are interleaved with the actual epidemic models, which yields combinations of model-parameters that are hard to ...
Josep Alòs +5 more
doaj +1 more source
Chalcogen substitution emerges as a powerful strategy for designing high‐performance OMIECs. In aliphatic–glycol side chain diketopyrrolopyrrole polymers, biselenophene incorporation promotes a planar, polarizable, and doping‐tolerant quinoidal framework, enabling PDPP‐4EG‐Se2 to combine high hole mobility, large µC*, enhanced operational stability ...
Shinbee Oh +9 more
wiley +1 more source
What is fuzzy logic?--a system of concepts and methods for exploring modes of reasoning that are approximate rather than exact. While the engineering community has appreciated the advances in understanding using fuzzy logic for quite some time, fuzzy ...
Klir, George J., Demicco, Robert V.
core
Descriptor‐Informed Screening of Interface‐Active Molecules for Efficient Magnesium Metal Anodes
A descriptor‐informed molecular screening strategy identifies 4‐bromo‐N, N‐dimethylaniline (BrNNA) as an interface‐active electrolyte component that enables fast Mg stripping/plating in Mg(TFSI)2‐based electrolytes. By simultaneously regulating Mg2+ solvation and interphase formation, the BrNNA‐containing electrolyte delivers activation‐free Mg ...
Hao Xu +16 more
wiley +1 more source
Higher-order computational logic
This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described.
Lloyd, John
core
A logic for diffusion in social networks
This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena ...
Hansen, Jens Ulrik, +2 more
core +1 more source
Development of a novel method for synthesizing Ni single atom catalysts for highly selective electrochemical CO2 reduction in situ. This catalyst achieves 100% selectivity for CO and is formed in an industrially relevant cell architecture. Using post‐mortem XRD, STEM, and EDS and operando XAS, the identity of the active site and the mechanism behind ...
Ian Street +5 more
wiley +1 more source

