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

• 2023
• 
  Elodie Da Silva, Emma R. Woolliams, Nicolas Picot, Jean-Christophe Poisson, Henriette Skourup, Geir Moholdt, Sara Fleury, Sajedeh Behnia, Vincent Favier, Laurent Arnaud, Jérémie Aublanc, Valentin Fouqueau, Nicolas Taburet, Julien Renou, Hervé Yésou, Angelica Tarpanelli, Stefania Camici, Renée Mie Fredensborg Hansen, Karina Nielsen, Frédéric Vivier, François Boy, Roger Fjørtoft, Mathilde Cancet, Ramiro Ferrari, Ghislain Picard, Mohammad J. Tourian, Nicolaas Sneeuw, Eric Munesa, Michel Calzas, Adrien Paris, Emmanuel Le Meur, Antoine Rabatel, Guillaume Valladeau, Pascal Bonnefond, Sylvie Labroue, Ole B. Andersen, Mahmoud El Hajj, Filomena Catapano, Pierre Féménias:
  Towards Operational Fiducial Reference Measurement (FRM) Data for the Calibration and Validation of the Sentinel-3 Surface Topography Mission over Inland Waters, Sea Ice, and Land Ice. Remote. Sens. 15(19): 4826 (2023)
• 
  Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier:
  Modelling and simulating new power grid control architectures. ISGT EUROPE 2023: 1-5
• 
  Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles:
  Context Specification Language for Formally Verifying Consent Properties on Models and Code. TAP 2023: 68-93
• 2022
• 
  Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles:
  A New Generic Representation for Modeling Privacy. EuroS&P Workshops 2022: 203-211
• 2021
• 
  Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud:
  Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. SEKE 2021: 291-296
• 2020
• 
  Arnaud Badets, Mathilde Marie Duville, François Osiurak:
  Tool-number interaction during a prospective memory task. Cogn. Process. 21(4): 501-508 (2020)
• 2017
• 
  Emeric Dynomant, Mathilde Gorieu, Helene Perrin, Marion Denorme, Fabien Pichon, Arnaud Desfeux:
  MEDOC: a Python wrapper to load MEDLINE into a local MySQL database. CoRR abs/1710.06590 (2017)
• 2016
• 
  Arnaud Arindra Adiyoso Setio, Francesco Ciompi, Geert Litjens, Paul K. Gerke, Colin Jacobs, Sarah J. van Riel, Mathilde Marie Winkler Wille, Matiullah Naqibullah, Clara I. Sánchez, Bram van Ginneken:
  Pulmonary Nodule Detection in CT Images: False Positive Reduction Using Multi-View Convolutional Networks. IEEE Trans. Medical Imaging 35(5): 1160-1169 (2016)
• 
  Francesco Ciompi, Kaman Chung, Sarah J. van Riel, Arnaud Arindra Adiyoso Setio, Paul K. Gerke, Colin Jacobs, Ernst Th. Scholten, Cornelia Schaefer-Prokop, Mathilde M. W. Wille, Alfonso Marchiano, Ugo Pastorino, Mathias Prokop, Bram van Ginneken:
  Towards automatic pulmonary nodule management in lung cancer screening with deep learning. CoRR abs/1610.09157 (2016)
• 2015
• 
  Trung-Hien Nguyen, Pascal Scalart, Michel Joindot, Mathilde Gay, Laurent Bramerie, Christophe Peucheret, Arnaud Carer, Jean-Claude Simon, Olivier Sentieys:
  Joint simple blind IQ imbalance compensation and adaptive equalization for 16-QAM optical communications. ICC 2015: 4913-4918
• 
  Arnaud A. A. Setio, Colin Jacobs, Francesco Ciompi, Sarah J. van Riel, Mathilde Marie Winkler Wille, Asger Dirksen, Eva M. van Rikxoort, Bram van Ginneken:
  Computer-aided detection of lung cancer: combining pulmonary nodule detection systems with a tumor risk prediction model. Computer-Aided Diagnosis 2015: 94141O
• 
  Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre:
  An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. USE@FM 2015: 21-34
• 2014
• 
  Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune:
  Modeling and verifying ad hoc routing protocols. Inf. Comput. 238: 30-67 (2014)
• 
  Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre:
  Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. CSDM 2014: 269-282
• 
  Henri Giraud, Arnaud Durand, Mathilde Caspard, Claire Huber, Jérôme Maxant, Paul de Fraipont, Claire Tinel, Julien Michel:
  Applicative potential of digital surface models derived from Pleiades-HR tri-stereoscopic acquisitions and TerraSAR-X/TanDEM-X interferometric pairs in a range of thematic domain. IGARSS 2014: 1761-1764
• 2013
• 
  Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling:
  Analysis of an Electronic Boardroom Voting System. VoteID 2013: 109-126
• 2011
• 
  Mathilde Arnaud:
  Formal verification of secured routing protocols. (Vérification formelle de protocoles de routage sécurisés). École normale supérieure de Cachan, France, 2011
• 
  Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune:
  Deciding Security for Protocols with Recursive Tests. CADE 2011: 49-63
• 2010
• 
  Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune:
  Modeling and Verifying Ad Hoc Routing Protocols. CSF 2010: 59-74
• 2007
• 
  Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune:
  Combining Algorithms for Deciding Knowledge in Security Protocols. FroCoS 2007: 103-117
• 1997
• 
  Mathilde Aimar, Gilles Arnaud, Michel Dumas:
  A Multi-Agent Design for a Nuclear Power Plant Control System. PAAM 1997: 397-404