Work

Results: 156439



#Item
71Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 15:01:43
    72Tensority: an ASIC-friendly Proof of Work Algorithm Based on Tensor Bytom Foundation Email:  April 17, 2018 Abstract

    Tensority: an ASIC-friendly Proof of Work Algorithm Based on Tensor Bytom Foundation Email: April 17, 2018 Abstract

    Add to Reading List

    Source URL: bytom.io

    Language: English - Date: 2018-04-18 21:58:58
    73FACILITIES & PLANT MANAGEMENT WORK MANAGEMENT  “

    FACILITIES & PLANT MANAGEMENT WORK MANAGEMENT “

    Add to Reading List

    Source URL: www.teamdynamix.com

    Language: English
    74CURVES OF LOW DEGREES IN FANO VARIETIES OLIVIER DEBARRE Abstract. We work over the complex numbers. Fano manifolds are smooth projective varieties whose canonical bundle is antiample. In dimensions at most 3, they are al

    CURVES OF LOW DEGREES IN FANO VARIETIES OLIVIER DEBARRE Abstract. We work over the complex numbers. Fano manifolds are smooth projective varieties whose canonical bundle is antiample. In dimensions at most 3, they are al

    Add to Reading List

    Source URL: www.math.ens.fr

    Language: English - Date: 2014-06-03 17:41:05
    75Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group   Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o

    Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o

    Add to Reading List

    Source URL: who.rocq.inria.fr

    Language: English - Date: 2018-06-14 07:12:40
    76How Does Enjin Coin Work? A simple, step-by-step explanation of Enjin Coin (ENJ) utilisation in video games. Acquisition Game developers acquire

    How Does Enjin Coin Work? A simple, step-by-step explanation of Enjin Coin (ENJ) utilisation in video games. Acquisition Game developers acquire

    Add to Reading List

    Source URL: prkit.co

    - Date: 2018-03-13 22:25:14
      77CALL FOR PAPERS - RESEARCH TRACK AGH and collaborating institutions invite you to submit your work to Lambda Days 2019 Research Track. After the conference the reviews will be finalized and accepted papers will appear as

      CALL FOR PAPERS - RESEARCH TRACK AGH and collaborating institutions invite you to submit your work to Lambda Days 2019 Research Track. After the conference the reviews will be finalized and accepted papers will appear as

      Add to Reading List

      Source URL: s3.amazonaws.com

      Language: English - Date: 2018-07-09 08:48:27
      78Getting to Work with OpenPiton  Princeton University http://openpiton.org  OpenPit

      Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

      Add to Reading List

      Source URL: parallel.princeton.edu

      Language: English - Date: 2017-02-16 15:26:27
      79Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

      Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

      Add to Reading List

      Source URL: arieg.bitbucket.io

      Language: English - Date: 2018-10-19 18:15:18
        80c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F

        c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F

        Add to Reading List

        Source URL: ndmitchell.com

        Language: English - Date: 2018-09-25 06:02:59