Categorical Smoothness of 4-Manifolds from Quantum Symmetries and the Information Loss Paradox. [PDF]
Entropy (Basel), 2022 Król J, Asselmeyer-Maluga T.
europepmc +1 more source
Indeterminateness and `The' Universe of Sets: Multiversism, Potentialism, and Pluralism [PDF]
In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism.
Barton, Neil
core
An analysis of test data selection criteria using the RELAY model of fault detection [PDF]
, 1992 RELAY is a model of faults and failures that defines failure conditions, which describe test data for which execution will guarantee that a fault originates erroneous behavior that also transfers through computations and information flow until a failure ...
Richardson, Debra J. +1 more
core
, 2017 Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology.
Aiguier, Marc, Bloch, Isabelle
core
, 2005 What are the most general principles in set theory relating forceability and truth? As with Solovay's celebrated analysis of provability, both this question and its answer are naturally formulated with modal logic.
Hamkins, Joel David, Loewe, Benedikt
core +1 more source
The effect of mutational robustness on the evolvability of multicellular organisms and eukaryotic cells. [PDF]
J Evol Biol, 2023 Jiang P, Kreitman M, Reinitz J.
europepmc +1 more source
Data assimilation in operator algebras. [PDF]
Proc Natl Acad Sci U S A, 2023 Freeman D +4 more
europepmc +1 more source
Completeness for the Complexity Class ∀∃R and Area-Universality. [PDF]
Discrete Comput Geom, 2023 Dobbins MG +3 more
europepmc +1 more source
The adoption of deep learning interpretability techniques on diabetic retinopathy analysis: a review. [PDF]
Med Biol Eng Comput, 2022 Lim WX, Chen Z, Ahmed A.
europepmc +1 more source
PROTOCOL: Participation in organised sport to improve and prevent adverse developmental trajectories of at-risk youth: A systematic review. [PDF]
Campbell Syst Rev, 2023 Filges T +3 more
europepmc +1 more source