Results 151 to 160 of about 4,158,085 (300)
Facet‐Engineered (100)‐Oriented MoO2 Nanoribbons for Broadband Self‐Powered Photodetection
Advanced Science, EarlyView.Facet engineering unlocks the latent broadband photoresponse of metallic MoO2 by exposing its (100) plane. Flexible photodetectors based on atmospheric‐pressure chemical vapor deposition‐grown nanoribbons achieve unprecedented self‐powered detection from visible to long‐wave infrared (0.5–10.5 µm) with 107.31 mA W−1 responsivity and 6.64 pW Hz−0.5 ...
Haojian Lin +10 more
wiley +1 more source
A Simulation of Natural Deduction and Gentzen Sequent Calculus
, 2017 Daniil Kozhemiachenko
openalex +2 more sources
Multi‐Instably Mechanical Systems for Computing‐Storing Functions
Advanced Science, EarlyView.Multi‐instably mechanical systems for the functions of scientific computing, logical operations, and data storage, i.e., solving fourth‐order ordinary differential equations (ODEs) by fourth‐order ODE solvers, realizing logical operations by digital logic gates, and stably storing data by mechanical memories.
Jiajun Wang +3 more
wiley +1 more source
Natural deduction calculi for classical and intuitionistic S5 [PDF]
, 2023 Stefano Guerrini +2 more
openalex +1 more source
Advanced Science, EarlyView.Coastal dissolved organic carbon (DOC) represents one of the largest reduced carbon pools on Earth, and they are influenced by temperature. Across 7.6–35.9 °C ranges, the microbial‐mediated DOC dynamics is characterized by three temperature thresholds.
Junfu Dong +12 more
wiley +1 more source
Advanced Science, EarlyView.This work constructs a sub‐ångstrom‐spaced Cu−Ni dual‐atom pair over defect‐rich indium oxide support for methane oxidation into methanol. With Cu/Ni showing affinity to C−H bond's H/C end, an outstanding primary oxygenates (CH3OH and CH3OOH) productivity of 106 mmol gcat h−1 and a high oxygenates selectivity of 84.55% is achieved under mild conditions.
Jingting Jin +4 more
wiley +1 more source
Revisiting the proof theory of Classical S4
O Que Nos Faz Pensar, 2016 In 1965 Dag Prawitz presented an extension of Gentzen-type systems of Natural Deduction to modal concepts of S4. Maria da Paz Medeiros showed in 2006 that the proof of normalisation for classical S4 does not hold and proposed a new proof of normalisation
Bruno Lopes +3 more
doaj
Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]
, 2009 Alexander Bolotov, Oleg Grigoriev
openalex