1![BLOCK ONE CAPITAL, INC. • FOR PUBLIC RELEASE 1 A simple model of bitcoin mining Dr. Pratheev Sreetharan and Dr. Sivakumar Arumugam BLOCK ONE CAPITAL, INC. • FOR PUBLIC RELEASE 1 A simple model of bitcoin mining Dr. Pratheev Sreetharan and Dr. Sivakumar Arumugam](https://www.pdfsearch.io/img/1fd2b7db278cec6a40faf95659e3f756.jpg) | Add to Reading ListSource URL: www.blockonecap.comLanguage: English - Date: 2018-09-05 23:05:42
|
---|
2![Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa](https://www.pdfsearch.io/img/9d9970eea6adb650f1509e22d1806fa1.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
3![Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1](https://www.pdfsearch.io/img/e99358932f209558a8a643d900acea27.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
4![Characteristics of four illustrative model pathways Different mitigation strategies can achieve the net emissions reductions that would be required to follow a pathway that limits global warming to 1.5°C with no or limi Characteristics of four illustrative model pathways Different mitigation strategies can achieve the net emissions reductions that would be required to follow a pathway that limits global warming to 1.5°C with no or limi](https://www.pdfsearch.io/img/5c1933aee5c7b20ab728c8ef77a1c7fb.jpg) | Add to Reading ListSource URL: report.ipcc.chLanguage: English - Date: 2018-10-15 09:47:54
|
---|
5![A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗ A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗](https://www.pdfsearch.io/img/bdb286b4a904a6fb91a50d53acc5140f.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2018-01-15 14:25:42
|
---|
6![Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie](https://www.pdfsearch.io/img/8cc76216db056f74ec7f3237076326de.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
7![Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward](https://www.pdfsearch.io/img/63c538fe076c75236220a7234ba505da.jpg) | Add to Reading ListSource URL: www.ifca.aiLanguage: English - Date: 2016-02-08 20:23:36
|
---|
8![National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker](https://www.pdfsearch.io/img/dc94c774ad02ccbcaf45fe5d90a52c1b.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
9![Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1](https://www.pdfsearch.io/img/f7ae923ee352f7ed8b6a0ced04a7f550.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
10![PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2](https://www.pdfsearch.io/img/1c2dcece67223b6b09e72bbc1ed51f6f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-01-13 05:57:32
|
---|