• 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 98 matches

• 2024
• 
  Christophe Denis, Mohamed Hebiri, Boris Ndjia Njike, Xavier Siebert:
  Active learning algorithm through the lens of rejection arguments. Mach. Learn. 113(2): 753-788 (2024)
• 
  Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner:
  A hybrid approach to semi-automated Rust verification. CoRR abs/2403.15122 (2024)
• 
  Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers:
  Reasoning about Interior Mutability in Rust using Library-Defined Capabilities. CoRR abs/2405.08372 (2024)
• 2023
• 
  Xavier Denis:
  Vérification déductive de programmes Rust. (Deductive verification of Rust programs). University of Paris-Saclay, France, 2023
• 
  Leonardo de Melo Joao, Letícia Rodrigues Proença, Saulo Hudson Nery Loiola, Sandra Valéria Inácio, Bianca Martins dos Santos, Stefany Laryssa Rosa, Felipe Augusto Soares, Vitória Castilho Stefano, Daniel Osaku, Celso Tetsuo Nagase Suzuki, Katia Denise Saraiva Bresciani, Jancarlo Ferreira Gomes, Alexandre Xavier Falcão:
  Toward automating the diagnosis of gastrointestinal parasites in cats and dogs. Comput. Biol. Medicine 163: 107203 (2023)
• 
  Fagner José Coutinho de Melo, Larissa de Arruda Xavier, André Philippi Gonzaga de Albuquerque, Denise Dumke de Medeiros:
  Evaluation of quality of online shopping services in times of COVID-19 based on E-S-QUAL model and Fuzzy TOPSIS method. Soft Comput. 27(11): 7497-7511 (2023)
• 
  Xavier Denis, Jacques-Henri Jourdan:
  Specifying and Verifying Higher-order Rust Iterators. TACAS (2) 2023: 93-110
• 
  Tianyu Shi, François-Xavier Devailly, Denis Larocque, Laurent Charlin:
  Improving the generalizability and robustness of large-scale traffic signal control. CoRR abs/2306.01925 (2023)
• 2022
• 
  Salah Boussen, Pierre-Yves Cordier, Arthur Malet, Pierre Simeone, Sophie Cataldi, Camille Vaisse, Xavier Roche, Alexandre Castelli, Mehdi Assal, Guillaume Pepin, Kevin Cot, Jean-Baptiste Denis, Timothée Morales, Lionel Velly, Nicolas Bruder:
  Triage and monitoring of COVID-19 patients in intensive care using unsupervised machine learning. Comput. Biol. Medicine 142: 105192 (2022)
• 
  Roel Aaij, Marta Adinolfi, Salvatore Aiola, S. Akar, Johannes Albrecht, M. Alexander, S. Amato, Yasmine Amhis, F. Archilli, M. Bala, G. Bassi, L. Bian, M. P. Blago, Thomas Boettcher, A. Boldyrev, S. Borghi, A. Brea Rodriguez, Lukas Calefice, M. Calvo Gomez, Daniel Hugo Cámpora Pérez, A. Cardini, Marco Cattaneo, V. Chobanova, G. Ciezarek, X. Cid Vidal, J. L. Cobbledick, J. A. B. Coelho, Tommaso Colombo, A. Contu, Benjamin Couturier, Daniel C. Craik, R. Currie, P. d'Argent, Michel De Cian, Denis Derkach, F. Dordei, Marco Dorigo, L. Dufour, Paolo Durante, A. Dziurda, A. Dzyuba, S. Easo, S. Esen, Placido Fernandez Declara, S. Filippov, Conor Fitzpatrick, M. Frank, Paolo Gandini, Vladimir V. Gligorov, Elisabet Golobardes, G. Graziani, L. Grillo, P. A. Günther, S. Hansmann-Menzemer, Arthur M. Hennequin, Louis Henry, D. Hill, S. E. Hollitt, J. Hu, W. Hulsbergen, R. J. Hunter, Mikhail Hushchyn, Brij Kishor Jashal, Christopher Robert Jones, S. Klaver, Konrad Klimaszewski, R. Kopecna, Wojciech Krzemien, Marcin Kucharczyk, R. Lane, F. Lazzari, R. Le Gac, P. Li, J. H. Lopes, M. Lucio Martinez, A. Lupato, Oliver Lupton, X. Lyu, F. Machefert, O. Madejczyk, S. Malde, J. F. Marchand, Saverio Mariani, Carla Marin Benito, D. Martinez Santos, F. Martinez Vidal, R. Matev, Michal Mazurek, B. Mitreska, D. S. Mitzel, M. J. Morello, H. Mu, P. Muzzetto, P. Naik, Matthew D. Needham, N. Neri, Niko Neufeld, N. S. Nolte, Daniel O'Hanlon, A. Oyanguren Campos, M. Pepe Altarelli, S. Petrucci, Marco Petruzzo, L. Pica, Flavio Pisani, A. Piucci, Francesco Polci, A. Poluektov, E. Polycarpo, C. Prouve, Giovanni Punzi, Renato Quagliani, R. I. Rabadan Trejo, M. Ramos Pernas, M. S. Rangel, Fedor Ratnikov, G. Raven, F. Reiss, V. Renaudin, P. Robbe, Artem Ryzhikov, Marco Santimaria, M. Saur, Manuel T. Schiller, Rainer Schwemmer, Barbara Sciascia, A. Solomin, F. Suljik, Nicola Skidmore, Michael D. Sokoloff, P. Spradlin, M. Stahl, S. Stahl, H. Stevens, L. Sun, A. Szabelski, Tomasz Szumlak, M. Szymanski, D. Y. Tou, Giulia Tuci, A. Usachov, Núria Valls Canudas, R. Vazquez Gomez, Stefania Vecchi, Mika Vesterinen, Xavier Vilasís-Cardona, Dorothea Vom Bruch, Z. Wang, Tomasz Wojton, Mark Whitehead, Mike Williams, Mariusz Witek, Y. Xie, A. Xu, H. Yin, Milosz Zdybal, O. Zenaiev, D. Zhang, L. Zhang, X. Zhu, The LHCb Collaboration:
  A Comparison of CPU and GPU Implementations for the LHCb Experiment Run 3 Trigger. Comput. Softw. Big Sci. 6(1) (2022)
• 
  François-Xavier Devailly, Denis Larocque, Laurent Charlin:
  IG-RL: Inductive Graph Reinforcement Learning for Massive-Scale Traffic Signal Control. IEEE Trans. Intell. Transp. Syst. 23(7): 7496-7507 (2022)
• 
  Xavier Denis, Jacques-Henri Jourdan, Claude Marché:
  Creusot: A Foundry for the Deductive Verification of Rust Programs. ICFEM 2022: 90-105
• 
  Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer:
  RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. PLDI 2022: 841-856
• 
  François-Xavier Devailly, Denis Larocque, Laurent Charlin:
  Model-based graph reinforcement learning for inductive traffic signal control. CoRR abs/2208.00659 (2022)
• 2021
• 
  Dênis Ricardo Xavier de Oliveira, Gladston Moreira, Anderson Ribeiro Duarte, André Luiz Fernandes Cançado, Eduardo Luz:
  Spatial cluster analysis using particle swarm optimization and dispersion function. Commun. Stat. Simul. Comput. 50(8): 2368-2385 (2021)
• 2020
• 
  Baptiste Cecconi, Alan Loh, Pierre Le Sidaner, Renaud Savalle, Xavier Bonnin, Quynh Nhu Nguyen, Sonny Lion, Albert Shih, Stéphane Aicardi, Philippe Zarka, Corentin Louis, Andrée Coffre, Laurent Lamy, Laurent Denis, Jean-Mathias Grießmeier, Jeremy Faden, Chris Piker, Nicolas André, Vincent Génot, Stéphane Erard, Joseph N. Mafi, Todd King, Jim Sky, Markus Demleitner:
  MASER: A Science Ready Toolbox for Low Frequency Radio Astronomy. Data Sci. J. 19: 12 (2020)
• 
  Dina Kamel, François-Xavier Standaert, Alexandre Duc, Denis Flandre, Francesco Berti:
  Learning with Physical Noise or Errors. IEEE Trans. Dependable Secur. Comput. 17(5): 957-971 (2020)
• 
  Raul Muñoz, Francisco Vázquez Gallego, Ramon Casellas, Ricard Vilalta, Roshan Sedar, Pol Alemany, Ricardo Martínez, Jesús Alonso-Zárate, Apostolos Papageorgiou, Miguel Catalan-Cid, Francesca Moscatelli, Giada Landi, Xavier Vilajosana, Andrea Bartoli, Denis Guilhot, Soumya Kanti Datta, Jérôme Härri, Rodrigo Silva, Laurent Dizambourg, Antonio Fernández, Maciej Mühleisen:
  5GCroCo Barcelona Trial Site for Cross-border Anticipated Cooperative Collision Avoidance. EuCNC 2020: 34-39
• 
  François-Xavier Devailly, Denis Larocque, Laurent Charlin:
  IG-RL: Inductive Graph Reinforcement Learning for Massive-Scale Traffic Signal Control. CoRR abs/2003.05738 (2020)
• 2019
• 
  Kashif Nawaz, Léopold Van Brandt, Itamar Levi, François-Xavier Standaert, Denis Flandre:
  A security oriented transient-noise simulation methodology: Evaluation of intrinsic physical noise of cryptographic designs. Integr. 68: 71-79 (2019)
• 
  Charlotte Rudnik, Thibault Ehrhart, Olivier Ferret, Denis Teyssou, Raphaël Troncy, Xavier Tannier:
  Searching News Articles Using an Event Knowledge Graph Leveraged by Wikidata. WWW (Companion Volume) 2019: 1232-1239
• 
  Charlotte Rudnik, Thibault Ehrhart, Olivier Ferret, Denis Teyssou, Raphaël Troncy, Xavier Tannier:
  Searching News Articles Using an Event Knowledge Graph Leveraged by Wikidata. CoRR abs/1904.05557 (2019)
• 2018
• 
  Dina Kamel, Davide Bellizia, François-Xavier Standaert, Denis Flandre, David Bol:
  Demonstrating an LPPN Processor. ASHES@CCS 2018: 18-23
• 
  Marianne Batista Diniz Da Silva, Danilo Siqueira Ramos, Denise Xavier dos Santos, Michel S. Soares, Isabel Dillmann Nunes, Rogério P. C. do Nascimento:
  A Practical Approach to Teaching-Learning for Undergraduate Students: Governance of ICT directed to the Federal Public Administration (FPA). EATIS 2018: 34:1-34:7
• 
  Marianne Batista Diniz Da Silva, Danilo Siqueira Ramos, Alef Menezes dos Santos, Denise Xavier dos Santos, Michel S. Soares, Isabel Dillmann Nunes, Rogério P. C. do Nascimento:
  PeticGov: An auditing and direction framework for federal public organizations. EATIS 2018: 35:1-35:8
• 
  Xavi Masip-Bruin, Eva Marín-Tordera, Ana Juan Ferrer, Anna Queralt, Admela Jukan, Jordi Garcia, Daniele Lezzi, Jens Jensen, Cristovao Cordeiro, Alexander J. Leckey, Antonio Salis, Denis Guilhot, Matija Cankar:
  mF2C: towards a coordinated management of the IoT-fog-cloud continuum. SmartObjects@MobiHoc 2018: 8:1-8:8
• 
  Kashif Nawaz, Itamar Levi, François-Xavier Standaert, Denis Flandre:
  A Transient Noise Analysis of Secured Dual-Rail Based Logic Style. NGCAS 2018: 146-149
• 
  Kashif Nawaz, Léopold Van Brandt, François-Xavier Standaert, Denis Flandre:
  Let's make it Noisy: A Simulation Methodology for adding Intrinsic Physical Noise to Cryptographic Designs. PRIME 2018: 61-64
• 2017
• 
  Yvain Quéau, Roberto Mecca, Jean-Denis Durou, Xavier Descombes:
  Photometric stereo with only two images: A theoretical study and numerical resolution. Image Vis. Comput. 57: 175-191 (2017)
• 
  Gautier Koscielny, Peter An, Denise Carvalho-Silva, Jennifer A. Cham, Luca Fumis, Rippa Gasparyan, Samiul Hasan, Nikiforos Karamanis, Michael Maguire, Eliseo Papa, Andrea Pierleoni, Miguel Pignatelli, Theo Platt, Francis Rowland, Priyanka Wankar, A. Patrícia Bento, Tony Burdett, Antonio Fabregat, Simon A. Forbes, Anna Gaulton, Cristina Yenyxe González, Henning Hermjakob, Anne Hersey, Steven Jupe, Senay Kafkas, Maria Keays, Catherine Leroy, Francisco-Javier Lopez, María P. Magariños, James Malone, Johanna R. McEntyre, Alfonso Muñoz-Pomer Fuentes, Claire O'Donovan, Irene Papatheodorou, Helen E. Parkinson, Barbara Palka, Justin E. Paschall, Robert Petryszak, Naruemon Pratanwanich, Sirarat Sarntivijai, Gary Saunders, Konstantinos Sidiropoulos, Thomas Smith, Zbyslaw Sondka, Oliver Stegle, Y. Amy Tang, Edward Turner, Brendan W. Vaughan, Olga Vrousgou, Xavier Watkins, Maria Jesus Martin, Philippe Sanseau, Jessica Vamathevan, Ewan Birney, Jeffrey Barrett, Ian Dunham:
  Open Targets: a platform for therapeutic target identification and validation. Nucleic Acids Res. 45(Database-Issue): D985-D994 (2017)

skipping 68 more matches