The W - PDFSEARCH.IO - Document Search Engine

The W
Results: 66254

#	Item
1	Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Randomized algorithms Computational complexity theory Mathematics Probabilistically checkable proof Complexity classes Interactive proof system IP NP Soundness PCP theorem Commitment scheme
2	Contact Information for Other State’s Safe at Home/ACP Programs Arizona Office of the Secretary of State 1901 W Madison St Phoenix, AZ1653 Add to Reading List Source URL: safeathome.iowa.gov Language: English - Date: 2016-03-22 14:59:53 Containers Privacy Crime prevention Address confidentiality program Criminal law Rape in the United States Human behavior Post-office box Confidentiality Freight transport Box ACP
3	Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2014-01-17 10:18:12 Cognitive science Neuroscience Neuropsychology Sleep Memory Sleep deprivation Procedural memory Motor learning Sleep in non-human animals Effects of sleep deprivation on cognitive performance Sleep and memory
4	March 11, 2016 The Honorable Timothy Massad, Chairman Commodity Futures Trading Commission Three Lafayette Centre 1155 21st Street, N.W. Washington, D.C Add to Reading List Source URL: www.wmbaa.com Language: English - Date: 2016-06-07 13:27:08 Economy Finance Money Swap Execution Facility Financial markets Systemic risk Commodity Futures Trading Commission DoddFrank Wall Street Reform and Consumer Protection Act SEF Swap Speculation Futures contract
5	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
6	http://ee-podcast.com/episodes/progressive-enhancement EE Podcast #63 Progressive Enhancement w/ EE [Music] Lea Alcantara: You are listening to the ExpressionEngine Podcast Episode #63, Progressive Enhancement with EE, Add to Reading List Source URL: www.ctrlclickcast.com Language: English - Date: 2012-02-23 14:00:52 Computing Software engineering Web design Web development Adaptive Web Design Usability Responsive web design Web accessibility Progressive enhancement JavaScript 11:59 Ajax
7	WYECIP Pre-Qualified Energy Services Company: About the ESCo Company Name: APOLLO SOLUTIONS GROUP Corporate Address: 1133 W COLUMBIA DRIVE, KENNEWICK WAAddress of Regional Office Serving Wyoming (if different than Add to Reading List Source URL: www.wyomingbusiness.org Language: English - Date: 2017-11-16 10:52:48 Energy Energy conservation Universe Sustainable energy Energy policy Energy efficiency Energy Savings Performance Contract Energy service company Renewable energy
8	Harnessing the Web for Population-Scale Physiological Sensing: A Case Study of Sleep and Performance Tim Althoff∗ Eric Horvitz Ryen W. White Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2017-02-24 19:26:38 Neuroscience Sleep Physiology Circadian rhythm Insomnia Chronotype Somnology Circadian rhythm sleep disorder Non-rapid eye movement sleep Delayed sleep phase disorder Actigraphy Effects of sleep deprivation in space
9	The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format w Add to Reading List Source URL: adl.github.io Language: English - Date: 2015-09-21 11:27:16 Finite automata Model checking -automaton Generalized Bchi automaton Bchi automaton Buchi Muller automaton Automata theory
10	Dr. Bremley W. B. Lyngdoh, Founder and Chief Executive of Worldview Impact Foundation Member of the Advisory Board Website: www.artport-project.org Add to Reading List Source URL: artport-project.org Language: English - Date: 2018-01-07 13:34:47 Natural environment Sustainable development Sustainable design Environmental design Charities Non-governmental organization