Publications associées à IRGC Guidelines for the Governance of Systemic Risks

Publications associées (20)

Special termination for log canonical pairs

We prove the special termination for log canonical pairs and its generalisation in the context of generalised pairs. ...

Int Press Boston, Inc2023

E-Scan: Consuming Contextual Data with Model Plugins

Anastasia Ailamaki, Viktor Sanca

Extracting value and insights from increasingly heterogeneous data sources involves multiple systems combining and consuming the data. With multi-modal and context-rich data such as strings, text, videos, or images, the problem of standardizing the data mo ...

2023

Efficient Parsing with Derivatives and Zippers

Romain Edelmann

Parsing is the process that enables a computer system to make sense of raw data. Parsing is common to almost all computer systems: It is involved every time sequential data is read and elaborated into structured data. The theory of parsing usually focuses ...

EPFL2021

Early-Career Coordinated Distributed Experiments: Empowerment Through Collaboration

Luis Gómez Gener

Coordinated distributed experiments (CDEs) enable the study of large-scale ecological patterns in geographically dispersed areas, while simultaneously providing broad academic and personal benefits for the participants. However, the effective involvement o ...

2020

Individual differences in the Müller-Lyer and Ponzo illusions are stable across different contexts

Michael Herzog, Lukasz Grzeczkowski, Aline Françoise Cretenoud

Vision scientists have attempted to classify visual illusions according to certain aspects, such as brightness or spatial features. For example, Piaget proposed that visual illusion magnitudes either decrease or increase with age. Subsequently, it was sugg ...

Association for Research in Vision and Ophthalmology2020

The Politics of Participatory Sustainability Assessments: An Analysis of Power

Livia Bianca Fritz, Franziska Meinherz

The participation of societal actors has been advanced as the gold standard of sustainability assessment processes and is thought essential to dealing with the plurality of normative claims surrounding sustainability and the need to take decisions in a con ...

Cambridge University Press2020

Zippy LL(1) Parsing with Derivatives

Viktor Kuncak, Jad Hamza, Romain Edelmann

In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the ...

ASSOC COMPUTING MACHINERY2020

A Digital Platform connecting Academia and Small Businesses: An opportunity for Knowledge Management Experiments

Quentin Adrien Cavillier

Digital transformation is one of the biggest phenomena of this decade. One enabler of this revolution was cloud computing. Today, software engineers can deliver software as a service (SaaS), which is accessible to users through the Internet. Slack, Shopify ...

EPFL2019

Towards housing sustainability: a framework for the decision-making process of tenants

Claudia Rebeca Binder Signer, Anna Pagani

The mismatch between the supply and demand of rental apartments in Switzerland represents an obstacle to the transition towards a more sustainable society. The difficulty for the housing providers to accommodate the fast societal change of the demand bring ...

IOP Publishing Ltd2019

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Simplicitly: Foundations and Applications of Implicit Function Types

Martin Odersky, Heather Christine Klug, Sandro Stucki, Fengyun Liu, Olivier Eric Paul Blanvillain

Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...

2017

Synthesis and Reactivity of 1-Allenyltriazenes

Rosario Scopelliti, Kay Severin, Farzaneh Fadaei Tirani, Loïc Nicolas Jeanbourquin

1-Aryl-3,3-dialkyltriazenes have received considerable attention in the context of synthetic and medicinal chemistry. In contrast, the chemistry of other unsaturated triazenes is largely unexplored. The synthesis of 1-allenyltriazenes is described. This ne ...

2017

SLA: to Sign or Not to Sign

Alain Wegmann, Gil Regev, Gorica Tapandjieva Sekulovska

We present our experience of a three-week fieldwork in the form of a contextual inquiry with a service manager at the EPFL IT department. During these three weeks, we encounter a refusal of a user committee to sign a service-level agreement (SLA). We descr ...

CEUR Workshop Proceedings2016

Aggregation of Power Capabilities of Heterogeneous Resources for Real-Time Control of Power Grids

Mario Paolone, Jean-Yves Le Boudec, Lorenzo Enrique Reyes Chamorro, Andrey Bernstein, Wajeb Saab

Aggregation of electric resources is a fundamental function for the operation of power grids at different time scales. In the context of a recently proposed framework for the real-time control of microgrids with explicit power setpoints, we define and form ...

Università degli Studi di Genova, Italy2016

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...

2015

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose

Boi Faltings, Claudiu-Cristian Musat, Marina Boia

One of the reasons sentiment lexicons do not reach human-level performance is that they lack the contexts that define the polarities of words. While obtaining this knowledge through machine learning would require huge amounts of data, context is commonsens ...

Springer-Verlag Berlin2014

Pattern-wise trust assessment of sensor data

Karl Aberer, Mehdi Riahi, Robert Gwadera

One of the most important tasks of a sensor network (SN) is to detect occurrences of interesting events in the monitored environment. However, data measured by SN is often affected by errors. We investigate the problem of assessing trustworthiness (trust) ...

2014

Venture Capitalists in Firm Governance: Impact on Founder Turnover

Anu Wadhwa

Prior literature tells us VCs are responsible for ousting founders from their leadership positions and replacing them with professional management around IPO time. This argument assumes all founders are equally incapable of running a company beyond the ini ...

2010

Open Bisimulation, Revisited

Sébastien Briais

In the context of the pi calculus, open bisimulation is prominent and popular due to its congruence properties and its easy implementability. Motivated by the attempt to generalise it to the spi calculus, we offer a new, more refined definition and show in ...

2007

Evaluation of Input Parameterization for Batch Process Optimization

Dominique Bonvin, Alejandro Gabriel Marchetti, Carsten Welz

For the optimization of dynamic systems, it is customary to use measurements to combat the effect of uncertainty. In this context, an approach that consists of tracking the necessary conditions of optimality is gaining in popularity. The approach relies st ...

2006