Concept
Completeness (order theory)
Publications associées (23)
The Completion Of Covariance Kernels
Victor Panaretos, Kartik Waghmare
We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain Omega of a rectangular domain I x I to a covariance kernel on the entire domain I x I. For a broad class of domains Omega call ...
INST MATHEMATICAL STATISTICS-IMS2022Quantifying the Solution Structure of Metal Nanoclusters Using Small-Angle Neutron Scattering
Francesco Stellacci, Stefan Guldin, Ye Yang, Zhi Luo, Huayan Yang
Metal nanoclusters are a unique class of synthetic material, as their crystal structures can be resolved using X-ray diffraction, and their chemical formula can be precisely determinated from mass spectroscopy. However, a complete structure characterizatio ...
WILEY-V C H VERLAG GMBH2022Shannon Bounds on Lossy Gray-Wyner Networks
Michael Christoph Gastpar, Erixhen Sula
The Gray-Wyner network subject to a fidelity criterion is studied. Upper and lower bounds for the trade-offs between the private sum-rate and the common rate are obtained for arbitrary sources subject to mean-squared error distortion. The bounds meet exact ...
2022The completeness of the generalized eigenfunctions and an upper bound for the counting function of the transmission eigenvalue problem for Maxwell equations
Hoài-Minh Nguyên, Jean Louis-Alexandre Fornerod
Cakoni and Nguyen recently proposed very general conditions on the coefficients of Maxwell equations for which they established the discreten ess of the set of eigenvalues of the transmission problem and studied their locations. In this paper, we establish ...
2021Verified Functional Programming
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
EPFL2019