Microsoft Research - PDFSEARCH.IO - Document Search Engine

Microsoft Research
Results: 27951

#	Item
1	Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Algebra Abstract algebra Lie groups Non-associative algebras XTR Mutation Spectral theory
2	Microsoft Word - Category representation and response location shifts in category learning.psych research.r1.submitted Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2014-01-17 10:18:12 Neuroscience Neuropsychology Psychology Cognitive science Educational psychology Intelligence Learning Neuropsychological assessment Systems science Salience
3	Microsoft Word - Pew Research Center Democracy Report FINAL Add to Reading List Source URL: www.pewglobal.org Language: English - Date: 2018-09-13 15:08:21 Culture Television in South Korea 100% Hits Mass media Astronomy Day
4	Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:36 Cryptography Secure communication Message authentication codes Transport Layer Security Cryptographic protocols Internet Standards Cipher suite Authenticated encryption Poly1305 Galois/Counter Mode OpenSSL Key generation
5	Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Scheme Regular expression Eval String Parameter Supervised learning
6	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving NP-complete problems Electronic design automation Formal methods Conflict-driven clause learning Boolean satisfiability problem Clause Unit propagation
7	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
8	REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2018-10-23 14:59:27 Computing Programming language implementation Parallel computing Debugging Optimizing compiler X86 Computer engineering
9	WebRelate: Integrating Web Data with Spreadsheets using Examples JEEVANA PRIYA INALA, MIT, USA RISHABH SINGH, Microsoft Research, USA Data integration between web sources and relational data is a key challenge faced by d Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Spreadsheet Regular expression Domain-specific language Data transformation Web scraping String Computer Scheme
10	CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:34 Opteron Central processing unit Parallel computing Run-time estimation of system and sub-system level power consumption