
Pierre Jouvelot
100
Documents
Présentation
Pierre Jouvelot is Senior Researcher at the Centre de recherche en informatique, MINES ParisTech, PSL Research University (France).
Publications
Publications
|
Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power RequirementsSAMOS 2024 : International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jun 2024, Samos (Greece), Greece
Communication dans un congrès
hal-04604958
v2
|
|
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive DisordersThe IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), Jun 2023, Orlando (Florida), United States. ⟨10.1145/3580252.3589413⟩
Communication dans un congrès
hal-04071711
v1
|
|
CERN PROTON IRRADIATION FACILITY (IRRAD) DATA MANAGEMENT, CONTROL AND MONITORING SYSTEM INFRASTRUCTURE FOR POST-LS2 EXPERIMENTSThe 19th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Oct 2023, Cape Town, South Africa
Communication dans un congrès
hal-04271463
v1
|
|
Tala Box : Sociomatérialité d'un dispositif sonore pour patients AlzheimerEHEALTH & ETHICS 2023 RESEARCH DAY, Apr 2023, La défense, Paris, France
Communication dans un congrès
hal-04071809
v1
|
UPGRADING THE IRRAD CONTROL SYSTEM GUIs USING OPEN-LICENSE AND CROSS-PLATFORM TECHNOLOGIES *the 13th International Workshop on Emerging Technologies and Scientific Facilities Controls PCaPAC 2022, Oct 2022, Prague, Czech Republic
Communication dans un congrès
hal-03819579
v1
|
|
|
The impact of motivation on the quality of project management data: an emailbased communication case studyEURAM 2022 (leading Digital Transformation), School of Managemnt and Law, Jun 2022, Winterthur, Switzerland
Communication dans un congrès
hal-03662794
v1
|
|
The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing AlgorithmsFARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩
Communication dans un congrès
hal-03322174
v2
|
|
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Communication dans un congrès
hal-03210222
v1
|
Upgrades for the CERN EP Irradiation Facilities (IRRAD, Gif++) and plans beyond the Long Shutdown 29th edition of the Beam Telescopes and Test Beams Workshop ( online workshop), Jan 2021, Lecce, Italy
Communication dans un congrès
hal-03107380
v1
|
|
|
TIME-REVERSAL MIRRORING FOR NEAR-ULTRASONIC INDOOR COMMUNICATIONe-Forum Acusticum, Dec 2020, Lyon, France. ⟨10.48465/fa.2020.0063⟩
Communication dans un congrès
hal-02959013
v1
|
The IRRAD Proton Irradiation Facility Control, Data Management and Beam Diagnostic systems: an outlook of the major upgrades beyond the LHC Long Shutdown 217th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States
Communication dans un congrès
hal-02436923
v1
|
|
An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfacesthe 27th ACM Conference, Jun 2019, Larnaca, France. pp.78-85, ⟨10.1145/3320435.3320443⟩
Communication dans un congrès
hal-02445970
v1
|
|
The CERN Proton Irradiation Facility IRRAD during and after the CERN Long Shutdown 27th Beam Telescopesans Test Beams Workshop, CERN, Jan 2019, Genève, Switzerland
Communication dans un congrès
hal-02054241
v1
|
|
The IRRAD Data Manager (IDM)17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States
Communication dans un congrès
hal-02436878
v1
|
|
Automatic Web Application Generation from an Irradiation Experiment Data Management Ontology (IEDM)17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States
Communication dans un congrès
hal-02436850
v1
|
|
|
IEDM, an Ontology for Irradiation Experiment Data ManagementESWC 2019 (European Semantic Web Conference), Jun 2019, Portoroz, Slovenia
Communication dans un congrès
hal-01950879
v2
|
|
Vers une nouvelle approche méthodologique de recherche interdisciplinaire par le design : le projet Tala Sound, une étude de cas en design social8° Colloque Santé, May 2019, Marseille, France
Communication dans un congrès
hal-02122249
v1
|
Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHSIEEE International Conference on Systems, Man, and Cybernetics (SMC2018), Oct 2018, Miyazaki, Japan. pp.1305-1310
Communication dans un congrès
hal-01857859
v1
|
|
Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer PatientsThe first International Conference on User Modeling, Adaptation and Personnalization (UMAP 2017), Jul 2017, Bratislava, Slovakia. pp.253-256 ⟨10.1145/3099023.3099052⟩
Communication dans un congrès
hal-01678895
v1
|
|
|
Experimental Energy Profiling of Energy-Critical Embedded Applications25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Communication dans un congrès
hal-01625409
v2
|
|
jsCoq: Towards Hybrid Theorem Proving Interfaces12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩
Communication dans un congrès
hal-01425752
v2
|
|
Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity RuleThe Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Communication dans un congrès
hal-01622778
v1
|
|
Impulse-Response and CAD-Model-Based Physical Modeling in FaustLinux Audio Conférence 2017, May 2017, Saint Etienne, France. pp.151-153
Communication dans un congrès
hal-01710232
v1
|
|
Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use CaseRADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland
Communication dans un congrès
hal-01650131
v1
|
FEEVER : Faust Environment Everyware Une solution ubiquitaire pour le traitement audionumérique portable et multiplateforme Les rencontres du numérique de l'ANR, Nov 2016, Paris, France
Communication dans un congrès
hal-01430875
v1
|
|
|
Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise4th International Conference on Serious Games and Applications for Health (IEEE SeGAH 2016) , http://web.ipca.pt/segah2016/index.htm, May 2016, Orlando, United States. pp.1-8
Communication dans un congrès
hal-01266477
v2
|
|
Signal Rate Inference for Multi-Dimensional FaustThe 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 2016, Leuven, Belgium. pp.1:1--1:12, ⟨10.1145/3064899.3064902⟩
Communication dans un congrès
hal-01364119
v1
|
Virtual Promenade : vers le traitement du syndrome post-chute par la réalité virtuelleColloque ParaChutes, Télécom SudParis, Evry, Nov 2016, Evry, France
Communication dans un congrès
hal-01431263
v1
|
|
Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for ProgramsInternational Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France
Communication dans un congrès
hal-01531505
v1
|
|
|
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.The 10th World Conference of Gerontechnology (ISG 2016), Sep 2016, Nice, France. ⟨10.4017/gt.2016.15.s.714.00⟩
Communication dans un congrès
hal-01410205
v1
|
|
Adventures in the (not so) Complex SpaceThe 7th Coq Workshop, Jun 2015, Sophia Antipolis, France
Communication dans un congrès
hal-01251147
v1
|
|
Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational AgentThe Third International Workshop on Virtual and Augmented Assistive Technology (VAAT), Mar 2015, Arles, France. pp 23-28, ⟨10.1109/VAAT.2015.7155406⟩
Communication dans un congrès
hal-01137307
v1
|
|
Verification of Faust Signal Processing Programs in COQThe 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India
Communication dans un congrès
hal-01108173
v1
|
|
A Taste of Sound Reasoning in FaustThe Linux Audio Conference (LAC 2015) , Johannes Gutenberg University (JGU), Apr 2015, Mainz, Germany
Communication dans un congrès
hal-01251069
v1
|
|
A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray FortranIEEE Cluster 2015, Sep 2015, Chicago, United States. p.448-451, ⟨10.1109/CLUSTER.2015.67⟩
Communication dans un congrès
hal-01251185
v1
|
|
Aligning Legivoc Legal Vocabularies by CrowdsourcingLanguage and Semantics Technology for Legal Domain (LST4LD) Workshop, 10th Recent Advances in Natural Processing Conference, Sep 2015, Hissar, Bulgaria
Communication dans un congrès
hal-01251086
v1
|
Towards refinement types for time-dependent data-flow networksACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States
Communication dans un congrès
hal-01241806
v1
|
|
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communicationsLLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, Nov 2015, Austin, United States. pp.2:1--2:8, ⟨10.1145/2833157.2833158⟩
Communication dans un congrès
hal-01254368
v1
|
|
Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS ProjectFrance. pp.12-14, ⟨10.1145/2591635.2591645⟩
Communication dans un congrès
hal-00984684
v1
|
|
A constraint-solving approach to Faust program type checkingConstraint Programming meets Verification, The 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France
Communication dans un congrès
hal-01094998
v1
|
|
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Communication dans un congrès
hal-01111647
v1
|
|
Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal ProcessingTwelfth International Symposium on Functional and Logic Programming (FLOPS 2014), Jun 2014, Kanazawa, Japan. pp 69-85, ⟨10.1007/978-3-319-07151-0_5⟩
Communication dans un congrès
hal-00959351
v1
|
|
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp 174-189, ⟨10.1007/978-3-642-37658-0_12⟩
Communication dans un congrès
hal-00742536
v1
|
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Communication dans un congrès
hal-00919414
v1
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France
Communication dans un congrès
hal-00828744
v1
|
|
|
Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'AlzheimerCongrès national Alzheimer 2013, Dec 2013, Issy-les-Moulineaux, France
Communication dans un congrès
hal-00940161
v1
|
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France
Communication dans un congrès
hal-00823324
v1
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France
Communication dans un congrès
hal-00828772
v1
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Communication dans un congrès
hal-00744291
v1
|
|
Textual entailment by generalityConference on Pacific Association for Computational Lingustics, PACLING 2011, Jul 2011, Kuala Lumpur, Malaysia. pp.258-266, ⟨10.1016/j.sbspro.2011.10.606⟩
Communication dans un congrès
hal-00659339
v1
|
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
Communication dans un congrès
hal-00744294
v1
|
|
PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPSFirst International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France
Communication dans un congrès
hal-00744312
v1
|
|
Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case StudyInternational Workshop on Synchronous Programming (SYNCHRON 2011), Nov 2011, Dammarie-les-Lys, France. ⟨10.1145/2543581.2543591⟩
Communication dans un congrès
hal-00751490
v2
|
|
The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.79-90, ⟨10.1007/978-3-642-15399-0_8⟩
Communication dans un congrès
hal-00831340
v1
|
|
In and Out of SSA : a Denotational SpecificationWorkshop Static Single-Assignment Form Seminar,, Apr 2009, Autrans, France
Communication dans un congrès
hal-00915979
v1
|
|
Designing Wiimprovisation for Mediation in Group Music Therapy with Children Suffering from Behavioral Disordersthe 8th International Conference on Interaction Design and Children, Jun 2009, Como, France. pp. 18-26, ⟨10.1145/1551788.1551793⟩
Communication dans un congrès
hal-00917975
v1
|
|
Wii GAME TECHNOLOGY FOR MUSIC THERAPY : A FIRST EXPERIMENT WITH CHILDREN SUFFERING FROM BEHAVIORAL DISORDERSMulti Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137
Communication dans un congrès
hal-00830279
v1
|
The New Framework for Loop Nest Optimization in GCC: from Prototyping to EvaluationProc. of the 12th Workshop on Compilers for Parallel Computers (CPC), 2006, A Coruña, Spain
Communication dans un congrès
hal-01257285
v1
|
|
Machine Learning and Data-Driven Tools for Automatic Evaluation of RADNEXT Experiments ProposalsThe Workshop for Industry on Radiation Hardness Testing of Semiconductor Devices and Systems at the RADNEXT Facilities (G-RADNEXT Workshop 2023), Nov 2023, Meyrin, Switzerland
Poster de conférence
hal-04283238
v1
|
|
CERN PROTON IRRADIATION FACILITY (IRRAD) DATA MANAGEMENT, CONTROL AND MONITORING SYSTEM INFRASTRUCTURE FOR POST-LS2 EXPERIMENTSThe 19th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Oct 2023, Cape Town, South Africa, South Africa
Poster de conférence
hal-04271482
v1
|
|
A Foundational Framework for the Specification and Verification of Mechanism DesignEC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States.
Poster de conférence
hal-03715847
v1
|
|
Esprits critiques : application au projet Tala Sound7ème édition du Printemps de la Recherche en Éducation, Mar 2021, PARIS, France.
Poster de conférence
hal-03245110
v1
|
|
TALA SOUNDThe Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark
Poster de conférence
hal-02475656
v2
|
|
MIMO Telecommunications with Near Ultrasounds1ère édition des Journées Jeunes Chercheurs en Acoustique Physique, Jun 2019, Paris, France
Poster de conférence
hal-02437001
v1
|
|
Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020Workshop ESWC, ESWC2019-EUProjectNetworking, Jun 2019, Portoroz, Slovenia
Poster de conférence
hal-02122878
v1
|
|
Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use CaseRADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland
Poster de conférence
hal-01622872
v1
|
|
Impulse-Response and CAD-Model-Based Physical Modeling in FAUSTLinux Audio Conférence 2017, May 2017, Saint Etienne, France. 2017
Poster de conférence
hal-01526607
v2
|
|
FEEVER : Faust Environment EverywareLes rencontres du numérique de l'ANR, Nov 2016, Paris, France
Poster de conférence
hal-01430904
v1
|
|
Louise : ECA pour Alzheimer et troubles liés à l’âgeJournées rencontre entre partenaires industriels et chercheurs de l’Institut Mines-Télécom "Santé, autonomie et qualité de vie", Mar 2016, Paris, France. 2016
Poster de conférence
hal-01410123
v1
|
Acoustique-Informatique-Musique : outils scientifiques pour la musiquePresse des Mines. Presse des Mines, pp.400, 2012, Les cours, 978-2911256-60-8
Ouvrages
hal-00752617
v1
|
L'axiologie gestuelle du dispositif sonore TalaBox pour l'apaisement des patients AlzheimerValeurs et usages du son, Editions Delatour France, 2024
Chapitre d'ouvrage
hal-04883741
v1
|
|
Towards Aligning legivoc Legal Vocabularies by CrowdsourcingAI Approaches to the Complexity of Legal Systems, , pp.Pages 220-232, 2018, 978-3-030-00178-0
Chapitre d'ouvrage
hal-01951041
v1
|
|
Bringing Theorem Proving to the (Sonic) MassesLaurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press
Chapitre d'ouvrage
hal-01702717
v1
|
|
A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective2023
Pré-publication, Document de travail
hal-04159987
v1
|
|
“An Unscented Hound forWorking Memory” and the Cognitive Adaptation of User Interfaces2019
Pré-publication, Document de travail
hal-02011002
v1
|
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Pré-publication, Document de travail
hal-01939768
v1
|
|
La communauté d'écoute de sonorités indiennes : une expérimentation de design sonore dans une institution paramédicale en France2018
Pré-publication, Document de travail
hal-01950848
v1
|
|
Bringing Theorem Proving to the (sonic) Masses2015
Pré-publication, Document de travail
hal-01254456
v1
|
|
The Price of Smart Contract PrivacyE/465/CRI, Mines Paris - PSL. 2024
Rapport
(rapport technique)
hal-04702045
v1
|
|
Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation[Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022
Rapport
(rapport technique)
hal-03565114
v1
|
|
A Foundational Framework for the Specification and Verification of Mechanism Design[Research Report] E-458.PDF, MINES ParisTech - PSL Research University. 2022
Rapport
hal-03666871
v1
|
Vers une méthodologie en design sonore médical : de l'interdisciplinarité au design social[Rapport de recherche] Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2019
Rapport
(rapport de recherche)
hal-02020183
v1
|
|
L'émergence d'une nouvelle méthodologie de recherche sonore dans le domaine de la santé : la ``designo-thérapie''?[Rapport de recherche] Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2019
Rapport
(rapport de recherche)
hal-02020168
v1
|
|
|
Etude WCET de programmes Faust avec a3[Rapport Technique] E-420, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2017
Rapport
(rapport technique)
hal-01691614
v1
|
|
Liquid Clocks - Refinement Types for Time-Dependent Stream Functions[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Rapport
(rapport de recherche)
hal-01166350
v3
|
The SPIRE Methodology of Compiler Parallel Intermediate Representation Design[Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015
Rapport
(rapport de recherche)
hal-01251172
v1
|
Chargement...
Chargement...