Publications associées à Special termination for log canonical pairs

E-Scan: Consuming Contextual Data with Model Plugins

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

A Research-Practice Partnership to Introduce Computer Science in Secondary School: Lessons from a Pilot Program

Francesco Mondada, Helena Kovacs, Jean-Philippe Pellet, Jessica Elke Dehler Zufferey, Barbara Bruno, Laila Abdelsalam El-Hamamsy

Context: Introducing Computer Science (CS) into formal education can be challenging, notably when considering the numerous stakeholders involved which include the students, teachers, schools, and policy makers. We believe these perspectives should be con ...

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, Aline Françoise Cretenoud, Lukasz Grzeczkowski

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

2020

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

Kazhdan's Property (T) and Property (FH) for measured groupoids

Christophe Michel Gippa

Introduced 50 years ago by David Kazhdan, Kazhdan's Property (T) has quickly become an active research area in mathematics, with a lot of important results. A few years later, this property has been generalized to discrete group actions by Robert J. Zimmer ...

EPFL2018

Simplicitly: Foundations and Applications of Implicit Function Types

Martin Odersky, Heather Christine Klug, Fengyun Liu, Sandro Stucki, 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