101![Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada. Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.](https://www.pdfsearch.io/img/b32f597f0b4f45200eff39e9e0457899.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-16 07:11:20
|
---|
102![HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer](https://www.pdfsearch.io/img/c8e5c9205a62748b42451c9e44ce73f4.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:58:27
|
---|
103![Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/976386aff3099106e83c796fea8d4cf5.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 10:21:43
|
---|
104![The Alan Turing Institute SME Consultation Understanding the data science and artificial intelligence (AI) needs of UK SMEs The Alan Turing Institute has commenced work to better understand and engage with small and medi The Alan Turing Institute SME Consultation Understanding the data science and artificial intelligence (AI) needs of UK SMEs The Alan Turing Institute has commenced work to better understand and engage with small and medi](https://www.pdfsearch.io/img/ce649d4851df68e3e3c5ea1697cceb56.jpg) | Add to Reading ListSource URL: www.turing.ac.ukLanguage: English - Date: 2018-10-18 12:34:48
|
---|
105![High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA](https://www.pdfsearch.io/img/37f8e3f8e3730ba2d241492a9cd7f390.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-07-09 00:19:47
|
---|
106![University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ](https://www.pdfsearch.io/img/7ae1d03716df140b9fe29ad7441e8763.jpg) | Add to Reading ListSource URL: db.cs.washington.eduLanguage: English - Date: 2018-10-11 15:27:57
|
---|
107![Publication list We list below the publications acknowledging Milyon. They are sorted by • Papers published in peer-reviewed journals extracted from Web of Science database and mentioning Milyon in the text. • Paper Publication list We list below the publications acknowledging Milyon. They are sorted by • Papers published in peer-reviewed journals extracted from Web of Science database and mentioning Milyon in the text. • Paper](https://www.pdfsearch.io/img/3a24a48bedd5fd9b10d24a21ca0bda48.jpg) | Add to Reading ListSource URL: milyon.universite-lyon.frLanguage: English - Date: 2018-10-18 05:08:08
|
---|
108![Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48 Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48](https://www.pdfsearch.io/img/c3a85d429eaf17a76d11f9b56783a552.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2011-03-10 12:58:06
|
---|
109![Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International](https://www.pdfsearch.io/img/19e22d635dbbd0f9a2a2f2689a294366.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:01
|
---|
110![Learning Outcomes for the Master of Science in Psychology National Qualification Framework for Iceland Master of Science in Psychology at Reykjavik University The Master of Science (MSc) in Psychology at Reykjavík Unive Learning Outcomes for the Master of Science in Psychology National Qualification Framework for Iceland Master of Science in Psychology at Reykjavik University The Master of Science (MSc) in Psychology at Reykjavík Unive](https://www.pdfsearch.io/img/2946a065720237eda4d3f6322b980371.jpg) | Add to Reading ListSource URL: en.ru.isLanguage: English - Date: 2017-06-26 10:42:35
|
---|