Publications dans HAL

Article dans une revue

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

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

Accès au texte intégral et 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

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

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

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

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, pp.1. ⟨10.1109/TPDS.2019.2920121⟩

Accès au 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

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

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

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. ⟨10.1177/1094342019847263⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

I/O Performance of the Santos Dumont Supercomputer

auteur

Jean Luca Bez, André Ramos Carneiro, Pablo Pavan, Valéria Soldera Girelli, Francieli Zanon Boito, Bruno Fagundes, Carla Osthoff, Pedro Leite da Silva Dias, Jean-François Méhaut, Philippe Navaux

article

International Journal of High Performance Computing Applications, SAGE Publications, In press

Accès au texte intégral et 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

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

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

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, Springer Verlag, 2019, 54 (1), pp.862-874. ⟨10.1007/s10853-018-2834-y⟩

Accès au 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. ⟨https://periodicos.utfpr.edu.br/rbect⟩

Accès au bibtex

titre

Online Power Optimization in Feedback-Limited, Dynamic and Unpredictable IoT Networks

auteur

Alexandre Marcastel, E Belmega, Panayotis Mertikopoulos, Inbar Fijalkow

article

IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, In press, 67 (11), pp.2987 - 3000. ⟨10.1109/TSP.2019.2910479⟩

Accès au texte intégral et 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

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, pp.1-15. ⟨10.1109/TKDE.2019.2931340⟩

Accès au bibtex

titre

Discrete Mean Field Games: Existence of Equilibria and Convergence

auteur

Josu Doncel, Nicolas Gast, Bruno Gaujal

article

Journal of Dynamics & Games, 2019, pp.1-19. ⟨10.3934/jdg.2019016⟩

Accès au texte intégral et bibtex

titre

Link key candidate extraction with relational concept analysis

auteur

Manuel Atencia, Jérôme David, Jérôme Euzenat, Amedeo Napoli, Jérémy Vizzini

article

Discrete Applied Mathematics, Elsevier, 2019, ⟨10.1016/j.dam.2019.02.012⟩

Accès au texte intégral et 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

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

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

titre

Coupled Ensembles of Neural Networks

auteur

Anuvabh Dutt, Georges Quénot, Denis Pellerin

article

Neurocomputing, Elsevier, In press, ⟨10.1016/j.neucom.2018.10.092⟩

Accès au 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

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

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

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