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 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](https://www.pdfsearch.io/img/c8992c13edcdc967e8c38dd7801628c9.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:15
|
---|
32![1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† † 1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† †](https://www.pdfsearch.io/img/1e4a22f910511891861efd5328400e24.jpg) | Add to Reading ListSource URL: mbernhard.comLanguage: English - Date: 2016-09-21 15:16:43
|
---|
33![Explaining Reviews and Ratings with PACO: Poisson Additive Co-Clustering Chao-Yuan Wu∗ Alex Beutel∗ Explaining Reviews and Ratings with PACO: Poisson Additive Co-Clustering Chao-Yuan Wu∗ Alex Beutel∗](https://www.pdfsearch.io/img/b2608325c67d3f63e1798f489b3c2941.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:24:10
|
---|
34![The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2 The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2](https://www.pdfsearch.io/img/6622d2e5fdb04185b83bd47cdb576a6a.jpg) | Add to Reading ListSource URL: blockchain.princeton.eduLanguage: English - Date: 2018-09-26 16:49:38
|
---|
35![On First-Order Meta-Learning Algorithms arXiv:1803.02999v3 [cs.LG] 22 Oct 2018 Alex Nichol and Joshua Achiam and John Schulman OpenAI On First-Order Meta-Learning Algorithms arXiv:1803.02999v3 [cs.LG] 22 Oct 2018 Alex Nichol and Joshua Achiam and John Schulman OpenAI](https://www.pdfsearch.io/img/13184051945d32d4028874a9b7ecd1ae.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-10-22 21:09:49
|
---|
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 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](https://www.pdfsearch.io/img/0ab91976f900a66ca118ee0e7c6f82c8.jpg) | Add to Reading ListSource URL: www.plannedparenthoodaction.orgLanguage: English - Date: 2018-06-04 20:30:58
|
---|
37![Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi](https://www.pdfsearch.io/img/63546cd53e417f39d19acb5a62627b15.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:44:46
|
---|
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 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](https://www.pdfsearch.io/img/5d0042342837a52766710a78449236e4.jpg) | Add to Reading ListSource URL: mbernhard.comLanguage: English - Date: 2017-08-15 20:35:58
|
---|
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 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](https://www.pdfsearch.io/img/8fcffa9a6e4be791e55c05343db5b4fa.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:44:06
|
---|
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 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](https://www.pdfsearch.io/img/f994a86f33631e8305df150ec5ed46d1.jpg) | Add to Reading ListSource URL: www.caida.orgLanguage: English - Date: 2018-09-13 19:48:51
|
---|