A.a.s - PDFSEARCH.IO - Document Search Engine

A.a.s
Results: 377532

#	Item
91	Q2 2018 FI N A N C I A L RES ULTS S A L ES WORL DWI D E $ 7.8 Add to Reading List Source URL: dam.abbott.com Language: English - Date: 2018-07-18 07:56:38 Abbott Forward-looking statement Glucose
92	Smart Contracts for Bribing Miners Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn University College London {p.mccorry,alexander.hicks.16,s.meiklejohn}@ucl.ac.uk Abstract. We present three smart contracts that a Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Bitcoin Blockchains Economy Money Computing Alternative currencies Digital currencies Ethereum Fork Mining pool Smart contract
93	ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2014-11-25 15:38:07 Algebra Abstract algebra Mathematics Algebraic geometry Cohomology theories Homological algebra Sheaf theory Algebraic topology Divisor tale cohomology Chow group Sheaf
94	Meteor Showers Used To Measure Age of Earth 6 No Meteorites! Meteor Showers Used To Measure Age of Earth Ackerman in chapter two of It’s A Young Earth After Add to Reading List Source URL: www.jesuswordsonly.com Language: English - Date: 2009-05-12 21:09:36 Nature Astrobiology Astronomy Planetary science Geology Geophysics Meteorite Age of the Earth Panspermia Meteoroid Impact event Iron meteorite
95	12 September 2018 COAR Response to Plan S The Confederation of Open Access Repositories (COAR) welcomes the strong stance taken towards open access by a coalition of 11 Europ Add to Reading List Source URL: www.coar-repositories.org Language: English - Date: 2018-09-12 04:34:14 Academic publishing Publishing Knowledge Open access Communication Research Human behavior Institutional repository Gttingen State and University Library Open-access repository Plan S
96	A Projective Geometry Architecture for Scientific Computation Bharadwaj S . Amrutur Rajeev Joshi Narendra K. Karmarkar Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 20:40:57 Computer architecture Parallel computing Mathematics Algebra Projective geometry Instruction set architectures Vector processor Projective space ARM architecture Module Vector space MIMD
97	Making Middleboxes Someone Else’s Problem: Network Processing as a Cloud Service Justine Sherry Shaddi Hasan Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2012-11-27 04:23:35 Computer network security IT infrastructure Computing Cloud infrastructure Information and communications technology Middlebox Cloud computing Akamai Technologies Network address translation Gateway Computer network
98	Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:17:20 Mathematics Graph theory Discrete mathematics Mathematical logic Wellfoundedness Logic in computer science Rewriting Kruskal's tree theorem Graph
99	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-06-09 05:24:28 Mathematical logic Mathematics Theoretical computer science Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem 120-cell Predicate
100	EOS D R A F T . TRIBE C O N S T I T U T I O N Add to Reading List Source URL: eostribe.io Language: English - Date: 2018-04-17 06:31:10 Blockchains Cryptocurrencies EOS.IO Eos Greek mythology