Centre de recherche en informatique

Mathématiques et systèmes




2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

2019

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

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)

A/729/CRI :

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)

A/727/CRI :

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)

A/726/CRI :

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)

A/725/CRI :

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)

A/724/CRI :

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)

A/723/CRI :

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)

A/722/CRI :

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)

A/721/CRI :

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)

A/720/CRI :

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)

A/719/CRI :

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)

A/714/CRI :

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)

A/710/CRI :

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)

A/708/CRI :

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)

A/704/CRI :

"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)

A/697/CRI :

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)

Articles soumis :

A/730/CRI :

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)

A/711/CRI :

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)

Autres articles et rapports techniques :

A/728/CRI :

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)

A/718/CRI :

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)

A/717/CRI :

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)

A/716/CRI :

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)

A/715/CRI :

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)

A/709/CRI :

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)

Rapports internes :

E/446/CRI :

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)

E/445/CRI :

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)

E/444/CRI :

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)

E/443/CRI :

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)