Centre de recherche en informatique

Mathématiques et systèmes




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  

2021

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


Articles publiés :

A/755/CRI :

The W-calculus: A Synchronous Framework for the Verified Modelling
of Digital Signal Processing Algorithms
IN: 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM 2021)
Online workshop
27 août 2021
HAL = hal-03322174
Emilio Jésus Gallego Arias (Inria Paris), Pierre Jouvelot (Mines ParisTech CRI - PSL Research University), Sylvain Ribstein, Dorian Desblancs (ENS Paris-Saclay)

A/753/CRI :

Intermediate Representations for Explicitly Parallel Programs
IN: ACM Computing Surveys - Article No. 100
Volume 54, Issue 5 pp 1–24
May 2021
DOI = 10.1145/3452299
HAL = hal-03245110
Adilla Susungi (Claude Tadonki (Mines ParisTech CRI - PSL Research University), Claude Tadonki (Mines ParisTech CRI - PSL Research University)

A/748/CRI :

Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)
IN: Fourth International Symposium on Foundations and Applications of Blockchain 2021 (FAB'21)
(Short Paper)
Zoom for streaming the presentations
May 7, 2021 - University of California, Davis
HAL = hal-03210222
Lucas Massoni Sguerra (MINES ParisTech, PSL University), Pierre Jouvelot (MINES ParisTech, PSL University), Emilio J. Gallego Arias (Inria Paris), Gérard Memmi (Télécom Paris, IP Paris), Fabien Coelho (MINES ParisTech, PSL University)

A/741/CRI :

Tala Sound, un projet interdisciplinaire innovant en design social pour la sante
IN: Innovations. Journal of Innovation Economics and Management, 2021 (A paraitre)
HAL = hal-03137520
Luc Perera (Groupe Symbiose, Ecole nationale superieure des Arts Decoratifs Universite PSL, et CRI), Pierre Jouvelot (Mines ParisTech CRI - PSL Research University)

A/740/CRI :

Upgrades for the CERN EP Irradiation Facilities (IRRAD, Gif++) and plans beyond the Long Shutdown 2
IN: 9th Beam Telescopes and Test Beams Workshop
Online workshop
8-10 Fevrier 2021 - Lecce, Italie
HAL = hal-03107380
Blerina Gkotse (MINES ParisTech, PSL University, CRI), Martin R. Jaekel (CERN), Alexander Smith Moelholm (Aarhus University, DK), Alfredo Maria Nunez Herrero (University Carlos III, ES), Giuseppe Pezzullo (CERN), Federico Ravotti (CERN), Ourania Sidiropoulou (CERN), Isidre Mateu (Universitaet Bern, CH), Viktoria Meskova (Democritus University of Thrace, GR), Pierre Jouvelot (MINES ParisTech, PSL University, CRI),

Articles soumis :

A/752/CRI :

Near-Ultrasonic Time-Reversal Indoor Communication
Submitted to: Acta Acustica, the Journal of the European Acoustics Association (EAA)
Mai 2021
Arthur Aubertin (Stimshop, MINES ParisTech, Université PSL, Paris, ESPCI Paris), Pierre Jouvelot (Mines ParisTech CRI - PSL Research University), Julien De Rosny (ESPCI Paris)

Autres articles et rapports techniques :

A/780/CRI :

Dynamic Data Replication and Placement Strategy in Geographically Distributed data centers
Rapport interne
Laila Bouhouch (National School of Computer Science and ;Systems Analysis, Mohammed V, University in Rabat, Morocco), Mostapha Zbakh (National School of Computer Science and ;Systems Analysis, Mohammed V, University in Rabat, Morocco), Claude Tadonki (MINES ParisTech-PSL / CRI, Paris, France)

A/754/CRI :

High Performance Optimization at the Door of the Exascale
Rapport technique
https://arxiv.org/pdf/2106.11819.pdf

HAL = hal-03274458
Claude Tadonki (Mines ParisTech CRI - PSL Research University)

A/751/CRI :

POSTER : Esprits critiques : application au projet Tala Sound
IN : 7eme Edition du Printemps de la Recherche en Education.
Concours organise par le Reseau des INSPE du 29 mars au 1er juin 2021
HAL = hal-03245110
Luc Perera (Groupe Symbiose, Ecole nationale superieure des Arts Decoratifs Universite PSL, et CRI), Pierre Jouvelot (Mines ParisTech CRI - PSL Research University)

A/750/CRI :

Towards a Generic Coq Proof of the Truthfulness of Vickrey–Clarke–Groves Auctions for Search
Rapport technique CRI
Lucas Massoni Sguerra (MINES ParisTech, PSL University), Pierre Jouvelot (MINES ParisTech, PSL University), Emilio J. Gallego Arias (Inria Paris),

A/750/CRI :

Towards a Generic Coq Proof of the Truthfulness of Vickrey–Clarke–Groves Auctions for Search
Rapport technique CRI
Lucas Massoni Sguerra (MINES ParisTech, PSL University), Pierre Jouvelot (MINES ParisTech, PSL University), Emilio J. Gallego Arias (Inria Paris),

Rapports internes :

E/455/CRI :

Automatic Detection Of COVID-19 Using Convolutional
Neural Networks And X-Ray Images
Memoire de projet de fin d'etudes - Master de recherche CLOUD AND HIGH PERFORMANCE COMPUTING
Ecole Nationale Superieure d'Informatique et d'Analyse des Systemes - Universite Mohamed V - Rabat
Soutenu le 02/09/2021

Encadre par : Pr. ZBAKH Mostapha ENSIAS, Pr. TADONKI Claude Mines ParisTech
Membre de jury : Pr. OUACHA Ali FSR President, Pr. EZ-ZAHOUT Abderrahmane FSR Examinator
AHSAINE Khadija

E/454/CRI :

La descente du gradient stochastique parallélisé avec OpenMP dans un contexte de l’intelligence artificielle
Memoire de projet de fin d'etudes - Master de recherche CLOUD AND HIGH PERFORMANCE COMPUTING
Ecole Nationale Superieure d'Informatique et d'Analyse des Systemes - Universite Mohamed V - Rabat
Soutenu le 02/09/2021

Encadre par : Pr. Mostapha Zbakh [ENSIAS] et Pr. Claude Tadonki [Mines ParisTech]
Membre de jury : Pr. Abderrahmane Ez-zaout [FSR], Président et Pr. Ali Ouacha [FSR], Examinateur
Houda Assassi

E/453/CRI :

Analyzing and Optimizing the Kronecker Tensor Product of Matrices
Memoire de master 2 à l'Institut de Mathematiques et Statistiques
Universite de Rio de Janeiro
(Co-dirige par Claude Tadonki)
HAL = hal-03340434
Alexandre Ribeiro Fernandes Azevedo

E/452/CRI :

PRESENTATION VIDEO : Blockchain Performance Benchmarking: a VCG Auction Samrt Contract Use Case for Ethereum and Tezos
IN : 4th International Symposium on Foundations and Applications of Blockchain 2021 (FAB '21)
7 mai 2021 - Anywhere on Earth
Lucas Massoni Sguerra (MINES ParisTech, PSL University), Pierre Jouvelot (MINES ParisTech, PSL University)