Publications HAL du labo/EPI mutant

2017

Conference papers

titre
Typing heterogeneous dataflow graphs for static buffering and scheduling
auteur
Pierre Donat-Bouillud, Jean-Louis Giavitto
article
ICMC 2017 - 43rd International Computer Music Conference, Oct 2017, Shanghai, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01585489/file/antescofo_icmc2017.pdf BibTex
titre
Generating equivalent rhythmic notations based on rhythm tree languages
auteur
Florent Jacquemard, Adrien Ycart, Masahiko Sakai
article
Third International Conference on Technologies for Music Notation and Representation (TENOR), Helena Lopez Palma and Mike Solomon, May 2017, Coroña, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01403982/file/equiv-rhythm.pdf BibTex

Book sections

titre
Interaction-based Programming in MGS
auteur
Antoine Spicher, Jean-Louis Giavitto
article
Andrew Adamatzky. Advances in Unconventional Computing - Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. ⟨10.1007/978-3-319-33924-5⟩
Accès au bibtex
BibTex

Reports

titre
Approximate audio processing in an audio graph for interactive music systems
auteur
Pierre Donat-Bouillud, Christoph Kirsch
article
[Research Report] ENS Rennes; STMS - Sciences et Technologies de la Musique et du Son UMR 9912 IRCAM-CNRS-UPMC; Universität Salzburg. 2017
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01496384/file/report.pdf BibTex

2016

Journal articles

titre
Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering
auteur
Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher, René Doursat
article
ACS Synthetic Biology, 2016, 5 (8), pp.842-861. ⟨10.1021/acssynbio.5b00246⟩
Accès au bibtex
BibTex
titre
Model-Based Testing for Building Reliable Realtime Interactive Music Systems
auteur
Clement Poncelet, Florent Jacquemard
article
Science of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172
Accès au texte intégral et bibtex
https://hal.science/hal-01314969/file/SCP_Antescofo_test_HAL.pdf BibTex
titre
One-variable context-free hedge automata
auteur
Florent Jacquemard, Michael Rusinowitch
article
Journal of Computer and System Sciences, 2016, ⟨10.1016/j.jcss.2016.10.006⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01426626/file/CFHA-long.pdf BibTex
titre
First steps toward embedding real-time audio computing in Antescofo
auteur
Nicolás Schmidt Gubbins, Arshia Cont, Jean-Louis Giavitto
article
Journal de Investigación de Pregado (Investigación, Interdisciplina, Innovación), 2016, 6
Accès au texte intégral et bibtex
https://hal.science/hal-01257524/file/Schmidt%20et%20al%202015-1.pdf BibTex
titre
An Automatic Test Framework for Interactive Music Systems
auteur
Florent Jacquemard, Clément Poncelet
article
Journal of New Music Research, 2016, 45 (2), pp.18
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01274035/file/Antescofo_test_JNMR.pdf BibTex
titre
A visual framework for dynamic mixed music notation
auteur
Grigore Burloiu, Arshia Cont, Clement Poncelet
article
Journal of New Music Research, 2016, ⟨10.1080/09298215.2016.1245345⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01390502/file/jnmr-ascograph.pdf BibTex
titre
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.
auteur
Florent Jacquemard, Luc Segoufin, Jérémie Dimino
article
Logical Methods in Computer Science, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00769249/file/tdafo.pdf BibTex

Conference papers

titre
Embedding native audio-processing in a score following system with quasi sample accuracy
auteur
Pierre Donat-Bouillud, Jean-Louis Giavitto, Arshia Cont, Nicolas Schmidt, Yann Orlarey
article
ICMC 2016 - 42th International Computer Music Conference, Sep 2016, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01349524/file/antescofo_ICMC2016.pdf BibTex
titre
A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration
auteur
Adrien Ycart, Florent Jacquemard, Jean Bresson, Slawomir Staworko
article
International Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01315689/file/Quant16-RR.pdf BibTex
titre
Some results on confluence: decision and what to do without
auteur
Florent Jacquemard
article
5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01367535/file/confluenceno.pdf BibTex
titre
Une approche interactive pour la transcription rythmique dans OpenMusic
auteur
Adrien Ycart, Jean Bresson, Florent Jacquemard, Sławek Staworko
article
Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01298806/file/paper%2012.pdf BibTex
titre
A weakly-supervised discriminative model for audio-to-score alignment
auteur
Rémi Lajugie, Piotr Bojanowski, Philippe Cuvillier, Sylvain Arlot, Francis Bach
article
41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Mar 2016, Shanghai, China
Accès au texte intégral et bibtex
https://hal.science/hal-01251018/file/icassp2016.pdf BibTex

Book sections

titre
A Topological Approach of Musical Relationships
auteur
Jean-Louis Giavitto, Antoine Spicher
article
Jordan B L Smith (National Institute for Advanced Industrial Research and Technology (AIST) Japan); Elaine Chew (Queen Mary University of London, UK); Gérard Assayag (IRCAM - UMPC - CNRS, Science and Technology of Music and Sound Lab, France). Mathemusical Conversations - Mathematics and Computation in Music Performance and Composition, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (32), World Scientific, pp.283--298, 2016, 978-981-3140-09-7
Accès au bibtex
BibTex

2015

Journal articles

titre
Lattice-based and topological representations of binary relations with an application to music
auteur
Anton Freund, Moreno Andreatta, Jean-Louis Giavitto
article
Annals of Mathematics and Artificial Intelligence, 2015, 73 (3-4), pp.311-334. ⟨10.1007/s10472-014-9445-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01256854/file/FCA_and_simplicial_complexes-v3_versionHAL.pdf BibTex

Conference papers

titre
Autoregressive hidden semi-Markov model of symbolic music performance for score following
auteur
Eita Nakamura, Philippe Cuvillier, Arshia Cont, Nobutaka Ono, Shigeki Sagayama
article
16th International Society for Music Information Retrieval Conference (ISMIR), Oct 2015, Malaga, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01183820/file/draft_SemiMarkovMIDIScofo_ISMIR2015_v17.pdf BibTex
titre
Real-Time Audio-to-Score Alignment of Singing Voice Based on Melody and Lyric Information
auteur
Rong Gong, Philippe Cuvillier, Nicolas Obin, Arshia Cont
article
Interspeech, Sep 2015, Dresde, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01164550/file/index.pdf BibTex
titre
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
auteur
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
article
25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01149319/file/pCTRS-bu.pdf BibTex
titre
Visualizing Timed, Hierarchical Code Structures in AscoGraph
auteur
Grigore Burloiu, Arshia Cont
article
International Conference on Information Visualisation, University of Barcelona, Jul 2015, Barcelona, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01155618/file/viz2015ascograph.pdf BibTex
titre
Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures
auteur
Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher, René Doursat
article
ECAL 2015 - 13th European Conference on Artificial Life, Paul Andrews, Leo Caves, René Doursat, Simon Hickinbotham, Fiona Polack, Susan Stepney, Tim Taylor and Jon Timmis, Jul 2015, York, United Kingdom. ⟨10.7551/978-0-262-33027-5-ch115⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01257528/file/978-0-262-33027-5-ch115.pdf BibTex
titre
A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting
auteur
Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson
article
Mathematics and Computation in Music: 5th International Conference, MCM 2015, Oscar Bandtlow and Elaine Chew, Jun 2015, London, United Kingdom. pp.12
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01138642/file/mcm15.pdf BibTex
titre
Synchronization in Music Group Playing
auteur
Iris Yuping Ren, René Doursat, Jean-Louis Giavitto
article
International Symposium on Computer Music Multidisciplinary Research (CMMR), Jun 2015, Plymouth, United Kingdom. 510--517 (in electronic proceedings)
Accès au texte intégral et bibtex
https://hal.science/hal-01257540/file/ren_doursat_giavitto%20-%20Synchronization%20in%20Music%20Group%20Playing%20-%20final_in_proceedings.pdf BibTex
titre
Non-overlapping, Time-coherent Visualisation of Action Commands in the AscoGraph Interactive Music User Interface
auteur
Grigore Burloiu, Arshia Cont
article
First International Conference on Technologies for Music Notation and Representation, May 2015, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01135727/file/tenor2015ascograph.pdf BibTex
titre
Towards an Equational Theory of Rhythm Notation
auteur
Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai
article
Music Encoding Conference 2015, May 2015, Florence, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01105418/file/STRN-abstract.pdf BibTex
titre
An online EM algorithm in hidden (semi-)Markov models for audio segmentation and clustering
auteur
Alberto Bietti, Francis Bach, Arshia Cont
article
ICASSP 2015 - 40th IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2015, Brisbane, Australia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01115826/file/icassp_online_em_hmm.pdf BibTex
titre
Model Based Testing of an Interactive Music System
auteur
Clément Poncelet, Florent Jacquemard
article
Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695804⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01097345/file/Antescofo_Test-sacsvt_hal.pdf BibTex
titre
A topological approach of musical relationships
auteur
Jean-Louis Giavitto
article
Mathemusical Conversations, National University of Singapore and Institute for Mathematical Science (Singapore) and Yong Siew Toh Conservatory of Music, Feb 2015, Singapour, Singapore
Accès au bibtex
BibTex
titre
Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur
auteur
Jean Bresson, Dimitri Bouche, Jérémie Garcia, Thibaut Carpentier, Florent Jacquemard, John Maccallum, Diemo Schwarz
article
Journées d'Informatique Musicale, 2015, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01142022/file/jim15-efficace.pdf BibTex

Master thesis

titre
Clustering incrémental de signaux audio
auteur
Maxime Sirbu
article
Apprentissage [cs.LG]. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01196455/file/memoire.pdf BibTex
titre
Quantification rythmique dans OpenMusic
auteur
Adrien Ycart
article
Automatique. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01202257/file/Rapport%20de%20stage%20ATIAM%20-%20Adrien%20Ycart.pdf BibTex
titre
Multimedia scheduling for interactive multimedia systems
auteur
Pierre Donat-Bouillud
article
Multimedia [cs.MM]. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01168098/file/rapport.pdf BibTex

Reports

titre
Rapport d’étape et bilan financier 2015 PHC AMADEUS 2015 « LETITBE » N° 33808SC
auteur
Florent Jacquemard
article
[Contrat] Institut français de Vienne. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01254591/file/PHC-rapport2015.pdf BibTex
titre
Adaptation au locuteur pour le suivi de voix chantée
auteur
Rivaud Stéphane
article
[Stage] STMS - Sciences et Technologies de la Musique et du Son UMR 9912 IRCAM-CNRS-UPMC. 2015
Accès au bibtex
BibTex
titre
A Term Rewriting Based Structural Theory of Rhythm Notation
auteur
Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson
article
[Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01134096/file/efficace-rr.pdf BibTex
titre
Compilation of the Intermediate Representation V1
auteur
Clément Poncelet, Florent Jacquemard
article
[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01132159/file/RR-8701.pdf BibTex
titre
Offline methods of conformance testing for Antescofo
auteur
Clément Poncelet, Florent Jacquemard
article
[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01132155/file/RR-8700.tex.pdf BibTex

Theses

titre
Un langage de programmation pour composer l'interaction musicale : la gestion du temps et des événements dans Antescofo
auteur
José-Manuel Echeveste
article
Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2015. Français. ⟨NNT : 2015PA066143⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01196248/file/these_archivage_2573260o.pdf BibTex

2014

Journal articles

titre
Un ordinateur dans l'orchestre
auteur
Arshia Cont
article
Les Dossiers de la Recherche, 2014, Comment les robots preçoivent le monde, 13, pp.79-83
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01099417/file/Antescofo%20-les%20Dossiers%20de%20La%20recherche-Dec2014.pdf BibTex
titre
A Reactive Extension of the OpenMusic Visual Programming Language
auteur
Jean Bresson, Jean-Louis Giavitto
article
Journal of Visual Languages and Computing, 2014, 25 (4), pp.363-375. ⟨10.1016/j.jvlc.2014.03.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00965747/file/om-reactif-jvlc-personal.pdf BibTex

Conference papers

titre
Time-coherency of Bayesian priors on transient semi-Markov chains for audio-to-score alignment
auteur
Philippe Cuvillier
article
MaxEnt 2014, SEE, Sep 2014, Amboise, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01080235/file/73_paper.pdf BibTex
titre
Coherent Time Modeling of semi-Markov Models with Application to Real-Time Audio-to-Score Alignment
auteur
Philippe Cuvillier, Arshia Cont
article
MLSP 2014 - IEEE International Workshop on Machine Learning for Signal Processing (2014), Mboup, Mamadou, Sep 2014, Reims, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01058366/file/MLSP14_v2.pdf BibTex
titre
AscoGraph: A User Interface for Sequencing and Score Following for Interactive Music
auteur
Thomas Coffy, Jean-Louis Giavitto, Arshia Cont
article
ICMC 2014 - 40th International Computer Music Conference, Sep 2014, Athens, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01024865/file/icmcsmc2014ascograph.pdf BibTex
titre
Test Methods for Score-Based Interactive Music Systems
auteur
Clément Poncelet Sanchez, Florent Jacquemard
article
ICMC SMC 2014, Sep 2014, Athen, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01021617/file/AntescofoTest.pdf BibTex
titre
Real Time Tempo Canons with Antescofo
auteur
Christopher Trapani, José Echeveste
article
International Computer Music Conference, Sep 2014, Athens, Greece. pp.207
Accès au texte intégral et bibtex
https://hal.science/hal-01053836/file/icmc_trapani_echeveste.pdf BibTex
titre
Planning Human-Computer Improvisation
auteur
Jérôme Nika, José-Manuel Echeveste, Marc Chemillier, Jean-Louis Giavitto
article
International Computer Music Conference, Sep 2014, Athens, Greece
Accès au texte intégral et bibtex
https://hal.science/hal-01053834/file/NIka_Revised2.pdf BibTex
titre
Real-Time Matching of Antescofo Temporal Patterns
auteur
Jean-Louis Giavitto, José Echeveste
article
PPDP 2014 - 16th International Symposium on Principles and Practice of Declarative Programming, Sep 2014, Canterbury, United Kingdom. pp. 93-104 ⟨10.1145/2643135.2643158⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01054667/file/ppdp-declarative-pattern-version-Hal.pdf BibTex
titre
The Cyber-Physical System Approach for Automatic Music Accompaniment in Antescofo
auteur
Arshia Cont, José Echeveste, Jean-Louis Giavitto
article
Acoustical Society Of America, May 2014, Providence, Rhode Island, United States
Accès au bibtex
BibTex

Book sections

titre
Du temps écrits au temps produit en informatique musicale
auteur
Jean-Louis Giavitto
article
Hugues Vinet. Produire le temps, Hermann, pp.73-106, 2014, 978 2 7056 8818 9
Accès au bibtex
BibTex

Master thesis

titre
Suivi de partition pour l'alignement de la voix chantée
auteur
Rong Gong
article
Intelligence artificielle [cs.AI]. 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01066603/file/rapport.pdf BibTex
titre
Online learning for audio clustering and segmentation
auteur
Alberto Bietti
article
Machine Learning [cs.LG]. 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01064672/file/ms-thesis.pdf BibTex

Books

titre
Editorial
auteur
Laurence Duchien, Jean-Louis Giavitto
article
Laurence Duchien and Jean-Louis Giavitto. Technique et Science Informatiques, 33, pp.4, 2014, 3
Accès au bibtex
BibTex

Poster communications

titre
Test methods for Score-Based Interactive Music Systems Toward a formal Specification
auteur
Clément Poncelet, Florent Jacquemard
article
ICMC/SMC 2014, Sep 2014, Athène, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01133597/file/Test_methods_poster_v1.pdf BibTex

Reports

titre
Specification of a reactive computation model for OpenMusic
auteur
Jean Bresson, Jean-Louis Giavitto
article
[Research Report] IRCAM. 2014, pp.17
Accès au texte intégral et bibtex
https://hal.science/hal-00959312/file/inedit-L3.3.b.pdf BibTex
titre
Antescofo Intermediate Representation
auteur
Florent Jacquemard, Clément Poncelet Sanchez
article
[Research Report] RR-8520, INRIA. 2014, pp.13
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00979359/file/RR-8520.pdf BibTex

2013

Journal articles

titre
Rencontres nationales des systèmes complexes 2012 - Entretiens de Sète
auteur
Jean-Louis Giavitto
article
Natures Sciences Sociétés, 2013, 21 (3), pp.320-324. ⟨10.1051/nss/2013113⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00937079/file/pub00040112.pdf BibTex
titre
Operational semantics of a domain specific language for real time musician-computer interaction
auteur
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
Discrete Event Dynamic Systems, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00854719/file/10.1007_s10626-013-0166-2.pdf BibTex
titre
An information-geometric approach to real-time audio segmentation
auteur
Arnaud Dessein, Arshia Cont
article
IEEE Signal Processing Letters, 2013, 20 (4), pp.331-334. ⟨10.1109/LSP.2013.2247039⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00793999/file/draft.pdf BibTex
titre
Unconventional and Nested Computations in Spatial Computing
auteur
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
article
International Journal of Unconventional Computing, 2013, 9 (1-2), pp.71-95
Accès au bibtex
BibTex
titre
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
auteur
Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
article
Logical Methods in Computer Science, 2013, 9 (2), pp.1-39
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00852382/file/1302.6960.pdf BibTex

Conference papers

titre
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
auteur
Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet
article
EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00850299/file/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf BibTex
titre
Chromax, the other side of the spectral delay between signal processing and composition
auteur
Arshia Cont, Marco Stroppa, Carlo Laurenzi
article
Digital Audio Effects (DAFx), Sep 2013, Maynooth, Ireland
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00850751/file/DAFx13_chromax_final_2.pdf BibTex
titre
Online change detection in exponential families with unknown parameters
auteur
Arnaud Dessein, Arshia Cont
article
GSI 2013 First International Conference Geometric Science of Information, Aug 2013, Paris, France. pp.633-640, ⟨10.1007/978-3-642-40020-9_70⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00840662/file/Dessein2013GSI.pdf BibTex
titre
Formal Timing Analysis Of Mixed Music Scores
auteur
Léa Fanchon, Florent Jacquemard
article
2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00829821/file/AntescofoIMITATOR.pdf BibTex
titre
Saliency-based modeling of acoustic scenes using sparse non-negative matrix factorization
auteur
Benjamin Cauchi, Mathieu Lagrange, Nicolas Misdariis, Arshia Cont
article
Workshop on Image and Audio Analysis for Multimedia Interactive, Jul 2013, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00940075/file/Cauchi13-SparseSliencyNMG.pdf BibTex
titre
Unranked Tree Rewriting and Effective Closures of Languages
auteur
Florent Jacquemard, Michaël Rusinowitch
article
Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00852379/file/abstract.pdf BibTex
titre
Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes
auteur
Louis Bigo, Jean-Louis Giavitto, Moreno Andreatta, Olivier Michel, Antoine Spicher
article
MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. pp.38-51, ⟨10.1007/978-3-642-39357-0_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00925748/file/bigo-et-al_mcm2013.pdf BibTex
titre
Spatial Programming for Musical Transformations and Harmonization
auteur
Louis Bigo, Jean-Louis Giavitto, Antoine Spicher
article
Spatial Computing Workshiop (SCW), May 2013, Saint-Paul, Minesota, United States. p. 9-16
Accès au bibtex
BibTex
titre
From Authored to Produced Time in Computer-Musician Interactions
auteur
Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
CHI 2013 Workshop on Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction, John Thomas, Yue Pan, Thomas Erickson, Eli Blevis, Catherine Letondal, Aurélien Tabard, Apr 2013, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00787033/file/Mutant_CHIM_2013.pdf BibTex
titre
Rewrite Closure and CF Hedge Automata
auteur
Florent Jacquemard, Michael Rusinowitch
article
7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00767719/file/CFHA.pdf BibTex

Book sections

titre
Interaction−Based Modeling of Morphogenesis in MGS
auteur
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
article
R. Doursat and H. Sayama. Morphogenetic Engineering, Springer, pp.409-440, 2013, Understanding Complex Systems, 978-3-642-33901-1. ⟨10.1007/978-3-642-33902-8_16⟩
Accès au bibtex
BibTex
titre
Real-time detection of overlapping sound events with non-negative matrix factorization
auteur
Arnaud Dessein, Arshia Cont, Guillaume Lemaitre
article
Nielsen, Frank and Bhatia, Rajendra. Matrix Information Geometry, Springer, pp.341-371, 2013, 978-3-642-30232-9. ⟨10.1007/978-3-642-30232-9_14⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00708805/file/Dessein2012MIG.pdf BibTex

Habilitation à diriger des recherches

titre
Real-time Programming and Processing of Music Signals
auteur
Arshia Cont
article
Sound [cs.SD]. Université Pierre et Marie Curie - Paris VI, 2013
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00829771/file/ArshiaCont_HDR_Scientific4.pdf BibTex

Master thesis

titre
Découverte automatique de structures musicales en temps réel par la géométrie de l'information
auteur
Vincent Lostanlen
article
Son [cs.SD]. 2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00849736/file/lostanlen.pdf BibTex
titre
Environnement de test pour un système temps-réel de performance en musique mixte
auteur
Clément Poncelet Sanchez
article
Autre [cs.OH]. 2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00920028/file/Dossier_Stage.pdf BibTex

Books

titre
Proceedings of the Spatial Computing Workshop (SCW 2013) colocated with AAMAS (W09)
auteur
Jean-Louis Giavitto, Stefan O. Dulman, Antoine Spicher, Mirko Viroli
article
IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.92, 2013
Accès au texte intégral et bibtex
https://hal.science/hal-00821901/file/corrected_prooceedings-workshop-9_spatial-computing.pdf BibTex
titre
Musical Research at Ircam
auteur
Arshia Cont
article
Cont, Arshia. Taylor & Francis, pp.1-114, 2013, 0749-4467. ⟨10.1080/07494467.2013.774121⟩
Accès au bibtex
BibTex

Poster communications

titre
Génération de tests de conformité pour un système musical interactif temps-réel
auteur
Clement Poncelet
article
MSR'13, Nov 2013, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01133592/file/poster_Verification_Antescofo.pdf BibTex

Documents associated with scientific events

titre
Tree Automata with Constraints: a brief survey
auteur
Emmanuel Filiot, Florent Jacquemard, Sophie Tison
article
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00840959/file/TAC-survey.pdf BibTex

Reports

titre
A Dynamic Timed-Language for Computer-Human Musical Interaction
auteur
José Echeveste, Jean-Louis Giavitto, Arshia Cont
article
[Research Report] RR-8422, INRIA. 2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00917469/file/RR-8422.pdf BibTex
titre
Transcription rythmique dans OpenMusic
auteur
Pierre Donat-Bouillud
article
[Stage] 2013, pp.23
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00870104/file/rapportStageIrcam.pdf BibTex
titre
Formal Timing Analysis of Mixed Music Scores
auteur
Léa Fanchon, Florent Jacquemard
article
[Research Report] 2013, pp.10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00797595/file/AntescofoIMITATOR.pdf BibTex

2012

Journal articles

titre
Antescofo à l'avant-garde de l'informatique musicale
auteur
Arshia Cont, Florent Jacquemard, Pierre-Olivier Gaumin
article
Interstices, 2012
Accès au bibtex
BibTex
titre
Sous le signe du calcul
auteur
Jean-Louis Giavitto, François Reichenmann
article
DocSciences, 2012, 14 (Alan Turing : la pensée informatique), pp.12-15
Accès au texte intégral et bibtex
https://hal.science/hal-00769278/file/docsciences-turing_draft_giavitto_rechenmann.pdf BibTex
titre
L'ordinateur qui joue comme un musicien
auteur
Arshia Cont
article
La Recherche, 2012, 465, pp.68-72
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00701916/file/Antescofo_LaRecherche_Juin12.pdf BibTex
titre
Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules
auteur
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
article
Theoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00769275/file/giavitto_klaudel_pommereau-integrated_regulatory_network.pdf BibTex
titre
Synchronisme musical et musiques mixtes: du temps écrit au temps produit
auteur
Arshia Cont
article
Circuit : musiques contemporaines, 2012, Arts de la synchronisation, 22 (1)
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00698922/file/Cont_eI_preuves2_22-1.pdf BibTex
titre
Modélisation anticipative des systèmes musicaux. Reconnaissance, génération, synchronisation et programmation synchrone temps réel en informatique musicale
auteur
Arshia Cont
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (3), pp.311-335. ⟨10.3166/tsi.31.311-335⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00699290/file/ArshiaCont_TSIL2011_1.pdf BibTex
titre
Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems
auteur
Adel Bouhoula, Florent Jacquemard
article
Journal of Applied Logic, 2012, 10 (1), pp.127-143. ⟨10.1016/j.jal.2011.09.001⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00643136/file/completeness-long.pdf BibTex

Conference papers

titre
Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo
auteur
Arshia Cont, José Echeveste, Jean-Louis Giavitto, Florent Jacquemard
article
ICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00718854/file/Antescofo_ICMC2012_new.pdf BibTex
titre
Spatial Computing in MGS
auteur
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
article
11th International Conference Unconventional Computation & Natural Computation (UCNC 2012)., Sep 2012, Orléans, France. pp.63-69, ⟨10.1007/978-3-642-32894-7_7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00769284/file/spicher_michel_giavitto_spatial_computing_in_mgs-1.pdf BibTex
titre
Arbitrary Nesting of Spatial Computations
auteur
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
article
Spatial Computing Workshop, Jun 2012, Valencia, Spain. pp.25-32
Accès au texte intégral et bibtex
https://hal.science/hal-00769286/file/spicher_michel_giavitto_arbitrary_nesting_of_spatial_computations.pdf.pdf BibTex

Master thesis

titre
Suivi de partition : étude du cadre multi-objet pour l'inférence de position
auteur
Philippe Cuvillier
article
Traitement du signal et de l'image [eess.SP]. 2012
Accès au bibtex
BibTex
titre
Temporal Analysis of Mixed Intrumental/Electronic Music Scores
auteur
Fanchon Léa
article
Logic in Computer Science [cs.LO]. 2012
Accès au bibtex
BibTex
titre
Antescofo : vers une programmation synchrone
auteur
Guillaume Baudart
article
Informatique et langage [cs.CL]. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01156601/file/index.pdf BibTex

Books

titre
Proceedings of the Spatial Computing Workshop (SCW 2012) colocated with AAMAS (W21)
auteur
Jacob Beal, Stefan O. Dulman, Jean-Louis Giavitto, Antoine Spicher
article
IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.60, 2012
Accès au texte intégral et bibtex
https://hal.science/hal-00769288/file/w21_workshop_on_spatial_computing_scw_proceedings_2012.pdf BibTex

Theses

titre
Computational Methods of Information Geometry with Real-Time Applications in Audio Signal Processing
auteur
Arnaud Dessein
article
Information Retrieval [cs.IR]. Université Pierre et Marie Curie - Paris VI, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00768524/file/Dessein2012PhDThesis.pdf BibTex

Preprints, Working Papers, ...

titre
Rewrite Closure and CF Hedge Automata
auteur
Florent Jacquemard, Michaël Rusinowitch
article
2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00752496/file/CFHA.pdf BibTex

2011

Journal articles

titre
Computing with bacterial constituents, cells and populations: from bioputing to bactoputing
auteur
Vic Norris, Abdallah Zemirline, Patrick Amar, Jean Nicolas Audinot, Pascal Ballet, Eshel Ben-Jacob, Gilles Bernot, Guillaume Beslon, Armelle Cabin, Eric Fanchon, Jean-Louis Giavitto, Nicolas Glade, Patrick Greussay, Yohann Grondin, James A Foster, Guillaume Hutzler, Jürgen Jost, Francois Kepes, Olivier Michel, Franck Molina, Jacqueline Signorini, Pasquale Stano, Alain R Thierry
article
Theorie in den Biowissenschaften / Theory in Biosciences, 2011, 130 (3), pp.211-228. ⟨10.1007/s12064-010-0118-4⟩
Accès au bibtex
BibTex
titre
On the Information Geometry of Audio Streams with Applications to Similarity Computing
auteur
Arshia Cont, Shlomo Dubnov, Gérard Assayag
article
IEEE Transactions on Audio, Speech and Language Processing, 2011, 19 (4), pp.837-846. ⟨10.1109/TASL.2010.2066266⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00579590/file/ACONT_IEEE_MIG2010_2col.pdf BibTex

Conference papers

titre
Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique
auteur
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), Étienne Craye and Abdoulaye Gamalié, Nov 2011, Lille, France. pp.109-124
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00642921/file/AMA_MSR.pdf BibTex
titre
Accelerating the Mixing Phase in Studio Recording Productions by Automatic Audio Alignemtnt
auteur
Nicola Montecchio, Arshia Cont
article
International Symposium on Music Information Retrieval (ISMIR), Oct 2011, Miami, Florida, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00694045/file/rushaligning.pdf BibTex

2010

Journal articles

titre
A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment
auteur
Arshia Cont
article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2010, 32, pp.974-987. ⟨10.1109/TPAMI.2009.106⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00479737/file/PAMI5.pdf BibTex