Publications associées à Open Bisimulation, Revisited

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

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

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

IRGC Guidelines for the Governance of Systemic Risks

Marie-Valentine Renée Agnès Florin, Anjali Devi Vanapilli Nursimulu

IRGC’s guidelines for the governance of systemic risks addresses the question of how to deal with systemic risks in the context of system transitions, i.e., in situations that require adaptation to new context conditions or transformation of an organisatio ...

International Risk Governance Center (IRGC)2018

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

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

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

Online Modulation of the Level of Assistance in Shared Control Systems

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Robert Leeb, Tom Edward Carlson

In this paper we propose a method to modulate the level of assistance provided by a shared controller, not only given the environmental context, but also according to the context of the user’s current behaviour. We show that the enhanced situational contex ...

2012

Using Social Media for Collaborative Learning in Higher Education: A Case Study

Denis Gillet, Na Li

This paper investigates the acceptability of using social media for collaborative learning in the context of higher education. A social media platform, Graasp, is used to support students’ learning activities in a project-based course. An evaluation of Gra ...

2012

What if ... ? Utility vision 2020

Future climate frameworks, the localization of energy policy, energy-water linkages, consumer-driven innovation, are among the key words that keep utility strategists awake. This essay is an attempt to put these questions into context and derive a possible ...

Elsevier2008

Item-Level RFID in the Retail Supply Chain

Ralf Seifert

Analyzing the proliferation of item-level RFID, recent studies have identified the cost sharing of the technology as a gating issue. Various qualitative studies have predicted that conflict will arise, in particular in decentralized supply chains, from the ...

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