Alex - PDFSEARCH.IO - Document Search Engine

Alex
Results: 7987

#	Item
31	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
32	1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† † Add to Reading List Source URL: mbernhard.com Language: English - Date: 2016-09-21 15:16:43 Microsoft Windows Computer security System software Cryptographic software Disk encryption Trusted computing Kiosks Windows Vista Kiosk software Trusted Platform Module Interactive kiosk Next-Generation Secure Computing Base
33	Explaining Reviews and Ratings with PACO: Poisson Additive Co-Clustering Chao-Yuan Wu∗ Alex Beutel∗ Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:24:10 Cluster analysis Infinitely divisible probability distributions Poisson distribution Biclustering Probability distribution Sampling Mathematics Analysis Probability and statistics
34	The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2 Add to Reading List Source URL: blockchain.princeton.edu Language: English - Date: 2018-09-26 16:49:38 Bitcoin Cryptocurrencies Free software Money Economy Alternative currencies Digital currencies Decentralization SegWit Blockchain Mining pool Satoshi Nakamoto
35	On First-Order Meta-Learning Algorithms arXiv:1803.02999v3 [cs.LG] 22 Oct 2018 Alex Nichol and Joshua Achiam and John Schulman OpenAI Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-22 21:09:49 Numerical analysis Mathematical analysis Mathematical optimization Generalized functions Distribution Functional analysis Stochastic gradient descent Gradient descent
36	The Honorable Secretary Alex Azar U.S. Department of Health and Human Services Hubert H. Humphrey Building 200 Independence Avenue S.W. Washington, D.C Add to Reading List Source URL: www.plannedparenthoodaction.org Language: English - Date: 2018-06-04 20:30:58 Health Planned Parenthood Women's health Family planning Preventive healthcare Mayor Title X Health care Michael Bloomberg
37	Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:44:46 Model checkers Software testing Software engineering Concurrent computing Model checking Promela SPIN model checker Probability and statistics Statistical theory Random testing Java Pathfinder Actor model
38	Understanding the Mirai Botnet Manos Antonakakis Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein◦ Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi◦ Michalis Kallitsis§ Deepak Kumar Add to Reading List Source URL: mbernhard.com Language: English - Date: 2017-08-15 20:35:58 Botnets Computing Cybercrime Cyberwarfare Denial-of-service attacks Linux malware Computer network security Mirai BASHLITE Internet of things TR-069 Denial-of-service attack
39	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:44:06 Logic Mathematical logic Theoretical computer science FO Finite model theory Predicate transformer semantics Model theory Substitution
40	Leveraging Internet Background Radiation for Opportunistic Network Analysis Karyn Benson∗† , Alberto Dainotti† , kc claffy† , Alex C. Snoeren∗ , Michael Kallitsis‡ ∗ Computer Science and Engineering, UC Sa Add to Reading List Source URL: www.caida.org Language: English - Date: 2018-09-13 19:48:51