Work

Results: 156439



#Item
41Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.)   First Munich-Nancy Workshop on

Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2006-03-05 21:15:02
    42Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen  About this work

    Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen About this work

    Add to Reading List

    Source URL: ko.stoffelen.nl

    Language: English - Date: 2018-02-09 07:39:36
      43CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.).

      CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.).

      Add to Reading List

      Source URL: www.math.ens.fr

      Language: English - Date: 2010-07-14 05:23:13
      44ZKProof Standards Implementation Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs:​​

      ZKProof Standards Implementation Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs:​​

      Add to Reading List

      Source URL: zkproof.org

      Language: English - Date: 2018-10-25 10:32:39
      45The Cost of AI  Matt Mahoney  Draft, Mar. 27, 2013  Abstract  In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how 

      The Cost of AI  Matt Mahoney  Draft, Mar. 27, 2013  Abstract  In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how 

      Add to Reading List

      Source URL: mattmahoney.net

      Language: English - Date: 2015-02-02 13:47:58
      46DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

      DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

      Add to Reading List

      Source URL: alloytools.org

      Language: English - Date: 2018-06-13 06:07:43
      47A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth

      A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth

      Add to Reading List

      Source URL: www.math.ens.fr

      Language: English - Date: 2009-12-04 07:35:13
      482019 BEST PLACES TO WORK IN FINANCIAL TECHNOLOGY REGISTRATION DEADLINE: SEPTEMBER 28, 2018 What is the Best Places to Work in Financial Technology? The Best Places to Work in Financial Technology is a

      2019 BEST PLACES TO WORK IN FINANCIAL TECHNOLOGY REGISTRATION DEADLINE: SEPTEMBER 28, 2018 What is the Best Places to Work in Financial Technology? The Best Places to Work in Financial Technology is a

      Add to Reading List

      Source URL: www.bestplacestoworkfintech.com

      Language: English - Date: 2018-08-03 19:01:11
      49How Socioeconomic Status Shapes Individuals’ Experiences of the Work-Family Interface in Canada by  Melissa Holmes Moyser

      How Socioeconomic Status Shapes Individuals’ Experiences of the Work-Family Interface in Canada by Melissa Holmes Moyser

      Add to Reading List

      Source URL: tspace.library.utoronto.ca

      Language: English - Date: 2015-08-13 00:00:43
      50Chainweb Protocol Security Calculations Monica Quaintance,  Will Martino,   WORK IN PROGRESS - DRAFT v7

      Chainweb Protocol Security Calculations Monica Quaintance, Will Martino, WORK IN PROGRESS - DRAFT v7

      Add to Reading List

      Source URL: kadena.io

      Language: English - Date: 2018-05-11 18:40:04