Pierre Jouvelot
97
Documents
Presentation
Pierre Jouvelot is Senior Researcher at the Centre de recherche en informatique, MINES ParisTech, PSL Research University (France).
Pierre Jouvelot is Senior Researcher at the Centre de recherche en informatique, MINES ParisTech, PSL Research University (France).
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
Conference papers
hal-04604958v2
|
|
|
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⟩
Conference papers
hal-04071711v1
|
|
|
Tala Box : Sociomatérialité d'un dispositif sonore pour patients AlzheimerEHEALTH & ETHICS 2023 RESEARCH DAY, Apr 2023, La défense, Paris, France
Conference papers
hal-04071809v1
|
|
|
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
Conference papers
hal-04271463v1
|
|
|
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
Conference papers
hal-03662794v1
|
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
Conference papers
hal-03819579v1
|
|
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
Conference papers
hal-03107380v1
|
|
|
|
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
Conference papers
hal-03210222v1
|
|
|
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⟩
Conference papers
hal-03322174v2
|
|
|
TIME-REVERSAL MIRRORING FOR NEAR-ULTRASONIC INDOOR COMMUNICATIONe-Forum Acusticum, Dec 2020, Lyon, France. ⟨10.48465/fa.2020.0063⟩
Conference papers
hal-02959013v1
|
|
|
IEDM, an Ontology for Irradiation Experiment Data ManagementESWC 2019 (European Semantic Web Conference), Jun 2019, Portoroz, Slovenia
Conference papers
hal-01950879v2
|
|
|
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
Conference papers
hal-02122249v1
|
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
Conference papers
hal-02436923v1
|
|
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
Conference papers
hal-02436850v1
|
|
The IRRAD Data Manager (IDM)17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States
Conference papers
hal-02436878v1
|
|
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
Conference papers
hal-02054241v1
|
|
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⟩
Conference papers
hal-02445970v1
|
|
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
Conference papers
hal-01857859v1
|
|
|
|
Impulse-Response and CAD-Model-Based Physical Modeling in FaustLinux Audio Conférence 2017, May 2017, Saint Etienne, France. pp.151-153
Conference papers
hal-01710232v1
|
|
|
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
Conference papers
hal-01622778v1
|
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⟩
Conference papers
hal-01678895v1
|
|
|
|
Experimental Energy Profiling of Energy-Critical Embedded Applications25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers
hal-01625409v2
|
|
|
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
Conference papers
hal-01650131v1
|
Virtual Promenade : vers le traitement du syndrome post-chute par la réalité virtuelleColloque ParaChutes, Télécom SudParis, Evry, Nov 2016, Evry, France
Conference papers
hal-01431263v1
|
|
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
Conference papers
hal-01531505v1
|
|
|
|
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⟩
Conference papers
hal-01364119v1
|
|
|
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
Conference papers
hal-01266477v2
|
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
Conference papers
hal-01430875v1
|
|
|
|
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⟩
Conference papers
hal-01425752v2
|
|
|
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⟩
Conference papers
hal-01410205v1
|
|
|
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⟩
Conference papers
hal-01251185v1
|
Towards refinement types for time-dependent data-flow networksACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States
Conference papers
hal-01241806v1
|
|
|
|
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
Conference papers
hal-01251086v1
|
|
|
A Taste of Sound Reasoning in FaustThe Linux Audio Conference (LAC 2015) , Johannes Gutenberg University (JGU), Apr 2015, Mainz, Germany
Conference papers
hal-01251069v1
|
|
|
Verification of Faust Signal Processing Programs in COQThe 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India
Conference papers
hal-01108173v1
|
|
|
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⟩
Conference papers
hal-01137307v1
|
|
|
Adventures in the (not so) Complex SpaceThe 7th Coq Workshop, Jun 2015, Sophia Antipolis, France
Conference papers
hal-01251147v1
|
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⟩
Conference papers
hal-01254368v1
|
|
Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS ProjectFrance. pp.12-14, ⟨10.1145/2591635.2591645⟩
Conference papers
hal-00984684v1
|
|
|
|
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⟩
Conference papers
hal-00959351v1
|
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⟩
Conference papers
hal-01111647v1
|
|
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
Conference papers
hal-01094998v1
|
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France
Conference papers
hal-00828744v1
|
|
|
|
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⟩
Conference papers
hal-00919414v1
|
|
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France
Conference papers
hal-00823324v1
|
|
|
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
Conference papers
hal-00940161v1
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France
Conference papers
hal-00828772v1
|
|
|
|
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⟩
Conference papers
hal-00742536v1
|
|
|
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⟩
Conference papers
hal-00659339v1
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Conference papers
hal-00744291v1
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
Conference papers
hal-00744294v1
|
|
|
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
Conference papers
hal-00744312v1
|
|
|
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⟩
Conference papers
hal-00751490v2
|
|
|
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⟩
Conference papers
hal-00831340v1
|
|
|
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⟩
Conference papers
hal-00917975v1
|
|
|
In and Out of SSA : a Denotational SpecificationWorkshop Static Single-Assignment Form Seminar,, Apr 2009, Autrans, France
Conference papers
hal-00915979v1
|
|
|
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
Conference papers
hal-00830279v1
|
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
Conference papers
hal-01257285v1
|
|
|
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
Conference poster
hal-04271482v1
|
|
|
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
Conference poster
hal-04283238v1
|
|
|
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.
Conference poster
hal-03715847v1
|
|
|
Esprits critiques : application au projet Tala SoundConference poster hal-03245110v1 |
|
|
TALA SOUNDThe Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark
Conference poster
hal-02475656v2
|
|
|
Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020Workshop ESWC, ESWC2019-EUProjectNetworking, Jun 2019, Portoroz, Slovenia
Conference poster
hal-02122878v1
|
|
|
MIMO Telecommunications with Near Ultrasounds1ère édition des Journées Jeunes Chercheurs en Acoustique Physique, Jun 2019, Paris, France
Conference poster
hal-02437001v1
|
|
|
Impulse-Response and CAD-Model-Based Physical Modeling in FAUSTLinux Audio Conférence 2017, May 2017, Saint Etienne, France. 2017
Conference poster
hal-01526607v2
|
|
|
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
Conference poster
hal-01622872v1
|
|
|
FEEVER : Faust Environment EverywareLes rencontres du numérique de l'ANR, Nov 2016, Paris, France
Conference poster
hal-01430904v1
|
|
|
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
Conference poster
hal-01410123v1
|
Acoustique-Informatique-Musique : outils scientifiques pour la musiquePresse des Mines. Presse des Mines, pp.400, 2012, Les cours, 978-2911256-60-8
Books
hal-00752617v1
|
Towards Aligning legivoc Legal Vocabularies by CrowdsourcingBook sections hal-01951041v1 |
|
Bringing Theorem Proving to the (Sonic) MassesLaurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press
Book sections
hal-01702717v1
|
|
|
A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective2023
Preprints, Working Papers, ...
hal-04159987v1
|
|
|
“An Unscented Hound forWorking Memory” and the Cognitive Adaptation of User Interfaces2019
Preprints, Working Papers, ...
hal-02011002v1
|
|
|
La communauté d'écoute de sonorités indiennes : une expérimentation de design sonore dans une institution paramédicale en France2018
Preprints, Working Papers, ...
hal-01950848v1
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Preprints, Working Papers, ...
hal-01939768v1
|
|
|
|
Bringing Theorem Proving to the (sonic) Masses2015
Preprints, Working Papers, ...
hal-01254456v1
|
|
|
Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation[Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022
Reports
hal-03565114v1
|
|
|
A Foundational Framework for the Specification and Verification of Mechanism Design[Research Report] E-458.PDF, MINES ParisTech - PSL Research University. 2022
Reports
hal-03666871v1
|
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
Reports
hal-02020183v1
|
|
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
Reports
hal-02020168v1
|
|
|
|
Etude WCET de programmes Faust avec a3[Rapport Technique] E-420, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2017
Reports
hal-01691614v1
|
|
|
Liquid Clocks - Refinement Types for Time-Dependent Stream Functions[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Reports
hal-01166350v3
|
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
Reports
hal-01251172v1
|