Deshmukh - PDFSEARCH.IO - Document Search Engine

Deshmukh
Results: 72

#	Item
1	Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematical logic Theoretical computer science Mathematics Formal methods Boolean algebra Temporal logic Edsger W. Dijkstra Predicate transformer semantics Model theory Hoare logic True quantified Boolean formula Linear temporal logic
2	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Semi-Supervised Transfer Learning Using Marginal Predictors Deshmukh, A.; Laftchiev, E. Add to Reading List Source URL: www.merl.com Language: English - Date: 2018-07-03 10:48:57
3	1 Regular Functions and Cost Register Automata Rajeev Alur∗ , Loris D’Antoni∗ , Jyotirmoy Deshmukh† , Mukund Raghothaman∗ and Yifei Yuan∗ ∗ University of Pennsylvania † Toyota Technical Center (Invited P Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2018-05-22 15:05:38
4	Internship Report Deep Learning for Activity Classification in Egocentric Videos Vardaan Pahuja Mentor: Dr. Arijit Biswas and Dr. Om Deshmukh Xerox Research Center India Add to Reading List Source URL: vardaan123.github.io Language: English - Date: 2018-06-12 17:41:08
5	Some references to Cercarial Dermatitis or Swimmer’s Itch Adams, M. PThe 1945 water itch eradication program. Michigan Public Health 33:123125, 128. Agrawal, M. C., S. Pandey, S. Sirmour, and P. S. Deshmukh. 20 Add to Reading List Source URL: schistosomes.net Language: English - Date: 2017-11-22 15:15:31
6	TRA Comparison of the Performance of SaP::GPU and Intel’s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems Ang Li, Omkar Deshmukh, Radu Serban, Dan Negrut Add to Reading List Source URL: sbel.wisc.edu - Date: 2015-05-24 17:07:50
7	Technical Report TR08 Study of SpMV performance using PETSc Vennila Megavannan, Omkar Deshmukh, Naveen Anand Subramaniam and Dan Negrut Add to Reading List Source URL: sbel.wisc.edu - Date: 2015-07-06 14:54:45
8	TRA Study of Sparse-Matrix Vector Multiplication (SpMV) on Different Architectures and Libraries Naveen Anand Subramaniam, Omkar Deshmukh, Add to Reading List Source URL: sbel.wisc.edu - Date: 2015-07-06 22:16:26
9	STOCHASTIC LOCAL SEARCH FOR FALSIFICATION OF HYBRID SYSTEMS Jyotirmoy Deshmukh Add to Reading List Source URL: www-verimag.imag.fr - Date: 2015-12-07 12:03:35
10	APPLICATION STATUS UPTO 10th June, 2016 S.No. Applicant Name Common Name Add to Reading List Source URL: plantauthority.gov.in Language: English - Date: 2016-06-10 02:13:20 Seed companies Agriculture Business Biology Mahyco DevGen Nuziveedu Seeds Millet Maharashtra Panjabrao Deshmukh Hybrid Monsanto

UPDATE