Jean-Baptiste

Results: 819



#Item
21

VLC & Subtitles Rants Jean-Baptiste Kempf Thursday, May 24, 2018

Add to Reading List

Source URL: subtitling.irt.de

- Date: 2018-05-24 06:56:15
    22

    Correct by Construction Networks Using Stepwise Refinement Leonid Ryzhyk, VMware Research; Nikolaj Bjørner, Microsoft Research; Marco Canini, King Abdullah University of Science and Technology (KAUST ); Jean-Baptiste Je

    Add to Reading List

    Source URL: www.usenix.org

    Language: English
      23

      SA-conf: a tool to identify variable regions in a set of related protein using a join analysis of their sequence and local structure defined by a structural alphabet Leslie Regad1,2, Jean-Baptiste Chéron1,2, Caroline Se

      Add to Reading List

      Source URL: www.mti.univ-paris-diderot.fr

      Language: English - Date: 2016-04-18 11:18:28
        24

        Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts Andrei Marian Dan1 , Manu Sridharan2? , Satish Chandra2?? , Jean-Baptiste Jeannin2 , and Martin Vechev1 1

        Add to Reading List

        Source URL: www.sri.inf.ethz.ch

        Language: English - Date: 2018-05-15 09:28:45
          25

          The General Linear Model and fMRI: does love last forever? Jean-Baptiste Poline b Henry

          Add to Reading List

          Source URL: matthew.dynevor.org

          Language: English - Date: 2018-05-11 06:08:06
            26

            Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling Daniel Huang Jean-Baptiste Tristan

            Add to Reading List

            Source URL: danehuang.github.io

            Language: English - Date: 2017-05-24 19:52:40
              27

              Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt

              Add to Reading List

              Source URL: jtristan.github.io

              Language: English - Date: 2018-06-24 11:22:27
                28

                Jean-Baptiste Tristan Personal information Email Phone

                Add to Reading List

                Source URL: jtristan.github.io

                Language: English - Date: 2018-06-24 11:22:27
                  29

                  Augur: Data-Parallel Probabilistic Modeling Jean-Baptiste Tristan1 , Daniel Huang2 , Joseph Tassarotti3 , Adam Pocock1 , Stephen J. Green1 , Guy L. Steele, Jr1 1 Oracle Labs {jean.baptiste.tristan, adam.pocock,

                  Add to Reading List

                  Source URL: jtristan.github.io

                  Language: English - Date: 2018-06-24 11:22:27
                    30

                    Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling Daniel Huang Jean-Baptiste Tristan

                    Add to Reading List

                    Source URL: jtristan.github.io

                    Language: English - Date: 2018-06-24 11:22:27
                      UPDATE