Publications on HAL

logo de HalLIG page on the Hal archive is the portal for all LIG publications since 2009. It also contains a large part of older publications before 2009. Hal is a national open archive of publications and bibliographic notes.


The last 50 LIG publications

See all LIG publications on HAL.

2019

Journal articles

titre
A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models
auteur
Francisco Durán, Camilo Rocha, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02345895/file/main.pdf BibTex
titre
Should one use term proximity or multi-word terms for Arabic information retrieval?
auteur
Abdelkader El Mahdaouy, Éric Gaussier, Saïd Ouatik El Alaoui
article
Computer Speech and Language, Elsevier, 2019, 58, pp.76-97. ⟨10.1016/j.csl.2019.04.002⟩
Accès au bibtex
BibTex
titre
Smart Detection: An Online Approach for DoS/DDoS Attack Detection Using Machine Learning
auteur
Francisco Sales De Lima Filho, Frederico Silveira, Agostinho de Medeiros Brito Junior, Genoveva Vargas-Solar, Luiz Silveira
article
Security and communication networks, John Wiley & Sons, Ltd, 2019, 2019, pp.1-15. ⟨10.1155/2019/1574749⟩
Accès au bibtex
BibTex
titre
Decoding human fetal liver haematopoiesis
auteur
Dorin-Mirel Popescu, Rachel Botting, Emily Stephenson, Kile Green, Simone Webb, Laura Jardine, Emily Calderbank, Krzysztof Polanski, Issac Goh, Mirjana Efremova, Meghan Acres, Daniel Maunder, Peter Vegh, Yorick Gitton, Jong-Eun Park, Roser Vento-Tormo, Zhichao Miao, David Dixon, Rachel Rowell, David Mcdonald, James Fletcher, Elizabeth Poyner, Gary Reynolds, Michael Mather, Corina Moldovan, Lira Mamanova, Frankie Greig, Matthew Young, Kerstin Meyer, Steven Lisgo, Jaume Bacardit, Andrew Fuller, Ben Millar, Barbara Innes, Susan Lindsay, Michael Stubbington, Monika Kowalczyk, Bo Li, Orr Ashenberg, Marcin Tabaka, Danielle Dionne, Timothy Tickle, Michal Slyper, Orit Rozenblatt-Rosen, Andrew Filby, Peter Carey, Alexandra-Chloé Villani, Anindita Roy, Aviv Regev, Alain Chédotal, Irene Roberts, Berthold Göttgens, Sam Behjati, Elisa Laurenti, Sarah Teichmann, Muzlifah Haniffa
article
Nature, Nature Publishing Group, 2019, 574 (7778), pp.365-371. ⟨10.1038/s41586-019-1652-y⟩
Accès au bibtex
BibTex
titre
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
auteur
Antoine El-Hokayem, Yliès Falcone
article
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02283429/file/tosem-author.pdf BibTex
titre
Viability-Based Guaranteed Safe Robot Navigation
auteur
Mohamed Bouguerra, Thierry Fraichard, Mohamed Fezari
article
Journal of Intelligent and Robotic Systems, Springer Verlag, 2019, 95 (2), pp.459-471. ⟨10.1007/s10846-018-0955-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924855/file/18-jirs-bouguerra-etal-author.pdf BibTex
titre
HyperPNN: Hyperspectral Pansharpening via Spectrally Predictive Convolutional Neural Networks
auteur
Lin He, Jiawei Zhu, Jun Li, Antonio Plaza, Jocelyn Chanussot, Bo Li
article
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019, 12 (8), pp.3092-3100. ⟨10.1109/JSTARS.2019.2917584⟩
Accès au bibtex
BibTex
titre
The Application of Ontologies in Multi-Agent Systems in the Energy Sector: A Scoping Review
auteur
Zheng Ma, Mette Jessen Schultz, Kristoffer Christensen, Magnus Vaerbak, Yves Demazeau, Bo Jørgensen
article
Energies, MDPI, 2019, 12 (16), pp.3200. ⟨10.3390/en12163200⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02268957/file/energies-12-03200-v2.pdf BibTex
titre
Scalable Interactive Dynamic Graph Clustering on Multicore CPUs
auteur
Son Mai, Sihem Amer-Yahia, Ira Assent, Mathias Skovgaard Birk, Martin Storgaard Dieu, Jon Jacobsen, Jesper Kristensen
article
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2019, 31 (7), pp.1239-1252. ⟨10.1109/TKDE.2018.2828086⟩
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 2019, 12 (2), pp.8:1-8:25. ⟨10.1145/3310132⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02009828/file/2019_TACCESS_Vacher_DRAFT.pdf BibTex
titre
A Decision-Making approach where Argumentation added value tackles Social Choice deficiencies
auteur
Pierre Bisquert, Madalina Croitoru, Christos Kaklamanis, Nikos Karanikolas
article
Progress in Artificial Intelligence, Springer, 2019, 8 (2), pp.229-239. ⟨10.1007/s13748-019-00173-3⟩
Accès au bibtex
BibTex
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
Exercise-based games interventions at home in individuals with a neurological disease: A systematic review and meta-analysis
auteur
Courtney Wilkinson-Maitland, Alan Hamilton, Jean Bourbeau, Hélène Perrault, Dennis Jensen, François Maltais, Thierry Weissland, Arnaud Faupin, Pierre-Marie Leprêtre, Jeremy Coquart, Alain Duhamel, Régis Matran, Pascal Delsart, Claire Mounier-Vehier, Murielle Garcin, Anaïck Perrochon, Benoit Borel, Dan Istrate, Maxence Compagnat, Jean-Christophe Daviet
article
Annals of Physical and Rehabilitation Medicine, Elsevier Masson, 2019, 57 (1-2), pp.138-143. ⟨10.1016/j.rehab.2019.04.004⟩
Accès au bibtex
BibTex
titre
Exercise-based games interventions at home in individuals with a neurological disease: A systematic review and meta-analysis
auteur
Anaïck Perrochon, Benoit Borel, Dan Istrate, Maxence Compagnat, Jean-Christophe Daviet
article
Annals of Physical and Rehabilitation Medicine, Elsevier Masson, 2019, ⟨10.1016/j.rehab.2019.04.004⟩
Accès au bibtex
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, 33 (6), pp.1185-1200. ⟨10.1177/1094342019847263⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02091340/file/paper.pdf BibTex
titre
Pansharpening via Detail Injection Based Convolutional Neural Networks
auteur
Lin He, Yizhou Rao, Jun Li, Jocelyn Chanussot, Antonio Plaza, Jiawei Zhu, Bo Li
article
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019, 12 (4), pp.1188-1204. ⟨10.1109/JSTARS.2019.2898574⟩
Accès au bibtex
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
User group analytics: hypothesis generation and exploratory analysis of user data
auteur
Behrooz Omidvar-Tehrani, Sihem Amer-Yahia, Ria Mae Borromeo
article
The VLDB Journal, Springer, 2019, 28 (2), pp.243-266. ⟨10.1007/s00778-018-0527-4⟩
Accès au bibtex
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
Multi-Level Elasticity for Data Stream Processing
auteur
Vania Marangozova-Martin, Ahmed El Rheddane, Noel de Palma
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, pp.1-12. ⟨10.1109/TPDS.2019.2907950⟩
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, 31 (18), 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
A review of structural approach to flood management in coastal megacities of developing nations: current research and future directions
auteur
R.I. Ogie, Carole Adam, P. Perez
article
Journal of Environmental Planning and Management, Taylor & Francis (Routledge): STM, Behavioural Science and Public Health Titles, 2019, pp.1-21. ⟨10.1080/09640568.2018.1547693⟩
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02115979/file/authorcopy-review-struct-flood.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
Exploiting the Synergetic Behavior of PtPd Bimetallic Catalysts in the Selective Hydrogenation of Glucose and Furfural
auteur
Priscilla de Souza, Lishil Silvester, Anderson da Silva, Cibele Fernandes, Thenner Rodrigues, Sébastien Paul, Pedro Camargo, Robert Wojcieszak
article
Catalysts, MDPI, 2019, 9 (2), pp.1-14. ⟨10.3390/catal9020132⟩
Accès au bibtex
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
Review of Agent Based Modelling of Social Attachment in Crisis Situations
auteur
Julius BaÑgate, Julie Dugdale, Elise Beck, Carole Adam
article
International Journal of Information Systems for Crisis Response and Management, IGI-Global, 2019, 11 (1), pp.35-64. ⟨10.4018/IJISCRAM.2019010103⟩
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
Multiview Boosting by Controlling the Diversity and the Accuracy of View-specific Voters
auteur
Anil Goyal, Emilie Morvant, Pascal Germain, Massih-Reza Amini
article
Neurocomputing, Elsevier, In press, ⟨10.1016/j.neucom.2019.04.072⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01857463/file/PBMVBoost_Paper.pdf BibTex
titre
Debugging of Behavioural Models using Counterexample Analysis
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-14. ⟨10.1109/TSE.2019.2915303⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02145610/file/tse.pdf 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. ⟨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
Combining Size-Based Load Balancing with Round-Robin for Scalable Low Latency
auteur
Jonatha Anselmi
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, In press, pp.1-3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02276789/file/SITA_RR.pdf BibTex
titre
Asymptotically Optimal Size-Interval Task Assignments
auteur
Jonatha Anselmi, Josu Doncel
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (11), pp.2422-2433. ⟨10.1109/TPDS.2019.2920121⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02318576/file/TDPS_paper.pdf BibTex
titre
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
auteur
Antoine Girard, Gregor Gössler
article
Acta Informatica, Springer Verlag, 2019, pp.1-28. ⟨10.1007/s00236-019-00341-x⟩
Accès au bibtex
BibTex
titre
Le sens des mots. L'Europe dans le vocabulaire de Jacques Chirac
auteur
Cyril Labbé, Dominique Labbé
article
Documents Numériques, A paraître
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02299918/file/LabbeLabbeChiracEurope.pdf 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, Marzin-Janvier Patricia, Isabelle Girault
article
RDST - Recherches en didactique des sciences et des technologies , ENS Éditions, A paraître
Accès au bibtex
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
User-driven geolocated event detection in social media
auteur
Anes Bendimerad, Marc Plantevit, Céline Robardet, Sihem Amer-Yahia
article
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TKDE.2019.2931340⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02272082/file/TKDE_paper.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, Wiley-Blackwell, 2019, 55 (1), ⟨10.1111/str.12301⟩
Accès au bibtex
BibTex
titre
The counterinductive method (Paul Feyerabend) in written arguments in the teaching Immunology: a case study
auteur
Daniel Manzoni-De-Almeida, Seixas Mello, Silvia Frateschi Trivelato, Marzin-Janvier Patricia, Rodrigues Siqueira, Pereira Gonçalves
article
Revista Brasileira de Ensino de Ciência e Tecnologia (RBECT), 2019, 9 (1), pp.1-7
Accès au bibtex
BibTex
titre
Rendu basé image avec contraintes sur les gradients
auteur
Grégoire Nieto, Frédéric Devernay, James L. 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
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
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
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