Centre de recherche en informatique
Mathématiques et systèmes
A/731/CRI :
- TALA SOUND
- IN: The Neurosciences and Music - VII
Connecting with music across the lifespan.
19-22 Juin 2020 - Aarhus, Danemark
Presentation poster- HAL = hal-02475656
- Luc Perera (EnsAD, CRI, MINES ParisTech, Universite PSL), Pierre Jouvelot (MINES ParisTech, PSL University)
- IEDM: An Ontology for Irradiation Experiments Data Management
- IN: Workshop ESWC, ESWC2019-EUProjectNetworking (European Semantic Web Symposium)
2-6 juin 2019 - Portoroz, Slovenia
Article lie au poster A/697/CRI- HAL = hal-01950879 (meme HAL que le poster)
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University) and Federico Ravotti (CERN, Geneve)
- Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting
- IN: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
24-30 juin 2019 - Dortmund, Allemagne
DOI = 10.4230/LIPIcs.FSCD.2019.9- HAL = hal-01943941
- Frederic Blanqui (DEDUCTEAM, Inria, ENS Paris Saclay) Guillaume Genestier (ENS Paris Saclay, MINES-ParisTech CRI), Olivier Hermant (MINES ParisTech CRI, PSL)
- Memory Efficient Deployment of an Optical Flow Algorithm on GPU Using OpenMP
- IN: 20th International Conference on Image Analysis and Processing
9-13 septembre 2019 - Trento, Italie
Pages: 477-487- HAL = hal-02437182
- Olfa Haggui (doctorante, Sousse National School of Engineering, Tunisie), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Fatma Sayadi (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia) , Bouraoui Ouni (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia)
- The IRRAD Proton Irradiation Facility Control, Data Management and Beam Diagnostic systems: an outlook of the major upgrades beyond the LHC Long Shutdown 2
- IN: 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019
5-11 octobre 2019 - Hosted by Brookhaven National Laboratory, New York, NY- HAL = hal-02436923
- Federico Ravotti (CERN, Geneve), Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Maurice Glaser (CERN EP), Isidre Mateu (CERN EP), Viktoria Meskova (CERN EP), Giuseppe Pezzullo (CERN EP), Pierre Jouvelot (MINES ParisTech, PSL University), Jean-Michel Sallese (EDLAB, EPFL)
- The IRRAD Data Manager (IDM).
- IN: 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019
5-11 octobre 2019 - Hosted by Brookhaven National Laboratory, New York, NY- HAL = hal-02436878
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University), Giuseppe Pezzullo ; (CERN, Geneve), Federico Ravotti (CERN, Geneve)
- Automatic Web Application Generation from an Irradiation Experiment Data Management Ontology (IEDM)
- IN: 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019
5-11 octobre 2019 - Hosted by Brookhaven National Laboratory, New York, NY- HAL = hal-02436850
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University), Federico Ravotti (CERN, Geneve)
- Using performance event profiles to deduce an execution model of MATLAB with just-in-time compilation
- IN: 32nd Workshop on Languages and Compilers for Parallel Computing (LCPC 2019)
22-24 Octobre 2019 - Georgia Tech, Atlanta- HAL = hal-02435319
- Patryk Kiepas ((Mines ParisTech CRI - PSL Research University; AGH University of Science and Technology Cracow, Poland), Corinne Ancourt (Mines ParisTech CRI - PSL Research University), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Jaroslaw Kozlak (AGH University of Science and Technology Cracow, Poland)
- Data Migration - Cloudsim Extension
- IN: 3rd International Conference on Big Data Research (ICBDR 2019)
20-22 novembre 2019 - EISTI, Paris, France
will be published in : ACM Digital Library- HAL = hal-02435301
- Laila Bouhouch (Universite Mohamed V de Rabat), Mostapha Zbakh (Universite Mohamed V de Rabat), Claude Tadonki (MINES ParisTech CRI - PSL)
- Mutation Analysis for Coq
- IN: 34th International Conference on Automated Software Engineering (ASE 2019
10-15 Nov 2019, San Diego, USA.- HAL = hal-02434236
- Ahmet Celik, Karl Palmskog, Marinela Parovic (The University of Texas at Austin) ;Emilio Jesus Gallego Arias (MINES ParisTech CRI - PSL), ;Milos Gligoric (The University of Texas at Austin)
- Towards Principled Compilation of Ethereum Smart Contracts (SoK)
- IN: 10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019
24-26 juin 2019 - Canary Islands, Espagne
IEEE 2019, ISBN 978-1-7281-1542-9- HAL = hal-02434176
- Emilio Jesus Gallego Arias (MINES ParisTech CRI - PSL)
- Locus: A System and a Language for Program Optimization
- IN: 17th IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2019)
16-20 février 2019 - Washington, US
12 Pages, p217-228
ISBN (Electronic) = 9781728114361
DOI=10.1109/CGO.2019.8661203- HAL = hal-02135657
- Thiago Teixeira (Dept of Computer Science, University of Illinois at Urbana-Champaign, USA), Corinne Ancourt ((MINES ParisTech, PSL University), David Padua (Dept of Computer Science, University of Illinois at Urbana-Champaign), William Gropp (Dept of Computer Science, University of Illinois at Urbana-Champaign)
- Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020
- IN : Workshop ESWC, ESWC2019-EUProjectNetworking
2-6 juin 2019 - Portorož, Slovenia
Présentation poster et article- HAL = hal-02122878
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University), Federico Ravotti (CERN, Geneve), Georgi Gorine (CERN, EPFL), Giuseppe Pezzullo (CERN)
- Efficient GPU Implementation of Lucas-Kanade through OpenACC
- IN: the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP 2019)
25-27 février 2019 - Prague, République Tchèque
ISBN: 978-989-758-354-4
Volume 5, 4 pages, 768,775
DOI = 10.5220/0007272107680775- HAL = hal-02102229
- Olfa Haggui (doctorante, Sousse National School of Engineering, Tunisie), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Fatma Sayadi (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia) , Bouraoui Ouni (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia)
- "An Unscented Hound forWorking Memory” and the Cognitive Adaptation of User Interfaces
- IN : the 27th Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019)
9-12 Juin 2019 - Larnaca, Chypre.- HAL = hal-02011002
- Bruno Massoni Sguerra (CRI, MINES ParisTech, Université PSL), Pierre Jouvelot (CRI, MINES ParisTech, Université PSL)
Articles soumis :
- IEDM, an Ontology for Irradiation Experiment Data Management
- IN : Workshop ESWC, ESWC2019-EUProjectNetworking (European Semantic Web Symposium)
2-6 juin 2019 - Portorož, Slovenia
Présentation poster- HAL = hal-01950879
- Soumis en Novembre 2018
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University) and Federico Ravotti (CERN, Geneve)
- A Big Data Placement Strategy in Geographically Distributed Datacenters
- Submitted to: 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech'20)
28-30 Mai 2020- Marrakesh, Maroc- Laila Bouhouch (Universite Mohamed V de Rabat), Mostapha Zbakh (Universite Mohamed V de Rabat), Claude Tadonki (MINES ParisTech CRI - PSL)
Autres articles et rapports techniques :
- Memory Efficient Deployment of an OpticalFlow Algorithm on GPU using OpenMP
- Submitted to: 20th International Conference on image analysis and processing (ICIAP 2019)
9-13 Septembre 2019 - Trento, Italie- Olfa Haggui (doctorante, Sousse National School of Engineering, Tunisie), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Fatma Sayadi (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia) , Bouraoui Ouni (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia)
- First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice
- Published in: Journal of Automated Reasoning
Volume N°64, Numéro 6, pages 1001-1050 (2020)
Projet ANR : ANR-12-INSE-0010 - BWare - Une plate-forme mecanisee et basee sur la preuve pour la verification d'obligations de preuve B (2012)
DOI = 10.1007/s10817-019-09533-z- HAL = hal-02305831
- Guillaume Burel (DEDUCTEAM, INRIA Saclay, ENSIIE), Guillaume Bury (DEDUCTEAM), Raphael Cauderlier (IRIF), David Delahaye (MAREL, LIRMM, Montpellier), Pierre Halmagrand (EDF R&D OSIRIS), Olivier Hermant (MINES ParisTech CRI, PSL)
- Designing Tala Sound, or the emergence of a new multidisciplinary and social research methodology for health
- Rapport technique CRI
- Luc Perera (EnsAD, CRI, MINES ParisTech, Université PSL), Pierre Jouvelot (MINES ParisTech, PSL University)
- MIMO Telecommunications with Near Ultrasounds
- IN : 1ere edition des Journees Jeunes Chercheurs en Acoustique Physique
6-7 juin 2019 - Campus Pierre et Marie Curie, Sorbonne Universite (Paris)
Présentation poster- HAL = hal-02437001
- Arthur Aubertin (MINES ParisTech, PSL University, Stimshop, ESPCI Paris), Julien de Rosny (ESPCI Paris, Université PSL, Institut Langevin Ondes et Images), Pierre Jouvelot ((MINES ParisTech, PSL University)
- CHAPITRE: Parallelization of Hierarchical Matrix Algorithms for Electromagnetic Scattering Problems
- Ouvrage: High-Performance Modelling and Simulation for Big Data Applications
Publisher: Springer, 2019
Chapitre 2, pp. 36–68
ISBN = 978-3-030-16272-6
DOI = 10.1007/978-3-030-16272-6_2- HAL = hal-02135894
- Elisabeth Larsson (Scientific Computing, Department of Information Technology, Uppsala University, Sweden), Afshin Zafari (Scientific Computing, Department of Information Technology, Uppsala University, Sweden), Marco Righero (Antenna and EMC Lab (LACE), LINKS Foundation, Turin), M. Alessandro Francavilla (ASML Netherlands BV, Veldhoven, Netherlands), Giorgio Giordanengo (Antenna and EMC Lab (LACE), LINKS Foundation, Turin), Francesca Vipiana (Department of Electronics and Telecommunications, Politecnico di Torino), Giuseppe Vecchi (Department of Electronics and Telecommunications, Politecnico di Torino), Christoph Kessler (Department of Computer and Information Science, Linkoping University, Sweden), Corinne Ancourt (MINES ParisTech CRI - PSL), Clemens Grelck (Informatics Institute, University of Amsterdam, Netherlands)
- CHAPITRE: Survey on AI-Based Multimodal Methods for Emotion Detection
- Ouvrage: High-Performance Modelling and Simulation for Big Data Applications
Publisher: Springer, 2019
Chapitre 11, pp 307-324
ISBN=978-3-030-16272-6
DOI=10.1007/978-3-030-16272-6_11- HAL = hal-02135811
- Catherine Marechal (Allianstic Research Laboratory, Efrei Paris, Villejuif), Dariusz Mikołajewski (Institute of Mechanics and Applied Computer Science, Kazimierz Wielki University, Bydgoszcz, Poland et Neurocognitive Laboratory, Centre for Modern Interdisciplinary Technologies, Nicolaus Copernicus University, Toruń, Poland ;;Krzysztof Tyburek , Piotr Prokopowicz), Lamine Bougueroua (Allianstic Research Laboratory, Efrei Paris, Villejuif), Corinne Ancourt (Mines ParisTech CRI - PSL Research University), Katarzyna Węgrzyn-Wolska (Allianstic Research Laboratory, Efrei Paris, Villejuif)
Rapports internes :
- Vers une nouvelle approche méthodologique de recherche interdisciplinaire
par le design : le projet Tala Sound, une étude de cas en design social- IN : 8° Colloque Santé
Marseille - 20-21 mai 2019- HAL = hal-02122249
- Luc Perera (EnsAD, CRI, MINES ParisTech, Université PSL), Pierre Jouvelot (CRI, MINES ParisTech, Université PSL)
- SLIDES : MIMO Telecommunications with Near Ultrasounds
- IN : 1ère édition des Journées Jeunes Chercheurs en Acoustique Physique
6-7 juin 2019 - Campus Pierre et Marie Curie, Sorbonne Université (Paris)- Arthur Aubertin (MINES ParisTech, PSL University, Stimshop, ESPCI Paris), Julien de Rosny (ESPCI Paris, Université PSL, Institut Langevin Ondes et Images), Pierre Jouvelot ((MINES ParisTech, PSL University)
- SLIDES : IEDM, an Ontology for Irradiation Experiment Data Management
- IN : Workshop ESWC, ESWC2019-EUProjectNetworking (European Semantic Web Symposium)
Présentation Poster : A/697/CRI
2-6 juin 2019 - Portorož, Slovenia- HAL = hal-01950879 (Annexe)
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University) and Federico Ravotti (CERN, Geneve)
- SLIDES : Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020
- IN : Workshop ESWC, ESWC2019-EUProjectNetworking
Présentation Poster : A/710/CRI
2-6 juin 2019 - Portorož, Slovenia- HAL = hal-02122878
- Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University), Federico Ravotti (CERN, Geneve), Georgi Gorine (CERN, EPFL), Giuseppe Pezzullo (CERN)
- SLIDES : The CERN Proton Irradiation Facility IRRAD during and after the CERN Long Shutdown 2
- IN : 7th Beam Telescopesans Test Beams Workshop
14-18 janvier 2019
CERN - Geneve, Suisse- HAL = hal-02054241
- D. Brethoux (CERN EN), J. Bronuzzi (CERN EP et EPFL), B. Gkotse (CERN EP et MINES ParisTech), M. Glaser (CERN EP), G. Gorine (CERN EP et EPFL), P. Jouvelot (MINES ParisTech), M.R. Jaekel (CERN EP), ;M. Lazzaroni (CERN EN), I. Mateu (CERN EP), E. Matli (CERN BE), G. Pezzullo (CERN EP), F. Ravotti (CERN EP)