Concept
Langage formel
Publications associées (140)
Architecture and Abstraction
In this theoretical study of abstraction in architecture—the first of its kind—Pier Vittorio Aureli argues for a reconsideration of abstraction, its meanings, and its sources. Although architects have typically interpreted abstraction in formal terms—the p ...
The MIT Press2023Interpreting 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 ...
Hoboken2023Private 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 ...
2023The Return of the Piazza: Tirana, and the Politics of Urban Renaissance
This essay discusses about the renovation project for Skanderbeg Square in Tirana, designed by Belgium office 51N4E. The text put forward a critical reading of the project within the framework of the politics of the ‘Urban Renaissance’, launched by Prime M ...
2023Distributed Lossy Computation with Structured Codes: From Discrete to Continuous Sources
Michael Christoph Gastpar, Sung Hoon Lim, Adriano Pastore, Chen Feng
This paper considers the problem of distributed lossy compression where the goal is to recover one or more linear combinations of the sources at the decoder, subject to distortion constraints. For certain configurations, it is known that codes with algebra ...
2023Spaces
Public space manifests itself as the physical fundament of public life in European democracies. This chapter elaborates on the culture of public space and how it characterises European design. As Europe diverges in political cultures and histories, economi ...
Blauwdruk Publishers2022Matchertext: Towards Verbatim Interlanguage Embedding
Embedding text in one language within text of another is commonplace for numerous purposes, but usually requires tedious and error-prone “escaping” transformations on the embedded string. We propose a simple cross-language syntactic discipline, matchertext ...
2022Lower Bounds for Unambiguous Automata via Communication Complexity
Mika Tapani Göös, Weiqiang Yuan
We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. 1) Complement: There is a language L recognised by an n-state UFA such that the complement language ...
Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022A 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 ...
2021The 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