Integer-Wise Functional Bootstrapping on TFHE: Applications in Secure Integer Arithmetics [PDF]
TFHE is a fast fully homomorphic encryption scheme proposed by Chillotti et al. in Asiacrypt’ 2018. Integer-wise TFHE is a generalized version of TFHE that can encrypt the plaintext of an integer that was implicitly presented by Chillotti et al., and ...
Hiroki Okada +2 more
doaj +4 more sources
Optimized Integer Aperture Bootstrapping for High-Integrity CDGNSS Applications
Integer Aperture Bootstrapping (IAB) is a crucial method for testing ambiguity acceptance in carrier-phase differential global navigation satellite system (CDGNSS) positioning. It has the advantage that integrity parameters, such as the failure rate, can
Jingbo Zhao +7 more
doaj +2 more sources
Vectorial integer bootstrapping: flexible integer estimation with application to GNSS [PDF]
AbstractIn this contribution, we extend the principle of integer bootstrapping (IB) to a vectorial form (VIB). The mathematical definition of the class of VIB-estimators is introduced together with their pull-in regions and other properties such as probability bounds and success rate approximations.
Peter J G Teunissen +2 more
exaly +4 more sources
Bootstrapping of integer concepts: the stronger deviant-interpretation challenge (and how to solve it) [PDF]
AbstractBeck (Cognition 158:110–121, 2017) presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey (The Origin of Concepts, 2009). According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system (OTS)
Markus Pantsar, Pantsar Markus
exaly +3 more sources
Fourier Ambiguity Validation for Carrier-Phase GNSS [PDF]
Carrier-phase ambiguity validation is essential to ensure the reliability of integer ambiguity resolution in high-precision GNSS positioning. Although integer equivariant (IE) estimators provide optimal integer candidates within their class, noise and ...
Peter J. G. Teunissen
doaj +2 more sources
Efficient Non-Interactive Discrete ReLU over CKKS Using Interpolation Look-Up Table [PDF]
Deploying neural networks on encrypted data requires efficient evaluation of nonlinear activations, especially the ReLU function, without decryption.
Zhigang Chen, Xinxia Song, Liqun Chen
doaj +2 more sources
Influence of ambiguity precision on the success rate of GNSS integer ambiguity bootstrapping [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peter J G Teunissen, Teunissen P J G
exaly +4 more sources
Success probability of integer GPS ambiguity rounding and bootstrapping [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peter J G Teunissen, Teunissen P J G
exaly +3 more sources
A mixed integer linear program to compress transition probability matrices in Markov chain bootstrapping [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roy Cerqueti +2 more
exaly +5 more sources
Integer aperture bootstrapping: a new GNSS ambiguity estimator with controllable fail-rate [PDF]
In this contribution, we introduce a new bootstrap-based method for Global Navigation Satellite System (GNSS) carrier-phase ambiguity resolution. Integer bootstrapping is known to be one of the simplest methods for integer ambiguity estimation with close-to-optimal performance. Its outcome is easy to compute due to the absence of an integer search, and
Peter J G Teunissen
exaly +3 more sources

