A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
D’Agostini, A Multidimensional unfolding method based on Bayes’ theorem, Nucl
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
verdicts
UNVERDICTED 6roles
method 1polarities
use method 1representative citing papers
Differential cross-sections and their ratio for t-channel single top production are measured at parton level with 140 fb^{-1} of ATLAS data and interpreted in an EFT framework to bound the Wilson coefficient C^{3,1}_{Qq}.
Adaptive high-order and low-order dissipative fluxes augment central-difference schemes to enforce scalar boundedness in multi-component turbulent flows with minimal added dissipation.
EEG source imaging shows strong dependence between forward source model choice and inverse method success, with point-like source models matching best to dipole-scanning inverses.
A Raspberry Pi camera with scintillation screen achieves 25 lp/mm MTF20 under 50-70 kV X-rays in a modular portable package.
Reflective photocathode configurations are proposed for PICOSEC detectors to increase robustness and enable low-pressure operation.
citing papers explorer
-
Formulations for scalar boundedness in simulations of turbulent compressible multi-component flows using high-order finite-difference methods
Adaptive high-order and low-order dissipative fluxes augment central-difference schemes to enforce scalar boundedness in multi-component turbulent flows with minimal added dissipation.