Model - PDFSEARCH.IO - Document Search Engine

Model
Results: 136453

#	Item
1	BLOCK ONE CAPITAL, INC. • FOR PUBLIC RELEASE 1 A simple model of bitcoin mining Dr. Pratheev Sreetharan and Dr. Sivakumar Arumugam Add to Reading List Source URL: www.blockonecap.com Language: English - Date: 2018-09-05 23:05:42 Cryptocurrencies Bitcoin Alternative currencies Currency Money Digital currencies Economy Mining pool Blockchain.info Ghash.io
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 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Sequence LOOP Constructible universe Ground expression
3	Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computational fluid dynamics Modeling and simulation ADCIRC Computational science Physical oceanography Data parallelism Numerical modeling Conceptual model Application software Applied mathematics
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 Add to Reading List Source URL: report.ipcc.ch Language: English - Date: 2018-10-15 09:47:54 Climate change Climate change mitigation Climatology Physical geography Carbon dioxide Climate engineering Bio-energy with carbon capture and storage Biomass Climate change policy Low-carbon economy Global warming
5	A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2018-01-15 14:25:42 Software engineering C++ Computing Computer programming Pointer Const Undefined behavior C dynamic memory allocation Data type Optimizing compiler C++11 Stack
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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
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 Add to Reading List Source URL: www.ifca.ai Language: English - Date: 2016-02-08 20:23:36 Cryptocurrencies Bitcoin Neuroscience Alternative currencies Economy Mining pool Money Reward system
8	National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Climate modeling Physical oceanography Community Earth System Model Application software Software quality MX
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 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory