Monopoly without a Monopolist: An Economic Analysis of the Bitcoin Payment System∗ Gur Huberman Jacob D. Leshno

Source URL: moallemi.com

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Blockchains
• Economy
• Money
• Currency
• Digital currencies
• Ethereum
• RootStock
• Draft:Lightning Bitcoin
• Bitcoin Cash

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Logic in computer science
• Automated theorem proving
• Reasoning
• Program analysis
• Natural deduction
• Logical framework
• Resolution
• First-order logic

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

Full-System Power Analysis and Modeling for Server Environments Dimitris Economou, Suzanne Rivoire, Christos Kozyrakis Partha Ranganathan

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Computer architecture
• Server hardware
• Cluster computing
• Computers and the environment
• Blade server
• Server
• Power management
• Data center
• Itanium
• Embedded system

A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1

Source URL: www.lix.polytechnique.fr

• Dynamical systems
• Systems science
• Systems theory
• Differential equations
• Control theory
• Hybrid system
• Metabolism
• Ariadne
• Verification
• Nonlinear system
• Coq
• Coenzyme Q10

UNCTAD Toolbox Section 2 - Tackling vulnerabilities, building resilience - DMFAS - Debt Management and Financial Analysis System

Source URL: unctad.org

Methods in Ecology and Evolution 2012, 3, 813–822 doi: j.2041-210Xx A computer-assisted system for photographic mark–recapture analysis

Source URL: www.wildnatureinstitute.org

Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

Source URL: iea.lth.se

User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002

Source URL: www.jcprg.org

Image analysis for automated detection of plant disease in field In the project EnBlightMe! researchers at SLU Alnarp together with IBM Sweden want to develop a support system for farmers packaged as an easy-to-use appli

Source URL: www.plantlink.se