Publications dans HAL

Article dans des revues

titre

Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition

auteur

Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan

article

Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. <10.1016/j.jsc.2016.11.011>

Accès au texte intégral et bibtex

titre

Analyse de connaissances perceptivo-gestuelles dans un Système Tutoriel Intelligent

auteur

Ben-Manson Toussaint, Vanda Luengo, Jambon Francis

article

Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation (STICEF), 2017

Accès au bibtex

titre

The Vectorial Lambda-Calculus

auteur

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

article

Journal of Information and Computation, Elsevier, 2017, 254 (1), pp.105-139. <10.1016/j.ic.2017.04.001>

Accès au bibtex

titre

Efficient and versatile FPGA acceleration of support counting for stream mining of sequences and frequent itemsets

auteur

Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar

article

ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2017, ACM Transactions on Reconfigurable Technology and Systems (TRETS), 10 (3), pp.21. <http://dl.acm.org/citation.cfm?id=3027485>. <10.1145/3027485>

Accès au texte intégral et bibtex

titre

Optimal Enforcement of (Timed) Properties with Uncontrollable Events

auteur

Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand

article

Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, <10.1017/S0960129517000123>

Accès au texte intégral et bibtex

titre

Social network ordering based on communities to reduce cache misses

auteur

Thomas Messi Nguélé, Maurice Tchuente, Jean-François Méhaut

article

Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2017, Special issue CRI 2015, Volume 24 - 2016-2017 - Special issue CRI 2015, pp.23 - 47

Accès au texte intégral et bibtex

titre

Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous

auteur

Hugues Evrard, Frédéric Lang

article

Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 88, pp.33. <10.1016/j.jlamp.2016.09.002>

Accès au texte intégral et bibtex

titre

Spatio-Temporal Evolutive Data Infrastructure: A Spatial Data Infrastructure for Managing Data Flows of Territorial Statistical Information

auteur

Camille Bernard, Marlène Villanova-Oliver, Jérôme Gensel, Benoit Le Rubrus

article

INTERNATIONAL JOURNAL OF DIGITAL EARTH, 2017, 10 (3), http://www.tandfonline.com/toc/tjde20/10/3. <http://www.tandfonline.com/>. <10.1080/17538947.2016.1222003>

Accès au bibtex

titre

CAP Bench: a benchmark suite for performance and energy evaluation of low-power many-core processors

auteur

Matheus A. Souza, Pedro Henrique Penna, Matheus M. Queiroz, Alyson D. Pereira, Luís Fabricio Wanderley Góes, Henrique C. Freitas, Márcio Castro, Philippe O.A. Navaux, Jean-François Méhaut

article

Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (4), <http://onlinelibrary.wiley.com>. <10.1002/cpe.3892>

Accès au texte intégral et bibtex

titre

L'ALTERNANCE ET LES LICENCES PROFESSIONNELLES DU DÉPARTEMENT STID DE GRENOBLE

auteur

Caroline Bazzoli, Marlène Villanova, Frédérique Letue

article

Statistique et Enseignement (ISSN 2108-6745), Société Française de Statistique, 2017, Statitistique et Enseignement, 8 (1), pp.73-87

Accès au texte intégral et bibtex

titre

Simulating MPI applications: the SMPI approach

auteur

Augustin Degomme, Arnaud Legrand, Mark Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter

article

IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, pp.14. <10.1109/TPDS.2017.2669305>

Accès au texte intégral et bibtex

titre

A Domain-specific Language for The Control of Self-adaptive Component-based Architecture

auteur

Frederico Alvares, Eric Rutten, Lionel Seinturier

article

Journal of Systems and Software, Elsevier, 2017

Accès au texte intégral et bibtex

titre

Context-aware decision making under uncertainty for voice-based control of smart home

auteur

Pedro Chahuara, François Portet, Michel Vacher

article

Expert Systems with Applications, Elsevier, 2017, 75, pp.63-79. <10.1016/j.eswa.2017.01.014>

Accès au texte intégral et bibtex

titre

Novel genetic loci associated with hippocampal volume

auteur

Derrek P. Hibar, Hieab H. H. Adams, Neda Jahanshad, Ganesh Chauhan, Jason L. Stein, Edith Hofer, Miguel E. Renteria, Joshua C. Bis, Alejandro Arias-Vasquez, M. Kamran Ikram, Sylvane Desrivières, Meike W. Vernooij, Lucija Abramovic, Saud Alhusaini, Najaf Amin, Micael Andersson, Konstantinos Arfanakis, Benjamin S. Aribisala, Nicola J. Armstrong, Lavinia Athanasiu, Tomas Axelsson, Ashley H. Beecham, Alex Beiser, Manon Bernard, Susan H. Blanton, Marc Bohlken, Marco Boks, Janita Bralten, Adam M. Brickman, Owen Carmichael, M. Mallar Chakravarty, Qiang Chen, Christopher Ching, Vincent Chouraki, Gabriel Cuellar-Partida, Fabrice Crivello, Anouk Den Braber, Nhat Trung Doan, Stefan Ehrlich, Sudheer Giddaluru, Aaron L. Goldman, Rebecca F. Gottesman, Oliver Grimm, Michael E. Griswold, Tulio Guadalupe, Boris A. Gutman, Johanna Hass, Unn K. Haukvik, David Hoehn, Avram J. Ho, Martine Hoogman, Deborah Janowitz, Tianye Jia, Kjetil N. Jørgensen, Nazanin Karbalai, Dalia Kasperaviciute, Sungeun Kim, Marieke Klein, Bernd Kraemer, Phil H. Lee, David C. Liewald, Lorna M. Lopez, Michelle Luciano, Christine Macare, André F. Marquand, Mar Matarin, Karen A. Mather, Manuel Mattheisen, David Mckay, Yuri Milaneschi, Susana Muñoz Maniega, Kwangsik Nho, Allison C. Nugent, Paul Nyquist, Loes M. Olde Loohuis, Jaap Oosterlaan, Martina Papmeyer, Lukas Pirpamer, Benno Pütz, Adaikalavan Ramasamy, Jennifer S. Richards, Shannon L. Risacher, Robert Roiz-Santiañez, Nanda Rommelse, Stefan Ropele, Emma Rose, Natalie A. Royle, Tatjana Rundek, Philipp G. Sämann, Arvin Saremi, Claudia L. Satizabal, Lianne Schmaal, Andrew Schork, Li Shen, Jean Shin, Elena Shumskaya, Albert Smith, Emma Sprooten, Lachlan T. Strike, Alexander Teumer, Diana Tordesillas-Gutierrez, Robert Toro, Daniah Trabzuni, Stella Trompet, Dhananjay Vaidya, Jeroen Van Der Grond, Sven Van Der Lee, Dennis Van Der Meer, Marjolein M. J. Van Donkelaar, Kristel R. Van Eijk, Theo G. M. Van Erp, Daan Van Rooij, Esther Walton, Lars Westlye, Christophe Whelan, Beverly G. Windham, Anderson M. Winkler, Katharina Wittfeld, Girma Woldehawariat, Christiane Wolf, Thomas Wolfers, Lisa R. Yanek, Jingyun Yang, Alex Zijdenbos, Marcel Zwiers, Ingrid Agartz, Laura Almasy, David Ames, Philippe Amouyel, Ole A Andreassen, Sampath Arepalli, Amelia A. Assareh, Sandra Barral, Mark Bastin, Diane M. Becker, James T. Becker, David A. Bennett, John Blangero, Hans Van Bokhoven, Dorret I. Boomsma, Henry Brodaty, Rachel M. Brouwer, Han G. Brunner, Randy L. Buckner, Jan K. Buitelaar, Kazima B. Bulayeva, Wiepke Cahn, Vince D. Calhoun, Dara M. Cannon, Gianpiero L. Cavalleri, Ching-Yu Cheng, Sven Cichon, Mark Cookson, Aiden Corvin, Benedicto Crespo-Facorro, Joanne E. Curran, Michael Czisch, Anders M. Dale, Gareth E. Davies, Anton J. M. De Craen, Eco J. C. De Geus, Philip L. De Jager, Greig I. De Zubicaray, Ian Deary, Stéphanie Debette, Charles Decarli, Norman Delanty, Chantal Depondt, Anita Destefano, Allissa Dillman, Srdjan Djurovic, Gary Donohoe, Wayne C. Drevets, Ravi Duggirala, Thomas Dyer, Christian Enzinger, Susanne Erk, Thomas Espeseth, Iryna O. Fedko, Guillén Fernández, Luigi Ferrucci, Simon Fisher, Debra A. Fleischman, Ian Ford, Myriam Fornage, Tatiana M. Foroud, Peter Fox, Clyde Francks, Masaki Fukunaga, J. Raphael Gibbs, David C. Glahn, Randy L. Gollub, Harald H. H. Göring, Robert Green, Oliver Gruber, Vilmundur Gudnason, Sebastian Guelfi, Asta K. Håberg, Narelle K. Hansell, John Hardy, Catharina A. Hartman, Ryota Hashimoto, Katrin Hegenscheid, Andreas Heinz, Stephanie Le Hellard, Dena G. Hernandez, Dirk J. Heslenfeld, Beng-Choon Ho, Pieter J. Hoekstra, Wolfgang Hoffmann, Albert Hofman, Florian Holsboer, Georg Homuth, Norbert Hosten, Jouke-Jan Hottenga, Matthew Huentelman, Hilleke E. Hulshoff Pol, Masashi Ikeda, Clifford R. Jack Jr, Mark Jenkinson, Robert Johnson, Erik G. Jönsson, J. Wouter Jukema, René S. Kahn, Ryota Kanai, Iwona Kloszewska, David S. Knopman, Peter Kochunov, John B. Kwok, Stephen M. Lawrie, Hervé Lemaître, Xinmin Liu, Dan L. Longo, Oscar L. Lopez, Simon Lovestone, Oliver Martinez, Jean-Luc Martinot, Venkata S. Mattay, Colm Mcdonald, Andrew Mcintosh, Francis J. Mcmahon, Katie L. Mcmahon, Patrizia Mecocci, Ingrid Melle, Andreas Meyer-Lindenberg, Sebastian Mohnke, Grant W. Montgomery, Derek W. Morris, Thomas H. Mosley, Thomas W. Mühleisen, Bertram Müller-Myhsok, Michael A. Nalls, Matthias Nauck, Thomas E. Nichols, Wiro J. Niessen, Markus M. Nöthen, Lars Nyberg, Kazutaka Ohi, Rene L. Olvera, Roel A. Ophoff, Massimo Pandolfo, Tomas Paus, Zdenka Pausova, Brenda W. J. H. Penninx, G. Bruce Pike, Steven G. Potkin, Bruce M. Psaty, Simone Reppermund, Marcella Rietschel, Joshua L. Roffman, Nina Romanczuk-Seiferth, Jerome I. Rotter, Mina Ryten, Ralph L. Sacco, Perminder S. Sachdev, Andrew Saykin, Reinhold Schmidt, Helena Schmidt, Peter R. Schofield, Sigurdur Sigursson, Andrew Simmons, Andrew Singleton, Sanjay M. Sisodiya, Colin Smith, Jordan W. Smoller, Hilkka Soininen, Vidar M. Steen, David J. Stott, Jessika E. Sussmann, Anbupalam Thalamuthu, Arthur W. Toga, Bryan J. Traynor, Juan Troncoso, Magda Tsolaki, Christophe Tzourio, Andre G. Uitterlinden, Maria C. Valdés Hernández, Marcel Van Der Brug, Aad Van Der Lugt, Nic J. A. Van Der Wee, Neeltje E. M. Van Haren, Dennis Van ’t Ent, Marie-Jose Van Tol, Badri N. Vardarajan, Bruno Vellas, Dick J. Veltman, Henry Völzke, Henrik Walter, Joanna M. Wardlaw, Thomas H. Wassink, Michael E. Weale, Daneil R Weinberger, Michael W. Weiner, Wei Wen, Eric Westman, Tonya White, Tien Y. Wong, Clinton B. Wright, Ronald H. Zielke, Alan B. Zonderman, Nicholas G. Martin, Cornelia M. Van Duijn, Margaret J. Wright, W. T. Longstreth, Gunter Schumann, Hans J. Grabe, Barbara Franke, Lenore J. Launer, Sarah E. Medland, Sudha Seshadri, Paul M. Thompson, M. Arfan Ikram

article

Nature Communications, Nature Publishing Group, 2017, 8, <10.1038/ncomms13624>

Accès au texte intégral et bibtex

titre

Scheduling Independent Moldable Tasks on Multi-Cores with GPUs

auteur

Raphaël Bleuse, Sascha Hunold, Safia Kedad-Sidhoum, Florence Monna, Grégory Mounié, Denis Trystram

article

IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, pp.14. <10.1109/TPDS.2017.2675891>

Accès au texte intégral et bibtex

titre

A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules

auteur

Nicolas Peltier

article

Journal of Logic and Computation, Oxford University Press (OUP), 2017, 27 (2), pp.549-576

Accès au bibtex

titre

TopPI: An efficient algorithm for item-centric mining

auteur

Vincent Leroy, Martin Kirchgessner, Alexandre Termier, Sihem Amer-Yahia

article

Information Systems, Elsevier, 2017, 64, pp.104 - 118. <10.1016/j.is.2016.09.001>

Accès au texte intégral et bibtex

titre

Find The Errors, Get The Better: Enhancing Machine Translation via Word Confidence Estimation

auteur

Ngoc Quang Luong, Laurent Besacier, Benjamin Lecouteux

article

Natural Language Engineering, Cambridge University Press (CUP), 2017

Accès au bibtex

titre

Reliable Self-deployment of Distributed Cloud Applications

auteur

Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma

article

Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. <10.1002/spe.2400>

Accès au bibtex

titre

Humanitarian logistics and cultural diversity within crowd simulation

auteur

Alberto Ochoa, Isaac Rudomin, Genoveva Vargas-Solar, Javier Espinosa-Oviedo, Hugo Pérez, José-Luis Zechinelli-Martini

article

computacion y sistemas, Centro de Investigación en computación, 2017, 21 (1), pp.7-21

Accès au texte intégral et bibtex

titre

Modelling Crowds in Urban Spaces

auteur

Isaac Rudomín, Genoveva Vargas-Solar, Javier Espinosa-Oviedo, Hugo Pérez, José-Luis Zechinelli-Martini

article

computacion y sistemas, Centro de Investigación en computación, 2017, 21 (1), pp.57-66

Accès au texte intégral et bibtex

titre

Exact and superpolynomial approximation algorithms for the densest $k$-subgraph problem

auteur

Nicolas Bourgeois, Aristotelis Giannakos, Giorgio Lucarelli, Ioannis Milis, Vangelis Th Paschos

article

European Journal of Operational Research, Elsevier, 2017, 262, pp.894 - 903. <10.1016/j.ejor.2017.04.034>

Accès au texte intégral et bibtex

titre

The Smartphone-Based Offline Indoor Location Competition at IPIN 2016: Analysis and Future Work

auteur

Joaquín Torres-Sospedra, Antonio Jiménez, Stefan Knauth, Adriano Moreira, Yair Beer, Toni Fetzer, Viet-Cuong Ta, Raul Montoliu, Fernando Seco, Germán Mendoza-Silva, Oscar Belmonte, Athanasios Koukofikis, Maria João Nicolau, António Costa, Filipe Meneses, Frank Ebner, Frank Deinzer, Dominique Vaufreydaz, Trung-Kien Dao, Eric Castelli

article

Sensors, MDPI, 2017, 557, pp.17. <10.3390/s17030557>

Accès au texte intégral et bibtex

titre

Visual Menu Techniques

auteur

Gilles Bailly, Éric Lecolinet, Laurence Nigay

article

ACM Computing Surveys, Association for Computing Machinery, 2017, 49 (4), pp.60. <10.1145/3002171>

Accès au texte intégral et bibtex

titre

A Family of Scheduling Algorithms for Hybrid Parallel Platforms

auteur

Safia Kedad-Sidhoum, Florence Monna, Grégory Mounié, Denis Trystram

article

International Journal of Foundations of Computer Science, 2017, To appear

Accès au bibtex

titre

Eradication of Hepatitis C Virus Infection in Patients With Cirrhosis Reduces Risk of Liver and Non-Liver Complications

auteur

Pierre Nahon, Valérie Bourcier, Richard Layese, Etienne Audureau, Carole Cagnot, Patrick Marcellin, Dominique Guyader, Hélène Fontaine, Dominique Larrey, Victor De Ledinghen, Denis Ouzan, Fabien Zoulim, Dominique Roulot, Albert Tran, Jean-Pierre Bronowicki, Jean-Pierre Zarski, Vincent Leroy, Ghassan Riachi, Paul Calès, Jean-Marie Peron, Laurent Alric, Marc Bourlière, Philippe Mathurin, Sébastien Dharancy, Jean-Frederic Blanc, Armand Abergel, Lawrence Serfaty, Ariane Mallat, Jean-Didier Grangé, Pierre Attali, Yannick Bacq, Claire Wartelle, Thong Dao, Yves Benhamou, Christophe Pilette, Christine Silvain, Christos Christidis, Dominique Capron, Brigitte Bernard-Chabert, David Zucman, Vincent Di Martino, Vincent Thibaut, Dominique Salmon, Marianne Ziol, Angela Sutton, Stanislas Pol, Françoise Roudot-Thoraval

article

Gastroenterology, 2017, 152, pp.142-156.e2. <10.1053/j.gastro.2016.09.009>

Accès au bibtex