Sagar - PDFSEARCH.IO - Document Search Engine

Sagar
Results: 214

#	Item
41	Implementation of Smart-Grid technologies for Automation & Control in a grid connected Wind Energy Facility in South Africa Sagar Dayabhai Pr.Eng System Control Manager Add to Reading List Source URL: www.concogrp.com Language: English - Date: 2015-01-11 13:47:52 Control engineering Electric power Smart grid Industrial automation SCADA IEC 61850 Operational Technology DNP3 Power-system automation Wind power Remote monitoring and control Electric power transmission
42	Playing FlappyBird with Deep Reinforcement Learning Naveen Appiah Mechanical Engineering Sagar Vare Stanford ICME Add to Reading List Source URL: cs231n.stanford.edu Language: English - Date: 2016-03-23 18:05:40
43	Estafilade Construction of the Small-sword by Sagar Krishnaraj 2001 Add to Reading List Source URL: ahfi.org Language: English - Date: 2012-12-19 19:44:12
44	Parametric Verification of Address Space Separation Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan Carnegie Mellon University Abstract. The address translation subsystem of operating system Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57
45	crossmark Genome Sequence of Halomonas sp. Strain KO116, an Ionic LiquidTolerant Marine Bacterium Isolated from a Lignin-Enriched Seawater Microcosm Kaela B. O’Dell,a Hannah L. Woo,b Sagar Utturkar,c Dawn Klingeman,d Add to Reading List Source URL: bioenergycenter.org Language: English - Date: 2015-08-21 15:06:18
46	crossmark Near-Complete Genome Sequence of the Cellulolytic Bacterium Bacteroides (Pseudobacteroides) cellulosolvens ATCCBareket Dassa,a Sagar Utturkar,b,c Richard A. Hurt,c,d Dawn M. Klingeman,c,d Martin Keller, Add to Reading List Source URL: bioenergycenter.org Language: English - Date: 2016-01-13 11:20:43
47	UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution) Aws Albarghouthi1 , Arie Gurfinkel2 , Yi Li1 , Sagar Chaki2 , and Marsha Chechik1 1 Add to Reading List Source URL: www.cs.utoronto.ca Language: English - Date: 2013-01-13 16:26:38
48	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size Jason Franklin, Sagar Chaki, Anupam Datta Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57
49	Estafilade Construction of the Small-sword by Sagar Krishnaraj 2001 Add to Reading List Source URL: www.ahfi.org Language: English - Date: 2012-12-19 19:44:12
50	Parametric Verification of Address Space Separation Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan Carnegie Mellon University Abstract. The address translation subsystem of operating system Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:56

UPDATE