Antoine

Results: 2264



#Item
71

Everest: Towards a Verified, Drop-in Replacement of HTTPS Karthikeyan Bhargavan1 , Barry Bond2 , Antoine Delignat-Lavaud2 , Cédric Fournet2 , Chris Hawblitzel2 , Cătălin Hriţcu1 , Samin Ishtiaq2 , Markulf Kohlweiss2

Add to Reading List

Source URL: jonathan.protzenko.fr

- Date: 2017-04-29 10:17:09
    72

    Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2016-11-23 00:38:16
      73

      Le Machine Learning confronté aux contraintes opérationnelles des systèmes de détection Anaël Bonneton1,2 et Antoine Husson1 1

      Add to Reading List

      Source URL: www.sstic.org

      - Date: 2017-06-06 04:52:41
        74

        Adam Copeland, Darrell Duffie, Antoine Martin, and Susan McLaughlin Key Mechanics of The U.S. Tri-Party Repo Market • Thefinancial crisis exposed

        Add to Reading List

        Source URL: www.newyorkfed.org

        - Date: 2015-03-03 17:13:43
          75

          JSR 365 Contexts and Dependency Injection for Java 2.0 JSR 365 EG lead by Antoine Sabot-Durand 2.0, April 20th 2017

          Add to Reading List

          Source URL: docs.jboss.org

          - Date: 2017-05-10 08:09:13
            76

            Practical Lessons from Predicting Clicks on Ads at Facebook Xinran He, Junfeng Pan, Ou Jin, Tianbing Xu, Bo Liu∗, Tao Xu∗, Yanxin Shi∗, Antoine Atallah∗, Ralf Herbrich∗, Stuart Bowers, Joaquin Quiñonero Candel

            Add to Reading List

            Source URL: research.fb.com

            - Date: 2016-11-04 03:24:20
              77

              Domain Adaptation for Large-Scale Sentiment Classification: A Deep Learning Approach Xavier Glorot(1) Antoine Bordes(2,1)

              Add to Reading List

              Source URL: machinelearning.wustl.edu

              - Date: 2013-03-25 14:53:10
                78

                List of participants Alonso-Ruiz, Patricia, Ulm University, Germany Ayache, Antoine, Lille University of Science and Technology, France Baker, Simon, Universi

                Add to Reading List

                Source URL: users.minet.uni-jena.de

                - Date: 2015-12-18 18:04:33
                  79

                  Le financement de la politique familiale : faut-il supprimer les cotisations sociales de la branche famille ? (1) Antoine Math Revue de droit sanitaire et social n°6, novembre-décembre 2013

                  Add to Reading List

                  Source URL: gesd.free.fr

                  - Date: 2014-01-19 12:02:53
                    UPDATE