SUMIT - PDFSEARCH.IO - Document Search Engine

SUMIT
Results: 229

#	Item
91	Worlddiabetesfoundation African Sumit on Diabetes 2007 Add to Reading List Source URL: www.changingdiabetesaccess.com Language: English - Date: 2013-12-02 17:03:51
92	Branching vs. Linear Time: Semantical Perspective Version 1.2 ⋆ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science, Houston, TX, USA Abstract. The discussion in the computer-scien Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-08-06 18:57:31
93	Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:19 Dimension Affine space Affine arithmetic Expected value Randomized algorithm Affine connection Conditional expectation Affine geometry Mathematics Mathematical analysis
94	10 Decriminalisation of consensual same-sex sexual acts in the South Asian Commonwealth: struggles in contexts Sumit Baudh Introduction Add to Reading List Source URL: sas-space.sas.ac.uk Language: English - Date: 2015-03-03 12:07:11 LGBT rights Sex laws Discrimination law Yogyakarta Principles Hijra Sodomy law LGBT rights in the Commonwealth of Nations LGBT Gender Sexual orientation
95	Automating Repetitive Tasks for the Masses Sumit Gulwani Microsoft Research Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-11-03 14:12:29 Software Domain-specific language End-user development Programming language Programming by example Software framework Program synthesis Abstraction User interface Software engineering Computing Programming paradigms
96	LaSEWeb: Automating Search Strategies over Semi-Structured Web Data Oleksandr Polozov Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-17 17:17:21 Internet search engines SUMIT Data mining BASE Web search engine Information science Information retrieval Science
97	Synthesis From Examples: Interaction Models and Algorithms (Invited Talk Paper) Sumit Gulwani Microsoft Research Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-12-28 19:34:50 Electronic design automation Bass New Wave music Synthesizer Satisfiability Modulo Theories Spreadsheet Algorithm Function Mathematics Theoretical computer science Applied mathematics
98	NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation Sumit Gulwani Mark Marron Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-04 14:26:05 Spreadsheet Formal languages Microsoft Excel Algorithm Regular expression ALGOL 68 Dynamic programming Eval Formula Computing Software engineering Mathematics
99	Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 11:35:08 Applied mathematics Deterministic finite automaton DFA minimization Nondeterministic finite automaton Regular expression DFA Records Normal distribution Regular language Structure Automata theory Theoretical computer science Computer science
100	Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems∗ Sumit Gulwani Microsoft Research, Redmond Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-04-25 18:08:10 Software Domain-specific language Spreadsheet End-user development Program synthesis Algorithm Programming by example Programming Language Design and Implementation Synthesizer Software engineering Computing Programming paradigms

UPDATE