Results 101 to 110 of about 6,301,735 (343)
PbCrO4/Pb Hybrid with Surface Unsaturated Metal Sites for Efficient CO2‐to‐Formate Reduction
An in‐operando electrochemically synthesized Vo‐rich PbCrO4/Pb hybrid exposes abundant unsaturated metal sites on PbCrO4 surface, which facilitates CO2 activation and stability of *OCHO intermediates. Simultaneously, the bulk Pb nanorod significantly enhances the conductivity of electrode for fast charge transport. The Vo‐rich PbCrO4/Pb electrocatalyst
Huai Qin Fu +10 more
wiley +1 more source
Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code [PDF]
In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous.
Lapets, Andrei
core
Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee +9 more
wiley +1 more source
Bootstrapping Knowledge Graphs From Images and Text
The problem of generating structured Knowledge Graphs (KGs) is difficult and open but relevant to a range of tasks related to decision making and information augmentation.
Jiayuan Mao +7 more
doaj +1 more source
The pyrene and ether groups are incorporated into the covalent triazine polymer (CTP) structure. The synergistic effect of the two functional groups endows CTP with better electron transfer, light absorption, and oxygen activation properties. An impressive apparent quantum yield (13.2% @420 nm) and a remarkable solar‐to‐chemical conversion efficiency ...
Chong Wang +10 more
wiley +1 more source
# Background Community engagement and empowerment are critical components of HIV programming, especially for key population communities affected by HIV, and are increasingly considered determinants of readiness for a locally financed and managed ...
Amita Mehrotra +4 more
doaj +1 more source
A mineral‐based supra‐nano amorphous ruthenium dioxide composite (a‐Ru0.5‐AM) was designed, achieving 97% broadband solar absorption. Under one sun, it reaches 87.91 ± 0.32 °C with a distinct thermal buffering effect that favors thermal confinement.
Yunchen Long +13 more
wiley +1 more source
A First Step towards Learning which uORFs Regulate Gene Expression
We have taken a first step towards learning which upstream Open Reading Frames (uORFs) regulate gene expression (i.e., which uORFs are functional) in the yeast Saccharomyces cerevisiae.
Selpi +3 more
doaj +1 more source
Coherent inductive communications link for biomedical applications [PDF]
A two-way coherent inductive communications link between an external transceiver and an internal transceiver located in a biologically implanted programmable medical device.
Hogrefe, Arthur F., Radford, Wade E.
core +1 more source
Inductive logic programming [PDF]
Inductive Logic Programming (ILP) is a research area which investigates the construction of first-order definite clause theories from examples and background knowledge. ILP systems have been applied successfully in a number of real-world domains.
openaire +1 more source

