Publications associées à Lindström quantifier

Publications associées (22)

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

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

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

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

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

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

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

Statistical Aspects of Wasserstein Distances

Victor Panaretos, Yoav Zemel

Wasserstein distances are metrics on probability distributions inspired by the problem of optimal mass transportation. Roughly speaking, they measure the minimal effort required to reconfigure the probability mass of one distribution in order to recover th ...

ANNUAL REVIEWS2019

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

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

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

Interactions between drifting snow and surface dynamics

Philip Crivelli

In the cryosphere, the snow cover is the fastest changing component. Amongst other characteristics, the snow cover acts as a resource of water or has the ability to reflect the suns radiation and therefore significantly influence the climate on a global sc ...

EPFL2018

Dust generation in tokamaks: Overview of beryllium and tungsten dust characterisation in JET with the ITER-like wall

Olivier Sauter, Martinus Adela Maria Gijs, Jonathan Graves, Ambrogio Fasoli, Stefano Coda, Basil Duval, Henri Weisen, Richard Pitts, Yves Martin, Javier García Hernández, Duccio Testa, Miguel Fernández Ruiz, Nicola Vianello, Robin Humphry-Baker, Sun Hee Kim, Federico Nespoli, Patrick Blanchard, Alessandro Pau, David Pfefferlé, Davide Galassi, Jonathan Marc Philippe Faustin, Cristian Sommariva, Hamish William Patten, Samuel Lanthaler, Jan Horacek, Yann Camenen, Bruno Emanuel Ferreira De Sousa Correia, José Pedro Rebelo Ferreira Marques, Mikhail Maslov, Marco Wischmeier, Dalziel Joseph Wilson, Liang Yao, Daniel Scott Alessi, Arnout Lodewijk M Beckers, Ana Francisca Leal Silva Soares, Jonnathan Cesar Hidalgo Acosta, Antonio José Pereira de Figueiredo, Partha Dutta, Pierre-Thomas Paul Brun, Pedro Camilo de Oliveira e Silva, Alberto Hernando de Castro, Julio Rodriguez, Vlad Trifa, Li Shuai, Rebecca Hill

Operation of the JET tokamak with beryllium and tungsten ITER-like wall provides unique opportunity for detailed studies on dust generation: quantity, morphology, location, etc. The programme carried out in response to ITER needs for safety assessment comp ...

2018

Quantifying Interdependent Privacy Risks with Location Data

Jean-Pierre Hubaux, Kévin Clément Huguenin, Mathias Jacques Jean-Marc Humbert, 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

Measurement, Data Interpretation, and Uncertainty Propagation for Fatigue Assessments of Structures

Ian Smith, Alain Nussbaumer, James-Alexandre Goulet, Romain Pasquier, Claire Acevedo, Luca D'Angelo

Real behavior of existing structures is usually associated with large uncertainty that is often covered by the use of conservative models and code practices for the evaluation of remaining fatigue lives. In order to make better decisions related to retrofi ...

American Society of Civil Engineers2016

Utilizing modeling, experiments, and statistics for the analysis of water-splitting photoelectrodes

Sophia Haussener, Yannick Kenneth Gaudy

A multi-physics model of a planar photoelectrochemical water-splitting device was developed, validated and used to identify and quantify the most significant materials-related bottlenecks in photoelectrochemical device performance. The model accounted for ...

Royal Society of Chemistry2016

Capital goods, measured TFP and growth: The case of Spain

Luis Franjo Garcia

The effect of investing in equipment and/or structures on TFP and long run growth is investigated here. We argue that economies can grow in spite of stagnant TFP if the investment rate is inefficiently high. We study the case of Spain where real GDP per wo ...

Elsevier Science Bv2016

Product Pricing in a Peer-to-Peer Economy

Thomas Alois Weber

The emergence of a collaborative economy has been driven by advances in information technology that allow consumers to borrow and rent goods among peers on a secondary sharing market. In a dynamic setting, consumers make intertemporal decisions about purch ...

Taylor and Francis Group2016

Big answers from small worlds: a user's guide for protist microcosms as a model system in ecology and evolution

Andrea Giometto, Florian Altermatt

Laboratory microcosm experiments using protists as model organisms have a long tradition and are widely used to investigate general concepts in population biology, community ecology and evolutionary biology. Many variables of interest are measured in order ...

Wiley-Blackwell2015

Quantum engineering of spin and anisotropy in magnetic molecular junctions

Klaus Kern, Markus Ternes

Single molecule magnets and single spin centres can be individually addressed when coupled to contacts forming an electrical junction. To control and engineer the magnetism of quantum devices, it is necessary to quantify how the structural and chemical env ...

Nature Publishing Group2015