Results 81 to 90 of about 133,077 (308)
String diagrams for Strictification and Coherence [PDF]
Logical Methods in Computer ScienceWhereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied.
Paul Wilson, Dan Ghica, Fabio Zanasi
doaj +1 more source
Inductive learning of answer set programs for autonomous surgical task planning [PDF]
, 2021 Daniele Meli +2 more
openalex +1 more source
Advanced Functional Materials, EarlyView.The graphical abstract illustrates the synthesis pathway, morphological feature, and thermodynamic feasibility of entropy‐engineered NASICON cathodes for sodium‐ion batteries. Abstract Overcoming the energy density limitations of sodium‐ion batteries (NIBs) requires innovative strategies to optimize cathode materials.
Sharad Dnyanu Pinjari +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A minimally invasive, transepithelial corneal cross‐linking (TE‐CXL) approach is presented using upconversion nanoparticles (UCNPs)‐loaded contact lenses (UCLs), after topical delivery of hyaluronate–riboflavin conjugates. The NIR‐to‐UV/blue light conversion by UCNPs in a UCL can activate riboflavin for TE‐CXL, resulting in the biomechanical strength ...
Gibum Lee +8 more
wiley +1 more source
Electrochemical Formation of BiVO4/BiPO4 Photoanodes for Enhanced Selectivity toward H2O2 Generation
Advanced Functional Materials, EarlyView.In acidic KPi, V dissolves from the BiVO4 lattice, while adsorbed phosphate reacts with the electrode under an external bias, forming a BiPO4 surface layer. This BiPO4 layer exhibits stronger bicarbonate adsorption, redirecting the water oxidation pathway toward two‐electron H2O2 production.
Kaijian Zhu +12 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A bimetallic Mn–Ca nanoreactor (MCC) is developed as a non‐nucleotide STING nanoagonist for cancer metalloimmunotherapy. MCC induces Ca2+ overload and hydroxyl radical generation, resulting in mitochondrial damage and mtDNA release. The released mtDNA cooperates with Mn2+ to robustly activate cGAS–STING signaling.
Xin Wang Mo +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.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
Bootstrapping Knowledge Graphs From Images and Text
Frontiers in Neurorobotics, 2019 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
Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code [PDF]
, 1997 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
Advanced Functional Materials, EarlyView.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