Results 121 to 130 of about 6,301,735 (343)
This study demonstrates a Maya blue‐inspired hybrid solar evaporator using commercial black acrylic paint, achieving 98% solar‐thermal conversion efficiency and 2.39 kg m−2 h−1 water evaporation rate through a durable, hydrophilic organic–inorganic structure that enables scalable, cost‐effective desalination and wastewater purification.
Dao Thi Dung +5 more
wiley +1 more source
Fe─NC porous oxygen reduction electrocatalysts are prepared employing a 2,4,6‐Triaminopyrimidine‐based porous organic polymer, a Mg2+ Lewis acid, and a low‐temperature cation exchange protocol. Using the polymer precursor achieves high pyrolysis yields and results in atomically dispersed FeNx sites. The resulting catalysts feature hierarchical porosity
Eliot Petitdemange +11 more
wiley +1 more source
An Introduction to Programming and Proving with Dependent Types in Coq
Computer proof assistants vary along many dimensions. Among the mature implementations, the Coq system is distinguished by two key features. First, we have support for programming with dependent types in the tradition of type theory, based on dependent ...
Adam Chlipala
doaj
Inductive Logic Programming in an Agent System forOntological Relation Extraction [PDF]
Mohan Seneviratne, D. N. Ranasinghe
openalex +1 more source
Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai +6 more
wiley +1 more source
An oral nanoplatform, MOP@T@D, which can maintain glucose homeostasis and restore islet β cells in diabetic rats is developed. It achieves efficient intestinal absorption and liver‐targeted delivery. The nanoparticle disintegrates only in response to hyperglycemia to release insulin on demand and provides antioxidant protection through selenoprotein ...
Chenxiao Chu +14 more
wiley +1 more source
Analysis of inductive power transfer systems by metamodeling techniques
This paper presents some metamodeling techniques to analyze the variability of the performances of an inductive power transfer (IPT) system, considering the sources of uncertainty (misalignment between the coils, the variation in air gap, and the ...
Pei, Yao +3 more
doaj +1 more source
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018 [PDF]
Nicolas Lachiche +4 more
openalex +1 more source
The cGAS‐STING pathway boosts HCC antitumor immunity but lacks specific activation. Nanoplatform ZMRPF induces HCC ferroptosis via lipid ROS, releasing mtDNA. It synergizes with ZMRPF‐released Mn2⁺ to activate cGAS‐STING, amplifies antigen‐presenting cell activity, reverses HCC immunosuppression, and enables robust systemic antitumor immunity ...
Yuchen Zhang +13 more
wiley +1 more source
Mesoporous Carbon Thin Films with Large Mesopores as Model Material for Electrochemical Applications
Mesoporous carbon thin films possessing 70 nm mesopores are prepared on titanium substrates by soft templating of resol resins with a self‐synthesized poly(ethylene oxide)‐block‐poly(hexyl acrylate) block copolymer. A strategy to avoid corrosion of the metal substrate is presented, and the films are extensively characterized in terms of morphology ...
Lysander Q. Wagner +9 more
wiley +1 more source

