Results 111 to 120 of about 6,301,735 (343)
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
Results in EngineeringThis document presents a tutorial regarding the use of PV-STATCOMs for dynamic active and reactive power compensation in AC distribution networks. The main idea is to guide the reader from the classical power flow formulation for AC distribution networks
Oscar Danilo Montoya +2 more
doaj +1 more source
Elaborating Inductive Definitions
, 2012 We present an elaboration of inductive definitions down to a universe of datatypes. The universe of datatypes is an internal presentation of strictly positive families within type theory.
Dagand, Pierre-Evariste, McBride, Conor
core +1 more source
Zoea -- Composable Inductive Programming Without Limits [PDF]
, 2019 Edward McDaid, Sarah McDaid
openalex +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
Logic Programming for Describing and Solving Planning Problems
, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core +2 more sources
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs [PDF]
, 2021 Roman Andriushchenko +4 more
openalex +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
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming [PDF]
, 2023 Kilian Rückschloß, Felix Weitkämper
openalex +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