
%% Cite: cea-01493075
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@unpublished{aumage:cea-01493075,
  TITLE = {{InKS, a programming model to decouple performance from semantics in simulation codes}},
  AUTHOR = {Aumage, Olivier and Bigot, Julien and Ejjaaouani, Ksander and Mehrenberger, Michel},
  URL = {https://hal-cea.archives-ouvertes.fr/cea-01493075},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {HPC ; programming model ; separation of concerns},
  PDF = {https://hal-cea.archives-ouvertes.fr/cea-01493075/file/paper.pdf},
  HAL_ID = {cea-01493075},
  HAL_VERSION = {v1},
}


%% Cite: cel-01418705
%% Type: AI
%% Auteurs LaBRI: 1 4 5
%% Equipes LaBRI: is is is
@unpublished{frey:cel-01418705,
  TITLE = {{When HCI Meets Neurotechnologies: What You Should Know about Brain-Computer Interfaces}},
  AUTHOR = {Frey, J{\'e}r{\'e}my and Jeunet, Camille and Mladenovic, Jelena and Pillette, L{\'e}a and Lotte, Fabien},
  URL = {https://hal.inria.fr/cel-01418705},
  NOTE = {Lecture},
  TYPE = {3rd cycle},
  ADDRESS = {Denver, United States},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Author Keywords BCI ; EEG ; Ethics ACM Classification Keywords H52 [User Interfaces]: Evaluation/methodology ; Neuroer- gonomics ; Machine Learning ; Signal Processing},
  PDF = {https://hal.inria.fr/cel-01418705/file/hci-meets-neurotechnologies.pdf},
  HAL_ID = {cel-01418705},
  HAL_VERSION = {v1},
}


%% Cite: hal-01136361
%% Type: RI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@article{bousquetmelou:hal-01136361,
  TITLE = {{An elementary solution of Gessel's walks in the quadrant}},
  AUTHOR = {Bousquet-M{\'e}lou, Mireille},
  URL = {https://hal.archives-ouvertes.fr/hal-01136361},
  JOURNAL = {{Advances in Mathematics}},
  PUBLISHER = {{Elsevier}},
  YEAR = {2017},
  KEYWORDS = {Exact enumeration ; Algebraic series ; Lattice walks},
  PDF = {https://hal.archives-ouvertes.fr/hal-01136361/file/gessel.pdf},
  HAL_ID = {hal-01136361},
  HAL_VERSION = {v3},
}


%% Cite: hal-01259151
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: mf
@unpublished{gimbert:hal-01259151,
  TITLE = {{On the Control of Asynchronous Automata}},
  AUTHOR = {Gimbert, Hugo},
  URL = {https://hal.archives-ouvertes.fr/hal-01259151},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {causal memory ;  Zielonka automata ;  games ; distributed synthesis},
  PDF = {https://hal.archives-ouvertes.fr/hal-01259151/file/TeamcastGames.pdf},
  HAL_ID = {hal-01259151},
  HAL_VERSION = {v9},
}


%% Cite: hal-01262444
%% Type: AI
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: mf mf
@unpublished{renard:hal-01262444,
  TITLE = {{Optimal Enforcement of (Timed) Properties with Uncontrollable Events}},
  AUTHOR = {Renard, Matthieu and Falcone, Yli{\`e}s and Rollet, Antoine and J{\'e}ron, Thierry and Marchand, Herv{\'e}},
  URL = {https://hal.archives-ouvertes.fr/hal-01262444},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = { Enforcement ;  Timed systems ; Runtime verification ;  Timed automata ;  Uncontrollable events},
  PDF = {https://hal.archives-ouvertes.fr/hal-01262444/file/MSCS-Hal-v4.pdf},
  HAL_ID = {hal-01262444},
  HAL_VERSION = {v4},
}


%% Cite: hal-01337332
%% Type: AI
%% Auteurs LaBRI: 1 4
%% Equipes LaBRI: mabiovis mabiovis
@unpublished{topalidou:hal-01337332,
  TITLE = {{One critic, two actors: evidence for covert learning in the basal ganglia}},
  AUTHOR = {Topalidou, Meropi and Kase, Daisuke and Boraud, Thomas and Rougier, Nicolas P.},
  URL = {https://hal.archives-ouvertes.fr/hal-01337332},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {cortex ; action selection ; basal ganglia ; computational model ; Decision making ; covert learning ; reinforcement learning},
  PDF = {https://hal.archives-ouvertes.fr/hal-01337332/file/OneCriticTwoActors-biorxiv.pdf},
  HAL_ID = {hal-01337332},
  HAL_VERSION = {v2},
}


%% Cite: hal-01354195
%% Type: CHI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: satanas
@incollection{fage:hal-01354195,
  TITLE = {{France}},
  AUTHOR = {Fage, Charles and Moullet, P and Consel, Charles and Sauzeon, H{\'e}l{\`e}ne},
  URL = {https://hal.inria.fr/hal-01354195},
  BOOKTITLE = {{The Praeger International Handbook of Special Education}},
  EDITOR = {Michael L. Wehmeyer and James R. Patton},
  PUBLISHER = {{ ABC-CLIO Corporate ABC-CLIO}},
  VOLUME = {2},
  PAGES = {26},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {Disability ;  childhood ;  School inclusion  ;  Education},
  PDF = {https://hal.inria.fr/hal-01354195/file/FRANCE-%20Handbook-2_EN-Final.pdf},
  HAL_ID = {hal-01354195},
  HAL_VERSION = {v1},
}


%% Cite: hal-01361482
%% Type: AI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: combalgo
@unpublished{bensmail:hal-01361482,
  TITLE = {{On a combination of the 1-2-3 Conjecture and the Antimagic Labelling Conjecture}},
  AUTHOR = {Bensmail, Julien and Senhaji, Mohammed and Szabo Lyngsie, Kasper},
  URL = {https://hal.archives-ouvertes.fr/hal-01361482},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {1-2-3 Conjecture ; Antimagic Labelling Conjecture ; equitable edge-weightings ; neighbour-sum-distinguishing edge-weightings},
  PDF = {https://hal.archives-ouvertes.fr/hal-01361482/file/123-injective.pdf},
  HAL_ID = {hal-01361482},
  HAL_VERSION = {v2},
}


%% Cite: hal-01386174
%% Type: CI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: combalgo combalgo
@inproceedings{beaumont:hal-01386174,
  TITLE = {{Approximation Proofs of a Fast and Efficient List Scheduling Algorithm for Task-Based Runtime Systems on Multicores and GPUs}},
  AUTHOR = {Beaumont, Olivier and Eyraud-Dubois, Lionel and Kumar, Suraj},
  URL = {https://hal.inria.fr/hal-01386174},
  BOOKTITLE = {{IEEE International Parallel \& Distributed Processing Symposium (IPDPS)}},
  ADDRESS = {Orlando, United States},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Approximation proofs ; Runtime systems ; Heterogeneous scheduling ; List scheduling ; Dense linear algebra},
  PDF = {https://hal.inria.fr/hal-01386174/file/heteroPrioApproxProofsRR.pdf},
  HAL_ID = {hal-01386174},
  HAL_VERSION = {v2},
}


%% Cite: hal-01386539
%% Type: AI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: combalgo combalgo
@techreport{beaumont:hal-01386539,
  TITLE = {{Matching-Based Assignement Strategies for Improving Data Locality of Map Tasks in MapReduce}},
  AUTHOR = {Beaumont, Olivier and Lambert, Thomas and Marchal, Loris and Thomas, Bastien},
  URL = {https://hal.inria.fr/hal-01386539},
  TYPE = {Research Report},
  NUMBER = {RR-8968},
  INSTITUTION = {{Inria - Research Centre Grenoble -- Rh{\^o}ne-Alpes ; Inria Bordeaux Sud-Ouest}},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {Resource Allocation and Scheduling ; Analysis of Randomized Algorithms ; Matchings ; MapReduce ; Balls-into-bins},
  PDF = {https://hal.inria.fr/hal-01386539/file/RR-8968.pdf},
  HAL_ID = {hal-01386539},
  HAL_VERSION = {v4},
}


%% Cite: hal-01387482
%% Type: AI
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: satanas satanas
@techreport{agullo:hal-01387482,
  TITLE = {{Task-based fast multipole method for clusters of multicore processors}},
  AUTHOR = {Agullo, Emmanuel and Bramas, B{\'e}renger and Coulaud, Olivier and Khannouz, Martin and Stanisic, Luka},
  URL = {https://hal.inria.fr/hal-01387482},
  TYPE = {Research Report},
  NUMBER = {RR-8970},
  PAGES = {15 },
  INSTITUTION = {{Inria Bordeaux Sud-Ouest}},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {multicore processor ; high performance computing (HPC) ; fast multipole method ; hybrid   parallelization ; runtime system ; task-based programming ; Calcul haute performance ; m{\'e}thode multip{\^o}les rapide ; FMM ; cluster ; architecture multic{\oe}ur ; moteur d'ex{\'e}cution ; parall{\'e}lisation hybride ; programmation {\`a} base de t{\^a}ches ; MPI ; OpenMP},
  PDF = {https://hal.inria.fr/hal-01387482/file/report-8970.pdf},
  HAL_ID = {hal-01387482},
  HAL_VERSION = {v4},
}


%% Cite: hal-01394253
%% Type: RI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: is
@article{yger:hal-01394253,
  TITLE = {{Riemannian approaches in Brain-Computer Interfaces: a review}},
  AUTHOR = {Yger, Florian and Berar, Maxime and Lotte, Fabien},
  URL = {https://hal.inria.fr/hal-01394253},
  JOURNAL = {{IEEE Transactions on Neural Systems and Rehabilitation Engineering}},
  PUBLISHER = {{Institute of Electrical and Electronics Engineers}},
  YEAR = {2017},
  KEYWORDS = {Index Terms-Riemannian geometry ;  Brain-Computer Inter- ; face (BCI) ;  covariance matrices ;  subspaces ;  source extraction ; Electroencephalography (EEG) ;  classification},
  PDF = {https://hal.inria.fr/hal-01394253/file/YgerBerarLotte16-IEEETNSRE.pdf},
  HAL_ID = {hal-01394253},
  HAL_VERSION = {v1},
}


%% Cite: hal-01396912
%% Type: DI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: mabiovis
@book{guillet:hal-01396912,
  TITLE = {{Advances in Knowledge Discovery and Management, Volume 6}},
  AUTHOR = {Guillet, Fabrice and Pinaud, Bruno and Venturini, Gilles},
  URL = {https://hal.archives-ouvertes.fr/hal-01396912},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Studies in Computational Intelligence},
  VOLUME = {665},
  YEAR = {2017},
  DOI = {10.1007/978-3-319-45763-5},
  HAL_ID = {hal-01396912},
  HAL_VERSION = {v1},
}


%% Cite: hal-01402755
%% Type: CI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@inproceedings{goglin:hal-01402755,
  TITLE = {{On the Overhead of Topology Discovery for Locality-aware Scheduling in HPC}},
  AUTHOR = {Goglin, Brice},
  URL = {https://hal.inria.fr/hal-01402755},
  BOOKTITLE = {{Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP2017)}},
  ADDRESS = {St Petersburg, Russia},
  PUBLISHER = {{IEEE Computer Society}},
  SERIES = {Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP2017)},
  PAGES = {9},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {topology ; locality ; discovery ; overhead ; operating system ; Linux ; file-system ; XML},
  PDF = {https://hal.inria.fr/hal-01402755/file/article.pdf},
  HAL_ID = {hal-01402755},
  HAL_VERSION = {v2},
}


%% Cite: hal-01403369
%% Type: CN
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: autres mf
@inproceedings{serpette:hal-01403369,
  TITLE = {{Causalit{\'e} dans les calculs d'{\'e}v{\'e}nements}},
  AUTHOR = {Serpette, Bernard P and Janin, David},
  URL = {https://hal.inria.fr/hal-01403369},
  BOOKTITLE = {{JFLA 2017 - Vingt-huiti{\`e}me Journ{\'e}es Francophones des Langages Applicatifs }},
  ADDRESS = {Gourette, France},
  YEAR = {2017},
  MONTH = Jan,
  PDF = {https://hal.inria.fr/hal-01403369/file/jfla2017.pdf},
  HAL_ID = {hal-01403369},
  HAL_VERSION = {v1},
}


%% Cite: hal-01414196
%% Type: CI
%% Auteurs LaBRI: 2 3
%% Equipes LaBRI: satanas satanas
@inproceedings{georgiou:hal-01414196,
  TITLE = {{Topology-aware resource management for HPC applications}},
  AUTHOR = {Georgiou, Yiannis and Jeannot, Emmanuel and Mercier, Guillaume and Villiermet, Ad{\`e}le},
  URL = {https://hal.inria.fr/hal-01414196},
  BOOKTITLE = {{ICDCN 2017}},
  ADDRESS = {Hyderabad, India},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1145/3007748.3007768},
  KEYWORDS = {Slurm ; scheduling ; CCS Concepts $\bullet$Information systems $\rightarrow$ Computing platforms ; Keywords resource management ; job allocation ; topology-aware place- ment},
  HAL_ID = {hal-01414196},
  HAL_VERSION = {v1},
}


%% Cite: hal-01416364
%% Type: RI
%% Auteurs LaBRI:
%% Equipes LaBRI:
@article{kardos:hal-01416364,
  TITLE = {{First order convergence of matroids}},
  AUTHOR = {Kardo{\v s}, Franti{\v s}ek and Kr{\'a}l ', Daniel and Liebenau, Anita and Mach, Luk{\'a}{\v s}},
  URL = {https://hal.archives-ouvertes.fr/hal-01416364},
  JOURNAL = {{European Journal of Combinatorics}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {59},
  PAGES = {150 - 168},
  YEAR = {2017},
  DOI = {10.1016/j.ejc.2016.08.005},
  PDF = {https://hal.archives-ouvertes.fr/hal-01416364/file/1501.06518v3.pdf},
  HAL_ID = {hal-01416364},
  HAL_VERSION = {v1},
}


%% Cite: hal-01421379
%% Type: SI
%% Auteurs LaBRI: 3 4 5
%% Equipes LaBRI: autres satanas satanas
@inproceedings{pichon:hal-01421379,
  TITLE = {{Sparse Supernodal Solver Using Hierarchical Compression over Runtime System}},
  AUTHOR = {Pichon, Gr{\'e}goire and Darve, Eric and Faverge, Mathieu and Ramet, Pierre and Roman, Jean},
  URL = {https://hal.inria.fr/hal-01421379},
  BOOKTITLE = {{SIAM Conference on Computation Science and Engineering (CSE'17)}},
  ADDRESS = {Atlanta, United States},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {sparse direct solver ; h-matrix},
  HAL_ID = {hal-01421379},
  HAL_VERSION = {v1},
}


%% Cite: hal-01421383
%% Type: SI
%% Auteurs LaBRI: 2 3
%% Equipes LaBRI: autres satanas
@inproceedings{pichon:hal-01421383,
  TITLE = {{Exploiting Modern Manycore Architecture in Sparse Direct Solver with Runtime Systems}},
  AUTHOR = {Pichon, Gr{\'e}goire and Faverge, Mathieu and Ramet, Pierre},
  URL = {https://hal.inria.fr/hal-01421383},
  BOOKTITLE = {{SIAM Conference on Computation Science and Engineering (CSE'17)}},
  ADDRESS = {Atlanta, United States},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {sparse direct solver ; GPU},
  HAL_ID = {hal-01421383},
  HAL_VERSION = {v1},
}


%% Cite: hal-01421384
%% Type: SI
%% Auteurs LaBRI: 2 3 4
%% Equipes LaBRI: autres satanas satanas
@inproceedings{pichon:hal-01421384,
  TITLE = {{Impact of Blocking Strategies for Sparse Direct Solvers on Top of Generic Runtimes}},
  AUTHOR = {Pichon, Gr{\'e}goire and Faverge, Mathieu and Ramet, Pierre and Roman, Jean},
  URL = {https://hal.inria.fr/hal-01421384},
  BOOKTITLE = {{SIAM Conference on Computation Science and Engineering (CSE'17)}},
  ADDRESS = {Atlanta, United States},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {sparse direct solver ; reordering techniques},
  HAL_ID = {hal-01421384},
  HAL_VERSION = {v1},
}


%% Cite: hal-01427958
%% Type: CHI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: mabiovis
@incollection{escobar:hal-01427958,
  TITLE = {{Rapid Prototyping for Bio--Inspired Robots}},
  AUTHOR = {Escobar, Maria-Jose U and Alexandre, Fr{\'e}d{\'e}ric and Vi{\'e}ville, Thierry and Palacios, Adrian},
  URL = {https://hal.inria.fr/hal-01427958},
  BOOKTITLE = {{Rapid Roboting: Recent Advances on 3D Printers and Robotics }},
  PUBLISHER = {{Springer}},
  SERIES = {Intelligent Systems, Control and Automation: Science and Engineering},
  PAGES = {300},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {robotics ;  autonomeous behavior ;  bioinspired robotics},
  HAL_ID = {hal-01427958},
  HAL_VERSION = {v1},
}


%% Cite: hal-01428882
%% Type: SI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: combalgo
@inproceedings{gsieniec:hal-01428882,
  TITLE = {{Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors)}},
  AUTHOR = {Gąsieniec, Leszek and Klasing, Ralf and Levcopoulos, Christos and Lingas, Andrzej and Min, Jie and Radzik, Tomasz},
  URL = {https://hal.archives-ouvertes.fr/hal-01428882},
  BOOKTITLE = {{Proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)}},
  ADDRESS = {Limerick, Ireland},
  PUBLISHER = {{Springer Verlag}},
  SERIES = {Lecture Notes in Computer Science.},
  VOLUME = {10139},
  PAGES = {229--240},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1007/978-3-319-51963-0\_18},
  HAL_ID = {hal-01428882},
  HAL_VERSION = {v1},
}


%% Cite: hal-01428899
%% Type: SI
%% Auteurs LaBRI: 4
%% Equipes LaBRI: combalgo
@inproceedings{chen:hal-01428899,
  TITLE = {{On the complexity of the star p-hub center problem with parameterized triangle inequality}},
  AUTHOR = {Chen, Li-Hsuan and Hsieh, Sun-Yuan and Hung, Ling-Ju and Klasing, Ralf and Lee, Chia-Wei and Wu,  Bang Ye},
  URL = {https://hal.archives-ouvertes.fr/hal-01428899},
  BOOKTITLE = {{Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC 2017)}},
  ADDRESS = {Athens, Greece},
  PUBLISHER = {{Springer Verlag}},
  SERIES = {Lecture Notes in Computer Science.},
  YEAR = {2017},
  MONTH = May,
  HAL_ID = {hal-01428899},
  HAL_VERSION = {v1},
}


%% Cite: hal-01429072
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@unpublished{dorbec:hal-01429072,
  TITLE = {{Quantum Combinatorial Games}},
  AUTHOR = {Dorbec, Paul and Mhalla, Mehdi},
  URL = {https://hal.archives-ouvertes.fr/hal-01429072},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  PDF = {https://hal.archives-ouvertes.fr/hal-01429072/file/main.pdf},
  HAL_ID = {hal-01429072},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431250
%% Type: CI
%% Auteurs LaBRI: 2 3
%% Equipes LaBRI: mf mf
@inproceedings{gallot:hal-01431250,
  TITLE = {{On the decomposition of finite-valued streaming string transducers}},
  AUTHOR = {Gallot, Paul and Muscholl, Anca and Puppis, Gabriele and Salvati, Sylvain},
  URL = {https://hal.archives-ouvertes.fr/hal-01431250},
  BOOKTITLE = {{34th International Symposium on Theoretical Aspects of Computer Science (STACS)}},
  ADDRESS = {Hannover, Germany},
  YEAR = {2017},
  MONTH = Mar,
  DOI = {10.4230/LIPIcs},
  KEYWORDS = {equivalence ; finite valuedness ; 1998 ACM Subject Classification F11 Models of Computation ; Automata Keywords and phrases Streaming Transducers},
  PDF = {https://hal.archives-ouvertes.fr/hal-01431250/file/STACS%202017.pdf},
  HAL_ID = {hal-01431250},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431381
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@unpublished{bonamy:hal-01431381,
  TITLE = {{The Erd{\"o}s-Hajnal Conjecture for Long Holes and Anti-holes}},
  AUTHOR = {Bonamy, Marthe and Bousquet, Nicolas and Thomass{\'e}, St{\'e}phan},
  URL = {https://hal.archives-ouvertes.fr/hal-01431381},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  HAL_ID = {hal-01431381},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431388
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@unpublished{bonamy:hal-01431388,
  TITLE = {{Reconfiguring Independent Sets in Cographs}},
  AUTHOR = {Bonamy, Marthe and Bousquet, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01431388},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  HAL_ID = {hal-01431388},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431393
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@unpublished{bonamy:hal-01431393,
  TITLE = {{Graphs with large chromatic number induce 3k-cycles}},
  AUTHOR = {Bonamy, Marthe and Thomass{\'e}, St{\'e}phan and Charbit, Pierre},
  URL = {https://hal.archives-ouvertes.fr/hal-01431393},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  HAL_ID = {hal-01431393},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431395
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@unpublished{bonamy:hal-01431395,
  TITLE = {{On the neighbour sum distinguishing index of planar graphs}},
  AUTHOR = {Bonamy, Marthe and Przybylo, Jakub},
  URL = {https://hal.archives-ouvertes.fr/hal-01431395},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  HAL_ID = {hal-01431395},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431637
%% Type: RI
%% Auteurs LaBRI: 1 2 3 4
%% Equipes LaBRI: mabiovis combalgo combalgo combalgo
@article{auber:hal-01431637,
  TITLE = {{Rook-drawings of Plane Graphs}},
  AUTHOR = {Auber, David and Bonichon, Nicolas and Dorbec, Paul and Pennarun, Claire},
  URL = {https://hal.archives-ouvertes.fr/hal-01431637},
  JOURNAL = {{Journal of Graph Algorithms and Applications (JGAA)}},
  PUBLISHER = {{Brown University}},
  VOLUME = {21},
  NUMBER = {1},
  PAGES = {103-120},
  YEAR = {2017},
  MONTH = Jan,
  PDF = {https://hal.archives-ouvertes.fr/hal-01431637/file/rook-drawing-jgaa.pdf},
  HAL_ID = {hal-01431637},
  HAL_VERSION = {v1},
}


%% Cite: hal-01431871
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@article{bacot:hal-01431871,
  TITLE = {{The Creative Process of Sculpting the Air by Jesper Nordin: Conceiving and Performing a Concerto for Conductor with Live Electronics}},
  AUTHOR = {Bacot, Baptiste and F{\'e}ron, Fran{\c c}ois-Xavier},
  URL = {https://hal.archives-ouvertes.fr/hal-01431871},
  JOURNAL = {{Contemporary Music Review}},
  PUBLISHER = {{Taylor \& Francis (Routledge)}},
  SERIES = {Gesture-Technology Interactions in Contemporary Music},
  VOLUME = {35},
  NUMBER = {4-5},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1080/07494467.2016.1257569},
  KEYWORDS = { Mixed Music ;  Concerto for Conductor ;  Gestural Control of Electronics ; Jesper Nordin ;  Creative Process ;  Gestrument},
  HAL_ID = {hal-01431871},
  HAL_VERSION = {v1},
}


%% Cite: hal-01432116
%% Type: AI
%% Auteurs LaBRI: 1 2 3 4
%% Equipes LaBRI: is is is is
@unpublished{giraud:hal-01432116,
  TITLE = {{SuperPatchMatch: an Algorithm for Robust Correspondences of Superpixel Patches}},
  AUTHOR = {Giraud, R{\'e}mi and Ta, Vinh-Thong and Bugeau, Aur{\'e}lie and Coup{\'e}, Pierrick and Papadakis, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01432116},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  KEYWORDS = {Patch-based method ; PatchMatch ; Superpixels ; Labeling ; Segmentation},
  PDF = {https://hal.archives-ouvertes.fr/hal-01432116/file/Giraud_SPM_2017.pdf},
  HAL_ID = {hal-01432116},
  HAL_VERSION = {v1},
}


%% Cite: hal-01433151
%% Type: RI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@article{marckert:hal-01433151,
  TITLE = {{The probability that n random points in a disk are in convex position}},
  AUTHOR = {Marckert, Jean-Fran{\c c}ois},
  URL = {https://hal.archives-ouvertes.fr/hal-01433151},
  JOURNAL = {{Brazilian Journal of Probability and Statistics}},
  PUBLISHER = {{São Paulo, SP : Associa{\c c}ão Brasileira de Estat{\'i}stica}},
  SERIES = {to appear},
  YEAR = {2017},
  HAL_ID = {hal-01433151},
  HAL_VERSION = {v1},
}


%% Cite: hal-01433783
%% Type: AI
%% Auteurs LaBRI: 1 4 5
%% Equipes LaBRI: combalgo combalgo combalgo
@unpublished{baudon:hal-01433783,
  TITLE = {{Equitable neighbour-sum-distinguishing edge and total colourings}},
  AUTHOR = {Baudon, Olivier and Pilsniak, Monika and Przybylo, Jakub and Senhaji, Mohammed and Sopena, Eric and Wozniak, Mariusz},
  URL = {https://hal.archives-ouvertes.fr/hal-01433783},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  KEYWORDS = {Equitable colouring ;  Neighbour-sum-distinguishing edge colouring ;  Neighbour-sum-distinguishing total colouring},
  PDF = {https://hal.archives-ouvertes.fr/hal-01433783/file/equitable-nsd.pdf},
  HAL_ID = {hal-01433783},
  HAL_VERSION = {v1},
}


%% Cite: hal-01436163
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@article{benahmed:hal-01436163,
  TITLE = {{Recognition of Alzheimer's disease and Mild Cognitive Impairment with multimodal image-derived biomarkers and Multiple Kernel Learning}},
  AUTHOR = {Ben Ahmed, Olfa and Benois-Pineau, Jenny and Michelle, Allard and Catheline, Gwenaelle and Ben Amar, Chokri and The Alzheimer'S Disease Neuroimaging Initiative, --},
  URL = {https://hal.archives-ouvertes.fr/hal-01436163},
  JOURNAL = {{Neurocomputing}},
  PUBLISHER = {{Elsevier}},
  SERIES = {Recent Research in Medical Technology Based on Multimedia and Pattern Recognition},
  VOLUME = {220},
  PAGES = {98-110},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1016/j.neucom.2016.08.041},
  HAL_ID = {hal-01436163},
  HAL_VERSION = {v1},
}


%% Cite: hal-01436299
%% Type: SI
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: is is
@inproceedings{aderghal:hal-01436299,
  TITLE = {{Classification of sMRI for AD Diagnosis with Convolutional Neuronal Networks: A Pilot 2-D+ϵ Study on ADNI}},
  AUTHOR = {Aderghal, Karim and Manuel, Boissenin and Benois-Pineau, Jenny and Gwena{\^e}lle, Catheline and Afdel, Karim},
  URL = {https://hal.archives-ouvertes.fr/hal-01436299},
  BOOKTITLE = {{International Conference, MMM 2017}},
  ADDRESS = {Reykjavik, Iceland},
  EDITOR = {Laurent Amsaleg and Gylfi {\TH}{\'o}r Gu{\dh}mundsson and Cathal Gurrin and Bj{\"o}rn {\TH}{\'o}r J{\'o}nsson and Shin'ichi Satoh},
  PUBLISHER = {{http://www.springer.com/}},
  SERIES = {MultiMedia Modeling - 23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings, Part I},
  VOLUME = {10132},
  PAGES = {pp 690-701},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1007/978-3-319-51811-4\_56},
  KEYWORDS = {Alzheimer's disease ;  AD ;  Convolutional neural network  ;  CNN  ;  Deep learning  ;  Structural magnetic resonance imaging ;  sMRI ;   Hippocampus ;   Computer-aided diagnosis  ;  CAD},
  HAL_ID = {hal-01436299},
  HAL_VERSION = {v1},
}


%% Cite: hal-01436416
%% Type: RI
%% Auteurs LaBRI: 4
%% Equipes LaBRI: progress
@article{mechtri:hal-01436416,
  TITLE = {{A Twofold Self-Healing Approach for MANET Survivability Reinforcement}},
  AUTHOR = {Mechtri, Leila and Tolba, Fatiha Djemili and Ghanemi, Salim and Magoni, Damien},
  URL = {https://hal.archives-ouvertes.fr/hal-01436416},
  JOURNAL = {{International Journal of Intelligent Engineering Informatics}},
  PUBLISHER = {{Inderscience Publishers}},
  VOLUME = {5},
  NUMBER = {1},
  YEAR = {2017},
  KEYWORDS = {Survivability ; Fault-tolerance ; Intrusion Detection ; Self-healing ; Replication ; Recovery-oriented Approach ; MANET},
  PDF = {https://hal.archives-ouvertes.fr/hal-01436416/file/mechtri-ijiei2017.pdf},
  HAL_ID = {hal-01436416},
  HAL_VERSION = {v1},
}


%% Cite: hal-01436606
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@article{obeso:hal-01436606,
  TITLE = {{Architectural style classification of Mexican historical buildings using deep convolutional neural networks and sparse features}},
  AUTHOR = {Obeso, Abraham Montoya and Benois-Pineau, Jenny and Acosta, Alejandro {\'A}lvaro Ramirez and V{\'a}zquez, Mireya Sara{\'i} Garc{\'i}a},
  URL = {https://hal.archives-ouvertes.fr/hal-01436606},
  JOURNAL = {{Journal of Electronic Imaging}},
  PUBLISHER = {{Society of Photo-optical Instrumentation Engineers}},
  SERIES = {Journal of Electronic Imaging - Special Section on Image Processing for Cultural Heritage },
  VOLUME = {26},
  NUMBER = {1},
  PAGES = {011016-011016},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1117/1.JEI.26.1.011016},
  KEYWORDS = { Image classification  ;  Networks  ;  Neural networks},
  HAL_ID = {hal-01436606},
  HAL_VERSION = {v1},
}


%% Cite: hal-01439299
%% Type: RI
%% Auteurs LaBRI: 3 5
%% Equipes LaBRI: is is
@article{bevilacqua:hal-01439299,
  TITLE = {{Joint inpainting of depth and reflectance with visibility estimation}},
  AUTHOR = {Bevilacqua, Marco and Aujol, Jean-Fran{\c c}ois and Biasutti, Pierre and Br{\'e}dif, Mathieu and Bugeau, Aur{\'e}lie},
  URL = {https://hal.archives-ouvertes.fr/hal-01439299},
  JOURNAL = {{ISPRS Journal of Photogrammetry and Remote Sensing}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {125},
  PAGES = {16--32},
  YEAR = {2017},
  MONTH = Mar,
  DOI = {10.1016/j.isprsjprs.2017.01.005},
  KEYWORDS = {Inpainting ; Total Variation ; Depth Maps ; Lidar ; Reflectance ; Point Cloud ; Visibility},
  PDF = {https://hal.archives-ouvertes.fr/hal-01439299/file/jrnl_jointinp.pdf},
  HAL_ID = {hal-01439299},
  HAL_VERSION = {v1},
}


%% Cite: hal-01449886
%% Type: SI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: is is
@inproceedings{brock:hal-01449886,
  TITLE = {{Teaching spatial thinking to visually impaired students using augmented reality: Introducing the VISTE project}},
  AUTHOR = {Brock, Anke M.  and Hachet, Martin},
  URL = {https://hal.inria.fr/hal-01449886},
  BOOKTITLE = {{GET'17 - Journ{\'e}es Multim{\'e}dia, G{\'e}omatique, Enseignement \& Apprentissage}},
  ADDRESS = {Toulouse, France},
  YEAR = {2017},
  MONTH = Jan,
  KEYWORDS = {Augmented reality ;  educational technologies ;  accessibility ;  visual impairment ; interactive maps ;  geography ;  spatial cognition ; R{\'e}alit{\'e} augment{\'e}e ;  technologies {\'e}ducatives ;  accessibilit{\'e} ;  d{\'e}ficience visuelle ; cartes interactives ;  g{\'e}ographie ;  cognition spatiale},
  PDF = {https://hal.inria.fr/hal-01449886/file/GET-final.pdf},
  HAL_ID = {hal-01449886},
  HAL_VERSION = {v1},
}


%% Cite: hal-01450630
%% Type: CN
%% Auteurs LaBRI: 1 5 6
%% Equipes LaBRI: mabiovis mabiovis mabiovis
@inproceedings{pinaud:hal-01450630,
  TITLE = {{PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting}},
  AUTHOR = {Pinaud, Bruno and Andrei, Oana and Fern{\'a}ndez, Maribel and Kirchner, H{\'e}l{\`e}ne and Melan{\c c}on, Guy and Vallet, Jason},
  URL = {https://hal.archives-ouvertes.fr/hal-01450630},
  NOTE = {D{\'e}monstration logicielle},
  BOOKTITLE = {{Extraction et Gestion de Connaissances}},
  ADDRESS = {Grenoble, France},
  PUBLISHER = {{Revue des Nouvelles Technologies de l'Information }},
  SERIES = {Extraction et Gestion de Connaissances 2017 (EGC2017)},
  VOLUME = {RNTI-E-33 },
  PAGES = {473--476},
  YEAR = {2017},
  MONTH = Jan,
  PDF = {https://hal.archives-ouvertes.fr/hal-01450630/file/demo_egc.pdf},
  HAL_ID = {hal-01450630},
  HAL_VERSION = {v1},
}


%% Cite: hal-01450732
%% Type: AI
%% Auteurs LaBRI: 3 4 5
%% Equipes LaBRI: autres satanas satanas
@techreport{pichon:hal-01450732,
  TITLE = {{Sparse Supernodal Solver Using Block Low-Rank Compression}},
  AUTHOR = {Pichon, Gr{\'e}goire and Darve, Eric and Faverge, Mathieu and Ramet, Pierre and Roman, Jean},
  URL = {https://hal.inria.fr/hal-01450732},
  TYPE = {Research Report},
  NUMBER = {RR-9022},
  PAGES = {24},
  INSTITUTION = {{Inria Bordeaux Sud-Ouest}},
  YEAR = {2017},
  MONTH = Jan,
  KEYWORDS = { multi- threaded architectures ;  block low-rank compression ;  PaStiX direct solver ; Sparse linear solver},
  PDF = {https://hal.inria.fr/hal-01450732/file/RR-9022%20%281%29.pdf},
  HAL_ID = {hal-01450732},
  HAL_VERSION = {v3},
}


%% Cite: hal-01453385
%% Type: CI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@inproceedings{roo:hal-01453385,
  TITLE = {{Towards a Hybrid Space Combining Spatial Augmented Reality and Virtual Reality}},
  AUTHOR = {ROO, Joan Sol and Hachet, Martin},
  URL = {https://hal.archives-ouvertes.fr/hal-01453385},
  BOOKTITLE = {{3DUI - IEEE Symposium on 3D User Interfaces}},
  ADDRESS = {Los Angeles, United States},
  ORGANIZATION = {{IEEE}},
  SERIES = {3DUI 17},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {Mixed Reality ;  Augmented Reality ;  HMD ;  3D Interaction},
  PDF = {https://hal.archives-ouvertes.fr/hal-01453385/file/3DUI17_SAR_VR_technote.pdf},
  HAL_ID = {hal-01453385},
  HAL_VERSION = {v1},
}


%% Cite: hal-01455174
%% Type: SI
%% Auteurs LaBRI: 3 4
%% Equipes LaBRI: is is
@inproceedings{solroo:hal-01455174,
  TITLE = {{Inner Garden: Connecting Inner States to a Mixed Reality Sandbox for Mindfulness}},
  AUTHOR = {Sol Roo, Joan and Gervais, Renaud and Frey, J{\'e}r{\'e}my and Hachet, Martin},
  URL = {https://hal.archives-ouvertes.fr/hal-01455174},
  BOOKTITLE = {{CHI '17}},
  ADDRESS = {Denver, United States},
  ORGANIZATION = {{ACM}},
  PUBLISHER = {{ACM}},
  SERIES = {CHI '17},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = { Mindfulness ; Calm Technologies ; Virtual Reality ; Spatial Augmented Reality ; Tangible Interaction ; Mixed Reality},
  HAL_ID = {hal-01455174},
  HAL_VERSION = {v1},
}


%% Cite: hal-01455510
%% Type: CI
%% Auteurs LaBRI: 6
%% Equipes LaBRI: is
@inproceedings{furio:hal-01455510,
  TITLE = {{HOBIT: Hybrid Optical Bench for Innovative Teaching}},
  AUTHOR = {Furio, David and Fleck, St{\'e}phanie and Bousquet, Bruno and Guillet, J.-P. and Canioni, Lionel and Hachet, Martin},
  URL = {https://hal.inria.fr/hal-01455510},
  BOOKTITLE = {{CHI'17, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems}},
  ADDRESS = {Denver, United States},
  YEAR = {2017},
  MONTH = May,
  DOI = {10.1145/3025453.3025789},
  KEYWORDS = {Education and Training ;  Optics ;  Augmented Reality ;  Simulation ;  Michelson interferometer},
  HAL_ID = {hal-01455510},
  HAL_VERSION = {v1},
}


%% Cite: hal-01455523
%% Type: CI
%% Auteurs LaBRI: 2 3
%% Equipes LaBRI: is is
@inproceedings{crespel:hal-01455523,
  TITLE = {{A low-cost multitouch spherical display: hardware and software design}},
  AUTHOR = {Crespel, Thomas and Reuter, Patrick and Granier, Xavier},
  URL = {https://hal.inria.fr/hal-01455523},
  BOOKTITLE = {{Display Week 2017}},
  ADDRESS = {Los Angeles, California, , United States},
  PUBLISHER = {{The Society of Information Display}},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {spherical display ;  multitouch display ;  projection-basednumerical corrections of chromatic aberrations ;  projectiondisplay ;  hardware design ;  software design ;  and tracking calibration},
  HAL_ID = {hal-01455523},
  HAL_VERSION = {v1},
}


%% Cite: hal-01455763
%% Type: SN
%% Auteurs LaBRI: 5
%% Equipes LaBRI: is
@inproceedings{chiron:hal-01455763,
  TITLE = {{Erreurs OCR et biais d'indexation : impact sur les usages}},
  AUTHOR = {Chiron, Guillaume and Moreux, Jean-Philippe and Doucet, Antoine and Coustaty, Micka{\"e}l and Visani, Muriel},
  URL = {https://hal.archives-ouvertes.fr/hal-01455763},
  BOOKTITLE = {{17{\`e}me conf{\'e}rence Extraction et Gestion des Connaissances, Atelier Journalisme Computationnel}},
  ADDRESS = {Grenoble, France},
  PAGES = {69-73},
  YEAR = {2017},
  MONTH = Jan,
  KEYWORDS = {erreurs OCR ;  biais d'indexation ;  biblioth{\`e}que digitales},
  PDF = {https://hal.archives-ouvertes.fr/hal-01455763/file/EGC_2017_paper_160%20%289%29.pdf},
  HAL_ID = {hal-01455763},
  HAL_VERSION = {v1},
}


%% Cite: hal-01456207
%% Type: AI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: mf
@unpublished{bassino:hal-01456207,
  TITLE = {{Random presentations and random subgroups: a survey}},
  AUTHOR = {Bassino, Fr{\'e}d{\'e}rique and Nicaud, Cyril and Weil, Pascal},
  URL = {https://hal.archives-ouvertes.fr/hal-01456207},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Jan,
  PDF = {https://hal.archives-ouvertes.fr/hal-01456207/file/2017-02-02%20random%20survey.pdf},
  HAL_ID = {hal-01456207},
  HAL_VERSION = {v1},
}


%% Cite: hal-01457996
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: mf
@unpublished{gimbert:hal-01457996,
  TITLE = {{A short proof of correctness of the quasi-polynomial time algorithm for parity games}},
  AUTHOR = {Gimbert, Hugo and Ibsen-Jensen, Rasmus},
  URL = {https://hal.archives-ouvertes.fr/hal-01457996},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {Parity games},
  PDF = {https://hal.archives-ouvertes.fr/hal-01457996/file/parity_quasipolynomial.pdf},
  HAL_ID = {hal-01457996},
  HAL_VERSION = {v4},
}


%% Cite: hal-01461157
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@techreport{aupy:hal-01461157,
  TITLE = {{Co-scheduling Amdahl applications on cache-partitioned systems}},
  AUTHOR = {Aupy, Guillaume and Benoit, Anne and Dai, Sicheng and Pottier, Lo{\"i}c and Raghavan, Padma and Robert, Yves and Shantharam, Manu},
  URL = {https://hal.inria.fr/hal-01461157},
  TYPE = {Research Report},
  NUMBER = {RR-9021},
  PAGES = {33},
  INSTITUTION = {{Inria}},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = { complexity results ; Co-scheduling ;  cache partitioning ; Ordonnancement concurrent ;  partitionnement de cache ;  r{\'e}sultats de complexit{\'e}.},
  PDF = {https://hal.inria.fr/hal-01461157/file/RR-9021.pdf},
  HAL_ID = {hal-01461157},
  HAL_VERSION = {v1},
}


%% Cite: hal-01461513
%% Type: AI
%% Auteurs LaBRI: 1 5 6
%% Equipes LaBRI: mabiovis mabiovis mabiovis
@misc{pinaud:hal-01461513,
  TITLE = {{PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting}},
  AUTHOR = {Pinaud, Bruno and Andrei, Oana and Fern{\'a}ndez, Maribel and Kirchner, H{\'e}l{\`e}ne and Melan{\c c}on, Guy and Vallet, Jason},
  URL = {https://hal.archives-ouvertes.fr/hal-01461513},
  NOTE = {Atelier Visualisation d'informations, interaction et fouille de donn{\'e}es, Conf{\'e}rence EGC2017 },
  YEAR = {2017},
  MONTH = Jan,
  PDF = {https://hal.archives-ouvertes.fr/hal-01461513/file/demo_egc.pdf},
  HAL_ID = {hal-01461513},
  HAL_VERSION = {v1},
}


%% Cite: hal-01462002
%% Type: SN
%% Auteurs LaBRI: 1 2 3
%% Equipes LaBRI: mabiovis mabiovis mabiovis
@inproceedings{laumond:hal-01462002,
  TITLE = {{Exploration visuelle de graphes multi-couches bas{\'e}e sur un degr{\'e} d'int{\'e}r{\^e}t}},
  AUTHOR = {Laumond, Antoine and Melan{\c c}on, Guy and Pinaud, Bruno},
  URL = {https://hal.archives-ouvertes.fr/hal-01462002},
  BOOKTITLE = {{EGC ( Extraction et Gestion des Connaissances ) 2017}},
  ADDRESS = {Grenoble, France},
  YEAR = {2017},
  MONTH = Jan,
  KEYWORDS = {degree of interest ; graph ; visualization ; exploration ; degr{\'e} d'int{\'e}r{\^e}t ; doi ; graphe ; visualisation},
  PDF = {https://hal.archives-ouvertes.fr/hal-01462002/file/egc-atelier-2016.pdf},
  HAL_ID = {hal-01462002},
  HAL_VERSION = {v1},
}


%% Cite: hal-01470281
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: satanas
@article{kabac:hal-01470281,
  TITLE = {{Designing Parallel Data Processing for Enabling Large-Scale Sensor Applications}},
  AUTHOR = {Kab{\'a}{\v c}, Milan and Consel, Charles and Volanschi, Nic},
  URL = {https://hal.inria.fr/hal-01470281},
  JOURNAL = {{Personal and Ubiquitous Computing}},
  PUBLISHER = {{Springer Verlag}},
  SERIES = {Special Issue on Ubiquitous Intelligence and Computing for Enabling a Smarter World},
  YEAR = {2017},
  DOI = {10.1007/s00779-017-1009-1},
  KEYWORDS = {data processing ;  programming frameworks ;  sensors ;  map-reduce ;  orchestration},
  PDF = {https://hal.inria.fr/hal-01470281/file/main.pdf},
  HAL_ID = {hal-01470281},
  HAL_VERSION = {v1},
}


%% Cite: hal-01470325
%% Type: AI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: mf
@techreport{carton:hal-01470325,
  TITLE = {{Regular Languages of Words over Countable Linear Orderings}},
  AUTHOR = {Carton, Olivier and Colcombet, Thomas and Puppis, Gabriele},
  URL = {https://hal.archives-ouvertes.fr/hal-01470325},
  TYPE = {Research Report},
  INSTITUTION = {{LaBRI ; IRIF}},
  YEAR = {2017},
  PDF = {https://hal.archives-ouvertes.fr/hal-01470325/file/main.pdf},
  HAL_ID = {hal-01470325},
  HAL_VERSION = {v1},
}


%% Cite: hal-01470940
%% Type: AI
%% Auteurs LaBRI: 2 3
%% Equipes LaBRI: mf mf
@unpublished{bojaczyk:hal-01470940,
  TITLE = {{Emptiness of zero automata is decidable}},
  AUTHOR = {Boja{\'n}czyk, Mikolaj and Gimbert, Hugo and Kelmendi, Edon},
  URL = {https://hal.archives-ouvertes.fr/hal-01470940},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {monadic second-order logic ; probabilistic automata ; tree automata},
  PDF = {https://hal.archives-ouvertes.fr/hal-01470940/file/main.pdf},
  HAL_ID = {hal-01470940},
  HAL_VERSION = {v2},
}


%% Cite: hal-01472062
%% Type: CI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@inproceedings{aupy:hal-01472062,
  TITLE = {{Dynamic Memory-Aware Task-Tree Scheduling}},
  AUTHOR = {Aupy, Guillaume and Brasseur, Cl{\'e}ment and Marchal, Loris},
  URL = {https://hal.inria.fr/hal-01472062},
  BOOKTITLE = {{IPDPS 2017 - 31st IEEE International Parallel \& Distributed Processing Symposium}},
  ADDRESS = {Orlando, United States},
  SERIES = {proceedings of IPDPS 2017},
  PAGES = {10},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {scheduling ; memory ; tree},
  PDF = {https://hal.inria.fr/hal-01472062/file/main.pdf},
  HAL_ID = {hal-01472062},
  HAL_VERSION = {v1},
}


%% Cite: hal-01473475
%% Type: AI
%% Auteurs LaBRI: 1 4
%% Equipes LaBRI: satanas satanas
@techreport{agullo:hal-01473475,
  TITLE = {{Achieving high-performance with a sparse direct solver on Intel KNL}},
  AUTHOR = {Agullo, Emmanuel and Buttari, Alfredo and Byckling, Mikko and Guermouche, Abdou and Masliah, Ian},
  URL = {https://hal.inria.fr/hal-01473475},
  TYPE = {Research Report},
  NUMBER = {RR-9035},
  PAGES = {15},
  INSTITUTION = {{Inria Bordeaux Sud-Ouest ; CNRS-IRIT ; Intel corporation ; Universit{\'e} Bordeaux}},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {runtime system ; sparse direct solver ; energy efficiency ; high-performance   computing ; portability ; Intel KNL ; manycore parallelism},
  PDF = {https://hal.inria.fr/hal-01473475/file/RR-9035.pdf},
  HAL_ID = {hal-01473475},
  HAL_VERSION = {v1},
}


%% Cite: hal-01474553
%% Type: AI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@techreport{aupy:hal-01474553,
  TITLE = {{Periodic I/O scheduling for super-computers}},
  AUTHOR = {Aupy, Guillaume and Gainaru, Ana and Le F{\`e}vre, Valentin},
  URL = {https://hal.inria.fr/hal-01474553},
  TYPE = {Research Report},
  NUMBER = {9037},
  INSTITUTION = {{Inria Bordeaux Sud-Ouest}},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {I/O ; models ; Scheduling ; bandwidth ; mod{\`e}les ; Ordonnancement ; entr{\'e}es-sorties ; HPC ; bande passante ; congestion},
  PDF = {https://hal.inria.fr/hal-01474553/file/RR-9037.pdf},
  HAL_ID = {hal-01474553},
  HAL_VERSION = {v2},
}


%% Cite: hal-01474556
%% Type: AI
%% Auteurs LaBRI: 1 3 5
%% Equipes LaBRI: satanas satanas satanas
@techreport{agullo:hal-01474556,
  TITLE = {{Modeling Irregular Kernels of Task-based codes: Illustration with the Fast Multipole Method}},
  AUTHOR = {Agullo, Emmanuel and Bramas, B{\'e}renger and Coulaud, Olivier and Stanisic, Luka and Thibault, Samuel},
  URL = {https://hal.inria.fr/hal-01474556},
  TYPE = {Research Report},
  NUMBER = {RR-9036},
  PAGES = {35},
  INSTITUTION = {{INRIA Bordeaux}},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {Mathematical Software ;  Modeling and simulation ;  Parallel computing methodologies ;   fast multipole method ;  runtime system ;  task-based programming},
  PDF = {https://hal.inria.fr/hal-01474556/file/rapport.pdf},
  HAL_ID = {hal-01474556},
  HAL_VERSION = {v1},
}


%% Cite: hal-01483416
%% Type: CI
%% Auteurs LaBRI: 5
%% Equipes LaBRI: mf
@inproceedings{ibrahim:hal-01483416,
  TITLE = {{Diagnosability Planning for Controllable Discrete Event Systems}},
  AUTHOR = {Ibrahim, Hassan and Dague, Philippe and Grastien, Alban and Ye, Lina and Simon, Laurent},
  URL = {https://hal.archives-ouvertes.fr/hal-01483416},
  BOOKTITLE = {{31st National Conference on Artificial Intelligence AAAI-17}},
  ADDRESS = {San Francisco, United States},
  YEAR = {2017},
  MONTH = Feb,
  HAL_ID = {hal-01483416},
  HAL_VERSION = {v1},
}


%% Cite: hal-01484574
%% Type: CI
%% Auteurs LaBRI: 1 7 8
%% Equipes LaBRI: is is is
@inproceedings{frey:hal-01484574,
  TITLE = {{Scientific Outreach with Teegi, a Tangible EEG Interface to Talk about Neurotechnologies}},
  AUTHOR = {Frey, J{\'e}r{\'e}my and Gervais, Renaud and Lain{\'e}, Thibault and Duluc, Maxime and Germain, Hugo and Fleck, St{\'e}phanie and Lotte, Fabien and Hachet, Martin},
  URL = {https://hal.inria.fr/hal-01484574},
  BOOKTITLE = {{CHI '17 Interactivity - SIGCHI Conference on Human Factors in Computing System}},
  ADDRESS = {Denver, United States},
  YEAR = {2017},
  MONTH = May,
  DOI = {10.1145/3027063.3052971},
  KEYWORDS = {Tangible Interaction ; EEG ; BCI ; Scientific Outreach},
  PDF = {https://hal.inria.fr/hal-01484574/file/chi-teegi-interactivity.pdf},
  HAL_ID = {hal-01484574},
  HAL_VERSION = {v1},
}


%% Cite: hal-01484986
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: mabiovis
@article{jouhet:hal-01484986,
  TITLE = {{Building a model for disease classification integration in oncology: an approach based on the National Cancer Institute thesaurus}},
  AUTHOR = {Jouhet, Vianney and Mougin, Fleur and Br{\'e}chat-Huet, B{\'e}r{\'e}nice and Thiessard, Frantz},
  URL = {https://hal.inria.fr/hal-01484986},
  JOURNAL = {{Journal of Biomedical Semantics}},
  PUBLISHER = {{BioMed Central}},
  VOLUME = {8},
  NUMBER = {1},
  YEAR = {2017},
  MONTH = Feb,
  DOI = {10.1186/s13326-017-0114-4},
  HAL_ID = {hal-01484986},
  HAL_VERSION = {v1},
}


%% Cite: hal-01485243
%% Type: AI
%% Auteurs LaBRI: 3 4
%% Equipes LaBRI: satanas satanas
@techreport{bosilca:hal-01485243,
  TITLE = {{Online Dynamic Monitoring of MPI Communications: Scientific User and Developper Guide}},
  AUTHOR = {Bosilca, George and Foyer, Cl{\'e}ment and Jeannot, Emmanuel and Mercier, Guillaume and Papaur{\'e}, Guillaume},
  URL = {https://hal.inria.fr/hal-01485243},
  TYPE = {Research Report},
  NUMBER = {RR-9038},
  PAGES = {43},
  INSTITUTION = {{Inria Bordeaux Sud-Ouest}},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {Communication Pattern ; Process Placement ; Monitoring ; Placement de processus ; Surveillance ; Sch{\'e}ma de communication ; MPI},
  PDF = {https://hal.inria.fr/hal-01485243/file/RR-9038.pdf},
  HAL_ID = {hal-01485243},
  HAL_VERSION = {v1},
}


%% Cite: hal-01485507
%% Type: RI
%% Auteurs LaBRI: 2 3 4
%% Equipes LaBRI: autres satanas satanas
@article{pichon:hal-01485507,
  TITLE = {{Reordering Strategy for Blocking Optimization in Sparse Linear Solvers}},
  AUTHOR = {Pichon, Gr{\'e}goire and Faverge, Mathieu and Ramet, Pierre and Roman, Jean},
  URL = {https://hal.inria.fr/hal-01485507},
  JOURNAL = {{SIAM Journal on Matrix Analysis and Applications}},
  PUBLISHER = {{Society for Industrial and Applied Mathematics}},
  SERIES = {SIAM Journal on Matrix Analysis and Applications},
  VOLUME = {38},
  NUMBER = {1},
  PAGES = {226 - 248},
  YEAR = {2017},
  DOI = {10.1137/16M1062454},
  KEYWORDS = {sparse block linear solver ;  nested dissection ;  sparse matrix ordering ;  heterogeneous ; architectures ; AMS subject classifications 05C50 ;  65F05 ;  65F50 ;  68Q25},
  PDF = {https://hal.inria.fr/hal-01485507/file/M106245.pdf},
  HAL_ID = {hal-01485507},
  HAL_VERSION = {v2},
}


%% Cite: hal-01485669
%% Type: AN
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: progress progress
@unpublished{herbaut:hal-01485669,
  TITLE = {{Un Mod{\`e}le De Collaboration Pour La Diffusion De Contenus Bas{\'e} Sur L'utilisation De La Blockchain}},
  AUTHOR = {Herbaut, Nicolas and Guiot, Fran{\c c}ois-Vivien and Negru, Daniel},
  URL = {https://hal.archives-ouvertes.fr/hal-01485669},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {Multimedia ; Smart contracts ; Comp{\'e}tition ; Collaboration},
  PDF = {https://hal.archives-ouvertes.fr/hal-01485669/file/bbt.pdf},
  HAL_ID = {hal-01485669},
  HAL_VERSION = {v1},
}


%% Cite: hal-01485877
%% Type: AI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: satanas
@techreport{baraille:hal-01485877,
  TITLE = {{A-VCI: a flexible method to efficiently compute vibrational spectra}},
  AUTHOR = {Baraille, Isabelle and B{\'e}gu{\'e}, Didier and Coulaud, Olivier and Le Bris, Vincent and Odunlami, Marc},
  URL = {https://hal.inria.fr/hal-01485877},
  TYPE = {Research Report},
  NUMBER = {RR-9043},
  PAGES = {35},
  INSTITUTION = {{Inria}},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {Vibrational Hamiltonian ; vibrational Configuration Interaction ; Eigenvalue problem ; adaptive method ; high dimension ; spectrum ; acetonitrile ; ethylene oxide ; Hamiltonien vibrationnel ;  interaction de configuration vibrationnelle ;  probl{\`e}me aux valeurs propres ;  m{\'e}thode adaptative ;  grande dimension ;   spectre ;  ac{\'e}tonitrile ;  oxyde d'{\'e}thyl{\`e}ne},
  PDF = {https://hal.inria.fr/hal-01485877/file/RR-9043.pdf},
  HAL_ID = {hal-01485877},
  HAL_VERSION = {v1},
}


%% Cite: hal-01492022
%% Type: RI
%% Auteurs LaBRI: 7
%% Equipes LaBRI: combalgo
@article{jalali:hal-01492022,
  TITLE = {{High-resolution Holocene climate and hydrological variability from two major Mediterranean deltas (Nile and Rhone)}},
  AUTHOR = {Jalali, Bassem and Sicre, Marie-Alexandrine and Kallel, Nejib and Azuara, Julien and Combourieu-Nebout, Nathalie and Bassetti, Maria-Angela and Klein, Vincent},
  URL = {https://hal.archives-ouvertes.fr/hal-01492022},
  JOURNAL = {{Holocene}},
  PUBLISHER = {{SAGE Publications}},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1177/0959683616683258},
  HAL_ID = {hal-01492022},
  HAL_VERSION = {v1},
}


%% Cite: hal-01492431
%% Type: AN
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@techreport{pellegrini:hal-01492431,
  TITLE = {{Biometrized identities and social control}},
  AUTHOR = {Pellegrini, Fran{\c c}ois and Vitalis, Andr{\'e}},
  URL = {https://hal.inria.fr/hal-01492431},
  TYPE = {Research Report},
  NUMBER = {RR-9046},
  PAGES = {12},
  INSTITUTION = {{Inria Bordeaux Sud-Ouest}},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = { systems architecture ;  falsification ; numbering of individuals ;  biometrics ;  authentication ; authentification ; num{\'e}rotation des individus ; biom{\'e}trie ;  identification ; architecture des syst{\`e}mes ; falsification},
  PDF = {https://hal.inria.fr/hal-01492431/file/RR-9046.pdf},
  HAL_ID = {hal-01492431},
  HAL_VERSION = {v2},
}


%% Cite: hal-01493381
%% Type: CI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: progress progress
@inproceedings{herbaut:hal-01493381,
  TITLE = {{Service Chain Modeling and Embedding for NFV-based Content Delivery}},
  AUTHOR = {Herbaut, Nicolas and Negru, Daniel and Dietrich, David and Papadimitriou, Panagiotis},
  URL = {https://hal.archives-ouvertes.fr/hal-01493381},
  BOOKTITLE = {{IEEE International Conference on Communications (ICC)}},
  ADDRESS = {Paris, France},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {sdn ;  nvf ;  network function chains},
  HAL_ID = {hal-01493381},
  HAL_VERSION = {v1},
}


%% Cite: hal-01494052
%% Type: CN
%% Auteurs LaBRI: 3
%% Equipes LaBRI: progress
@inproceedings{rosalie:hal-01494052,
  TITLE = {{Impact du m{\'e}canisme chaotique sur l'optimisation d'un mod{\`e}le de mobilit{\'e} pour un essaim de drones devant r{\'e}aliser une couverture de zone}},
  AUTHOR = {Rosalie, Martin and Danoy, Gr{\'e}goire and Chaumette, Serge and Bouvry, Pascal},
  URL = {https://hal.archives-ouvertes.fr/hal-01494052},
  BOOKTITLE = {{20e Rencontre du Non Lin{\'e}aire}},
  ADDRESS = {Paris, France},
  SERIES = {Comptes rendus des Rencontres du Non-Lin{\'e}aire},
  VOLUME = {20},
  PAGES = {79-84},
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {Ant Colony Optimization ; R{\"o}ssler system ; Chaotic Dynamics ; Dynamique chaotique ; Syst{\`e}me de R{\"o}ssler ; Optimisation colonie de fourmis},
  PDF = {https://hal.archives-ouvertes.fr/hal-01494052/file/preprint.pdf},
  HAL_ID = {hal-01494052},
  HAL_VERSION = {v1},
}


%% Cite: hal-01495807
%% Type: SI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: mf
@inproceedings{fakhfakh:hal-01495807,
  TITLE = {{A Formal Approach for Maintaining Forest Topologies in Dynamic Networks}},
  AUTHOR = {Fakhfakh, Faten and Tounsi, Mohamed and Mosbah, Mohamed and Hadj Kacem, Ahmed and Mery, Dominique},
  URL = {https://hal.archives-ouvertes.fr/hal-01495807},
  BOOKTITLE = {{16th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2017)}},
  ADDRESS = {Wuhan, France},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Dynamic networks ; Formal proof ; Forest maintenance},
  HAL_ID = {hal-01495807},
  HAL_VERSION = {v1},
}


%% Cite: hal-01495851
%% Type: AI
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: progress progress
@unpublished{bruneauqueyreix:hal-01495851,
  TITLE = {{Multiple-Source Streaming over HTTP}},
  AUTHOR = {Bruneau-Queyreix, Joachim and Lacaud, Mathias and Negru, Daniel},
  URL = {https://hal.archives-ouvertes.fr/hal-01495851},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Mar,
  PDF = {https://hal.archives-ouvertes.fr/hal-01495851/file/poster%20AO%20HAL.pdf},
  HAL_ID = {hal-01495851},
  HAL_VERSION = {v1},
}


%% Cite: hal-01501635
%% Type: SI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@inproceedings{vanassen:hal-01501635,
  TITLE = {{Shape features underlying the perception of liquids}},
  AUTHOR = {van Assen, Jan Jaap and Barla, Pascal and Fleming, Roland W},
  URL = {https://hal.inria.fr/hal-01501635},
  BOOKTITLE = {{MODVIS 2017 - Computational and Mathematical Models in Vision}},
  ADDRESS = {St Pete Beach, FL, United States},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Perception ;  viscosity ;  shape},
  PDF = {https://hal.inria.fr/hal-01501635/file/Shape%20features%20underlying%20the%20perception%20of%20liquids.pdf},
  HAL_ID = {hal-01501635},
  HAL_VERSION = {v1},
}


%% Cite: hal-01502215
%% Type: CI
%% Auteurs LaBRI: 3 4 5
%% Equipes LaBRI: autres satanas satanas
@inproceedings{pichon:hal-01502215,
  TITLE = {{Sparse Supernodal Solver Using Block Low-Rank Compression}},
  AUTHOR = {Pichon, Gr{\'e}goire and Darve, Eric and Faverge, Mathieu and Ramet, Pierre and Roman, Jean},
  URL = {https://hal.inria.fr/hal-01502215},
  BOOKTITLE = {{18th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC 2017)}},
  ADDRESS = {Orlando, United States},
  YEAR = {2017},
  MONTH = Jun,
  KEYWORDS = {Sparse linear solver ; block low-rank compression ; PASTIX direct solver ; multi-threaded architectures},
  PDF = {https://hal.inria.fr/hal-01502215/file/blr-final.pdf},
  HAL_ID = {hal-01502215},
  HAL_VERSION = {v1},
}


%% Cite: hal-01502513
%% Type: AI
%% Auteurs LaBRI: 4
%% Equipes LaBRI: satanas
@techreport{bouzat:hal-01502513,
  TITLE = {{A new parallelization scheme for the Hermite interpolation based gyroaverage operator}},
  AUTHOR = {Bouzat, Nicolas and Rozar, Fabien and Latu, Guillaume and Roman, Jean},
  URL = {https://hal.inria.fr/hal-01502513},
  TYPE = {Research Report},
  NUMBER = {RR-9054},
  PAGES = {22},
  INSTITUTION = {{Inria}},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {Tokamak Plasmas ; Communication overlap ; Multithreading ; Gyroaverage operator ; Numerical simulation ; architectures m... ; recouvrement ca... ; Gyromoyenne ; tokamak ; simulation num{\'e}...},
  PDF = {https://hal.inria.fr/hal-01502513/file/RR-9054.pdf},
  HAL_ID = {hal-01502513},
  HAL_VERSION = {v1},
}


%% Cite: hal-01504005
%% Type: SI
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: progress progress
@inproceedings{bruneauqueyreix:hal-01504005,
  TITLE = {{MS-Stream: A multiple-source adaptive streaming solution enhancing consumer's perceived quality}},
  AUTHOR = {Bruneau-Queyreix, Joachim and Lacaud, Mathias and Negru, Daniel and Mongay Batalla, Jordi and Borcoci, Eugen},
  URL = {https://hal.archives-ouvertes.fr/hal-01504005},
  BOOKTITLE = {{IEEE Consumer Communications and Networking Conference - CCNC}},
  ADDRESS = {Las vegas, United States},
  YEAR = {2017},
  PDF = {https://hal.archives-ouvertes.fr/hal-01504005/file/ccnc2017.pdf},
  HAL_ID = {hal-01504005},
  HAL_VERSION = {v1},
}


%% Cite: hal-01504006
%% Type: SI
%% Auteurs LaBRI: 1 3
%% Equipes LaBRI: progress progress
@inproceedings{bruneauqueyreix:hal-01504006,
  TITLE = {{A multiple-source adaptive streaming solution enhancing consumer's perceived quality}},
  AUTHOR = {Bruneau-Queyreix, Joachim and Lacaud, Mathias and Negru, Daniel},
  URL = {https://hal.archives-ouvertes.fr/hal-01504006},
  BOOKTITLE = {{IEEE Consumer Communications and Networking Conference - CCNC}},
  ADDRESS = {Las vegas, United States},
  YEAR = {2017},
  PDF = {https://hal.archives-ouvertes.fr/hal-01504006/file/demo.pdf},
  HAL_ID = {hal-01504006},
  HAL_VERSION = {v1},
}


%% Cite: hal-01505260
%% Type: SI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: is is
@inproceedings{clergeaud:hal-01505260,
  TITLE = {{Pano: Design and Evaluation of a 360{\textdegree} Through-the-Lens Technique}},
  AUTHOR = {Clergeaud, Damien and Guitton, Pascal},
  URL = {https://hal.archives-ouvertes.fr/hal-01505260},
  BOOKTITLE = {{2017 IEEE Symposium on 3D User Interfaces (3DUI)}},
  ADDRESS = {Los Angeles, United States},
  PAGES = {2 - 11},
  YEAR = {2017},
  MONTH = Mar,
  DOI = {10.1109/3DUI.2017.7893311},
  KEYWORDS = {K61 [Management of Computing and Information Systems]: Project and People Management-Life Cycle ; K7m [The Computing Profession]: Miscellaneous-Ethics},
  PDF = {https://hal.archives-ouvertes.fr/hal-01505260/file/Pano.pdf},
  HAL_ID = {hal-01505260},
  HAL_VERSION = {v1},
}


%% Cite: hal-01507392
%% Type: RI
%% Auteurs LaBRI: 4
%% Equipes LaBRI: satanas
@article{cariolle:hal-01507392,
  TITLE = {{ASIS v1.0: an adaptive solver for the simulation of atmospheric chemistry}},
  AUTHOR = {Cariolle, Daniel and Moinat, Philippe and TEYSS{\`E}DRE, Hubert and Giraud, Luc and Josse, B{\'e}atrice and Lef{\`e}vre, Franck},
  URL = {https://hal.inria.fr/hal-01507392},
  JOURNAL = {{Geoscientific Model Development Discussions}},
  PUBLISHER = {{Copernicus Publ}},
  VOLUME = {10},
  PAGES = {1467 - 1485},
  YEAR = {2017},
  DOI = {10.5194/gmd-10-1467-2017},
  PDF = {https://hal.inria.fr/hal-01507392/file/gmd-10-1467-2017.pdf},
  HAL_ID = {hal-01507392},
  HAL_VERSION = {v1},
}


%% Cite: hal-01507613
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: satanas
@article{couteyencarpaye:hal-01507613,
  TITLE = {{Design and Analysis of a Task-based Parallelization over a Runtime System of an Explicit Finite-Volume CFD Code with Adaptive Time Stepping}},
  AUTHOR = {Couteyen Carpaye, Jean Marie and Roman, Jean and Brenner, Pierre},
  URL = {https://hal.inria.fr/hal-01507613},
  JOURNAL = {{International Journal of Computational Science and Engineering}},
  PUBLISHER = {{Inderscience}},
  PAGES = {1 - 22},
  YEAR = {2017},
  DOI = {10.1016/j.jocs.2017.03.008},
  KEYWORDS = {HPC ; CFD ; runtime ; task-based},
  PDF = {https://hal.inria.fr/hal-01507613/file/flusepa-task-hal-inria-preprint.pdf},
  HAL_ID = {hal-01507613},
  HAL_VERSION = {v1},
}


%% Cite: hal-01508128
%% Type: AI
%% Auteurs LaBRI: 1 4
%% Equipes LaBRI: progress progress
@unpublished{alhasrouty:hal-01508128,
  TITLE = {{SVC Videoconferencing Call Adaptation and Bandwidth Usage in SDN Networks}},
  AUTHOR = {Al Hasrouty, Christelle and Olariu, Cristian and Autefage, Vincent and Magoni, Damien and Murphy, John},
  URL = {https://hal.archives-ouvertes.fr/hal-01508128},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Apr,
  PDF = {https://hal.archives-ouvertes.fr/hal-01508128/file/alhasrouty-globecom2017.pdf},
  HAL_ID = {hal-01508128},
  HAL_VERSION = {v1},
}


%% Cite: hal-01509827
%% Type: AI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: mf mf
@unpublished{renard:hal-01509827,
  TITLE = {{Runtime Enforcement Using B{\"u}chi Games}},
  AUTHOR = {Renard, Matthieu and Rollet, Antoine and Falcone, Yl{\`i}{\`e}s},
  URL = {https://hal.archives-ouvertes.fr/hal-01509827},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = May,
  PDF = {https://hal.archives-ouvertes.fr/hal-01509827/file/SPIN2017-Hal-v2.pdf},
  HAL_ID = {hal-01509827},
  HAL_VERSION = {v2},
}


%% Cite: hal-01510062
%% Type: SI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: is is
@inproceedings{giraud:hal-01510062,
  TITLE = {{Robust Shape Regularity Criteria for Superpixel Evaluation}},
  AUTHOR = {Giraud, R{\'e}mi and Ta, Vinh-Thong and Papadakis, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01510062},
  BOOKTITLE = {{IEEE International Conference on Image Processing (ICIP)}},
  ADDRESS = {Beijing, China},
  YEAR = {2017},
  MONTH = Sep,
  KEYWORDS = {Quality measure ; Superpixels ; Compactness},
  PDF = {https://hal.archives-ouvertes.fr/hal-01510062/file/Giraud_SP.pdf},
  HAL_ID = {hal-01510062},
  HAL_VERSION = {v1},
}


%% Cite: hal-01510063
%% Type: AI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: is is
@unpublished{giraud:hal-01510063,
  TITLE = {{Robust Superpixels using Color and Contour Features along Linear Path}},
  AUTHOR = {Giraud, R{\'e}mi and Ta, Vinh-Thong and Papadakis, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01510063},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {Superpixel ; Segmentation ; Color and contour features},
  PDF = {https://hal.archives-ouvertes.fr/hal-01510063/file/Giraud_SCALP.pdf},
  HAL_ID = {hal-01510063},
  HAL_VERSION = {v3},
}


%% Cite: hal-01513207
%% Type: RI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: mabiovis
@article{burute:hal-01513207,
  TITLE = {{Polarity Reversal by Centrosome Repositioning Primes Cell Scattering during Epithelial-to-Mesenchymal Transition}},
  AUTHOR = {Burute, Mithila and Prioux, Magali and Blin, Guillaume and Truchet, Sandrine and Letort, Ga{\"e}lle and Tseng, Qingzong and Bessy, Thomas and Lowell, Sally and Young, Joanne and Filhol, Odile and Th{\'e}ry, Manuel},
  URL = {https://hal.archives-ouvertes.fr/hal-01513207},
  JOURNAL = {{Developmental Cell}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {40},
  NUMBER = {2},
  PAGES = {168 - 184},
  YEAR = {2017},
  MONTH = Jan,
  DOI = {10.1016/j.devcel.2016.12.004},
  KEYWORDS = {Mammalia ; Mouse embryo ; Mouse mammary gland ; Cell polarity ; Polarity reversals ; Centrosome repositioning ; Epithelial to Mesenchymal Transition EMT ; Microtubule network dynamics ; Micropatterned cells},
  HAL_ID = {hal-01513207},
  HAL_VERSION = {v1},
}


%% Cite: hal-01513519
%% Type: CI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: mabiovis
@inproceedings{rougier:hal-01513519,
  TITLE = {{Motivated Self-Organization}},
  AUTHOR = {Rougier, Nicolas P. and Boniface, Yann},
  URL = {https://hal.inria.fr/hal-01513519},
  BOOKTITLE = {{12th International Workshop on Self-Organizing Maps and Learning Vector Quantization, }},
  ADDRESS = {Nancy, France},
  YEAR = {2017},
  MONTH = Jun,
  KEYWORDS = {Self-Organization ; Lifelong learning ; Motivation ; Unsupervised learning},
  PDF = {https://hal.inria.fr/hal-01513519/file/RougierBoniface-WSOM-2017.pdf},
  HAL_ID = {hal-01513519},
  HAL_VERSION = {v1},
}


%% Cite: hal-01514034
%% Type: RI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: combalgo
@article{bellitto:hal-01514034,
  TITLE = {{Separating codes and traffic monitoring}},
  AUTHOR = {Bellitto, Thomas},
  URL = {https://hal.archives-ouvertes.fr/hal-01514034},
  JOURNAL = {{Theoretical Computer Science}},
  PUBLISHER = {{Elsevier}},
  YEAR = {2017},
  DOI = {10.1016/j.tcs.2017.03.044},
  PDF = {https://hal.archives-ouvertes.fr/hal-01514034/file/sctm.pdf},
  HAL_ID = {hal-01514034},
  HAL_VERSION = {v1},
}


%% Cite: hal-01514461
%% Type: AN
%% Auteurs LaBRI: 1 4
%% Equipes LaBRI: progress progress
@unpublished{alhasrouty:hal-01514461,
  TITLE = {{Adaptation des flux de vid{\'e}oconf{\'e}rence en coeur de r{\'e}seau SDN}},
  AUTHOR = {Al Hasrouty, Christelle and Olariu, Cristian and Autefage, Vincent and Magoni, Damien and Murphy, John},
  URL = {https://hal.archives-ouvertes.fr/hal-01514461},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = Apr,
  KEYWORDS = {SDN ; Vid{\'e}oconf{\'e}rence ; Arbres de diffusion multipoint ; D{\'e}bits adaptatifs ; SVC},
  PDF = {https://hal.archives-ouvertes.fr/hal-01514461/file/CORES2017-versionFinale.pdf},
  HAL_ID = {hal-01514461},
  HAL_VERSION = {v1},
}


%% Cite: hal-01514619
%% Type: RI
%% Auteurs LaBRI: 2 3
%% Equipes LaBRI: is is
@article{dvoroznak:hal-01514619,
  TITLE = {{Example-Based Expressive Animation of 2D Rigid Bodies}},
  AUTHOR = {Dvoro{\v z}ň{\'a}k, Marek and B{\'e}nard, Pierre and Barla, Pascal and Wang, Oliver and S{\'y}kora, Daniel},
  URL = {https://hal.inria.fr/hal-01514619},
  JOURNAL = {{ACM Trans. Graph}},
  VOLUME = {36},
  NUMBER = {4},
  PAGES = {10},
  YEAR = {2017},
  DOI = {10.1145/3072959.3073611},
  KEYWORDS = {CCS Concepts: $\bullet$ Computing methodologies $\rightarrow$ Motion processing ; Non- photorealistic rendering ; Additional Key Words and Phrases: 2D animation ;  example-based synthesis ACM Reference format:},
  PDF = {https://hal.inria.fr/hal-01514619/file/paper.pdf},
  HAL_ID = {hal-01514619},
  HAL_VERSION = {v1},
}


%% Cite: hal-01515255
%% Type: CHN
%% Auteurs LaBRI: 1
%% Equipes LaBRI: mabiovis
@incollection{auber:hal-01515255,
  TITLE = {{Visualisation de donn{\'e}es massives}},
  AUTHOR = {Auber, David and Beaudouin-Lafon, Michel},
  URL = {https://hal.archives-ouvertes.fr/hal-01515255},
  BOOKTITLE = {{Les Big Data {\`a} d{\'e}couvert}},
  EDITOR = {MOKRANE BOUZEGHOUB  and  R{\'E}MY MOSSERI },
  YEAR = {2017},
  MONTH = Mar,
  KEYWORDS = {visualisation big-data},
  HAL_ID = {hal-01515255},
  HAL_VERSION = {v1},
}


%% Cite: hal-01515313
%% Type: AN
%% Auteurs LaBRI: 4
%% Equipes LaBRI: mabiovis
@unpublished{dumora:hal-01515313,
  TITLE = {{Kernel ridge regression in a graph : Application to the drinking water network}},
  AUTHOR = {Dumora, Christophe and Bigot, J{\'e}r{\'e}mie and Couallier, Vincent and Auber, David and Leclerc, Cyril},
  URL = {https://hal.archives-ouvertes.fr/hal-01515313},
  NOTE = {Papier pr{\'e}sent{\'e} {\`a} la conf{\'e}rence JDS Avignon 2017 le 30 mai 2017},
  YEAR = {2017},
  MONTH = Feb,
  KEYWORDS = {Graph network analysis ; Kernel Ridge Regression ; water distribution network ; r{\'e}seau de distribution d'eau potable  ; Analyse de graphe ; regression ridge {\`a} noyau},
  PDF = {https://hal.archives-ouvertes.fr/hal-01515313/file/JDS_2017_Regression_ridge_a_noyau_dans_un_graphe_C_Dumora_J_Bigot_V_Couallier_D_Auber_C_Leclerc.pdf},
  HAL_ID = {hal-01515313},
  HAL_VERSION = {v1},
}


%% Cite: hal-01515347
%% Type: CHI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@incollection{ducasse:hal-01515347,
  TITLE = {{Accessible Interactive Maps for Visually Impaired Users}},
  AUTHOR = {Ducasse, Julie and Brock, Anke M. and Jouffrais, Christophe},
  URL = {https://hal.inria.fr/hal-01515347},
  BOOKTITLE = {{Mobility in Visually Impaired People - Fundamentals and ICT Assistive Technologies}},
  EDITOR = {Edwige Pissaloux and Ramiro Velazquez},
  PUBLISHER = {{Springer}},
  YEAR = {2017},
  MONTH = Jun,
  KEYWORDS = {Blind ;  Visual impairment ;  Interactive maps ;  Interactive graphics ;  Tangible interaction ;  Non-visual interaction ;  Spatial cognition ;  Assistive technology ;  Educational tools},
  HAL_ID = {hal-01515347},
  HAL_VERSION = {v1},
}


%% Cite: hal-01516163
%% Type: CI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: combalgo
@inproceedings{haddad:hal-01516163,
  TITLE = {{Polynomial Silent Self-Stabilizing Maximal p-Star Decomposition}},
  AUTHOR = {Haddad, Mohammed and Johnen, Colette and K{\"o}hler, Sven},
  URL = {https://hal.archives-ouvertes.fr/hal-01516163},
  BOOKTITLE = {{ALGOTEL 2017 - 19{\`e}mes Rencontres Francophones sur les Aspects Algorithmiques des T{\'e}l{\'e}communications}},
  ADDRESS = {Quiberon, France},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {algorithmique distribu{\'e}e ; auto-stabilisation ; d{\'e}composition de graphe ; p-{\'e}toile ; temps de convergence},
  PDF = {https://hal.archives-ouvertes.fr/hal-01516163/file/algotel17-Johnen.pdf},
  HAL_ID = {hal-01516163},
  HAL_VERSION = {v1},
}


%% Cite: hal-01516573
%% Type: CI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: progress
@inproceedings{lamali:hal-01516573,
  TITLE = {{Complexity of path computation in multi-layer networks}},
  AUTHOR = {Lamali, Mohamed Lamine and Fergani, Nasreddine and Cohen, Johanne and Pouyllau, H{\'e}lia},
  URL = {https://hal.archives-ouvertes.fr/hal-01516573},
  BOOKTITLE = {{ALGOTEL 2017 - 19{\`e}mes Rencontres Francophones sur les Aspects Algorithmiques des T{\'e}l{\'e}communications}},
  ADDRESS = {Quiberon, France},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Mots-clefs : R{\'e}seaux multicouches ; Calcul de chemins ; Automates {\`a} pile ; NP-compl{\'e}tude},
  PDF = {https://hal.archives-ouvertes.fr/hal-01516573/file/Algotel%202017.pdf},
  HAL_ID = {hal-01516573},
  HAL_VERSION = {v1},
}


%% Cite: hal-01516888
%% Type: SI
%% Auteurs LaBRI: 1 2 3 4
%% Equipes LaBRI: mabiovis mabiovis combalgo mabiovis
@inproceedings{perrot:hal-01516888,
  TITLE = {{HeatPipe: High Throughput, Low Latency Big Data Heatmap with Spark Streaming}},
  AUTHOR = {Perrot, Alexandre and Bourqui, Romain and Hanusse, Nicolas and Auber, David},
  URL = {https://hal.archives-ouvertes.fr/hal-01516888},
  BOOKTITLE = {{IV2017 - 21st International Conference on Information Visualisation}},
  ADDRESS = {Londres, United Kingdom},
  YEAR = {2017},
  MONTH = Jul,
  KEYWORDS = {Heatmap ;  Big Data ;  Streaming ;  Spark},
  HAL_ID = {hal-01516888},
  HAL_VERSION = {v1},
}


%% Cite: hal-01516889
%% Type: SI
%% Auteurs LaBRI: 1 2 3
%% Equipes LaBRI: mabiovis mabiovis mabiovis
@inproceedings{hinge:hal-01516889,
  TITLE = {{MuGDAD: Multilevel graph drawing algorithm in a distributed architecture }},
  AUTHOR = {Hinge, Antoine and Auber, David and Richer, Ga{\"e}lle},
  URL = {https://hal.archives-ouvertes.fr/hal-01516889},
  BOOKTITLE = {{Conference on Computer Graphics, Visualization and Computer Vision}},
  ADDRESS = {Lisbon, Portugal},
  ORGANIZATION = {{IADIS}},
  YEAR = {2017},
  MONTH = Jul,
  KEYWORDS = {Computational geometry ;  Graph drawing ;  Distributed computing ;  Big Data ;  Apache Spark},
  HAL_ID = {hal-01516889},
  HAL_VERSION = {v1},
}


%% Cite: hal-01517153
%% Type: RI
%% Auteurs LaBRI: 1 2 4
%% Equipes LaBRI: satanas satanas satanas
@article{agullo:hal-01517153,
  TITLE = {{Bridging the gap between OpenMP and task-based runtime systems for the fast multipole method}},
  AUTHOR = {Agullo, Emmanuel and Aumage, Olivier and Bramas, Berenger and Coulaud, Olivier and Pitoiset, Samuel},
  URL = {https://hal.inria.fr/hal-01517153},
  JOURNAL = {{IEEE Transactions on Parallel and Distributed Systems}},
  PUBLISHER = {{Institute of Electrical and Electronics Engineers}},
  PAGES = {14},
  YEAR = {2017},
  MONTH = Apr,
  DOI = {10.1109/TPDS.2017.2697857},
  KEYWORDS = {multicore architecture ; commutativity ; priority ; high performance computing ;  fast multipole method ;  runtime system ;  OpenMP ;  compiler ;  parallel programming model},
  PDF = {https://hal.inria.fr/hal-01517153/file/tpds_kstar_scalfmm_print.pdf},
  HAL_ID = {hal-01517153},
  HAL_VERSION = {v1},
}


%% Cite: hal-01517177
%% Type: CI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: combalgo combalgo
@inproceedings{gillet:hal-01517177,
  TITLE = {{Algorithme distribu{\'e} d'orientation de graphes dans un environnement asynchrone et avec pannes}},
  AUTHOR = {Gillet, No{\"e}l and Hanusse, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01517177},
  BOOKTITLE = {{ALGOTEL 2017 - 19{\`e}mes Rencontres Francophones sur les Aspects Algorithmiques des T{\'e}l{\'e}communications}},
  ADDRESS = {Quiberon, France},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Algorithme distribu{\'e} ; Environnement asynchrone ; Orientation de graphe ; Tol{\'e}rance aux pannes},
  PDF = {https://hal.archives-ouvertes.fr/hal-01517177/file/sample-algotel.pdf},
  HAL_ID = {hal-01517177},
  HAL_VERSION = {v1},
}


%% Cite: hal-01517186
%% Type: SI
%% Auteurs LaBRI: 1 2 3
%% Equipes LaBRI: combalgo combalgo mabiovis
@inproceedings{gillet:hal-01517186,
  TITLE = {{Impact de la r{\'e}plication sur la latence dans les bases de donn{\'e}es distribu{\'e}es et application {\`a} Cassandra}},
  AUTHOR = {Gillet, No{\"e}l and Hanusse, Nicolas and Lalanne, Fr{\'e}d{\'e}ric},
  URL = {https://hal.archives-ouvertes.fr/hal-01517186},
  BOOKTITLE = {{ALGOTEL 2017 - 19{\`e}mes Rencontres Francophones sur les Aspects Algorithmiques des T{\'e}l{\'e}communications}},
  ADDRESS = {Quiberon, France},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Algorithme distribu{\'e} ; Bases de donn{\'e}es distribu{\'e}es ; R{\'e}plication ; D{\'e}bit ; Latence},
  PDF = {https://hal.archives-ouvertes.fr/hal-01517186/file/algotel-replication-final.pdf},
  HAL_ID = {hal-01517186},
  HAL_VERSION = {v1},
}


%% Cite: hal-01517863
%% Type: AI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: combalgo
@unpublished{benmedjdoub:hal-01517863,
  TITLE = {{Incidence Choosability of Graphs}},
  AUTHOR = {Benmedjdoub, Brahim and Bouchemakh, Isma and Sopena, Eric},
  URL = {https://hal.archives-ouvertes.fr/hal-01517863},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {Incidence colouring ; Incidence list colouring ; List colouring ; Square grid ; Halin graph ; Hamiltonian cubic graph },
  PDF = {https://hal.archives-ouvertes.fr/hal-01517863/file/Incidence-Choosability%20of%20Graphs.pdf},
  HAL_ID = {hal-01517863},
  HAL_VERSION = {v1},
}


%% Cite: hal-01517872
%% Type: CI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: combalgo combalgo
@inproceedings{casteigts:hal-01517872,
  TITLE = {{Calcul de param{\`e}tres minimaux dans les graphes dynamiques.}},
  AUTHOR = {Casteigts, Arnaud and Klasing, Ralf and Neggaz, Yessin M. and Peters, Joseph G},
  URL = {https://hal.archives-ouvertes.fr/hal-01517872},
  BOOKTITLE = {{ALGOTEL 2017 - 19{\`e}mes Rencontres Francophones sur les Aspects Algorithmiques des T{\'e}l{\'e}communications}},
  ADDRESS = {Quiberon, France},
  YEAR = {2017},
  MONTH = May,
  PDF = {https://hal.archives-ouvertes.fr/hal-01517872/file/generic_framework.pdf},
  HAL_ID = {hal-01517872},
  HAL_VERSION = {v1},
}


%% Cite: hal-01518344
%% Type: RI
%% Auteurs LaBRI: 2
%% Equipes LaBRI: is
@article{belcour:hal-01518344,
  TITLE = {{A Practical Extension to Microfacet Theory for the Modeling of Varying Iridescence}},
  AUTHOR = {Belcour, Laurent and Barla, Pascal},
  URL = {https://hal.archives-ouvertes.fr/hal-01518344},
  JOURNAL = {{ACM Transactions on Graphics}},
  PUBLISHER = {{Association for Computing Machinery}},
  VOLUME = {36},
  NUMBER = {4},
  PAGES = {65},
  YEAR = {2017},
  MONTH = Jul,
  DOI = {10.1145/3072959.3073620},
  KEYWORDS = {Thin-Film Interference ; Iridescence ; SV-BRDF model ; Spectral Aliasing},
  PDF = {https://hal.archives-ouvertes.fr/hal-01518344/file/paper-small.pdf},
  HAL_ID = {hal-01518344},
  HAL_VERSION = {v1},
}


%% Cite: hal-01518730
%% Type: CI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: satanas
@inproceedings{aumage:hal-01518730,
  TITLE = {{Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on GYSELA}},
  AUTHOR = {Aumage, Olivier and Bigot, Julien and Coullon, H{\'e}l{\`e}ne and P{\'e}rez, Christian and Richard, J{\'e}r{\^o}me},
  URL = {https://hal.inria.fr/hal-01518730},
  BOOKTITLE = {{17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid).}},
  ADDRESS = {Madrid, Spain},
  YEAR = {2017},
  MONTH = May,
  KEYWORDS = {HPC ;  Software Component Model ;  Task-Based Model ;  Task scheduling ;  Multi-cores ;  Shared-memory},
  HAL_ID = {hal-01518730},
  HAL_VERSION = {v1},
}


%% Cite: hal-01519478
%% Type: CI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: is
@inproceedings{lotte:hal-01519478,
  TITLE = {{Online classification accuracy is a poor metric to study mental imagery-based bci user learning: an experimental demonstration and new metrics }},
  AUTHOR = {Lotte, Fabien and Jeunet, Camille},
  URL = {https://hal.archives-ouvertes.fr/hal-01519478},
  BOOKTITLE = {{7th International BCI Conference}},
  ADDRESS = {Graz, Austria},
  YEAR = {2017},
  MONTH = Sep,
  KEYWORDS = {Brain-computer interfaces ; Performance ; Metric},
  PDF = {https://hal.archives-ouvertes.fr/hal-01519478/file/lotte-jeunet_graz2017_metrics_final.pdf},
  HAL_ID = {hal-01519478},
  HAL_VERSION = {v1},
}


%% Cite: hal-01519480
%% Type: CI
%% Auteurs LaBRI: 1 3 6
%% Equipes LaBRI: is is is
@inproceedings{pillette:hal-01519480,
  TITLE = {{PEANUT: Personalised Emotional Agent for Neurotechnology User-Training}},
  AUTHOR = {Pillette, L{\'e}a and Jeunet, Camille and Mansencal, Boris and N 'kambou, Roger and N 'kaoua, Bernard and Lotte, Fabien},
  URL = {https://hal.archives-ouvertes.fr/hal-01519480},
  BOOKTITLE = {{7th International BCI Conference}},
  ADDRESS = {Graz, Austria},
  YEAR = {2017},
  MONTH = Sep,
  KEYWORDS = {Brain-computer Interfaces ;  training ;  learning companion ;  emotional support},
  PDF = {https://hal.archives-ouvertes.fr/hal-01519480/file/pillette-al_2017_peanut-final.pdf},
  HAL_ID = {hal-01519480},
  HAL_VERSION = {v1},
}


%% Cite: hal-01519635
%% Type: AI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: is is
@unpublished{giraud:hal-01519635,
  TITLE = {{Evaluation Framework of Superpixel Methods with a Global Regularity Measure}},
  AUTHOR = {Giraud, R{\'e}mi and Ta, Vinh-Thong and Papadakis, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01519635},
  NOTE = {working paper or preprint},
  YEAR = {2017},
  MONTH = May,
  HAL_ID = {hal-01519635},
  HAL_VERSION = {v1},
}


%% Cite: hal-01519644
%% Type: SI
%% Auteurs LaBRI: 1 2
%% Equipes LaBRI: is is
@inproceedings{giraud:hal-01519644,
  TITLE = {{Superpixel-based Color Transfer}},
  AUTHOR = {Giraud, R{\'e}mi and Ta, Vinh-Thong and Papadakis, Nicolas},
  URL = {https://hal.archives-ouvertes.fr/hal-01519644},
  BOOKTITLE = {{IEEE International Conference on Image Processing (ICIP)}},
  ADDRESS = {Beijing, China},
  YEAR = {2017},
  MONTH = Sep,
  HAL_ID = {hal-01519644},
  HAL_VERSION = {v1},
}


%% Cite: hal-01519755
%% Type: RI
%% Auteurs LaBRI: 5
%% Equipes LaBRI: is
@article{perronnet:hal-01519755,
  TITLE = {{Unimodal Versus Bimodal EEG-fMRI Neurofeedback of a Motor Imagery Task}},
  AUTHOR = {Perronnet, Lorraine and L{\'e}cuyer, Anatole and Mano, Marsel and Bannier, Elise and Lotte, Fabien and Clerc, Maureen and Barillot, Christian},
  URL = {https://hal.inria.fr/hal-01519755},
  JOURNAL = {{Frontiers in Human Neuroscience}},
  PUBLISHER = {{Frontiers}},
  VOLUME = {11},
  YEAR = {2017},
  MONTH = Apr,
  DOI = {10.3389/fnhum.2017.00193},
  KEYWORDS = {motor imagery ; EEG ; fMRI ; neurofeedback ; multimodal},
  PDF = {https://hal.inria.fr/hal-01519755/file/fnhum-11-00193%20%281%29.pdf},
  HAL_ID = {hal-01519755},
  HAL_VERSION = {v1},
}


%% Cite: hal-01520108
%% Type: RI
%% Auteurs LaBRI: 3
%% Equipes LaBRI: is
@article{zandifar:hal-01520108,
  TITLE = {{A comparison of accurate automatic hippocampal segmentation methods}},
  AUTHOR = {Zandifar, A and Fonov, Vladimir and Coup{\'e}, Pierrick and Pruessner, Jens and Collins, D Louis},
  URL = {https://hal.archives-ouvertes.fr/hal-01520108},
  JOURNAL = {{NeuroImage}},
  PUBLISHER = {{Elsevier}},
  YEAR = {2017},
  DOI = {10.1016/j.neuroimage.2017.04.018},
  KEYWORDS = {Dice's  ; Alzheimer's disease ; Hippocampal segmentation ; Cohen's d ; Area under receiver operating characteristic curve},
  PDF = {https://hal.archives-ouvertes.fr/hal-01520108/file/NI2017_HAL.pdf},
  HAL_ID = {hal-01520108},
  HAL_VERSION = {v1},
}


%% Cite: hal-01521081
%% Type: RI
%% Auteurs LaBRI: 1 2 5
%% Equipes LaBRI: mabiovis mabiovis mabiovis
@article{bourqui:hal-01521081,
  TITLE = {{rNAV 2.0: a visualization tool for bacterial sRNA-mediated regulatory networks mining}},
  AUTHOR = {Bourqui, Romain and Dutour, Isabelle and Dubois, Jonathan and Benchimol, William and Thebault, Patricia},
  URL = {https://hal.archives-ouvertes.fr/hal-01521081},
  JOURNAL = {{BMC Bioinformatics}},
  PUBLISHER = {{BioMed Central}},
  VOLUME = {18},
  NUMBER = {1},
  YEAR = {2017},
  MONTH = Mar,
  DOI = {10.1186/s12859-017-1598-8},
  HAL_ID = {hal-01521081},
  HAL_VERSION = {v1},
}


%% Cite: lirmm-01471644
%% Type: CHI
%% Auteurs LaBRI: 1
%% Equipes LaBRI: mf
@incollection{moot:lirmm-01471644,
  TITLE = {{The Grail Theorem Prover}},
  AUTHOR = {Moot, Richard},
  URL = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644},
  BOOKTITLE = {{Modern Perspectives in Type-Theoretical Semantics}},
  EDITOR = {Zhaohui Luo and Stergios Chatzikyriakidis},
  PUBLISHER = {{Springer}},
  SERIES = {Part III},
  VOLUME = {Studies in Linguistics and Philosophy},
  NUMBER = {98},
  PAGES = {247-277},
  YEAR = {2017},
  DOI = {10.1007/978-3-319-50422-3\_10},
  KEYWORDS = {type-logical grammars ; parsing ; theorem-proving ; proof nets},
  PDF = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644/file/chapter%20%281%29.pdf},
  HAL_ID = {lirmm-01471644},
  HAL_VERSION = {v1},
}



