Publications dans HAL

logo de HalLa page Hal du LIG est le portail de référence pour les publications du LIG. Elle contient la quasi-totalité des publications internationales et des notices bibliographiques du LIG depuis 2009, et une grande partie des publications antérieures. Hal est l'archive ouverte nationale de publications et de notices bibliographiques.


Les 50 dernières publications du LIG

Voir toutes les publications du LIG dans HAL.

2019

Article dans une revue

titre
OntoSIDES: Ontology-based student progress monitoring on the national evaluation system of French Medical Schools
auteur
Olivier Palombi, Fabrice Jouanot, Nafissetou Nziengam, Behrooz Omidvar-Tehrani, Marie-Christine Rousset, Adam Sanchez
article
Artificial Intelligence in Medicine, Elsevier, 2019, 96, pp.59-67. ⟨10.1016/j.artmed.2019.03.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02089318/file/OntoSidesRevision.pdf BibTex
titre
Modeling High-throughput Applications for in situ Analytics
auteur
Guillaume Aupy, Brice Goglin, Valentin Honoré, Bruno Raffin
article
International Journal of High Performance Computing Applications, SAGE Publications, In press, pp.1-44
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02091340/file/paper.pdf BibTex
titre
Nested-unit Petri nets
auteur
Hubert Garavel
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 104, pp.60-85. ⟨10.1016/j.jlamp.2018.11.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02072190/file/Garavel-19.pdf BibTex
titre
Lock–Unlock: Is That All? A Pragmatic Analysis of Locking in Software Systems
auteur
Rachid Guerraoui, Hugo Guiroux, Renaud Lachaize, Vivien Quéma, Vasileios Trigonakis
article
ACM Transactions on Computer Systems, Association for Computing Machinery, 2019, 36 (1), pp.1-149. ⟨10.1145/3301501⟩
Accès au bibtex
BibTex
titre
Semi-automated fact-checking of nucleotide sequence reagents in biomedical research publications: The Seek & Blastn tool
auteur
Cyril Labbé, Natalie Grima, Thierry Gautier, Bertrand Favier, Jennifer Byrne
article
PLoS ONE, Public Library of Science, 2019, 14 (3), pp.e0213266. 〈10.1371/journal.pone.0213266〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02057036/file/journal.pone.0213266.pdf BibTex
titre
Framing design for appropriation with Zones of Proximal Evolution: Email for PIM
auteur
Pierre Tchounikine
article
International Journal of Human-Computer Studies, Elsevier, 2019, 123, pp.18-28
Accès au bibtex
BibTex
titre
Pervasive computing middleware: current trends and emerging challenges
auteur
Christian Becker, Christine Julien, Philippe Lalanda, Franco Zambonelli
article
CCF Transactions on Pervasive Computing and Interaction, 2019, 〈10.1007/s42486-019-00005-2〉
Accès au bibtex
BibTex
titre
A Comprehensive Performance Evaluation of the BinLPT Workload-Aware Loop Scheduler
auteur
Pedro Henrique Penna, Antônio Tadeu Gomes, Márcio Castro, Patrícia Plentz, Henrique Freitas, Francois Broquedis, Jean-François Mehaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2019, pp.1-22. 〈10.1002/cpe.5170〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01986361/file/ccpe18.pdf BibTex
titre
Using Human Attention to Address Human-Robot Motion
auteur
Remi Paulin, Thierry Fraichard, Patrick Reignier
article
IEEE Robotics and Automation Letters, IEEE 2019, 4 (2), pp.2038-2045. ⟨10.1109/LRA.2019.2899429⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02013578/file/18-ra-l-paulin-etal-author-v2.pdf BibTex
titre
The Possibility of Systematic Research Fraud Targeting Under-Studied Human Genes: Causes, Consequences, and Potential Solutions
auteur
Jennifer Byrne, Natalie Grima, Amanda Capes-Davis, Cyril Labbé
article
Biomarker Insights, 2019, 14, pp.117727191982916. 〈10.1177/1177271919829162〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02057728/file/1177271919829162.pdf BibTex
titre
The PBPO graph transformation approach
auteur
Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 103, pp.213-231. ⟨10.1016/j.jlamp.2018.12.003⟩
Accès au bibtex
BibTex
titre
Unmasking the causal relationships latent in the interplay between occupant’s actions and indoor ambience: a building energy management outlook
auteur
Amr Alzouhri Alyafi, Monalisa Pal, Stephane Ploix, Patrick Reignier, Sanghamitra Bandyopadhyay
article
Applied Energy, Elsevier, 2019, 238, pp.1452-1470. 〈10.1016/j.apenergy.2019.01.118〉
Accès au bibtex
BibTex
titre
Checking Business Process Evolution
auteur
Ajay Krishna, Pascal Poizat, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01920273/file/main_SCP_FACS.pdf BibTex
titre
A neural approach for inducing multilingual resources and natural language processing tools for low-resource languages
auteur
O. Zennaki, N. Semmar, Laurent Besacier
article
Natural Language Engineering, Cambridge University Press (CUP), 2019, 25 (01), pp.43-67. ⟨10.1017/S1351324918000293⟩
Accès au bibtex
BibTex
titre
Affective and Behavioural Computing: Lessons Learnt from the First Computational Paralinguistics Challenge
auteur
Björn Schuller, Felix Weninger, Yue Zhang, Fabien Ringeval, Anton Batliner, Stefan Steidl, Florian Eyben, Erik Marchi, Alessandro Vinciarelli, Klaus Scherer, Mohamed Chetouani, Marcello Mortillaro
article
Computer Speech and Language, Elsevier, 2019, 53, pp.156-180
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01993250/file/Schuller18-ABC.pdf BibTex
titre
A holistic approach for measuring quality of life in "La Condesa" district in Mexico City
auteur
Ana-Sagrario Castillo-Camporro, Genoveva Vargas-Solar
article
ILCEA, ELLUG, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02009857/file/ILCEA-La%20Condesa%20Mexico-Sierva-Maria.pdf BibTex
titre
Interactive Mapping Specification with Exemplar Tuples
auteur
Angela Bonifati, Ugo Comignani, Emmanuel Coquery, Romuald Thion
article
ACM Transactions on Database Systems, Association for Computing Machinery, In press
Accès au bibtex
BibTex
titre
GraphTQL: A visual query system for graph databases
auteur
Maria-Constanza Pabon, Marta Millan, Claudia Roncancio, Cesar Collazos
article
Journal of Visual Query Languages and Computing, Elsevier, In press
Accès au bibtex
BibTex
titre
Approche supervisée à base de cellules LSTM bidirectionnelles pour la désambiguïsation lexicale
auteur
Loïc Vial, Benjamin Lecouteux, Didier Schwab
article
Traitement Automatique des Langues, ATALA, 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02010901/file/Revue_TAL_59_1_versionlongue_2019.pdf BibTex
titre
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01262444/file/MSCS-Hal-v4.pdf BibTex
titre
Prédiction de performance des systèmes de reconnaissance automatique de la parole à l'aide de réseaux de neurones convolutifs
auteur
Zied Elloumi, Benjamin Lecouteux, Olivier Galibert, Laurent Besacier
article
Traitement Automatique des Langues, ATALA, A paraître
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976284/file/asr_prediction.pdf BibTex
titre
Coupled Ensembles of Neural Networks
auteur
Anuvabh Dutt, Georges Quénot, Denis Pellerin
article
Neurocomputing, Elsevier, In press
Accès au bibtex
BibTex
titre
Making emergency calls more accessible to older adults through a hands-free speech interface in the house
auteur
Michel Vacher, Frédéric Aman, Solange Rossato, François Portet, B Lecouteux
article
ACM Transactions on Accessible Computing , ACM New York, NY, USA In press
Accès au bibtex
BibTex
titre
Rendu basé image avec contraintes sur les gradients
auteur
Grégoire Nieto, Frédéric Devernay, James Crowley
article
Traitement du Signal, Lavoisier, A paraître, pp.1-26. ⟨10.3166/HSP.x.1-26⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01900200/file/TS2016.pdf BibTex
titre
EagerMap: A Task Mapping Algorithm to Improve Communication and Load Balancing in Clusters of Multicore Systems
auteur
Eduardo Cruz, Matthias Diener, Laércio Lima Pilla, Philippe Navaux
article
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2019, 5 (4), pp.17. ⟨10.1145/3309711⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02062952/file/eagermap.pdf BibTex
titre
Tearing behaviour of two types of leather A comparative study carried out at the local scale using the full kinematic and thermal field measurement techniques
auteur
Noelie Di Cesare, Guillaume Corvec, Jean-Benoit Le Cam, Xavier Balandraud, Julien Gauffreteau
article
Strain, 2019, 55 (1), 〈10.1111/str.12301〉
Accès au bibtex
BibTex
titre
Thermomechanical characterization of leathers under tension using infrared thermography
auteur
G. Corvec, N. Di Cesare, X. Balandraud, Jean-Benoit Le Cam, J. Gauffreteau
article
Journal of Materials Science, 2019, 54 (1), pp.862-874. 〈10.1007/s10853-018-2834-y〉
Accès au bibtex
BibTex
titre
Sparsification of the Alignment Path Search Space in Dynamic Time Warping
auteur
Saeid Soheily-Khah, Pierre-François Marteau
article
Applied Soft Computing, Elsevier, In press, 78, pp.630 - 640. 〈http://www.sciencedirect.com/science/article/pii/S1568494619301279〉. 〈10.1016/j.asoc.2019.03.009〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01632904/file/SparsePathDTW_IEEE.pdf BibTex
titre
Modélisation didactique pour la conception d’étayages dans un EIAH : exemple d’une activité de conception expérimentale en biologie
auteur
Catherine Bonnat, Patricia Marzin-Janvier, Isabelle Girault, Cédric D'Ham
article
Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation, ATIEF, A paraître
Accès au bibtex
BibTex
titre
Analyse des conceptions d'élèves sur le vivant, dans une situation de conception expérimentale avec un environnement informatique
auteur
Catherine Bonnat, Patricia Marzin, Isabelle Girault
article
RDST - Recherches en didactique des sciences et des technologies , ENS Éditions, A paraître
Accès au bibtex
BibTex
titre
Faire apprendre les sciences par l’élaboration de protocoles expérimentaux : modèles et étayages produits lors de la conception d’une séquence pratique sur les titrages acide-base
auteur
Cédric D'Ham, Isabelle Girault, Agnès Berthet
article
RDST - Recherches en didactique des sciences et des technologies , ENS Éditions, A paraître
Accès au bibtex
BibTex

Communication dans un congrès

titre
Forgetting the Forgotten with Lethe: Conceal Content Deletion from Persistent Observers
auteur
Mohsen Minaei, Mainack Mondal, Patrick Loiseau, Krishna Gummadi, Aniket Kate
article
PETS 2019 - 19th Privacy Enhancing Technologies Symposium, Jul 2019, Stockholm, Sweden. pp.1-21
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01959119/file/Minaei-etal_Lethe-ContentDeletionPrivacy_PETS2019.pdf BibTex
titre
Repairing mappings under policy views
auteur
Angela Bonifati, Ugo Comignani, Efthymia Tsamoura
article
SIGMOD 2019 - ACM SIGMOD/PODS International Conference on Management of Data, Jun 2019, Amsterdam, Netherlands. 〈http://sigmod2019.org/〉
Accès au bibtex
BibTex
titre
Identification of lexical areas templates throughout the Occitan domain
auteur
Guylaine Brun-Trigaud, Clément Chagnaud, Philippe Garat
article
10th International Conference on Language Variation in Europe (ICLaVE|10), Jun 2019, Leeuwarden, Netherlands
Accès au bibtex
BibTex
titre
Deep learning investigation for chess player attention prediction using eye-tracking and game data
auteur
Justin Le Louedec, Thomas Guntz, James Crowley, Dominique Vaufreydaz
article
ACM Symposium On Eye Tracking Research & Applications (ETRA 2019), Jun 2019, Denver, United States. ⟨10.1145/3314111.3319827⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02100389/file/00_InvestigationChessPlayerAttentionPrediction.pdf BibTex
titre
Structurer et suivre le travail coopératif de futurs enseignants professeurs des écoles par la plateforme LabNbook
auteur
Patricia Marzin-Janvier, Chevigny Evelyne, Alix Géronimi, Cédric D'Ham
article
Questions de Pédagogies dans l'enseignement supérieur (QPES-2019), Jun 2019, Brest, France
Accès au bibtex
BibTex
titre
Utilisation d'une plateforme numérique dans un dispositif d’apprentissage par problèmes (APP)
auteur
Christian Hoffmann, Isabelle Girault, Claudine Kahane, Cédric D'Ham, Maelle Planche
article
Question de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2019, Brest, France. 2019, Actes du 10e colloque
Accès au bibtex
BibTex
titre
A separation of concerns approach for the verified modelling of railway signalling rules
auteur
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
article
International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - RssRail 2019, Jun 2019, Lille, France
Accès au bibtex
BibTex
titre
Towards a tool-based domain specific approach for railway systems modeling and validation
auteur
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
article
International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - RssRail 2019, Jun 2019, Lille, France. Springer
Accès au bibtex
BibTex
titre
Methodological Framework to Guide the Development of Continual Evolution Methods
auteur
Ornela Çela, Mario Cortes-Cornax, Agnès Front, Dominique Rieu
article
CAISE 2019 (International Conference on Advanced Information Systems Engineering), Jun 2019, Rome, Italy
Accès au bibtex
BibTex
titre
Improving Downlink Scalability in LoRaWAN
auteur
Valentina Di Vincenzo, Martin Heusse, Bernard Tourancheau
article
IEEE International Conference on Communications, May 2019, Shanghai, China
Accès au bibtex
BibTex
titre
Adapting Batch Scheduling to Workload Characteristics: What can we expect From Online Learning?
auteur
Arnaud Legrand, Denis Trystram, Salah Zrigui
article
IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, rio de janeiro, Brazil. IEEE, pp.1-10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02044903/file/final_version.pdf BibTex
titre
Instrumental Data Management and Scientific Workflow Execution: the CEA case study
auteur
Francieli Zanon Boito, Jean-François Méhaut, Thierry Deutsch, Brice Videau, Frédéric Desprez
article
IPDPSW 2019 - International Parallel and Distributed Processing Symposium Workshops (MPP - Parallel Programming Model), May 2019, Rio de Janeiro, Brazil. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02076963/file/mpp2019%20%281%29.pdf BibTex
titre
Real-time Emergency Response through Performant IoT Architectures
auteur
Claudio Arbib, Davide Arcelli, Julie Dugdale, Mahyar Moghaddam, Henry Muccini
article
International Conference on Information Systems for Crisis Response and Management (ISCRAM), May 2019, Valencia, Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02091586/file/Final_ISCRAM%283%29.pdf BibTex
titre
Preferential concentration of dense sub-Kolmogorov particles in active-grid-generated turbulence
auteur
Martin Obligado, Thomas Calmant, Noël De Palma, Alberto Aliseda, Alain H. Cartellier
article
10th International Conference on Multiphase Flow (ICMF 2019), May 2019, Rio de Janeiro, Brazil
Accès au bibtex
BibTex
titre
Thermal Covert Channel in Bluetooth Low Energy Networks
auteur
Timothy Claeys, Franck Rousseau, Boris Simunovic, Bernard Tourancheau
article
ACM WiSec 2019, May 2019, Miami, FL, United States
Accès au bibtex
BibTex
titre
Auditing Offline Data Brokers via Facebook's Advertising Platform
auteur
Giridhari Venkatadri, Piotr Sapiezynski, Elissa Redmiles, Alan Mislove, Oana Goga, Michelle Mazurek, Krishna Gummadi
article
The Web Conference 2019, May 2019, San Fransisco, United States. 2019, WWW ’19 proceedings. 〈10.1145/3308558.3313666〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02069470/file/databrokers-measurement_finalCameraReady.pdf BibTex
titre
Navigating the Maze of Wikidata Query Logs
auteur
Angela Bonifati, Wim Martens, Thomas Timm
article
The Web Conference 2019, May 2019, San Francisco, United States
Accès au bibtex
BibTex
titre
TOOLympics 2019: An Overview of Competitions in Formal Methods
auteur
Ezio Bartocci, Dirk Beyer, Paul Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
article
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, 2019, 〈10.1007/978-3-030-17502-3_1〉
Accès au bibtex
BibTex
titre
MCC'2017-The Seventh Model Checking Contest
auteur
Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco Van de Pol, Karsten Wolf
article
25th TACAS@ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.181-209, ⟨10.1007/978-3-662-58381-4_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01917492/file/ToPNoC-mcc2017.pdf BibTex