Filter your results
- 134
- 58
- 10
- 58
- 22
- 14
- 14
- 11
- 9
- 2
- 2
- 1
- 1
- 8
- 5
- 131
- 13
- 8
- 8
- 3
- 3
- 2
- 2
- 1
- 8
- 8
- 6
- 12
- 17
- 13
- 21
- 23
- 26
- 112
- 22
- 133
- 11
- 8
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 24
- 19
- 14
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
TIME-REVERSAL MIRRORING FOR NEAR-ULTRASONIC INDOOR COMMUNICATIONe-Forum Acusticum, Dec 2020, Lyon, France. ⟨10.48465/fa.2020.0063⟩
Conference papers
hal-02959013v1
|
||
|
Survey on AI-Based Multimodal Methods for Emotion DetectionHigh-Performance Modelling and Simulation for Big Data Applications, Springer, pp 307-324, 2019, 978-3-030-16272-6
Book sections
hal-02135811v1
|
||
|
Analysis and Compilation of Parallel Programming LanguagesComputation and Language [cs.CL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEM046⟩
Theses
tel-02081178v1
|
||
|
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
|
||
|
An up to date Mapping Methodology for GPUs20th Workshop on Compilers for Parallel Computing (CPC 2018), Apr 2018, Dublin, Ireland
Conference papers
hal-01759238v1
|
||
|
Impact of Head Motion on the Assistive Robot Expressiveness - Evaluation with Elderly Persons1st International Workshop on Affective Computing for Social Robotics Workshop at the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Aug 2016, New York, United States
Conference papers
hal-01344312v1
|
||
|
Virtual human technologies for cognitively-impaired older adults' care : the LOUISE and Virtual Promenade experimentsHuman-Computer Interaction [cs.HC]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEM021⟩
Theses
tel-01531137v1
|
||
|
How Information Systems Enable Digital Transformation: A focus on Business Models and Value Co‐production2016
Other publications
hal-01369141v2
|
||
|
Setting up an Operational Academic HPC Center[Research Report] E-415, MINES ParisTech - PSL Research University; Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2017
Reports
hal-01689697v1
|
||
|
Compiling Image Processing Applications for Many-Core AcceleratorsJournées de seconde année de l'Ecole Doctorale, Jun 2015, Paris, France
Conference poster
hal-01178938v1
|
||
|
Normalization by Completeness with Heyting AlgebrasLPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji
Conference papers
hal-01204599v1
|
||
|
Dynamic adaptation of human-computer interfaces using cognitive load trackingTechnology for Human Learning. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM082⟩
Theses
tel-03813674v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Energy Concerns with HPC Systems and Applications2023
Preprints, Working Papers, ...
hal-04213338v1
|
||
|
POLLAR: Impact of air POLLution on Asthma and Rhinitis; a European Institute of Innovation and Technology Health (EIT Health) projectClinical and Translational Allergy, 2018, 8, pp.36. ⟨10.1186/s13601-018-0221-z⟩
Journal articles
hal-02316525v1
|
||
|
Certified Graph View Maintenance with Regular DatalogTheory and Practice of Logic Programming, 2018, 34th International Conference on Logic Programming, 18 (3-4), pp.372-389. ⟨10.1017/S1471068418000224⟩
Journal articles
hal-01932818v1
|
||
|
Meta-programming for cross-domain tensor optimizations17th International Conference on Generative Programming: Concepts & Experiences (GPCE), Nov 2018, Boston, United States. pp.79-92
Conference papers
hal-01939656v1
|
||
|
TALA SOUNDThe Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark
Conference poster
hal-02475656v2
|
||
|
SizeChangeTool: A Termination Checker for Rewriting Dependent TypesHOR 2019 - 10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19
Conference papers
hal-02442465v1
|
||
|
High Performance Optimization at the Door of the Exascale[Research Report] A-754.pdf, MINES ParisTech - PSL Research University. 2021
Reports
hal-03274458v1
|
||
|
Conceptual and Technical Challenges for High Performance Computing2020
Preprints, Working Papers, ...
hal-02962355v1
|
||
|
Performance analyses and code transformations for MATLAB applicationsComputation and Language [cs.CL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM063⟩
Theses
tel-02516727v1
|
||
|
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
|
||
|
More Data Locality for Static Control Programs on NUMA ArchitecturesIMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques IMPACT 2017, Jan 2017, Stockholm, Sweden. pp.11
Conference papers
hal-01529354v1
|
||
|
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
|
||
|
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
|
||
|
CARBONE-AWARE HIGH-PERFORMANCE ARTIFICIAL INTELLIGENCEThe Transition Institute 1.5 : : Les enjeux sécuritaires des changements climatiques-, Mar 2023, Paris, France
Conference poster
hal-04143279v1
|