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
-
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
-
Probing $t$-channel single top-quark and antiquark production via differential cross-section measurements at $\sqrt{s}=$\SI{13}{\TeV} with the ATLAS detector
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}.
-
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.
-
Forward--Inverse Interplay in FEM-Based EEG Source Imaging: Distributional Signatures of Advanced Source Models and Inverse Solvers
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.
-
Development and characterization of the efficient portable X-ray imaging device based on Raspberry Pi camera
A Raspberry Pi camera with scintillation screen achieves 25 lp/mm MTF20 under 50-70 kV X-rays in a modular portable package.
-
Towards a Reflective PICOSEC detector?
Reflective photocathode configurations are proposed for PICOSEC detectors to increase robustness and enable low-pressure operation.