Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach

Berthaut, Florent; Janin, David; Martin, Benjamin

doi:10.1142/s1793351x12400132

Cited by 12 publications

(10 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Let L ⊆ T (A) be a language of tiles. For all u 0 , v 0 ∈ A * , we say that the word u 0 is equivalent to the word v 0 with respect to the language L, which is denoted by u 0 L v 0 , when for all w 1 , w 2 , w 3 and w 4…”

Section: Mso-definable Languagesmentioning

confidence: 99%

“…Oddly enough, our interest in languages of positive tiles came from application perspectives in computational music theory [21]. In particular, tiles and continuous variants may be used to describe advanced synchronization mechanisms between musical patterns [4,27]; an approach that leads to new programming features for music system design [28,18].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

Sroka

Chrząstowski-Wachtel

Hidders

2015

View full text Add to dashboard Cite

We consider classes of languages of overlapping tiles, i.e., subsets of the McAlister monoid: the class REG of languages definable by Kleene's regular expressions, the class MSO of languages definable by formulas of monadic second-order logic, and the class REC of languages definable by morphisms into finite monoids. By extending the semantics of finite-state two-way automata (possibly with pebbles) from languages of words to languages of tiles, we obtain a complete characterization of the classes REG and MSO. In particular, we show that adding pebbles strictly increases the expressive power of twoway automata recognizing languages of tiles, but the hierarchy induced by the number of allowed pebbles collapses to level one.

show abstract

Section: Mso-definable Languagesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

Sroka

Chrząstowski-Wachtel

Hidders

2015

View full text Add to dashboard Cite

show abstract

“…Doing so, synchronization specifications have thus been internalized in some sense into the audio streams themselves, much like music bars in a music score. The resulting algebra [2], with product, left and right projections, and some other operators acting on tempos, provides a fairly robust and versatile language for music composition. Further implementation experiments have been conducted in [21].…”

Section: The Semigroup/monoid Of Partial Observationsmentioning

confidence: 99%

Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

Janin

2014

SOFSEM 2014: Theory and Practice of Computer Science

Self Cite

View full text Add to dashboard Cite

International audienceRecent modeling experiments conducted in computational music give evidence that a number of concepts, methods and tools belonging to inverse semigroup theory can be attuned towards the concrete modeling of time-sensitive interactive systems. Further theoretical developments show that some related notions of higher-dimensional strings can be used as a unifying theme across word or tree automata theory. In this invited paper, we will provide a guided tour of this emerging theory both as an abstract theory and with a view to concrete applications

show abstract

“…Basic musical elements such as played notes and their durations, generally explicit in music application software, 3 get a bit lost in such an approach. They are not encoded as primitive objects.…”

Section: Introductionmentioning

confidence: 99%

Structured reactive programming with polymorphic temporal tiles

Archipoff

Janin

2016

Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design

Self Cite

View full text Add to dashboard Cite

In functional reactive programming (FRP), system inputs and outputs are generally modeled as functions over continuous time (behaviors) whose future values are governed by sudden changes (events). In this approach, discrete events are embedded into piece-wise continuous behaviors. In the field of reactive music system programming, we develop an orthogonal approach that seems to better fit our need. Much like piano keys can be played and combined both in sequence and in parallel, we model system inputs and outputs as spatio temporal combinations of what we call temporal values: continuous functions over time whose domain lays between two events: a start and a stop event. Various high level data types and program constructs can then be derived from such a model. They are shown to satisfy robust algebraic and category theoretic properties. Altogether, this eventually provides a simple, robust and elegant programming front-end, temporal tile programming, for reading, memorizing, stretching, combining and transforming flows of inputs into flows of outputs. Although at its infancy, the resulting approach has been experimentally validated for reactive and real-time music system programming.

show abstract

Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach

Cited by 12 publications

References 6 publications

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

Structured reactive programming with polymorphic temporal tiles

Contact Info

Product

Resources

About