Building - PDFSEARCH.IO - Document Search Engine

Building
Results: 207051

#	Item
21	PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-12-15 10:57:28 Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism
22	July 24, 2018 The Honorable Marsha Blackburn, Chair The Honorable Michael Doyle, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Communications and Technology 2125 Rayburn House Office Building Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-07-24 14:23:03 Law Government Privacy Privacy of telecommunications Telephony Terms of service Federal Communications Commission Media regulation Electronic Privacy Information Center Data retention Ajit Pai Internet privacy
23	July 10, 2018 The Honorable Marsha Blackburn, Chairman The Honorable Michael Doyle, Ranking Member House Committee on Energy and Commerce Subcommittee on Communications and Technology 2322 Rayburn House Office Building Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-07-10 17:07:47 Privacy of telecommunications Law Customer proprietary network information Telemarketing Telephony Privacy Government Terms of service Electronic Privacy Information Center Internet privacy Federal Communications Commission CPNI
24	Conflict Minerals Policy Introduction McLaren Applied Technologies (MAT) is committed to preventing conflict, building stability overseas, improving the protection of human rights and the rule of law. To this end, MAT ac Add to Reading List Source URL: static-mat-cdn.mclaren.com Language: English - Date: 2018-10-22 11:29:09 Conflict resource Minerals World Geography of Africa Africa Mining Democratic Republic of the Congo
25	Fastly for Magento Accelerate and protect your online store with Fastly A Premier Technology Partner for CDN You’ve invested considerable time and money building your online store on Add to Reading List Source URL: www.fastly.com Language: English - Date: 2018-04-20 17:06:08 Computing Concurrent computing Distributed computing EBay Magento Content delivery networks E-commerce Computer networking Fastly Online shopping
26	Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS Bo-Yin Yang1 and Jiun-Ming Chen2 1 Dept. of Mathematics, Tamkang University, Tamsui, Taiwan Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:43 Algebra Mathematics Linear algebra Unbalanced Oil and Vinegar Kernel Quadratic form Rank Eigenvalues and eigenvectors Linear map Matrix Hidden Field Equations
27	United States Department of Agriculture Agricultural Marketing Service National Organic Program 1400 Independence Avenue SW. Room 2646-South Building Add to Reading List Source URL: www.ams.usda.gov Language: English - Date: 2015-07-13 13:41:35 Product certification Organic farming Agriculture in the United States Natural environment Agriculture Ecolabelling Organic certification National Organic Program Organic Foods Production Act Organic food Organic product Agricultural Marketing Service
28	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
29	October 4, 2018 Honourable Don Morgan, Q.C. Minister of Justice and Attorney General Room 355, Legislative Building 2405 Legislative Drive Regina, SK S4S 0B3 Add to Reading List Source URL: www.acpm.com Language: English - Date: 2018-10-04 09:15:02 Economy Money Finance Pensions Actuarial science Solvency ratio Defined benefit pension plan Solvency II Directive
30	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software