Publications related to Formal language

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

Private Message Franking with After Opening Privacy

Serge Vaudenay, Iraklis Leontiadis

Recently Grubbs et al. [GLR17] initiated the formal study of message franking protocols. This new type of service launched by Facebook, allows the receiver in a secure messaging application to verifiably report to a third party an abusive message some send ...

2023

Public-Key Encryption with Quantum Keys

Khashayar Barooti

In the framework of Impagliazzo's five worlds, a distinction is often made between two worlds, one where public-key encryption exists (Cryptomania), and one in which only one-way functions exist (MiniCrypt). However, the boundaries between these worlds can ...

Springer International Publishing Ag2023

A Formal Model of Extended Tonal Harmony

Martin Alois Rohrmeier, Fabian Claude Moss

Extended tonality is a central system that characterizes the music from the 19th up to the 21st century, including styles like popular music, film music or Jazz. Developing from classical major-minor tonality, the harmonic language of extended tonality for ...

2021

The experience of musical structure as computation : what can we learn?

Martin Alois Rohrmeier, Steffen Alexander Herff, Gabriele Cecchetti, Christoph Finkensiep

This paper presents an overview of the epistemological grounding of the computational approach to musical syntax as a tool to advance our understanding of the cognitive underpinnings of the musical experience. From the proposed perspective, formulations of ...

2021

Geosciences Roadmap for Research Infrastructures 2025–2028 by the Swiss Geosciences Community

Athanasios Nenes, Horst Vogel, Othmar Müntener, Lukas Baumgartner

This community roadmap presents an integrative approach including the most urgent infrastructure requests for the future development of geosciences in Switzerland. It recommends to strengthen the multidisciplinary nature of the geosciences by putting all a ...

Swiss Academy of Sciences (SCNAT)2021

A unified framework for Hamiltonian deep neural networks

Giancarlo Ferrari Trecate, Clara Lucía Galimberti, Liang Xu

Training deep neural networks (DNNs) can be difficult due to the occurrence of vanishing/explod- ing gradients during weight optimization. To avoid this problem, we propose a class of DNNs stemming from the time discretization of Hamiltonian systems. The t ...

2021

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

Variance-Reduced Stochastic Learning Under Random Reshuffling

Ali H. Sayed, Bicheng Ying, Kun Yuan

Several useful variance-reduced stochastic gradient algorithms, such as SVRG, SAGA, Finito, and SAG, have been proposed to minimize empirical risks with linear convergence properties to the exact minimizer. The existing convergence results assume uniform d ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Wavelet-Based Moment-Matching Techniques for Inertial Sensor Calibration

Jan Skaloud, Stéphane Guerrier, Mehran Khaghani

The task of inertial sensor calibration has required the development of various techniques to take into account the sources of measurement error coming from such devices. The calibration of the stochastic errors of these sensors has been the focus of incre ...

2020

Wanted: A standard for virtual patent marking

Gaétan Jean A de Rassenfosse, Kyle William Higham

Patent marking is used by patentees to provide a form of notice to the public about the existence of a patent and can increase damages awarded in cases of infringement. Historically, marking is done by listing the associated patents on the product they cov ...

OXFORD UNIV PRESS2020

Computational Design of Steady 3D Dissection Puzzles

Bailin Deng, Peng Song, Xiaofei Wang

Dissection puzzles require assembling a common set of pieces into multiple distinct forms. Existing works focus on creating 2D dissection puzzles that form primitive or naturalistic shapes. Unlike 2D dissection puzzles that could be supported on a tabletop ...

WILEY2019

Architectural Sampling: A Formal Basis for Machine-Learnable Architecture

Immanuel Chee Beng Koh

The spatial and formal conception of architecture, and thus its modes of design perception and representation, directly contributes to its machine-learnability; and consequently, its capacity in leveraging today's machine learning apparatus for design inno ...

EPFL2019

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

Model-based predictive control methods for distributed energy resources in smart grids

Luca Fabietti

This thesis develops optimization-based techniques for the control of distributed energy resources to provide multiple services to the power network. It is divided into three parts. The first part of this thesis focuses on the development of a framework f ...

EPFL2019

Convergence Of Variance-Reduced Learning Under Random Reshuffling

Ali H. Sayed, Bicheng Ying, Kun Yuan

Several useful variance-reduced stochastic gradient algorithms, such as SVRG, SAGA, Finito, and SAG, have been proposed to minimize empirical risks with linear convergence properties to the exact minimizers. The existing convergence results assume uniform ...

IEEE2018

Optimized Data Representation for Interactive Multiview Navigation

Pascal Frossard, Thomas Maugey, Rui Ma

In contrary to traditional media streaming services where a unique media content is delivered to different users, interactive multiview navigation applications enable users to choose their own viewpoints and freely navigate in a three-dimensional scene. Th ...

2018

Theory and Practice of Coroutines with Snapshots

Aleksandar Prokopec, Fengyun Liu

While event-driven programming is a widespread model for asynchronous computing, its inherent control flow fragmentation makes event-driven programs notoriously difficult to understand and maintain. Coroutines are a general control flow construct that can ...

2018

Espace public comme objet per se? Une analyse critique de la conception contemporaine

Sonia Monique Curnier

The recognition during the second half of the 20th century of the essential role played by public spaces in the definition of qualitative urban life has led to a reconsideration of their design. This has occurred in many different forms, such as the emerge ...

EPFL2018

Integration of passenger satisfaction in railway timetable rescheduling for major disruptions

Stefan Yves Gabriel Binder

Unexpected disruptions occur for many reasons in railway networks and cause delays, cancellations, and, eventually, passenger inconvenience. This thesis focuses on the railway timetable rescheduling problem from a macroscopic point of view in case of lar ...

EPFL2018