Saclay

Results: 649



#Item
51REDO Redesigning Logical Syntax Action de Recherche Collaborative 2009 INRIA Saclay - Île-de-France

REDO Redesigning Logical Syntax Action de Recherche Collaborative 2009 INRIA Saclay - Île-de-France

Add to Reading List

Source URL: www.lix.polytechnique.fr

- Date: 2009-09-30 09:10:45
    52Sparse Stochastic Bandits arXiv:1706.01383v1 [cs.LG] 5 Jun 2017 Joon Kwon CMAP, École polytechnique, Université Paris–Saclay

    Sparse Stochastic Bandits arXiv:1706.01383v1 [cs.LG] 5 Jun 2017 Joon Kwon CMAP, École polytechnique, Université Paris–Saclay

    Add to Reading List

    Source URL: arxiv.org

    - Date: 2017-06-05 21:00:26
      53Generic Programming in OCaml∗† Florent Balestrieri Michel Mauny U2IS, ENSTA-ParisTech, Université Paris-Saclay,

      Generic Programming in OCaml∗† Florent Balestrieri Michel Mauny U2IS, ENSTA-ParisTech, Université Paris-Saclay,

      Add to Reading List

      Source URL: ocaml.org

      - Date: 2018-04-03 21:14:04
        54Apprentissage : corriger et visualiser Gabriel Illouz1 Anne-Laure Ligozat2 Fr´ed´eric Vernier1 1 LIMSI, CNRS, Univ. Paris-Sud, Universit´e Paris-Saclay 2

        Apprentissage : corriger et visualiser Gabriel Illouz1 Anne-Laure Ligozat2 Fr´ed´eric Vernier1 1 LIMSI, CNRS, Univ. Paris-Sud, Universit´e Paris-Saclay 2

        Add to Reading List

        Source URL: eiah2017.unistra.fr

        - Date: 2017-06-08 10:21:54
          55Gradual Set-Theoretic Types Victor Lanvin ENS Paris-Saclay Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, an

          Gradual Set-Theoretic Types Victor Lanvin ENS Paris-Saclay Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, an

          Add to Reading List

          Source URL: src.acm.org

          - Date: 2017-05-12 11:25:49
            56UnIPaN: Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks PhD proposal Advisors • Stefan Haar (DR Inria, Inria Saclay, Mexico team) http://www.lsv.ens-cachan.fr/~haar/ • Loïc Paule

            UnIPaN: Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks PhD proposal Advisors • Stefan Haar (DR Inria, Inria Saclay, Mexico team) http://www.lsv.ens-cachan.fr/~haar/ • Loïc Paule

            Add to Reading List

            Source URL: www.lsv.fr

            - Date: 2016-05-10 08:52:04
              57Towards Persistence-Based Reconstruction in Euclidean Spaces Frédéric Chazal Steve Y. Oudot

              Towards Persistence-Based Reconstruction in Euclidean Spaces Frédéric Chazal Steve Y. Oudot

              Add to Reading List

              Source URL: geometrica.saclay.inria.fr

                58Annexe : axe prioritaire Sécurité et sûreté département STIC Paris-Saclay (version du 01 septembreParticipants au GT : Daniel Augot (INRIA), Jean-Luc Danger (LTCI), Florent Kirchner (CEA LIST), Maryline Laure

                Annexe : axe prioritaire Sécurité et sûreté département STIC Paris-Saclay (version du 01 septembreParticipants au GT : Daniel Augot (INRIA), Jean-Luc Danger (LTCI), Florent Kirchner (CEA LIST), Maryline Laure

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                - Date: 2015-11-23 06:12:35
                  59A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole

                  A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2015-06-25 16:48:44
                    60Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

                    Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    - Date: 2014-05-18 16:48:57