Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
321	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: www.cis.upenn.edu - Date: 2015-03-25 22:46:28
322	SUPPLEMENTARY INFORMATION doi:nature17153 Nineteen-step total synthesis of (+)-phorbol Shuhei Kawamura1, Hang Chu1, Jakob Felding2, and Phil S. Baran1 Add to Reading List Source URL: www.nature.com - Date: 2016-04-06 13:02:32
323	「細胞を創る」研究会要旨テンプレート（日本語タイトル） Annual Meeting of Japanese Society for Cell Synthesis Research（英語タイトル） ○細胞創郎1、細胞創作1、細胞創子2 1 Add to Reading List Source URL: www.jscsr.org - Date: 2014-08-04 05:42:00
324	Rational Synthesis Dana Fisman1 , Orna Kupferman1, and Yoad Lustig2 1 School of Computer Science and Engineering,Hebrew University, Jerusalem 91904, Israel. 2 Add to Reading List Source URL: www.cis.upenn.edu - Date: 2013-09-22 22:25:44
325	Unsupervised Cross-modal Synthesis of Subject-specific Scans Raviteja Vemulapalli Center for Automation Research, UMIACS University of Maryland, College Park Hien Van Nguyen, Shaohua Kevin Zhou Add to Reading List Source URL: www.cv-foundation.org - Date: 2015-10-24 15:03:52
326	Government experiences of scale-up of Community-based Management of Acute Malnutrition (CMAM) A synthesis of lessons Prepared by the Emergency Nutrition Network (ENN) Add to Reading List Source URL: files.ennonline.net - Date: 2014-04-10 12:16:17
327	PROGRAM SYNTHESISA Deductive Approach to Program Synthesis ZOHAR MANNA Stanford University and Weizmann Institute Add to Reading List Source URL: aitopics.org - Date: 2015-01-25 23:28:53
328	Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems Taylor T. Johnson∗ University of Texas at Arlington, Arlington, TX 76010, USA Add to Reading List Source URL: www.taylortjohnson.com - Date: 2013-08-02 07:12:08
329	Maximal Specification Synthesis Aws Albarghouthi Isil Dillig Arie Gurfinkel ∗ Add to Reading List Source URL: pages.cs.wisc.edu - Date: 2015-11-05 20:33:38

UPDATE