MICHAEL - PDFSEARCH.IO - Document Search Engine

MICHAEL
Results: 62683

#	Item
51	Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-03-19 06:17:12 Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal
52	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming
53	Formal Specication of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:16:24 Radiobiology Radiation therapy Radioactivity Medical prescription Health Medicine Physics
54	FOR RELEASE MAY 10, 2017 BY Michael Barthel and Amy Mitchell FOR MEDIA OR OTHER INQUIRIES: Amy Mitchell, Director, Journalism Research Add to Reading List Source URL: www.journalism.org Language: English - Date: 2018-09-13 15:12:19 Political parties in the United States Political parties Public opinion Republican Party News media in the United States Opinion poll Democratic Party News media The Pew Charitable Trusts Conservatism Politics of the United States Media bias in the United States
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 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-05-19 17:03:48 Mathematics Multiplication Polynomials Algebra Multiplication algorithm Computer algebra ToomCook multiplication Karatsuba algorithm Degree of a polynomial Finite field Remainder Computational complexity of mathematical operations
56	Automated Diagnosis of Software Configuration Errors Sai Zhang Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Computing Software engineering SQL keywords Software Debugging Grammar Predicate Semantics Null Error Where Extensible Storage Engine
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 Add to Reading List Source URL: mlq.me Language: English - Date: 2018-08-17 12:03:32 Computer architecture Computing Computer hardware Central processing unit X86 architecture Computer memory Side-channel attacks Virtual memory Translation lookaside buffer CPU cache Meltdown Spectre
58	NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology Add to Reading List Source URL: mlq.me Language: English - Date: 2018-08-17 12:03:32 Computer hardware Computer architecture Computing Side-channel attacks Computer security X86 architecture Central processing unit Computer memory Spectre Microarchitecture CPU cache Meltdown
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 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Computer programming Software engineering Operator theory Fortran OpenMP Parallel computing Hermitian adjoint Adjoint
60	Automatically Composing Representation Transformations as a Means for Generalization Michael Chang 1 Abhishek Gupta 1 Sergey Levine 1 Thomas L. Griffiths 1 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-07-12 20:41:14 Applied mathematics Mathematics Artificial intelligence Computational neuroscience Artificial neural networks Theoretical computer science Machine learning Cybernetics Deep learning Recurrent neural network Feature learning Recursion