Centre de recherche en informatique
Mathématiques et systèmes
A/705/CRI :
- Comparative study between Hadoop and Spark based on Hibench benchmarks
- IN: 2nd International Conference on Cloud Computing Technologies and Applications (CloudTech 2016)
24-26 May 2016 - Marrakech, Maroc
DOI = 10.1109/CloudTech.2016.7847709
Pages : 267-275- HAL = hal-01529413
- Yassir Samadi (Université de Rabat), Mostapha Zbakh (Université de Rabat), Claude Tadonki (MINES ParisTech CRI - PSL)
- Differentially Private Bayesian Programming
- IN: The 23rd ACM Conference on Computer and Communications Security
24-28 Octobre 2016 - Hofburg Palace, Vienna, Austriche
Published in: Proceeding CCS '16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Pages 68-79
doi = 10.1145/2976749.2978371
arXiv = 1605.00283- HAL = hal-01446970
- Gilles Barthe (IMDEA Software, Madrid), Gian Pietro Farina (University at Buffalo), Marco Gaboardi (University a Buffalo), Emilio Jesus Gallego Arias (Mines-ParisTech CRI), Andy Gordon (Microsoft Research, Cambridge), Justin Hsu (University of Pennsylvania), Pierre-Yves Strub (IMDEA Software, Madrid)
- Computer-aided Verification in Mechanism Design
- IN: The 12th Conference on Web and Internet Economics (WINE 2016)
11-14 Decembre 2016 - Montreal, Canada
DOI = 10.1007/978-3-662-54110-4_20
arxiv = 1502.04052
Published in : Chapter Web and Internet Economics, Volume 10123 of the series Lecture Notes in Computer Science pp 279-293
(Submitted on 13 Feb 2015 (v1), last revised 25 Dec 2016 (this version, v5))
En 2015, version v1 (Rapport) : A/636/CRI et HAL-01260071
- HAL = hal-01446918
- Gilles Barthe (IMDEA Software Institute), Marco Gaboardi (University at Buffalo, SUNY), Emilio Jesús Gallego Arias (MINES-ParisTech CRI), Justin Hsu (University of Pennsylvania), Aaron Roth (University of Pennsylvania), and Pierre-Yves Strub (IMDEA Software Institute)
- Constraint logic programming with a relational machine
- IN: Formal Aspects of Computing (Springer)
Volume 29, Issue 1, pp 97–124
DOI: 10.1007/s00165-016-0369-z
(Non publiable avant Avril 2017)- HAL = hal-01433373
- Emilio Jesús Gallego Arias (MINES ParisTech CRI - PSL), James Lipton (Department of Mathematics & Computer Science, Wesleyan University), Julio Mariño y Carballo (Departamento de Ingeniería Electrónica, Universidad Politécnica de Madrid)
- Méthode de calcul de variance locale adaptée aux processeurs graphiques
- IN: Conférence d’informatique en Parallélisme, Architecture et Système (Compas’2016)
5-8 juillet 2016 - Lorient, France- HAL = hal-01432993
- Florian Gouin (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), Christophe Guettier (SAFRAN)
- Impact of Head Motion on the Assistive Robot Expressiveness - Evaluation with Elderly Persons
- IN: 1st International Workshop on Affective Computing for Social Robotics Workshop at the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN)
26-31 Août 2016, New York, United States- HAL = hal-01344312 (INRIA)
- Fabien Badeig (LIG - Laboratoire d'Informatique de Grenoble), Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Maribel Pino (Hôpital Cochin Broca), Philippe De Oliveira Lopes (Hôpital Cochin Broca), Emeric Grange (LIG - Laboratoire d'Informatique de Grenoble), James L. Crowley (LIG - Laboratoire d'Informatique de Grenoble), Anne-Sophie Rigaud (Hôpital Cochin Broca), Dominique Vaufreydaz (LIG - Laboratoire d'Informatique de Grenoble)
- Rehabilitation of the psychomotor consequences of elderly fallers: A pilot study to evaluate the feasibility and tolerability of virtual reality training using a user-centered designed serious game.
- IN: The 10th World Conference of Gerontechnology (ISG 2016) : « Sustainable Humanity »
28-30 Septembre 2016
Nice - France
DOI = http://dx.doi.org/10.4017/gt.2016.15.s.714.00
Publié : Gerontechnology 2016, vol. 15(Supplement)- HAL = hal-01410205
- Frédéric Bloch (Univ. Paris Descartes, Hôpital Broca), Pierre Wargnier (MINES ParisTech, PSL Research University), Paul-Emile Fauquet (Univ. Paris Descartes), Samuel Benveniste (MINES ParisTech, CEN Stimco), Pierre Jouvelot (MINES ParisTech, PSL Research University), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca), Gilles Kemoun (Prof. de médecine physique et de réadaptation, lab. Move, Univ. de Poitiers)
- Signal Rate Inference for Multi-Dimensional Faust
- IN: The 28th symposium on Implementation and Application of Functional Languages
31/08-02/09 2016 - Leuven, Belgique- HAL = hal-01364119
- Yann Orlarey (Grame), Pierre Jouvelot (MINES ParisTech, PSL Research University)
- Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers
- IN: 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016)
2-3 Octobre 2016 - Raleigh, NC, USA
DOI = 10.1109/SCAM.2016.20
(Published in : Source Code Analysis and Manipulation (SCAM), 2016 IEEE 16th International Working Conference on, pages 167-176)- HAL = hal-01359465
- Nelson Lossing (MINES ParisTech CRI - PSL), Pierre Guillou (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)
- Threewise: a local variance algorithm for GPU
- IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016- HAL = hal-01359482
- Florian Gouin (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), Christophe Guettier (SAFRAN)
- Automatic Code Generation of Distributed Parallel Tasks
- IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016
(Published : pages 234-241)
DOI = 10.1109/CSE-EUC-DCABES.2016.190- HAL = hal-01359468
- Nelson Lossing (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)
- A Dynamic to Static DSL Compiler for Image Processing Applications
- IN: 19th Workshop on Compilers for Parallel Computing (CPC 2016)
6-8 juillet 2016 - Valladolid, Espagne- HAL = hal-01352808
- Pierre Guillou (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL), Fabien Coelho (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)
- Autonomic Provisioning, Configuration, and Management of Inter-Cloud Environments based on a Software Product Line Engineering Method
- IN: IEEE International Conference on Cloud and Autonomic Computing (ICCAC 2016)
12-16 septembre 2016 - Augsburg, Allemagne- HAL = hal-01407637
- Alessandro Ferreira Leite (University of Brasilia), Vander Alves (University of Brasilia), Genaina Nunes Rodrigues (University of Brasilia), Claude Tadonki (MINES ParisTech CRI - PSL), Christine Eisenbeis (INRIA Saclay), Alba Cristina Magalhaes Alves de Melo (University of Brasilia)
- Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise
- IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA- HAL = hal-01266477
- 02/02/2016
- Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Giovanni Carletti (CEN Stimco, Institut Marcel Mauss CNRS-EHESS), Yann Laurent-Corniquet (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Pierre Jouvelot (MINES-ParisTech CRI), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)
Articles soumis :
- Virtual Promenade: A New Serious Game for the Rehabilitation of Older Adults with Post-fall Syndrome
- IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA- HAL = hal-01266471
- 02/02/2016
- Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Edmond Phuong (CEN Stimco), Kévin Marivan (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Frédéric Bloch (Univ. Paris Descartes, Hôpital Broca), Serge Reingewirtz(Univ. Paris Descartes, CEN Stimco), Gilles Kemoun (Univ. de Poitiers), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)
Autres articles et rapports techniques :
- A Dynamic to Static DSL Compiler for Image Processing Applications
- Rapport technique
Version longue de l'article A/640/CRI présenté à Valladolid- HAL = hal-01665055
- Pierre Guillou (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL), Fabien Coelho (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)
- Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence
- IN: Genie Logiciel, Juillet 2016, vol. 117, pp. 47-59
- HAL = hal-01531341
- Pierre Jouvelot (MINES-ParisTech CRI - PSL), Karel De Vogeleer (Université Paris Saclay, Telecom ParisTech, LTCI), Gérard Memmi (Université Paris Saclay, Telecom ParisTech, LTCI)
- Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
- IN : 22nd International Conference on Types for Proofs and Programs, TYPES 2016
Novi Sad, Serbia - 23-26 Mai 2016- HAL = hal-01441751
- Ali Assaf (Inria, Ecole polytechnique), Guillaume Burel (ENSIIE), Raphal Cauderlier (Cnam, Inria), David Delahaye (Cnam, Université de Montpellier), Gilles Dowek (Inria, Ecole Normale de Sup´erieure de Cachan), Catherine Dubois (ENSIIE), Frédéric Gilbert (Ecole des Ponts, Inria, CEA), Pierre Halmagrand (Cnam, Inria), Olivier Hermant (CRI, MINES Paristech, PSL), Ronan Saillard (CRI, MINES Paristech, PSL)
- FEEVER : Faust Environment Everyware
- Les rencontres du numérique de l'ANR
16 novembre 2016 - Paris- HAL = hal-01430875
- Jouvelot (MINES ParisTech, PSL Research University), Yann Orlarey (Grame), Pottier Laurent (CIEREC, Univ. St-Etienne), Talpin Jean-Pierre (TEA, Rennes)
- SLIDES : Compilation efficace d’applications de traitement d’images pour processeurs manycore
- Thèse soutenue le 30 novembre 2016
Lieu : MINES ParisTech, Paris- Pierre Guillou (MINES ParisTech, PSL Research University)
- SLIDES : Virtual human technologies for cognitively-impaired older adults’ care: the LOUISE and Virtual Promenade experiments
- Thèse soutenue le 25 novembre 2016
Lieu : MINES ParisTech, Paris- Pierre Wargnier (MINES ParisTech, PSL Research University)
Rapports internes :
- How Information Systems Enable Digital Transformation: A focus on Business Models and Value Co‐production
- HEC Paris Research Paper No. MOSI-2016-1161
Disponible sur le site "Social Science Reseach Network"
(http://ssrn.com/abstract=2806887)- HAL = hal-01369141
- Janvier 2016
- Marie‐Hélène Delmond (HEC, Paris), Fabien Coelho (MINES ParisTech, PSL Research University), Alain Keravel (HEC, Paris), Robert Mahl (MINES ParisTech, PSL Research University) ;
- SLIDES : Not Incompatible Logics
- the Dagstuhl Perspectives Workshops and the GI-Dagstuhl Seminars : Universality of Proofs
16-21 octobre 2016 - Dagstuhl, Allemagne- HAL = hal-01463138
- Olivier Hermant (MINES ParisTech CRI - PSL)
- SLIDES : Compilation efficace d’applications de traitement d’images pour processeurs manycore
- Séminaire au CEA LIST, Saclay
- HAL = hal-01436782
- Pierre Guillou (MINES ParisTech CRI - PSL)
- POSTER : Broadcast And Surveillance TechnologIes Over Networks
- Congrès : Nano Electronics Forum
22-25 novembre 2016 - Rome, Italie
Projet Européen BASTION- HAL = hal-01433575
- Mark Verhoeven (Axon), Willem-Jan Dirks (Axon), Egwin Wesselink (Axon), Teun Selten (Axon), Sander van Kolck (Axon), Jochem Herrmann (Adimec), Adriaan Umans (Adimec), Joost van Kuijk (Adimec), Marcel Dijkema (Adimec), Klaas Jan Damstra (GVN), John Hommel (GVN), Robert Pot (GVN), Joost Uijtdehaag (GVN), Patrick Henckes (Caeleste), Bart Dierickx (Caeleste), Bert Luyssaert (Caeleste), Pascal Douine (e2v), Jean-Luc Diverchy (e2v), Alain Prevost (e2v), Philippe Kuntz (e2v), Christophe Guettier (Sagem), Marc Bousquet (Sagem), Romuald Perinelle (Sagem), François Gendry (Sagem), Corinne Ancourt (Armines), François Irigoin (Armines), Claude Tadonki (Armines), Peter Brookes (Altera/Intel)
- POSTER : FEEVER : Faust Environment Everyware
- Les rencontres du numérique de l'ANR
16 novembre 2016 - Paris- HAL = hal-01430904
- Jouvelot (MINES ParisTech, PSL Research University), Yann Orlarey (Grame), Pottier Laurent (CIEREC, Univ. St-Etienne), Talpin Jean-Pierre (TEA, Rennes)
- SLIDES : Virtual Promenade : vers le traitement du syndrome post-chute par la réalité virtuelle
- Colloque ParaChutes, organisé par Télécom SudParis, Evry
- HAL = hal-01431263
- 23 novembre2016
- Pierre WARGNIER (MINES-ParisTech CRI, Univ. Paris Descartes)
- SLIDES : From Data to Effects Dependence Graphs: Source-to-Source Transformations for C
- IN: 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016)
2-3 Octobre 2016 - Raleigh, NC, USA- HAL = hal-01431340
- Nelson Lossing (MINES ParisTech CRI - PSL), Pierre Guillou (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)
- POSTER : Louise : ECA pour Alzheimer et troubles liés à l’âge
- Journées rencontre entre les partenaires industriels et les chercheurs de l’Institut Mines-Télécom
"Santé, autonomie et qualité de vie"
Paris- HAL = hal-01410123
- 16-17 mars 2016
- Pierre Jouvelot (MINES ParisTech CRI - PSL)
- POSTER : EUC2016 / CSE 2016 / DCABES 2016
- Poster pour 3 conférences organisées à l'école par Corinne Ancourt
24-26 Août 2016- Corinne Ancourt (CRI MINES ParisTech)
- POSTER : Optimisation des performances et profilage d'algorithmes de traitement d'images sur architectures parallèles
- Journées de 2nde année de l'Ecole Doctorale
- HAL = hal-01430178
- 31 mai 2016
- Florian Gouin (MINES ParisTech, PSL Research University)
- SLIDES : Automatic Code Generation of Distributed Parallel Tasks
- Onzième rencontre de la communauté française de compilation
7-9 Septembre 2016 - Aussois, France- HAL = hal-01431386
- Nelson Lossing (MINES ParisTech, PSL Research University), Corinne Ancourt (MINES ParisTech, PSL Research University), François Irigoin (MINES ParisTech, PSL Research University)
- SLIDES: Automatic Code Generation of Distributed Parallel Tasks
- IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016- Nelson Lossing (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), (François Irigoin (MINES ParisTech CRI - PSL)
- SLIDES : Threewise: A Local Variance Algorithm for Graphical Processors
- IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016- Florian Gouin (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), Christophe Guettier (SAFRAN)
- Participation au projet FEEVER sur le développement du langage musical Faust
- Rapport de stage, 4ème année
Polytech Clermont-Ferrand
Filière : Génie Mathématique et Modélisation- 31 août 2016
- Zouhair MORTABIT
- SLIDES : A Dynamic to Static DSL Compiler for Image Processing Applications
- IN: 19th Workshop on Compilers for Parallel Computing (CPC 2016)
8 juillet 2016 - Valladolid, Espagne- Pierre Guillou (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL), Fabien Coelho (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)
- SLIDES: Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for Programs
- IN : International Conference on Software & Systems Engineering and their Applications (ICSSEA'16)
25-27 mai 2016 - Paris- HAL = hal-01531505
- 26 mai 2016
- Karel De Vogeleer (TELECOM ParisTech), Pierre Jouvelot (MINES-ParisTech CRI - PSL)
- Wilson-Dirac Operator Revisited on Multicore Vector Computers
- Rapport technique
- HAL = hal-01433283
- Juin 2016
- Claude Tadonki (MINES-ParisTech CRI - PSL)
- Automated Code Generation for Lattice QCD Simulation
- Rapport technique
- HAL = hal-01433302
- Juin 2016
- Denis Barthou (LaBRI - Laboratoire Bordelais de Recherche en Informatique, INRIA Bordeaux), Gilbert Grosdidier (LAL - Laboratoire de l'Accélérateur Linéaire), Konstantin Petrov (INRIA Saclay), Michael Kruse (INRIA Saclay), Christina Eisenbeis (INRIA Saclay - LRI), Olivier Pene (LPT - Laboratoire de Physique Théorique d'Orsay), Olivier Brand-Foissac (LPT - Laboratoire de Physique Théorique d'Orsay), Claude Tadonki (MINES ParisTech CRI), Romain Dolbeau (CAPS - CAPS Enterprise)
- Signal Rate Inference for Multi-dimensional Faust
- Rapport technique pour le projet FEEVER
- 30 mai 2016
- Yann Orlarey (Grame), Pierre Jouvelot (MINES ParisTech, PSL Research University)
- SLIDES : Virtual Promenade: A New Serious Game for the Rehabilitation of Older Adults with Post-fall Syndrome
- IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA- Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Edmond Phuong (CEN Stimco), Kévin Marivan (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Frédéric Bloch (Univ. Paris Descartes, Hôpital Broca), Serge Reingewirtz(Univ. Paris Descartes, CEN Stimco), Gilles Kemoun (Univ. de Poitiers), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)
- SLIDES : Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise
- IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA- Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Giovanni Carletti (CEN Stimco, Institut Marcel Mauss CNRS-EHESS), Yann Laurent-Corniquet (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Pierre Jouvelot (MINES-ParisTech CRI), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)
- SLIDES : High Performance Computing - Synopsis of Technical and Programming Concepts
- IN : Universidade Federal of Rio de Janeiro & Universidade Federal Fluminense - Brésil
- 18 avril 2016
- Claude Tadonki (MINES-ParisTech CRI)
- List of utterances used for the ECA in experiments for "Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise"
- Document de travail
- Pierre Wargnier (MINES-ParisTech CRI, CENSTIMCO)