Chang - PDFSEARCH.IO - Document Search Engine

Chang
Results: 3380

#	Item
891	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Mathematics Rules of inference Propositional calculus Unsatisfiable core Resolution Conjunctive normal form SQL Automated theorem proving Logic Mathematical logic
892	Geographical Characteristics, Service Strategy and Operating Performance in Chinese Airports Yu-Chun Chang, Ming-Miin Yu, Po-Chi Chen Department of Transportation Science National Taiwan Ocean University Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English - Date: 2012-06-01 02:50:51 Transport Data envelopment analysis Airport Drug Enforcement Administration Airline
893	2002 CIRP Cornell Supplemental Questions Add to Reading List Source URL: dpb.cornell.edu Language: English - Date: 2014-12-03 16:39:26 Classical cipher Chang Yi Wang Latin alphabets Orthography Linguistics
894 $Light field / Point spread function / Vignetting / Camera lens / Diffraction / Ray tracing / Fourier optics / Aperture / Angle of view / Optics / Atomic / molecular / and optical physics / Electromagnetic radiation$	446 IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 20, NO. 2, FEBRUARY 2011 Light Field Analysis for Modeling Image Formation Chia-Kai Liang, Member, IEEE, Yi-Chang Shih, and Homer H. Chen, Fellow, IEEE Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-12-22 21:19:08 Light field Point spread function Vignetting Camera lens Diffraction Ray tracing Fourier optics Aperture Angle of view Optics Atomic molecular and optical physics Electromagnetic radiation
895	A Long-Duration Study of User-TrainedLocalization Andrew Barry, Benjamin Fisher, and Mark L. Chang F. W. Olin College of Engineering, Needham, MA 02492 {andy, benjamin.fisher}@students.olin.edu, mark.chang@olin.e Add to Reading List Source URL: abarry.org Language: English - Date: 2009-09-27 13:18:32 GPS Geolocation Mobile technology Navizon Wireless Nodes Database Internet privacy Crowdsourcing X Window System Implementation Technology Computing Software
896	Sponge based CCA2 secure asymmetric encryption for arbitrary length message Tarun Kumar Bansal Donghoon Chang Somitra Kumar Sanadhya Indraprastha Institute of Information Technology, Delhi (IIIT-D), India Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-19 14:57:29 One-way function Padding Random oracle Key encapsulation Malleability Feistel cipher Chosen-ciphertext attack Mihir Bellare RSA Cryptography Optimal asymmetric encryption padding Adaptive chosen-ciphertext attack
897	Identifying crucial sustainability assessment criteria for international ports Chin-Shan Lu1, Kuo-Chung Shang2, Chi-Chang Lin3 Professor, Department of Transportation and Communication Management Science, National Cheng Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English* - Date: 2012-05-27 05:09:53 Sustainability Environmental resources management Sustainable Asset Management Index of sustainability articles Environmental economics Environment Earth
898	Neuron Article Using a Compound Gain Field to Compute a Reach Plan Steve W.C. Chang,1,* Charalampos Papadimitriou,1 and Lawrence H. Snyder1 Add to Reading List Source URL: eye-hand.wustl.edu Language: English - Date: 2010-01-23 21:01:45 Cerebrum Visual system Brain Neuroanatomy Sensory system Visual cortex Superior colliculus Eye–hand coordination Parietal lobe Anatomy Nervous system Mind
899	Outline of the 17th SAAJ Seminar - Only for CIIA holders from abroad As a special consideration, CIIA holders from abroad will be exempt from paying the registration fee. Theme: “Development of Equity Markets and Chang Add to Reading List Source URL: www.saa.or.jp Language: English - Date: 2010-11-29 03:57:10 Tokyo Stock Exchange Financial market Chūō Tokyo Securities market Stock market Professional certification in finance Economy of Asia Certified International Investment Analyst Economy of Japan Economy of Tokyo Postwar Japan
900	Douglas N. Hales, Nik Dholakia, Y.T. Chang, Jasmine S.L. Lam, Satya Chakravorty, Adel Al-Wugayan, Hua-Hung (Robin) Weng Problem Statement  Ports have traditionally measured based on Volume Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English - Date: 2012-05-31 23:37:07 International trade Melbourne Port Geography of Oceania Business Competition Competitiveness Foreign direct investment

UPDATE