• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 38 matches

• 2024
• 
  France Gheeraert, Herman Goulet-Ouellet, Julien Leroy, Pierre Stas:
  Algebraic characterization of dendricity. CoRR abs/2406.15075 (2024)
• 2023
• 
  Arthur Leroy, Pierre Latouche, Benjamin Guedj, Servane Gey:
  Cluster-Specific Predictions with Multi-Task Gaussian Processes. J. Mach. Learn. Res. 24: 5:1-5:49 (2023)
• 
  Clément Leroy, Tarak Arbi, Oudomsack Pierre Pasquero, Benoit Geller:
  Chip-Interleaved DSSS for Energy-Efficient Physical Layer Encryption. MILCOM 2023: 510-515
• 
  Dorian Leroy, Benoît Combemale, Benoît Lelandais, Marie-Pierre Oudot:
  Practical Runtime Instrumentation of Software Languages: The Case of SciHook. SLE 2023: 226-231
• 2022
• 
  Arthur Leroy, Pierre Latouche, Benjamin Guedj, Servane Gey:
  MAGMA: inference and prediction using multi-task Gaussian processes with common mean. Mach. Learn. 111(5): 1821-1849 (2022)
• 
  Arthur Le Rhun, J. Frédéric Bonnans, Giovanni De Nunzio, Thomas Leroy, Pierre Martinon:
  A Bilevel Energy Management Strategy for HEVs Under Probabilistic Traffic Conditions. IEEE Trans. Control. Syst. Technol. 30(2): 728-739 (2022)
• 2021
• 
  Gilles Decroly, Romain Raffoul, Clara Deslypere, Paul Leroy, Louis Van Hove, Alain Delchambre, Pierre Lambert:
  Optimization of Phase-Change Material-Elastomer Composite and Integration in Kirigami-Inspired Voxel-Based Actuators. Frontiers Robotics AI 8: 672934 (2021)
• 
  Ahlem Mifdaoui, Jérôme Lacan, Arnaud Dion, Fabrice Frances, Pierre Leroy:
  FactoRing: Asynchronous TSN-compliant Network with low bounded Jitters for Industry 4.0. ETFA 2021: 1-8
• 
  Théo Estienne, Maria Vakalopoulou, Stergios Christodoulidis, Enzo Battistella, Théophraste Henry, Marvin Lerousseau, Amaury Leroy, Guillaume Chassagnon, Marie-Pierre Revel, Nikos Paragios, Eric Deutsch:
  Exploring Deep Registration Latent Spaces. DART/FAIR@MICCAI 2021: 112-122
• 
  Dorian Leroy, Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale:
  Monilogging for executable domain-specific languages. SLE 2021: 2-15
• 
  Théo Estienne, Maria Vakalopoulou, Stergios Christodoulidis, Enzo Battistella, Théophraste Henry, Marvin Lerousseau, Amaury Leroy, Guillaume Chassagnon, Marie-Pierre Revel, Nikos Paragios, Eric Deutsch:
  Exploring Deep Registration Latent Spaces. CoRR abs/2107.11238 (2021)
• 2020
• 
  Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoît Combemale:
  Runtime Monitoring for Executable DSLs. J. Object Technol. 19(2): 6:1-23 (2020)
• 
  Arthur Le Rhun, J. Frédéric Bonnans, Giovanni De Nunzio, Thomas Leroy, Pierre Martinon:
  A Stochastic Data-Based Traffic Model Applied to Vehicles Energy Consumption Estimation. IEEE Trans. Intell. Transp. Syst. 21(7): 3025-3034 (2020)
• 
  Stéphane Gaubert, Marianne Akian, Xavier Allamigeon, Marin Boyet, Baptiste Colin, Théotime Grohens, Laurent Massoulié, David P. Parsons, Frédéric Adnet, Érick Chanzy, Laurent Goix, Frédéric Lapostolle, Éric Lecarpentier, Christophe Leroy, Thomas Loeb, Jean-Sébastien Marx, Caroline Télion, Laurent Tréluyer, Pierre Carli:
  Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area. CoRR abs/2005.14186 (2020)
• 
  Arthur Leroy, Pierre Latouche, Benjamin Guedj, Servane Gey:
  MAGMA: Inference and Prediction with Multi-Task Gaussian Processes. CoRR abs/2007.10731 (2020)
• 
  Arthur Leroy, Pierre Latouche, Benjamin Guedj, Servane Gey:
  Cluster-Specific Predictions with Multi-Task Gaussian Processes. CoRR abs/2011.07866 (2020)
• 
  Pascal Leroy, Damien Ernst, Pierre Geurts, Gilles Louppe, Jonathan Pisane, Matthia Sabatelli:
  QVMix and QVMix-Max: Extending the Deep Quality-Value Family of Algorithms to Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2012.12062 (2020)
• 2018
• 
  Antoine Mazuyer, Paul Cupillard, Richard Giot, Marianne Conin, Yves Leroy, Pierre Thore:
  Stress estimation in reservoirs using an integrated inverse method. Comput. Geosci. 114: 30-40 (2018)
• 2017
• 
  Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg:
  A formally verified compiler for Lustre. PLDI 2017: 586-601
• 2015
• 
  Pierre Barnabé, Godefroid Dislaire, Sophie Leroy, Eric Pirard:
  Design and calibration of a two-camera (visible to near-infrared and short-wave infrared) hyperspectral acquisition system for the characterization of metallic alloys from the recycling industry. J. Electronic Imaging 24(6): 061115 (2015)
• 2013
• 
  Jorge Jovicich, Moira Marizzoni, Roser Sala-Llonch, Beatriz Bosch, David Bartrés-Faz, Jennifer Arnold, Jens Benninghoff, Jens Wiltfang, Luca Roccatagliata, Flavio Nobili, Tilman Hensch, Anja Tränkner, Peter Schönknecht, Melanie Leroy, Renaud Lopes, Régis Bordet, Valérie Chanoine, Jean-Philippe Ranjeva, Mira Didic, Hélène Gros-Dagnac, Pierre Payoux, Giada Zoccatelli, Franco Alessandrini, Alberto Beltramello, Núria Bargalló, Olivier Blin, Giovanni B. Frisoni:
  Brain morphometry reproducibility in multi-center 3 T MRI studies: A comparison of cross-sectional and longitudinal segmentations. NeuroImage 83: 472-484 (2013)
• 2008
• 
  Mehrez Zribi, Danièle Hauser, Mickaël Pardé, Pascal Fanise, Paul Leroy, Monique Dechambre, Alain Weill, Jacqueline Boutin, Gilles Reverdin, Jean-Christophe Calvet, Jean-Pierre Wigneron, Niels Skou, Sten S. Søbjærg, Nicolas Reul, Antonio Rius, Estel Cardellach:
  Combined Airborne Radio-instruments for Ocean and Land Studies (CAROLS). IGARSS (2) 2008: 1200-1203
• 2007
• 
  Antoine Leroy, Pierre Mozer, Yohan Payan, Jocelyne Troccaz:
  Intensity-based registration of freehand 3D ultrasound and CT-scan images of the kidney. Int. J. Comput. Assist. Radiol. Surg. 2(1): 31-41 (2007)
• 
  Olivier Arino, Dorit Gross, Franck Ranera, Ludovic Bourg, Marc Leroy, Patrice Bicheron, John Latham, Antonio Di Gregorio, Carsten Brockmann, Ron Witt, Pierre Defourny, Christelle Vancutsem, Martin Herold, Jacqueline Sambale, Frédéric Achard, Laurent Durieux, Stephen Plummer, Jean-Louis Weber:
  GlobCover: ESA service for global land cover from MERIS. IGARSS 2007: 2412-2415
• 
  Jocelyne Troccaz, Michael Baumann, Peter J. Berkelman, Philippe Cinquin, Vincent Daanen, Antoine Leroy, Maud Marchal, Yohan Payan, Emmanuel Promayon, Sandrine Voros, Stéphane Bart, Michel Bolla, Emmanuel Chartier-Kastler, Jean-Luc Descotes, Andrée Dusserre, Jean-Yves Giraud, Jean-Alexandre Long, Ronan Moalic, Pierre Mozer:
  Medical image computing and computer-aided medical interventions applied to soft tissues. Work in progress in urology. CoRR abs/0712.2100 (2007)
• 2006
• 
  Jocelyne Troccaz, Michael Baumann, Peter J. Berkelman, Philippe Cinquin, Vincent Daanen, Antoine Leroy, Maud Marchal, Yohan Payan, Emmanuel Promayon, Sandrine Voros, Stéphane Bart, Michel Bolla, Emmanuel Chartier-Kastler, Jean-Luc Descotes, Andrée Dusserre, Jean-Yves Giraud, Jean-Alexandre Long, Ronan Moalic, Pierre Mozer:
  Medical Image Computing and Computer-Aided Medical Interventions Applied to Soft Tissues: Work in Progress in Urology. Proc. IEEE 94(9): 1665-1677 (2006)
• 2005
• 
  Sébastien Aubourg, Véronique Brunaud, Clémence Bruyère, J. Mark Cock, Richard Cooke, Annick Cottet, Arnaud Couloux, Patrice Déhais, Gilbert Deléage, Aymeric Duclert, Manuel Echeverria, Aimée Eschbach, Denis Falconet, Ghislain Filippi, Christine Gaspin, Christophe Geourjon, Jean-Michel Grienenberger, Guy Houlné, Elisabeth Jamet, Frédéric Lechauve, Olivier Leleu, Philippe Leroy, Régis Mache, Christian Meyer, Hafed Nedjari, Ioan Negrutiu, Valérie Orsini, Eric Peyretaillade, Cyril Pommier, Jeroen Raes, Jean-Loup Risler, Stéphane Rivière, Stephane Rombauts, Pierre Rouzé, Michel Schneider, Philippe Schwob, Ian Small, Ghislain Soumayet-Kampetenga, Darko Stankovski, Claire Toffano, Michael Tognolli, Michel Caboche, Alain Lecharny:
  GeneFarm, structural and functional annotation of Arabidopsis gene and protein families by a network of experts. Nucleic Acids Res. 33(Database-Issue): 641-646 (2005)
• 2004
• 
  Antoine Leroy, Pierre Mozer, Yohan Payan, Jocelyne Troccaz:
  Rigid Registration of Freehand 3D Ultrasound and CT-Scan Kidney Images. MICCAI (1) 2004: 837-844
• 1999
• 
  Nathalie Pavy, Stephane Rombauts, Patrice Déhais, Catherine Mathé, Ramana V. Davuluri, Philippe Leroy, Pierre Rouzé:
  Evaluation of gene prediction software using a genomic data set: application to <$O_SSF>Arabidopsis thaliana<$C_SSF>sequences. Bioinform. 15(11): 887-899 (1999)
• 1996
• 
  Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth:
  Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)

skipping 8 more matches