Publications dans HAL

Article dans une revue

titre

Contextuality in multipartite pseudo-telepathy graph games

auteur

Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix

article

Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩

Accès au bibtex

titre

Algebraic graph rewriting with controlled embedding

auteur

Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro

article

Theoretical Computer Science, Elsevier, 2020, 802, pp.19-37. ⟨10.1016/j.tcs.2019.06.004⟩

Accès au bibtex

titre

Ethical Teaching Analytics in a Context-Aware Classroom: A Manifesto

auteur

Romain Laurent, Dominique Vaufreydaz, Philippe Dessus

article

ERCIM News, ERCIM, 2020, pp.39-40

Accès au texte intégral et bibtex

titre

Collaborative Smartphone-Based User Positioning in a Multiple-User Context Using Wireless Technologies

auteur

Viet-Cuong Ta, Trung-Kien Dao, Dominique Vaufreydaz, Eric Castelli

article

Sensors, MDPI, 2020, pp.25. ⟨10.3390/s20020405⟩

Accès au texte intégral et bibtex

Article dans une revue

titre

L’adaptation pour une persuasion durable

auteur

Anthony Foulonneau, Eric Villain, Gaëlle Calvary

article

Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, 8 (1), pp.83-103

Accès au texte intégral et bibtex

titre

Building a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of Non-Affine Programs Scalable

auteur

Manuel Selva, Fabian Gruber, Diogo Sampaio, Christophe Guillon, Louis-Noël Pouchet, Fabrice Rastello

article

ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.1-26. ⟨10.1145/3363785⟩

Accès au texte intégral et bibtex

titre

Fuzzy4U : un moteur d’adaptation en logique floue pour l’accessibilité des interfaces utilisateurs

auteur

Tanguy Giuffrida, Eric Céret, Sophie Dupuy-Chessa, Jean-Philippe Poli

article

Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, Volume 8, Issue 1, Special issue : the best of IHM'2018 (1), pp.27-59

Accès au texte intégral et bibtex

titre

Graph Generators: State of the Art and Open Challenges

auteur

Angela Bonifati, Irena Holubovà, Arnau Prat-Pérez

article

ACM Computing Surveys, Association for Computing Machinery, In press

Accès au bibtex

titre

A trichotomy for regular simple path queries on graphs

auteur

Guillaume Bagan, Angela Bonifati, Benoit Groz

article

Journal of Computer and System Sciences, Elsevier, In press, 108, pp.29-48. ⟨10.1016/j.jcss.2019.08.006⟩

Accès au bibtex

titre

Reply: Limitations in the creation of an automatic diagnosis tool for dysgraphia

auteur

Thibault Asselborn, Thomas Gargot, Łukasz Kidziński, Wafa Johal, David Cohen, Caroline Jolly, Pierre Dillenbourg

article

npj Digital Medicine, Nature Research 2019, 2 (1), ⟨10.1038/s41746-019-0115-z⟩

Accès au bibtex

titre

Le contexte persuasif

auteur

Anthony Foulonneau, Gaëlle Calvary, Eric Villain

article

Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, 8 (1), pp.38-57

Accès au texte intégral et bibtex

titre

A context-aware recommendation-based system for service composition in smart environments

auteur

Soufiane Faieq, Agnès Front, Rajaa Saidi, Hamid El Ghazi, Moulay Driss Rahmani

article

Service Oriented Computing and Applications, Springer, 2019, ⟨10.1007/s11761-019-00277-7⟩

Accès au bibtex

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, 183, pp.1-32. ⟨10.1016/j.scico.2019.102303⟩

Accès au texte intégral et bibtex

titre

What can millions of laboratory test results tell us about the temporal aspect of data quality? Study of data spanning 17 years in a clinical data warehouse

auteur

Vincent Looten, Liliane Kong Win Chang, Antoine Neuraz, Marie-Anne Landau-Loriot, Benoit Vedie, Jean-Louis Paul, Laetitia Mauge, Nadia Rivet, Angela Bonifati, Gilles Chatellier, Anita Burgun, Bastien Rance

article

Computer Methods and Programs in Biomedicine, Elsevier, 2019, 181, pp.1-20. ⟨10.1016/j.cmpb.2018.12.030⟩

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

titre

A survey of challenges for runtime verification from advanced application domains (beyond software)

auteur

César Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o Lourenço, Dejan Nickovic, Gordon Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

article

Formal Methods in System Design, Springer Verlag, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩

Accès au texte intégral et bibtex

titre

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

auteur

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler, Imen Grida Ben Yahia

article

IEEE Transactions on Network and Service Management, IEEE, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩

Accès au texte intégral et bibtex

titre

An Ideal Testbed for Planet–Disk Interaction: Two Giant Protoplanets in Resonance Shaping the PDS 70 Protoplanetary Disk

auteur

Jaehan Bae, Zhaohuan Zhu, Clément Baruteau, Myriam Benisty, Cornelis Dullemond, Stefano Facchini, Andrea Isella, Miriam Keppler, Laura Perez, Richard Teague

article

The Astrophysical journal letters, Bristol : IOP Publishing, 2019, 884 (2), pp.L41. ⟨10.3847/2041-8213/ab46b0⟩

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

titre

Le sens des mots. L'Europe dans le vocabulaire de Jacques Chirac

auteur

Dominique Labbé, Cyril Labbé

article

Documents Numériques, 2019, 22 (1-2), pp.31-61

Accès au texte intégral et bibtex

titre

ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores

auteur

Athena Abdi, Alain Girault, Hamid Zarandi

article

IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩

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

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

titre

Primal–Dual and Dual-Fitting Analysis of Online Scheduling Algorithms for Generalized Flow-Time Problems

auteur

Spyros Angelopoulos, Giorgio Lucarelli, Thang Nguyen Kim

article

Algorithmica, Springer Verlag, 2019, 81 (9), pp.3391-3421. ⟨10.1007/s00453-019-00583-8⟩

Accès au bibtex

titre

KnobSlider: Design of a Shape-Changing Parameter Control UI and Study of User Preferences on Its Speed and Tangibility

auteur

Hyunyoung Kim, Céline Coutrix, Anne Roudaut

article

Frontiers in Robotics and AI, Frontiers Media S.A., 2019, 6, ⟨10.3389/frobt.2019.00079⟩

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

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

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

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

Learners’ agency and CSCL technologies: towards an emancipatory perspective

auteur

Pierre Tchounikine

article

International Journal of Computer-Supported Collaborative Learning, Springer Verlag, 2019, 14 (2), pp.237-250. ⟨10.1007/s11412-019-09302-5⟩

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

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, 2019, 44 (3), pp.44

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

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

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

Coupled Ensembles of Neural Networks

auteur

Anuvabh Dutt, Georges Quénot, Denis Pellerin

article

Neurocomputing, Elsevier, 2019, ⟨10.1016/j.neucom.2018.10.092⟩

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

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

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

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

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