Concept
Universal quantification
Related publications (144)
Thermo-hydro-mechanical behaviour of the Callovo-Oxfordian claystone under thermal changes
Underground storage of radioactive waste is consensually recognised as the safest storage solution by European and worldwide countries relying mainly or partially on nuclear energy production. Over twenty years of research led by the French national agency ...
EPFL2024Bayes Security: A Not So Average Metric
Carmela González Troncoso, Giovanni Cherubin
Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...
IEEE2023The Impact of Data Persistence Bias on Social Media Studies
Social media studies often collect data retrospectively to analyze public opinion. Social media data may decay over time and such decay may prevent the collection of the complete dataset. As a result, the collected dataset may differ from the complete data ...
New York2023A novel methodology to identify and quantify deepwater-renewal processes during winter cooling in a large, deep lake (Lake Geneva)
David Andrew Barry, Ulrich Lemmin, Naifu Peng, François Mettra, Rafael Sebastian Reiss
We propose a novel methodology – heat budget decomposition – to identify and quantify different deepwater-renewal processes during a very cold spell in 2012 in a large, deep lake (Lake Geneva, 309-m depth). Combined with field observations and numerical mo ...
2023On the Validity of Consensus
Rachid Guerraoui, Jovan Komatovic, Pierre Philippe Civit, Manuel José Ribeiro Vidigueira, Seth Gilbert
The Byzantine consensus problem involves.. processes, out of which t < n could be faulty and behave arbitrarily. Three properties characterize consensus: (1) termination, requiring correct (nonfaulty) processes to eventually reach a decision, (2) agreement ...
New York2023Quantification of magic angle spinning dynamic nuclear polarization NMR spectra
David Lyndon Emsley, Pierrick Berruyer, Andrea Bertarello
Dynamic nuclear polarization (DNP) allows to dramatically enhance the sensitivity of magic angle spinning nuclear magnetic resonance (MAS NMR). DNP experiments usually rely on the detection of low-γ nuclei hyperpolarized from 1H with the use of cross polar ...
2021