FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
31	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, Add to Reading List Source URL: kadena.io Language: English - Date: 2018-05-11 18:40:04 Cryptocurrencies Computing Concurrent computing Money Bitcoin SegWit Blockchain Merkle tree Proof-of-stake Lightning Network Peercoin Ethereum
32	Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-08-29 07:14:47 Economy Business intelligence Finance Money Learning analytics Predictive analytics Analytics in higher education Analytics Usability Business analytics Architectural pattern Educational technology
33	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
34	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
35	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 04:52:12 Mathematical analysis Functional analysis Metaphysics Stochastic processes Distribution Stochastic simulation Dynamical system
36	GEMS ELECTION RESULTS Election Summary Report March 6, 2012 Scioto County Primary Summary For 1 PORTSMOUTH 1-A, All Counters, All Races Scioto County Primary Add to Reading List Source URL: scioto.ohioboe.com Language: English - Date: 2017-04-21 08:49:01
37	Smaller than a matchbox: MOPA for "FreshScan" Add to Reading List Source URL: www.berlin.de Language: German
38	A Family of Provably Correct Algorithms for Exact Triangle Coun;ng Ma=hew Lee, Tze Meng Low Correctness 2017 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13
39	For Immediate Release TENCENT ANNOUNCES 2017 THIRD QUARTER RESULTS Hong Kong, NOVEMBER 15, 2017 – Tencent Holdings Limited (―Tencent‖ or the ―Company‖, 00700.hk), a leading provider of Internet value added ser Add to Reading List Source URL: www.tencent.com Language: English - Date: 2018-07-12 03:03:14 Economy Business Tencent Cash flow Profit Income statement WeChat Ma Huateng International Financial Reporting Standards Balance sheet Earnings before interest taxes depreciation and amortization Free cash flow
40	For Immediate Release TENCENT ANNOUNCES 2015 SECOND QUARTER AND INTERIM RESULTS Hong Kong, August 12, 2015 – Tencent Holdings Limited (“Tencent” or the “Company”, SEHK 00700), a leading provider of Internet se Add to Reading List Source URL: www.tencent.com Language: English - Date: 2018-07-12 03:03:11 Economy Business Accounting Tencent Instant messaging clients Cash flow Profit Ma Huateng Earnings before interest taxes depreciation and amortization WeChat Income statement Financial ratio

UPDATE