Publications related to Context-free grammar

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

Interpreting Rhythm as Parsing: Syntactic-Processing Operations Predict the Migration of Visual Flashes as Perceived During Listening to Musical Rhythms

Martin Alois Rohrmeier, Steffen Alexander Herff, Gabriele Cecchetti

Music can be interpreted by attributing syntactic relationships to sequential musical events, and, computationally, such musical interpretation represents an analogous combinatorial task to syntactic processing in language. While this perspective has been ...

Wiley2023

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

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

Method for Design Materialization (MDM) for artists, educators and archivists: an introduction

This contribution argues for the potential of Barr, Khaled and Lessard’s Method for Design Materialization (MDM) as a research through design tool that is specifically suited for new media preservation. Building moreover from the ISEA first and second Summ ...

2023

Quand les artistes font forme en habitant ensemble. Usages, présences, imaginaires

Mathilde Coline Chénin

Taking root within a historical and transversal perspective of communities of artists at work, and of the relationship that they nourish with the places that host their creative activity, the present research intends to bring to light the grammars of "the ...

EPFL2022

Grammar-based generation of bar networks in static equilibrium with bounded bar lengths

Corentin Jean Dominique Fivet, Ioannis Mirtsopoulos

This paper presents a generative approach for the conceptual design of structures, which aims at exploring alternative bar networks in static equilibrium by means of a grammar rule. Operating on incomplete networks of bars in interim static equilibrium, th ...

2021

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

Gramatron: Effective Grammar-Aware Fuzzing

Mathias Josef Payer

Fuzzers aware of the input grammar can explore deeper program states using grammar-aware mutations. Existing grammar-aware fuzzers are ineffective at synthesizing complex bug triggers due to: (i) grammars introducing a sampling bias during input generation ...

ASSOC COMPUTING MACHINERY2021

Zippy LL(1) Parsing with Derivatives

Viktor Kuncak, Romain Edelmann, Jad Hamza

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

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

The Learnability of the Grammar of Jazz: Bayesian Inference of Hierarchical Structures in Harmony

Daniel Harasim

Musical grammar describes a set of principles that are used to understand and interpret the structure of a piece according to a musical style. The main topic of this study is grammar induction for harmony --- the process of learning structural principles f ...

EPFL2020

A Unifying Representer Theorem for Inverse Problems and Machine Learning

Michaël Unser

Regularization addresses the ill-posedness of the training problem in machine learning or the reconstruction of a signal from a limited number of measurements. The method is applicable whenever the problem is formulated as an optimization task. The standar ...

2021

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

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

Modes and Existences in Citizen Science: Thoughts from Earthquake Country

In the Bay Area of San Francisco, the earthquake contours are not easy to define: seismology is still a relatively recent science, and controversies around methods to evaluate the earthquake risk are constant. In this context, the invitation to think about ...

2019

Regularity results for rough solutions of the incompressible Euler equations via interpolation methods

Maria Colombo, Luigi Forcella, Luigi De Rosa

Given any solutionuof the Euler equations which is assumed to have some regularity in space-in terms of Besov norms, natural in this context-we show by interpolation methods that it enjoys a corresponding regularity in time and that the associated pressure ...

IOP2019

Structural Adaptation through Stiffness Tuning

Gennaro Senatore

Adaptive design strategies have been employed to improve structural performances in terms of load-bearing efficiency and energetic impact as well as to achieve multi-functionality. In this work, we investigate a passive adaptation strategy that employs var ...

2019

CS2 Reductive Coupling to Acetylenedithiolate by a Dinuclear Ytterbium(II) Complex

Rosario Scopelliti, Marinella Mazzanti, Julie Renée Michelle Andrez, Davide Toniolo

The activation of CS2 is of interest in a broad range of fields and more particularly in the context of creating new C‐C bonds. The reaction of the dinuclear ytterbium(II) complex [Yb2L4], 1, (L = (OtBu)3SiO‐) with carbon disulphide led to the isolation of ...

2019