Search - Recherche en informatique (CRI)
 Access content directly

Filter your results

134 Results
Deposit type : Fulltext
Image document


Arthur Aubertin , Julien de Rosny , Pierre Jouvelot
e-Forum Acusticum, Dec 2020, Lyon, France. ⟨10.48465/fa.2020.0063⟩
Conference papers hal-02959013v1
Image document

Survey on AI-Based Multimodal Methods for Emotion Detection

Catherine Maréchal , Dariusz Mikołajewski , Krzysztof Tyburek , Piotr Prokopowicz , Lamine Bougueroua , et al.
High-Performance Modelling and Simulation for Big Data Applications, Springer, pp 307-324, 2019, 978-3-030-16272-6
Book sections hal-02135811v1
Image document

Analysis and Compilation of Parallel Programming Languages

Adilla Susungi
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEM046⟩
Theses tel-02081178v1
Image document

Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use Case

Blerina Gkotse , M. Glaser , Pierre Jouvelot , Emanuele Matli , Giuseppe Pezzullo , et al.
RADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland
Conference poster hal-01622872v1
Image document

An up to date Mapping Methodology for GPUs

Florian Gouin , Corinne Ancourt , Christophe Guettier
20th Workshop on Compilers for Parallel Computing (CPC 2018), Apr 2018, Dublin, Ireland
Conference papers hal-01759238v1
Image document

Impact of Head Motion on the Assistive Robot Expressiveness - Evaluation with Elderly Persons

Fabien Badeig , Pierre Wargnier , Maribel Pino , Philippe de Oliveira Lopes , Emeric Grange , et al.
1st 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
Image document

Virtual human technologies for cognitively-impaired older adults' care : the LOUISE and Virtual Promenade experiments

Pierre Wargnier
Human-Computer Interaction [cs.HC]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEM021⟩
Theses tel-01531137v1
Image document

How Information Systems Enable Digital Transformation: A focus on Business Models and Value Co‐production

Marie‐hélène Delmond , Fabien Coelho , Alain Keravel , Robert Mahl
Other publications hal-01369141v2
Image document

Setting up an Operational Academic HPC Center

Claude Tadonki
[Research Report] E-415, MINES ParisTech - PSL Research University; Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2017
Reports hal-01689697v1
Image document

Compiling Image Processing Applications for Many-Core Accelerators

Pierre Guillou
Journées de seconde année de l'Ecole Doctorale, Jun 2015, Paris, France
Conference poster hal-01178938v1
Image document

Normalization by Completeness with Heyting Algebras

Gaëtan Gilbert , Olivier Hermant
LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji
Conference papers hal-01204599v1
Image document

Dynamic adaptation of human-computer interfaces using cognitive load tracking

Bruno Massoni Sguerra
Technology for Human Learning. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM082⟩
Theses tel-03813674v1
Image document

The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms

Emilio Jesús Gallego Arias , Pierre Jouvelot , Sylvain Ribstein , Dorian Desblancs
FARM 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
Image document

A Foundational Framework for the Specification and Verification of Mechanism Design

Pierre Jouvelot , Emilio Jesús Gallego Arias
[Research Report] E-458.PDF, MINES ParisTech - PSL Research University. 2022
Reports hal-03666871v1
Image document

Experimental Energy Profiling of Energy-Critical Embedded Applications

Kameswar Rao Vaddina , Florian Brandner , Gérard Memmi , Pierre Jouvelot
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers hal-01625409v2
Image document

Energy Concerns with HPC Systems and Applications

Roblex Nana , Claude Tadonki , Petr Dokládal , Youssef Mesri
Preprints, Working Papers, ... hal-04213338v1
Image document

POLLAR: Impact of air POLLution on Asthma and Rhinitis; a European Institute of Innovation and Technology Health (EIT Health) project

Jean Bousquet , Josep M. Anto , Isabella Annesi-Maesano , Toni Dedeu , Eve Dupas , et al.
Clinical and Translational Allergy, 2018, 8, pp.36. ⟨10.1186/s13601-018-0221-z⟩
Journal articles hal-02316525v1
Image document

Certified Graph View Maintenance with Regular Datalog

Angela Bonifati , Stefania Dumbrava , Emilio Jesús Gallego Arias
Theory 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
Image document

Meta-programming for cross-domain tensor optimizations

Adilla Susungi , Norman A Rink , Albert Cohen , Jeronimo Castrillon , Claude Tadonki
17th International Conference on Generative Programming: Concepts & Experiences (GPCE), Nov 2018, Boston, United States. pp.79-92
Conference papers hal-01939656v1
Image document


Luc Perera , Pierre Jouvelot
The Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark
Conference poster hal-02475656v2
Image document

SizeChangeTool: A Termination Checker for Rewriting Dependent Types

Guillaume Genestier
HOR 2019 - 10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19
Conference papers hal-02442465v1
Image document

High Performance Optimization at the Door of the Exascale

Claude Tadonki
[Research Report] A-754.pdf, MINES ParisTech - PSL Research University. 2021
Reports hal-03274458v1
Image document

Conceptual and Technical Challenges for High Performance Computing

Claude Tadonki
Preprints, Working Papers, ... hal-02962355v1
Image document

Performance analyses and code transformations for MATLAB applications

Patryk Kiepas
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM063⟩
Theses tel-02516727v1
Image document

Etude WCET de programmes Faust avec a3

Benoît Pin , Pierre Jouvelot
[Rapport Technique] E-420, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2017
Reports hal-01691614v1
Image document

More Data Locality for Static Control Programs on NUMA Architectures

Adilla Susungi , Albert Cohen , Claude Tadonki
IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques IMPACT 2017, Jan 2017, Stockholm, Sweden. pp.11
Conference papers hal-01529354v1
Image document

Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational Agent

Pierre Wargnier , Adrien Malaisé , Julien Jacquemot , Samuel Benveniste , Pierre Jouvelot , et al.
The 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
Image document

Adventures in the (not so) Complex Space

Emilio Jesús Gallego Arias , Pierre Jouvelot
The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France
Conference papers hal-01251147v1
Image document

jsCoq: Towards Hybrid Theorem Proving Interfaces

Emilio Jesús Gallego Arias , Benoît Pin , Pierre Jouvelot
12th 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
Image document


Roblex Nana Tchakoute , Claude Tadonki , Petr Dokládal , Youssef Mesri
The Transition Institute 1.5 : : Les enjeux sécuritaires des changements climatiques-, Mar 2023, Paris, France
Conference poster hal-04143279v1