J - PDFSEARCH.IO - Document Search Engine

J
Results: 175847

#	Item
21	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
22	THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella Add to Reading List Source URL: www.paccar.ethz.ch Language: English - Date: 2007-10-12 07:51:18 Energy Universe Transport economics Transport Energy conservation Energy economics Pac-car II Aerodynamics Energy-efficient driving Lino Guzzella Shell Eco-marathon Fuel efficiency
23	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-08-15 15:49:44 Futures markets Commodity Futures Trading Commission CFTC Futures contract SEF Finance Money Swap Execution Facility
24	Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Distributed computing architecture Parallel computing MapReduce Certificate IP NP Commitment scheme PP Computational complexity theory
25	Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r V.1 . 4 L a s t u p d at e d 1 7 O C T SU B J Add to Reading List Source URL: www.hedera.com Language: English - Date: 2018-10-17 22:19:08 Cryptocurrencies Blockchains Concurrent computing Computing Hashgraph Distributed ledger Ethereum Hedera NEO Smart contract Draft:Hedera Hashgraph
26	ARTICLE IN PRESS Int. J. Human-Computer Studies–700 Supporting serendipitous integration in mobile computing environments Add to Reading List Source URL: trevor.smith.name Language: English - Date: 2012-11-23 14:19:46 Computing System software Information and communications technology User interface techniques Network protocols Digital media Mobile content Universal Plug and Play User interface Ubiquitous computing Personal computer User
27	Security Bounds for the NIST Codebook-based Deterministic Random Bit Generator Matthew J. Campagna Secure Systems Pitney Bowes Inc. Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-11-01 07:43:52 Cryptography National Institute of Standards and Technology Block cipher Advantage Random number generation RSA Pseudorandom number generators Dual EC DRBG
28	Tradition SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-06-19 16:23:28 Financial regulation Finance Commodity Futures Trading Commission SEF Commodity Exchange Act Securities Exchange Act CFTC Futures contract Economy of the United States Swap Execution Facility Commodity markets
29	High-Frequency Trading in the U.S. Treasury Market around Macroeconomic News Announcements George J. Jiang Washington State University Ingrid Lo Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-08-16 22:14:26 Financial markets Finance Money Economy Share trading High-frequency trading Market liquidity Order
30	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