Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
Browse by period
List by subject
Browse by authors
Browse last submissions
Browse by collection
Browse by structure
Simple search
Home
Laboratoire de Recherche en Informatique
Last submissions
Jean-Philippe Riviere. Capturing traces of the dance learning process. Human-Computer Interaction [cs.HC]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG054⟩. ⟨tel-03121577⟩
Michel Beaudouin-Lafon. Pourquoi vouloir interagir avec des ordinateurs ?. CNRS Editions. Vers le cyber-monde. Humain et numérique en interaction, pp.18-41, 2020, 978-2-271-13459-2. ⟨hal-03121243⟩
Sarah Alaoui. Making an interactive dance piece: tensions in integrating technology in art. ACM Designing Interactive Systems, Jun 2019, San Diego, United States. pp.1195-1208, ⟨10.1145/3322276.3322289⟩. ⟨hal-02422166⟩
Etienne Thoret, Baptiste Caramiaux, Philippe Depalle, Stephen Mcadams. Learning metrics on spectrotemporal modulations reveals the perception of musical instrument timbre. Nature Human Behaviour, Nature Research 2020, ⟨10.1038/s41562-020-00987-5⟩. ⟨hal-03033757⟩
Laure Crochepierre, Antoine Marot, Vincent Barbesant, Benjamin Donnot, Lydia Boudjeloud-Assala. Labellisation semi-supervisée de données : Vers une approche experte étendue. GAST 2019 - Atelier Gestion et Analyse des données Spatiales et Temporelles, Jan 2019, Metz, France. ⟨hal-03118698⟩
Andrei Paskevich. Continuation Passing as an Abstract Syntax for Deductive Verification. 2021. ⟨hal-03115120⟩
Nicolas Derumigny, Nicolas Deruminy, Fabian Gruber, Théophile Bastian, Guillaume Iooss, et al.. From micro-OPs to abstract resources: constructing a simpler CPU performance model through microbenchmarking. 2021. ⟨hal-03114933⟩
Georges Ouffoué, Fatiha Zaïdi, Ana Cavalli, Huu Nghia Nguyen. A Framework for the Attack Tolerance of Cloud Applications Based on Web Services. Electronics, MDPI, 2020, 10 (1), pp.6. ⟨10.3390/electronics10010006⟩. ⟨hal-03113828⟩
Marie Agier, Christine Froidevaux, Jean-Marc Petit, Yoan Renaud, Jef Wijsen. On Armstrong-compliant Logical Query Languages. 4th International Workshop on Logic in Databases, (EDBT/ICDT '10 joint conference), George H. L. Fletcher and Slawek Staworko, 2011, Uppsala, Sweden. pp.33-40. ⟨hal-00649604⟩
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. 2021. ⟨hal-03111541⟩
Number of Fulltext
3 233
Number of Reference
1 834
Document type ratio
Evolution of the submissions