Formal modeling and verification of GRANDPA finalization safety in polkadot. [PDF]
Sci RepRashid M +4 more
europepmc +1 more source
The Additive Logic of Epistemic Reasons: An Axiomatic Account
Theoria, EarlyView.ABSTRACT The article argues for a system of axioms that is meant to capture the logic of normative reasons for belief. The system concerns a primitive direct‐reason relation, a defined doxastic‐reason relation, and a primitive function for the revision of rational belief by reasons.
Hannes Leitgeb
wiley +1 more source
Formal methods for safety-critical machine learning: a systematic literature review. [PDF]
Front Artif IntellNewcomb A, Ochoa O.
europepmc +1 more source
Selection Bias in Aid Effectiveness: Evidence From Aid for Trade and Foreign Direct Investment
The World Economy, EarlyView.ABSTRACT This paper examines whether Aid for Trade promotes foreign direct investment using bilateral panel data over 2005–2019. Conventional estimators show mixed results across donors, with no significant effects for Japanese aid. To address potential selection bias, we employ a Bartik‐style instrumental variable exploiting donor sectoral ...
Wonjun Choi
wiley +1 more source
On Flipping Edge Sets in Unique Sink Orientations. [PDF]
Graphs CombBorzechowski M, Weber S.
europepmc +1 more source
The Long Shadow of Karl Weierstraß Over the Calculus of Variations
Proceedings in Applied Mathematics and Mechanics, Volume 26, Issue 4, December 2026.ABSTRACT At first glance, it appears that the contents of Karl Weierstraß's (1815–1897) lecture courses on the calculus of variations were made available to the public only in the seventh volume of his Mathematische Werke, and thus not until 30 years after his death.
Peter Ullrich
wiley +1 more source
Directional replicability: When can the factor of two be omitted. [PDF]
Stat Probab LettDjordjilović V, Sofer T, Dreyfuss JM.
europepmc +1 more source
Local multiplicativity of perverse filtrations
Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.Abstract Let f:S→C$f:S\rightarrow C$ be a proper surjective morphism from a smooth Kähler surface to a smooth curve. We show that the local perverse filtration associated with the induced map S[n]→C(n)$S^{[n]}\rightarrow C^{(n)}$ is multiplicative on each fiber if and only if f$f$ is an elliptic fibration.
Zili Zhang
wiley +1 more source
Resolving chemical-motif similarity with enhanced atomic structure representations for accurately predicting descriptors at metallic interfaces. [PDF]
Nat CommunCai C, Wang T.
europepmc +1 more source
Context‐free graphs and their transition groups
Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.Abstract Starting from context‐free inverse graphs, we introduce a new class of groups and study their structural properties. We establish closure properties, show that their coword problems are context‐free, analyze torsion elements, and realize them as subgroups of the asynchronous rational group.
Daniele D'Angeli +3 more
wiley +1 more source