Concept

Lindström quantifier

Publications associées (53)

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

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

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

Secondary ice production in NorESM2 climate model: quantifying the impact on Arctic clouds

Athanasios Nenes, Georgia Sotiropoulou

Arctic clouds are among the largest sources of uncertainty in predictions of Arctic weather and climate. This is mainly due to errors in the representation of the cloud thermodynamic phase and the associated radiative impacts, which largely depends on the ...

Copernicus2021

An Overview of Serum Albumin Interactions with Biomedical Alloys

Stefano Mischler, 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 ...

MDPI2020

Quantifying Commitment in Nash Equilibria

Thomas Alois Weber

To quantify a player's commitment in a given Nash equilibrium of a finite dynamic game, we map the corresponding normal-form game to a "canonical extension," which allows each player to adjust his or her move with a certain probability. The commitment meas ...

2019

Analysis of the sensitivity of the hydromorphological index of diversity, HMID

Anton Schleiss, Walter Gostner, Mário Jorge Rodrigues Pereira Da Franca, Severin Stähly, Christopher Robinson

Hydromorphological conditions are a key factor for the habitat diversity in riverine ecosystems. The Hydromorphological Index of Diversity (HMID) is a tool to quantify the habitat diversity in a river reach based on local flow depths and flow velocities. T ...

2018

Quantifying Interdependent Privacy Risks with Location Data

Jean-Pierre Hubaux, Mathias Jacques Jean-Marc Humbert, Kévin Clément Huguenin, Reza Shokri, Alexandra-Mihaela Olteanu

Co-location information about users is increasingly available online. For instance, mobile users more and more frequently report their co-locations with other users in the messages and in the pictures they post on social networking websites by tagging the ...

Ieee Computer Soc2017

Automating Verification of Functional Programs with Quantified Invariants

Viktor Kuncak, Nicolas Charles Yves Voirol

We present the foundations of a verifier for higher-order functional programs with generics and recursive algebraic data types. Our ver- ifier supports finding sound proofs and counterexamples even in the presence of certain quantified invariants and recur ...

2016

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search