51![Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth](https://www.pdfsearch.io/img/9e57e21ff957b35b0e855d81469764b1.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-03-19 06:17:12
|
---|
52![Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst](https://www.pdfsearch.io/img/969c6572af404f635aec7bdea5267137.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
53![Formal Speci
cation of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger Formal Speci
cation of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger](https://www.pdfsearch.io/img/30a16c2939de92e7f15b5f62dea331cd.jpg) | Add to Reading ListSource URL: staff.washington.eduLanguage: English - Date: 2015-02-13 17:16:24
|
---|
54![FOR RELEASE MAY 10, 2017 BY Michael Barthel and Amy Mitchell FOR MEDIA OR OTHER INQUIRIES: Amy Mitchell, Director, Journalism Research FOR RELEASE MAY 10, 2017 BY Michael Barthel and Amy Mitchell FOR MEDIA OR OTHER INQUIRIES: Amy Mitchell, Director, Journalism Research](https://www.pdfsearch.io/img/a007c5944105cfcc043e965a8a432ffc.jpg) | Add to Reading ListSource URL: www.journalism.orgLanguage: English - Date: 2018-09-13 15:12:19
|
---|
55![Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW](https://www.pdfsearch.io/img/28150810cacc4d15857f96c40d1ea718.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2016-05-19 17:03:48
|
---|
56![Automated Diagnosis of Software Configuration Errors Sai Zhang Michael D. Ernst Automated Diagnosis of Software Configuration Errors Sai Zhang Michael D. Ernst](https://www.pdfsearch.io/img/690a0d4815197fc266aa9ea3bbd0e1e7.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
57![Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya](https://www.pdfsearch.io/img/7f3518ec8a101210a03968b1fa432ffd.jpg) | Add to Reading ListSource URL: mlq.meLanguage: English - Date: 2018-08-17 12:03:32
|
---|
58![NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology](https://www.pdfsearch.io/img/059df221089b28bf84bede2c7c6e9403.jpg) | Add to Reading ListSource URL: mlq.meLanguage: English - Date: 2018-08-17 12:03:32
|
---|
59![Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4](https://www.pdfsearch.io/img/5dda0dd931dd5d64b83f808f4853b5c7.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
60![Automatically Composing Representation Transformations as a Means for Generalization Michael Chang 1 Abhishek Gupta 1 Sergey Levine 1 Thomas L. Griffiths 1 Abstract Automatically Composing Representation Transformations as a Means for Generalization Michael Chang 1 Abhishek Gupta 1 Sergey Levine 1 Thomas L. Griffiths 1 Abstract](https://www.pdfsearch.io/img/5048dd7f3754c36bc2f761b95d2116c6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-07-12 20:41:14
|
---|