Saclay

Results: 649



#Item
61Research Internship – Master M2Location : Laboratoire Sp´ecification et V´erification Ecole Normale Suprieure Paris-Saclay

Research Internship – Master M2Location : Laboratoire Sp´ecification et V´erification Ecole Normale Suprieure Paris-Saclay

Add to Reading List

Source URL: www.lsv.fr

- Date: 2016-09-26 15:43:34
    62Répliquer une enquête face-à-face sur un access panel web ? Une comparaison multipanels. Stéphane Legleye, Ined& Université Paris-Saclay, University of Paris-Sud, UVSQ, CESP, INSERM ;Sandra Hoibian, Crédoc ; Jérô

    Répliquer une enquête face-à-face sur un access panel web ? Une comparaison multipanels. Stéphane Legleye, Ined& Université Paris-Saclay, University of Paris-Sud, UVSQ, CESP, INSERM ;Sandra Hoibian, Crédoc ; Jérô

    Add to Reading List

    Source URL: paperssondages16.sfds.asso.fr

    - Date: 2016-09-11 11:22:49
      63On the semantics of Strategy LogicI Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract We define and study a slight variation on the semantics of Strategy Logi

      On the semantics of Strategy LogicI Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract We define and study a slight variation on the semantics of Strategy Logi

      Add to Reading List

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

      - Date: 2015-10-15 03:09:54
        64Research Internship – Master M2Location : Laboratoire Sp´ecification et V´erification (LSV) Ecole Normale Suprieure Paris-Saclay

        Research Internship – Master M2Location : Laboratoire Sp´ecification et V´erification (LSV) Ecole Normale Suprieure Paris-Saclay

        Add to Reading List

        Source URL: www.lsv.fr

        - Date: 2016-09-26 11:38:20
          65Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique

          Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2014-12-22 08:38:15
            66System Integration for the ENRICHME Project: A Service Robot for Care Facilities for the Elderly Franc¸ois Ferland and Adriana Tapus Robotics and Computer Vision Lab, U2IS ENSTA ParisTech, Universit´e Paris-Saclay 828

            System Integration for the ENRICHME Project: A Service Robot for Care Facilities for the Elderly Franc¸ois Ferland and Adriana Tapus Robotics and Computer Vision Lab, U2IS ENSTA ParisTech, Universit´e Paris-Saclay 828

            Add to Reading List

            Source URL: www.cogrobotics.unina.it

            - Date: 2016-08-24 12:43:18
              67Foundational Proof Certificates Making proof universal and permanent Dale Miller ´ INRIA-Saclay & LIX, Ecole

              Foundational Proof Certificates Making proof universal and permanent Dale Miller ´ INRIA-Saclay & LIX, Ecole

              Add to Reading List

              Source URL: www.lix.polytechnique.fr

              - Date: 2013-09-23 15:11:27
                68Le Collectif citoyen Nanotechnologies du Plateau de Saclay vous invite à une soirée-débat « LES NANOS DANS L’AGRICULTURE » le jeudi 8 décembre 2016 à 20h30, à Orsay, Grand salon de la Bouvêche avec Danielle LA

                Le Collectif citoyen Nanotechnologies du Plateau de Saclay vous invite à une soirée-débat « LES NANOS DANS L’AGRICULTURE » le jeudi 8 décembre 2016 à 20h30, à Orsay, Grand salon de la Bouvêche avec Danielle LA

                Add to Reading List

                Source URL: www.collectif-nanosaclay.fr

                - Date: 2016-10-24 14:45:35
                  69ProofCert: Broad Spectrum Proof Certificates Dale Miller ´ INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France

                  ProofCert: Broad Spectrum Proof Certificates Dale Miller ´ INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2012-01-17 01:38:04
                    70Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

                    Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

                    Add to Reading List

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

                    - Date: 2016-01-04 08:35:09