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 ...

EPFL2024

Bayes 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 ...

IEEE2023

Adversarial vulnerability bounds for Gaussian process classification

Kathrin Grosse

Protecting ML classifiers from adversarial examples is crucial. We propose that the main threat is an attacker perturbing a confidently classified input to produce a confident misclassification. We consider in this paper the attack in which a small number ...

2023

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata

Rodrigo Raya

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 ...

2023

A 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 ...

2023

Quantification 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

Quantification of Strand Accessibility in Biostable DNA Origami with Single-Staple Resolution

Maartje Martina Cornelia Bastings, Alice Comberlato

DNA-based nanostructures are actively gaining interest as tools for biomedical and therapeutic applications following the recent development of protective coating strategies prolonging structural integrity in physiological conditions. For tailored biologic ...

AMER CHEMICAL SOC2021

In-flow electrochemical detection of chemicals in droplets with pyrolysed photoresist electrodes: application as a module for quantification of microsampled dopamine

Philippe Renaud, Arnaud Bertsch, Joan Teixidor, Albert René Yvon Leroy

The electrochemical quantification of analytes in droplets of PBS separated by a fluorinated phase was investigated. PDMS-fused silica chips with pyrolysed photoresist electrodes were prepared using a simple fabrication technique and used to analyze drople ...

ROYAL SOC CHEMISTRY2021

Automated Analysis of Cerebrospinal Fluid Flow and Motile Cilia Properties in The Central Canal of Zebrafish Embryos

François Gallaire, Ludovic Pierre Gustave Keiser

Circulation of cerebrospinal fluid (CSF) plays an important role during development. In zebrafish embryo, the flow of CSF has been found to be bidirectional in the central canal of the spinal cord. In order to compare conditions and genetic mutants across ...

BIO-PROTOCOL2021

Analyzing glycans cleaved from a biotherapeutic protein using a combination of ion mobility spectrometry and cryogenic ion spectroscopy

Natalia Yalovenko

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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.