Publications associées à Universal quantification

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

The Impact of Data Persistence Bias on Social Media Studies

Tugrulcan Elmas

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

Assoc Computing Machinery2023

Decision Procedures for Power Structures

Rodrigo Raya

We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...

EPFL2023

On the Validity of Consensus

Rachid Guerraoui, Jovan Komatovic, Manuel José Ribeiro Vidigueira, Pierre Philippe Civit, 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 ...

Assoc Computing Machinery2023

Discovering Influencers in Opinion Formation Over Social Graphs

Ali H. Sayed, Mert Kayaalp, Valentina Shumovskaia, Mert Cemri

The adaptive social learning paradigm helps model how networked agents are able to form opinions on a state of nature and track its drifts in a changing environment. In this framework, the agents repeatedly update their beliefs based on private observation ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

NP Satisfiability for Arrays as Powers

Viktor Kuncak, Rodrigo Raya

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...

Springer, Cham2022

A note on universal inference

Anthony Christopher Davison, Timmy Rong Tian Tse

Universal inference enables the construction of confidence intervals and tests without regularity conditions by splitting the data into two parts and appealing to Markov's inequality. Previous investigations have shown that the cost of this generality is a ...

WILEY2022

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

Academic Press Inc - Elsevier Science2021

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

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

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

Toward an objective assessment of mobility in clinical and daily activity settings

Arash Atrsaei

Quantification of mobility is the key to monitor the progression of mobility disorders as well as the effect of an intervention. Inertial measurement units (IMUs) with dedicated algorithms can quantify postural transitions and gait as the two key aspects o ...

EPFL2021

On the use of leaf water to determine plant water source: A proof of concept

Paolo Benettin

Source water apportionment studies using the dual isotopes of oxygen and hydrogen have revolutionized our understanding of ecohydrology. But despite these developments-mostly over the past decade-many technical problems still exist in terms of linking xyle ...

WILEY2021

Static and dynamic properties of non-collinear quantum antiferromagnets explored by neutron scattering

Luc Testa

This thesis is devoted to the investigation of static and dynamic properties of two different sets of quantum magnets with neutron scattering techniques and the help of linear spin wave theory. Both systems are copper-based with spin-1/2, which makes them ...

EPFL2021

Modelling the Intracellular Environment under Uncertainty, from Post-translational Modification to Metabolic Networks

Robin Alexander Denhardt-Eriksson

Modelling and analysis of biological systems is crucial in order to quantitatively explain and predict their behaviour. The importance of modelling in systems biology becomes even more evident when tackling complex, large systems. Approaches that rely on ...

EPFL2021

Proof-of-concept analytical instrument for label-free optical deconvolution of protein species in a mixture

Gabriel Aeppli

The adoption of process analytical technologies by the biopharmaceutical industry can reduce the cost of therapeutic drugs and facilitate investigation of new bioprocesses. Control of critical process parameters to retain critical product quality attribute ...

ELSEVIER2021

An Overview of Serum Albumin Interactions with Biomedical Alloys

Stefano Mischler, Anna Neus Igual Muñoz, Oksana Klok

Understanding the interactions between biomedical alloys and body fluids is of importance for the successful and safe performance of implanted devices. Albumin, as the first protein that comes in contact with an implant surface, can determine the biocompat ...

2020

Experimental study of impulse waves generated by viscoplastic fluid

Zhenzhu Meng

Landslide-generated waves, also called impulse waves, occur as a result of the intrusion of landslides (such as rock falls, debris flows, and avalanches) into bodies of water (such as lakes, reservoirs, and seas). The objective of this thesis was to study ...

EPFL2020

Quantifying the information impact of future searches for exoplanetary biosignatures

Claudio Grimaldi

One of the major goals for astronomy in the next decades is the remote search for biosignatures (i.e., the spectroscopic evidence of biological activity) in exoplanets. Here we adopt a Bayesian statistical framework to discuss the implications of such futu ...

National Academy of Sciences2020