Concept
Existential quantification
Related publications (116)
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 Complexity of Checking Non-Emptiness in Symbolic Tree Automata
We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted word ...
2023Quantification 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 ...
2021Analyzing glycans cleaved from a biotherapeutic protein using a combination of ion mobility spectrometry and cryogenic ion spectroscopy
The characterization of biomolecules plays a central role in biomedical research. The development of state-of-the-art technologies is needed to make such analyses faster, more sensitive, and more accurate. While mass spectrometry continues to play a centra ...
EPFL2021