Open Bisimulation, Revisited

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Open Bisimulation, Revisited

Chattez avec Graph Search

Special termination for log canonical pairs

E-Scan: Consuming Contextual Data with Model Plugins

Efficient Parsing with Derivatives and Zippers

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

The Politics of Participatory Sustainability Assessments: An Analysis of Power

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

IRGC Guidelines for the Governance of Systemic Risks

Simplicitly: Foundations and Applications of Implicit Function Types

Synthesis and Reactivity of 1-Allenyltriazenes

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

SLA: to Sign or Not to Sign

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

Automating Grammar Comparison

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

Pattern-wise trust assessment of sensor data

Online Modulation of the Level of Assistance in Shared Control Systems

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

What if ... ? Utility vision 2020

Item-Level RFID in the Retail Supply Chain

Evaluation of Input Parameterization for Batch Process Optimization