Results 81 to 90 of about 15,515 (151)

Sherlock Holmes Doesn't Play Dice: The Mathematics of Uncertain Reasoning When Something May Happen, That You Are Not Even Able to Figure Out. [PDF]

Entropy (Basel)
Fioretti G.
europepmc   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Update rules and semantic universals. [PDF]

Linguist Philos, 2023
Incurvati L, Sbardolini G.
europepmc   +1 more source

Best constants in subelliptic fractional Sobolev and Gagliardo-Nirenberg inequalities and ground states on stratified Lie groups. [PDF]

Calc Var Partial Differ Equ
Ghosh S, Kumar V, Ruzhansky M.
europepmc   +1 more source

Hermitian and Unitary Almost-Companion Matrices of Polynomials on Demand. [PDF]

Entropy (Basel), 2023
Markovich LA, Migliore A, Messina A.
europepmc   +1 more source

Cones of Noether-Lefschetz divisors and moduli spaces of hyperkähler manifolds. [PDF]

Math Ann
Barros I, Beri P, Flapan L, Williams B.
europepmc   +1 more source

Active Inference and Functional Parametrisation: Differential Flatness and Smooth Random Realisation. [PDF]

Entropy (Basel)
Mounier H, Parr T, Friston K.
europepmc   +1 more source

Normalisers of Reflexive Operator Algebras

Irish Mathematical Society Bulletin, 2009
openaire   +1 more source

Nonlinear SPDEs and Maximal Regularity: An Extended Survey. [PDF]

Nonlinear Differ Equ Appl
Agresti A, Veraar M.
europepmc   +1 more source