David France

Results: 245



#Item
1Business Meeting - Microsporidia Division, Tours, France (25 JulyAttendance: David Bass, Kelly Bateman, James Becnel, Sarah Biganski, Susan Bjornson, Dominique Ferrandon, Adrien Franchet, Mark Freeman, Julie Hoppe

Business Meeting - Microsporidia Division, Tours, France (25 JulyAttendance: David Bass, Kelly Bateman, James Becnel, Sarah Biganski, Susan Bjornson, Dominique Ferrandon, Adrien Franchet, Mark Freeman, Julie Hoppe

Add to Reading List

Source URL: www.sipweb.org

Language: English - Date: 2016-08-10 15:04:50
    2Identifying Linux Bug Fixing Patches Yuan Tian1 , Julia Lawall2 , and David Lo1 Singapore Management University, Singapore 2 INRIA/LIP6-Regal, France {yuan.tian.2012,davidlo}@smu.edu.sg,

    Identifying Linux Bug Fixing Patches Yuan Tian1 , Julia Lawall2 , and David Lo1 Singapore Management University, Singapore 2 INRIA/LIP6-Regal, France {yuan.tian.2012,davidlo}@smu.edu.sg,

    Add to Reading List

    Source URL: soarsmu.github.io

    Language: English - Date: 2016-07-17 08:44:52
      3Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc

      Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc

      Add to Reading List

      Source URL: people.rennes.inria.fr

      Language: English - Date: 2014-09-03 04:27:29
        4From Computationally-Proved Protocol Specifications to Implementations and Application to SSH∗ David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, Paris, France {david.cade,bruno.blanchet}@inria.fr Abstract

        From Computationally-Proved Protocol Specifications to Implementations and Application to SSH∗ David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, Paris, France {david.cade,bruno.blanchet}@inria.fr Abstract

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        Language: English - Date: 2013-03-21 05:47:13
          5WORKING PAPER N° ETHNIC GAPS IN EDUCATIONAL ATTAINMENT AND LABORMARKET OUTCOMES: EVIDENCE FROM FRANCE GABIN LANGEVIN, DAVID MASCLET, FABIEN MOIZEAU, EMMANUEL PETERLE

          WORKING PAPER N° ETHNIC GAPS IN EDUCATIONAL ATTAINMENT AND LABORMARKET OUTCOMES: EVIDENCE FROM FRANCE GABIN LANGEVIN, DAVID MASCLET, FABIEN MOIZEAU, EMMANUEL PETERLE

          Add to Reading List

          Source URL: www.tepp.eu

          Language: English - Date: 2017-11-22 19:52:02
            6The CImg Library and G’MIC Open-Source Toolboxes for Image Processing at Different Levels David Tschumperlé { Image Team - GREYC Laboratory (CNRS UMRCaen / France} Séminaire LRDE, Paris / France, Octobre 200

            The CImg Library and G’MIC Open-Source Toolboxes for Image Processing at Different Levels David Tschumperlé { Image Team - GREYC Laboratory (CNRS UMRCaen / France} Séminaire LRDE, Paris / France, Octobre 200

            Add to Reading List

            Source URL: tschumperle.users.greyc.fr

            Language: English - Date: 2012-07-10 12:40:28
              7Wire Structure Pattern Extraction and Tracking From X-Ray Images of composite Mechanisms D. Tschumperl´e, J. Fadili GREYC IMAGE (CNRS UMRBd Mar´echal Juin, 14050 Caen Cedex, France {David.Tschumperle, Jalal.Fa

              Wire Structure Pattern Extraction and Tracking From X-Ray Images of composite Mechanisms D. Tschumperl´e, J. Fadili GREYC IMAGE (CNRS UMRBd Mar´echal Juin, 14050 Caen Cedex, France {David.Tschumperle, Jalal.Fa

              Add to Reading List

              Source URL: tschumperle.users.greyc.fr

              Language: English - Date: 2012-07-10 12:35:14
                8Robust Variational Estimation of PDF functions from Diffusion MR Signal Haz-Edine Assemlal, David Tschumperl´e, and Luc Brun GREYC (CNRS UMR 6072), 6 Bd Mar´echal Juin, 14050 Caen Cedex, France ?

                Robust Variational Estimation of PDF functions from Diffusion MR Signal Haz-Edine Assemlal, David Tschumperl´e, and Luc Brun GREYC (CNRS UMR 6072), 6 Bd Mar´echal Juin, 14050 Caen Cedex, France ?

                Add to Reading List

                Source URL: tschumperle.users.greyc.fr

                Language: English - Date: 2012-07-10 12:52:43
                  97SM Clouds and Aerosols Supplementary Material Coordinating Lead Authors: Olivier Boucher (France), David Randall (USA)

                  7SM Clouds and Aerosols Supplementary Material Coordinating Lead Authors: Olivier Boucher (France), David Randall (USA)

                  Add to Reading List

                  Source URL: www.climatechange2013.org

                  Language: English - Date: 2014-01-29 10:55:01
                    10Information for Solaris David Holland, modified by Marc Aurele La France 2001 OctoberWhat is XFree86 XFree86 is a port of X11R6.5.1 that supports several versions of Unix. It is derived from X386 1.2

                    Information for Solaris David Holland, modified by Marc Aurele La France 2001 OctoberWhat is XFree86 XFree86 is a port of X11R6.5.1 that supports several versions of Unix. It is derived from X386 1.2

                    Add to Reading List

                    Source URL: xfree86.org

                    Language: English - Date: 2008-12-29 12:48:53