Results 21 to 30 of about 122,807 (96)
Small, EarlyView.This review charts the material evolution of bifunctional electrocatalysts for rechargeable lithium‐gas batteries. It highlights the journey from heteroatom‐doped, metal‐free carbon architectures to precision‐engineered carbon‐supported single‐atom sites. The discussion focuses on mechanistic insights into how these catalysts govern reversible O2, CO2,
Daming Ren +5 more
wiley +1 more source
Noûs, EarlyView.ABSTRACTProbabilism is the thesis that the degrees of belief of rational agents behave like Kolmogorovian probabilities. There are quite different lines of argument for probabilism in the literature, including Dutch book arguments, arguments based on representation theorems, and epistemic utility arguments. This paper focusses on the Dutch book line of
Nicholas J. J. Smith
wiley +1 more source
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics [PDF]
, 2010 This paper gives a general coalgebraic account of the notions of possibly infinite trace and possibly infinite execution in state-based, dynamical systems, by extending the generic theory of finite traces and executions developed by Hasuo and coauthors ...
Cirstea, Corina, Corina Cîrstea
core +2 more sources
Referential Indeterminacy and De Re Thoughts
Noûs, EarlyView.ABSTRACT Referential indeterminacy may seem to leave little room for de re or singular thoughts about ordinary objects. I argue that this impression is misleading. We can direct our thoughts at particular objects, even though there is no fact of the matter as to which objects are referred to by the singular terms purporting to stand for them.
Bahram Assadian
wiley +1 more source
Quantifiers for a Modal Future
Philosophical Perspectives, EarlyView.ABSTRACT Future auxiliaries present a challenge to the classical analysis of modal expressions as existential or universal quantifiers over a contextually provided set of possible worlds: these expressions come with a distinct modal flavor, but their interaction with negation and the fact that future judgments come in degrees of confidence is ...
Malte Willer
wiley +1 more source
Vague Mereology and Borderline Connections
Philosophy and Phenomenological Research, EarlyView.ABSTRACT The summit of Mt Everest is determinately part of it; parts of the Khumbu Glacier are determinately not. In between are a range of candidate parts whose mereological status with respect to Mt Everest is unsettled. Among the various accounts of vagueness, supervaluationism has received a great deal of attention.
A. J. Cotnoir, Giulia Schirripa
wiley +1 more source
RNA‐Binding Proteins: Function, Biological Mechanisms, and Therapeutic Opportunities
MedComm, Volume 7, Issue 9, September 2026.RNA‐binding proteins (RBPs) regulate RNA stability, localization, translation, and splicing through intrinsic binding domains and interactions with diverse cellular partners. Their competitive and cooperative networks shape disease‐related RNA programs, especially in cancer.
Ling Li, Xiuli Yan, Qing Ji, Hui Zhang
wiley +1 more source
On Logics for Coalgebraic Simulation [PDF]
, 2004 We investigate logics for coalgebraic simulation from a compositional perspective. Specifically, we show that the expressiveness of an inductively-defined language for coalgebras w.r.t.
Cirstea, Corina
core +2 more sources
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Macrophage: Biological Functions, Diseases, and Therapeutic Targets
MedComm, Volume 7, Issue 8, August 2026.Macrophages are sentinel innate immune cells that arise from embryonic precursors and bone marrow monocytes, displaying a functional continuum that transcends the classical M1 (pro‐inflammatory)/M2 (anti‐inflammatory) dichotomy. Under homeostatic conditions, balanced M1/M2 polarization preserves tissue integrity by coordinating immune surveillance ...
Bihang Sun +4 more
wiley +1 more source