Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
541	Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Combinatorial Auctions Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-11-22 12:30:24 Mechanism design Mathematics Game theory Auction theory Mathematical analysis Auctions VickreyClarkeGroves auction Vickrey auction Decision theory Valuation
542	William D. Gropp Thomas M. Siebel Chair in Computer Science Department of Computer Science Director, Parallel Computing Institute Chief Scientist, National Center for Supercomputing Applications University of Illinois at Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-06-12 16:15:52 Computing Computer programming Computer science Parallel computing Bill Gropp Application programming interfaces Message Passing Interface Portable Extensible Toolkit for Scientific Computation Fellows of the American Association for the Advancement of Science MPICH Sidney Fernbach Award Jack Dongarra
543	medline_scalability_avg_computation_time_per_number_of_keyword_for_qs_approach.eps Add to Reading List Source URL: ipubmed.ics.uci.edu Language: English - Date: 2014-04-16 01:04:22 Software engineering Computing Information science Reserved word Trie Web search query Search engine indexing Web search engine Bin Distributed data storage Negative keyword
544	Quantifying the Rise and Fall of Complexity in Closed Systems: The Coffee Automaton Scott Aaronson∗ Sean M. Carroll† Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-05-27 14:31:46 Information theory Randomness Metaphysics Theoretical computer science Theory of computation Entropy Kolmogorov complexity Sophistication Complexity Random sequence Algorithmic information theory Mutual information
545	FLANNEL: Adding computation to electronic mail during transmission Victoria Bellotti†, Nicolas Ducheneaut†¥, Mark Howard†, Christine Neuwirth, Ian Smith†, Trevor Smith† † ¥ Add to Reading List Source URL: trevor.smith.name Language: English* - Date: 2012-11-23 14:19:46 Email Computing Cyberspace Computer-mediated communication Simple Mail Transfer Protocol MIME Outlook.com Gmail Message transfer agent HTML email Short Message Service Mailbox provider
546	1968 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 7, JULY 2014 Holding Time Maximization Preserving Output Performance for Timed Event Graphs Add to Reading List Source URL: www.control.tu-berlin.de Language: English - Date: 2015-03-26 11:31:05 Mathematical analysis Academia Mathematics Models of computation Control theory Matrix Petri net Perturbation theory Mathematical optimization Transfer function
547	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
548	An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2016-06-30 02:06:10 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
549	Enigma: Decentralized Computation Platform with Guaranteed Privacy Guy Zyskind Oz Nathan Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2015-06-27 14:46:30 Cryptocurrencies Cryptography Computing E-commerce Blockchain Ethereum Secure multi-party computation Secret sharing Smart contract Bitcoin Distributed hash table Shadow
550	Coalition for Academic Scientific Computation Coalition for Academic Scientific Computation CASC Add to Reading List Source URL: casc.org Language: English - Date: 2010-11-22 08:37:53 CASC TeraGrid Computational science Grid computing Computing Renaissance Computing Institute

UPDATE