Andrew Cheng - PDFSEARCH.IO - Document Search Engine

Andrew Cheng
Results: 37

#	Item
1	On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:16 Cognition Reasoning Cognitive science Logic Knowledge representation Constraint programming Educational psychology Spatialtemporal reasoning Qualitative reasoning Spatial relation Reasoning system Andrew U. Frank
2	Enhanced adhesion with pedestal-shaped elastomeric stamps for transfer printing Seok Kim, Andrew Carlson, Huanyu Cheng, Seungwoo Lee, Jung-Ki Park et al. Citation: Appl. Phys. Lett. 100, ); doi: Add to Reading List Source URL: rogers.matse.illinois.edu Language: English - Date: 2012-04-26 10:56:06 Chemistry Adhesion Materials science Polydimethylsiloxane
3	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
4	A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Symbol Tuple First-order logic IP Substitution Operator
5	APPLIED PHYSICS LETTERS 98, Shear-enhanced adhesiveless transfer printing for use in deterministic materials assembly Andrew Carlson,1 Hyun-Joon Kim-Lee,2 Jian Wu,3 Paulius Elvikis,4 Huanyu Cheng,3 Anton K Add to Reading List Source URL: rogers.matse.illinois.edu Language: English - Date: 2011-06-28 12:58:46
6	Longitudinal Evidence for a Midlife Nadir in Human Well-being: Results from Four Data Sets* December 2014 Forthcoming in Economic Journal Terence C. Cheng, Nattavudh Powdthavee, Andrew J. Oswald There is a large amount o Add to Reading List Source URL: www.andrewoswald.com Language: English - Date: 2014-12-09 11:28:32
7	Groundbreaking Ceremony of the International Culinary Institute 25 February 2014 Mr Clement CHEN Cheng- jen, SBS, JP Chairman of VTC Mrs Lam, Andrew, Distinguished Guests, Media Friends, Ladies and Add to Reading List Source URL: www.yc.edu.hk Language: English - Date: 2014-02-24 23:49:09 Chinese Cuisine Training Institute Transfer of sovereignty over Macau Ying Wa Primary School Education in Hong Kong Hong Kong Hong Kong Institute of Vocational Education
8	Groundbreaking Ceremony of the International Culinary Institute 25 February 2014 Mr Clement CHEN Cheng- jen, SBS, JP Chairman of VTC Mrs Lam, Andrew, Distinguished Guests, Media Friends, Ladies and Add to Reading List Source URL: www.ive.edu.hk Language: English - Date: 2014-02-24 23:49:09 Chinese Cuisine Training Institute Transfer of sovereignty over Macau Ying Wa Primary School Education in Hong Kong Hong Kong Hong Kong Institute of Vocational Education
9	January 2013, Volume 24, Number 1 $China at the Tipping Point? Andrew J. Nathan Zhenhua Su et al. Cheng Li Tiancheng Wang Xi Chen Carl Minzner Louisa Greve Xiao Qiang & Perry Link Add to Reading List Source URL: www.journalofdemocracy.org Language: English - Date: 2015-03-23 14:23:16 Political philosophy Community building Social economy Political corruption Alina Mungiu-Pippidi Governance Individualism Good governance Civil society Politics Sociology Political science
10	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Model theory Data management Mathematical notation Tuple Type theory Symbol Finitary relation Structure First-order logic Mathematics Mathematical logic Logic

UPDATE