Filtrer vos résultats
- 8
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 10
- 3
- 2
- 4
- 1
- 2
- 1
- 1
- 9
- 2
- 11
- 1
- 11
- 9
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
11 résultats
|
|
|
triés par
|
|
|
Legivoc - connecting law in a changing worldJournal of Open Access to Law, 2013, 1 (1), pp 1-19
Article dans une revue
hal-00937740v1
|
||
|
|
jsCoq: Towards Hybrid Theorem Proving Interfaces12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩
Communication dans un congrès
hal-01425752v2
|
||
|
|
Etude WCET de programmes Faust avec a3[Rapport Technique] E-420, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2017
Rapport
hal-01691614v1
|
||
|
|
La preuve de théorèmes pour les masses (soniques)Revue Francophone d'Informatique et Musique, 2018, N°6, 14 p
Article dans une revue
hal-01877004v1
|
||
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications2017
Pré-publication, Document de travail
hal-01665055v1
|
||
|
|
The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapyScience direct, 2012, Vol. 3 (Issue 4), pp.111-120. ⟨10.1016/j.entcom.2011.12.004⟩
Article dans une revue
hal-00831327v1
|
||
Bringing Theorem Proving to the (Sonic) MassesLaurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press
Chapitre d'ouvrage
hal-01702717v1
|
|||
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications19th Workshop on Compilers for Parallel Computing, Jul 2016, Valladolid, Spain
Communication dans un congrès
hal-01352808v1
|
||
|
|
Bringing Theorem Proving to the (sonic) Masses2015
Pré-publication, Document de travail
hal-01254456v1
|
||
|
|
Aligning Legivoc Legal Vocabularies by CrowdsourcingLanguage and Semantics Technology for Legal Domain (LST4LD) Workshop, 10th Recent Advances in Natural Processing Conference, Sep 2015, Hissar, Bulgaria
Communication dans un congrès
hal-01251086v1
|
||
Towards Aligning legivoc Legal Vocabularies by CrowdsourcingChapitre d'ouvrage hal-01951041v1 |