Results 131 to 140 of about 622,762 (333)
The Hilbert Symbol in Higher-Dimensional Local Fields for Formal Lubin–Tate Groups. II [PDF]
S. S. Afanas’eva
openalex +1 more source
Identifying Key Questions and Challenges in Microchimerism Biology
This study identifies key unanswered questions about microchimerism, the presence of cells from one individual living in another. Experts highlight how these cells may affect health, pregnancy, and disease. This study outlines research priorities and challenges in detecting and studying these rare microchimeric cells, aiming to guide future discoveries
Kristine J. Chua +31 more
wiley +1 more source
A redox‐active conductive carrier of tannic acid‐modified iron‐biochar with superior wettability is demonstrated to regulate direct electron transfer at the anaerobic biofilm‐carrier interface by enhancing the cytochrome c‐mediated pathway. For the first time, integrated evidence from spectroscopy, electrochemical analyses, and metatranscriptomics ...
Junli Tian +5 more
wiley +1 more source
An explicit formula for the Hilbert symbol of a formal group [PDF]
Floric Tavares Ribeiro
openalex +1 more source
Solvated electron supermolecules (SMEs) formed by polycyclic aromatic hydrocarbon (PAH), Li⁺, and tetrahydrofuranmodulate voltage in lithium solutions. The open‐circuit‐voltage (OCV) of such solutions correlates with the lowest unoccupied molecular orbital energy of PAH, enabling high‐throughput screening for high‐voltage electrolytes.
Yiwei Feng +3 more
wiley +1 more source
Crossing the Oxo‐Peroxo Wall for Selective Electrochemical Epoxidation
The classical Oxo‐Wall concept is extended to an Oxo–Peroxo Wall framework, showing that meta‐stable oxo species favor peroxo and superoxo formation, decoupling from oxygen evolution reaction (OER). This new understanding enables selective C‐C bond oxidations and provides a predictive alternative oxidation reaction (AOR) volcano for designing metal ...
Pooja Basera +3 more
wiley +1 more source
Normal form of systems of partial differential and pseudo-differential operators in formal symbol classes [PDF]
Waichirô Matsumoto
openalex +1 more source
Hairdressing in groups: a survey of combings and formal languages
A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language.
Rees, Sarah
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source

