IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
181	19 JULY Sidechain Stage 10:00 Add to Reading List Source URL: www.dappcon.io Language: English - Date: 2018-08-06 09:10:20 Blockchains Cryptocurrencies Concurrent computing Cross-platform software Ethereum Decentralized application
182	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
183	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
184	PDF Document Add to Reading List Source URL: kadena.io Language: English - Date: 2018-05-11 18:40:04 Cryptocurrencies Blockchains Bitcoin Computing Alternative currencies Concurrent computing Distributed computing Cross-platform software Ethereum Aion Network ternity
185	Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Training test and validation sets Validity Probability distribution Artificial intelligence Cognition Cognitive science Computational neuroscience
186	One project, One currency, Many advantages What is One Solution? An ecosystem combining within itself a decentralized fund for cryptocurrency investing, our own cryptocurrency possessing unique features, as well as a st Add to Reading List Source URL: 1solution.io Language: English - Date: 2018-10-23 14:24:48 Digital media World Wide Web Cryptocurrencies Decentralization Financial technology Uberisation Everipedia Economy
187	Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Declarative programming Software engineering Theoretical computer science Constraint programming Logic programming Programming paradigms Formal methods Constraint logic programming Loop invariant Interpolation Abstract interpretation CLP
188	BUILDING A REGULATED INVESTMENT PLATFORM AND SECURITY TOKEN EXCHANGE FOR START-UPS AND SMEs Q4 2018 Disclaimer Add to Reading List Source URL: kambio.io Language: English - Date: 2018-10-18 01:47:00 Stock market Finance Initial public offering 73rd United States Congress U.S. Securities and Exchange Commission Prospectus Securities Act Initial coin offering Security Money Economy
189	Quarterly Report Q4 2017 Add to Reading List Source URL: district0x.io Language: English - Date: 2018-10-25 10:28:45 Cryptocurrencies Blockchains Concurrent computing Ethereum Computing Distributed computing Decentralization Cross-platform software Kin Decentralized application Everipedia
190	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar