Search - Archive ouverte HAL Access content directly

Filter your results

71 Results
Structure: Internal structure identifier : 85755
Image document

OSSIA: Towards a unified interface for scoring time and interaction

Jean-Michaël Celerier , Pascal Baltazar , Clément Bossut , Nicolas Vuaille , Jean-Michel Couturier et al.
TENOR 2015 - First International Conference on Technologies for Music Notation and Representation, May 2015, Paris, France
Conference papers hal-01245957v1
Image document

MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton

Sylvain Salvati
Journal of Computer and System Sciences, 2015, 81 (7), pp.1252 - 1277
Journal articles inria-00564552v1
Image document

An Efficient Implementation of Tiled Polymorphic Temporal Media

Simon Archipoff
ICFP FARM, ACM SIGPAN, Sep 2015, Vancouver, Canada. ⟨10.1145/2808083.2808089⟩
Conference papers hal-01214101v1
Image document

Embedding finite and infinite words into overlapping tiles

Anne Dicky , David Janin
Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩
Conference papers hal-00910002v2
Image document

Foundations for Reliable and Flexible Interactive Multimedia Scores

Jaime Arias , Myriam Desainte-Catherine , Carlos Olarte , Camilo Rueda
Fifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. pp.29-41, ⟨10.1007/978-3-319-20603-5_3⟩
Conference papers hal-01129394v1
Image document

A syntactic congruence for languages of birooted trees

Achim Blumensath , David Janin
Semigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩
Journal articles hal-00947972v1
Image document

Vers une programmation réactive structurée

Simon Archipoff , David Janin
Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers hal-01326557v1

Detecting temporal changes in acoustic scenes: The variable benefit of selective attention

Laurent Demany , Yann Bayle , Emilie Puginier , Catherine Semal
Hearing Research, 2017, 353, pp.17-25. ⟨10.1016/j.heares.2017.07.013⟩
Journal articles hal-01570101v1
Image document

Using Models to Model-check Recursive Schemes

Sylvain Salvati , Igor Walukiewicz
Logical Methods in Computer Science, 2015, Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013, ⟨10.2168/LMCS-???⟩
Journal articles hal-01251224v1
Image document

Inverse monoids of higher-dimensional strings

David Janin
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia
Conference papers hal-01165724v2
Image document

Loader and Urzyczyn Are Logically Related

Sylvain Salvati , Giulio Manzonetto , Mai Gehrke , Henk Barendregt
ICALP, 2012, Warwick, France. pp.364-376
Conference papers hal-00959623v1
Image document

Two-way automata and regular languages of overlapping tiles

Anne Dicky , David Janin
Fundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩
Journal articles hal-00717572v3
Image document

A logical approach to grammar description

Lionel Clément , Jérôme Kirman , Sylvain Salvati
Journal of Language Modelling, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 ⟨10.15398/jlm.v3i1.94⟩
Journal articles hal-01251222v1
Image document

Classification à grande échelle de morceaux de musique en fonction de la présence de chant

Yann Bayle , Pierre Hanna , Matthias Robine
Journées d'Informatique Musicale, http://www.gmea.net/; https://scrime.labri.fr/; http://www.afim-asso.org/spip.php?article1, Mar 2016, Albi, France. pp.144-152
Conference papers hal-01484201v1
Image document

Le séquenceur interactif multimédia i-score

Jaime Arias , Jean-Michaël Celerier
Journées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015
Poster communications hal-01245350v1
Image document

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

David Janin
40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. pp.7-20, ⟨10.1007/978-3-319-04298-5_2⟩
Conference papers hal-00879463v1
Image document

Programmer avec des tuiles musicales: le T-calcul en Euterpea

Paul Hudak , David Janin
Actes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10
Conference papers hal-00978355v1
Image document

A model for divergence insensitive properties of lambdaY-terms

Sylvain Salvati , Igor Walukiewicz
2015
Preprints, Working Papers, ... hal-01169352v1
Image document

RE.MI.DO 3.0 RECHERCHE EMOTION / MUSIQUE, INTERNET DES OBJETS

Pierre-Henri Vulliard
Journées d'Informatique Musicale 2021, AFIM, Jul 2021, Visioconférences, France
Conference papers hal-03313638v1
Image document

A symbolic model for timed concurrent constraint programming

Jaime Arias , Michell Guzmán , Carlos Olarte
Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩
Conference papers hal-01257078v2
Image document

Spécification de la synthèse sonore appliquéeà la pédagogie musicale

Myriam Desainte-Catherine , György Kurtag
Journées d'Informatique Musicale, Jun 2003, Montbéliard, France
Conference papers hal-02994196v1
Image document

The IO and OI hierarchies revisited

Gregory M. Kobele , Sylvain Salvati
Information and Computation, 2015, 243, pp.205-221. ⟨10.1016/j.ic.2014.12.015⟩
Journal articles hal-01251097v1
Image document

Des signaux aux symphonies : pour une modélisation homogène des objets sonores

David Janin , Myriam Desainte-Catherine
Journées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada
Conference papers hal-01183097v1

Modéliser et simuler les instruments de musique

Juliette Chabassier
Journées d'informatique musicale 2021, Jul 2021, visio, France
Conference papers hal-03514411v1
Image document

Music from Aura

Pierre-Henri Vulliard
Journées d'Informatique Musicale (JIM 2018), May 2018, Amiens, France. , 2018
Poster communications hal-01791480v1
Image document

MidifilePerformer: a case study for chronologies

Juliette Chabassier , Myriam Desainte-Catherine , Jean Haury , Marin Pobel , Bernard P Serpette et al.
26th ACM SIGPLAN International Conference on Functional Programming (ICFP '21), Aug 2021, En ligne, South Korea. pp.13-22, ⟨10.1145/3471872.3472968⟩
Conference papers hal-03578817v1
Image document

Walking automata in free inverse monoids

David Janin
42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Conference papers hal-00738793v4

Generating Orchestral Sequences with Timbral Descriptors

Aurélien Antoine , Eduardo Miranda , Jean-Michaël Celerier , Myriam Desainte-Catherine
Proceedings of Timbre 2018 : Timbre Is A Many Splendored Thing, 2018, Montréal, Canada
Conference papers hal-02491166v1
Image document

Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)

Simon Archipoff , Jaime Arias , Edwin Buger , David Janin
Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers hal-01326559v1
Image document

Rethinking the audio workstation: tree-based sequencing with i-score and the LibAudioStream

Jean-Michaël Celerier , Myriam Desainte-Catherine , Jean-Michel Couturier
Sound and Music Computing Conference, Aug 2016, Hamburg, Germany
Conference papers hal-01360797v1