Centre de recherche en informatique
Mathématiques et systèmes
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 aout 2021- HAL = hal-03322174
- Emilio Jesus Gallego Arias (Inria Paris), Pierre Jouvelot (Mines ParisTech CRI - PSL Research University), Sylvain Ribstein, Dorian Desblancs (ENS Paris-Saclay)
- 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)
- 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)
- 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)
Articles soumis :
- 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),
Autres articles et rapports techniques :
- 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)
- 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)
- 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)
- 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)
- 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 :
- 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),
- 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
- 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
- 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
- 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)