Results 1 to 10 of about 294 (117)
Privacy-Preserving Machine Learning With Fully Homomorphic Encryption for Deep Neural Network
IEEE Access, 2022 Fully homomorphic encryption (FHE) is a prospective tool for privacy-preserving machine learning (PPML). Several PPML models have been proposed based on various FHE schemes and approaches.
Joon-Woo Lee +10 more
doaj +1 more source
Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století
Filosofický časopis, 2022 Vopěnka’s Alternative Set Theory can be viewed both as an evolution and as a revolution: it is based on his previous experience with nonstandard universes, inspired by Skolem’s construction of a nonstandard model of arithmetic, and its inception has been
Haniková, Zuzana
doaj +1 more source
Satisfaction classes in nonstandard models of first-order arithmetic
, 2002 A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively ...
openaire +2 more sources
Steps Toward a Philosophy for Mathematicians. [PDF]
Math Intell, 2023 Fenstad JE.
europepmc +1 more source
A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmetic
, 2016 There are nonstandard models of normal open induction ($NOI$) for which $\mathbb{Z}$ is a direct summand of their additive group. We show that this is impossible for nonstandard models of $IE_2$.
openaire +2 more sources
Human verifications: Computable with truth values outside logic. [PDF]
Proc Natl Acad Sci U S A, 2023 Johnson-Laird PN +2 more
europepmc +1 more source
Destructibility and axiomatizability of Kaufmann models. [PDF]
Arch Math Log, 2022 Switzer CB.
europepmc +1 more source
On the Structure of Nonstandard Models of Arithmetic [PDF]
Proceedings of the American Mathematical Society, 1971 openaire +2 more sources
Comparative Performance of High-Throughput Methods for Protein pKa Predictions. [PDF]
J Chem Inf Model, 2023 Wei W, Hogues H, Sulea T.
europepmc +1 more source