Haiou Shen

Qiong Xu, Hengyong Yu, James Bennett, Peng He, Rafidah Zainon, Robert Doesburg, Alex Opie, Mike Walsh, Haiou Shen, Anthony Butler, Phillip Butler, Xuanqin Mou, Ge Wang: Image Reconstruction for Hybrid True-Color Micro-CT. IEEE Trans. Biomed. Engineering 59(6): 1711-1719 (2012)

Ge Wang, Jie Zhang, Hao Gao, Victor Weir, Hengyong Yu, Wenxiang Cong, Xiaochen Xu, Haiou Shen, James Bennett, Yue Joseph Wang, Michael W. Vannier: Omni-tomography/Multi-tomography -- Integrating Multiple Modalities for Simultaneous Imaging. CoRR abs/1106.2124 (2011)

Ge Wang, Wenxiang Cong, Haiou Shen, Yu Zou: Varying Collimation for Dark-Field Extraction. Int. J. Biomedical Imaging 2009 (2009)

Alexander X. Cong, Yujie Lu, Wenxiang Cong, Haiou Shen, Arion Chatziioannou, Ge Wang: Optical Property Characterization Based on a Phase Function Approximation Model. ISBI 2009: 446-449

Yunbo Li, Haiou Shen, Hong Zhu, Michael A. Trush, Ming Jiang, Ge Wang: In Situ Real-Time Chemiluminescence Imaging of Reactive Oxygen Species Formation from Cardiomyocytes. Int. J. Biomedical Imaging 2008 (2008)

Alexander X. Cong, Haiou Shen, Wenxiang Cong, Ge Wang: Improving the Accuracy of the Diffusion Model in Highly Absorbing Media. Int. J. Biomedical Imaging 2007 (2007)

Ge Wang, Haiou Shen, Kumar Durairaj, Xin Qian, Wenxiang Cong: The First Bioluminescence Tomography System for Simultaneous Acquisition of Multiview and Multispectral Data. Int. J. Biomedical Imaging 2006 (2006)

Ge Wang, Wenxiang Cong, Yi Li, Weimin Han, Durai Kumar, Xin Qian, Haiou Shen: Recent development in bioluminescence tomography. ISBI 2006: 678-681

Haiou Shen, Hantao Zhang: Improving exact algorithms for MAX-2-SAT. Ann. Math. Artif. Intell. 44(4): 419-436 (2005)

Haiou Shen, Hantao Zhang: Another Complete Local Search Method for SAT. LPAR 2005: 595-605

Haiou Shen, Hantao Zhang: Study of Lower Bound Functions for MAX-2-SAT. AAAI 2004: 185-190

Haiou Shen, Hantao Zhang: Improving Exact Algorithms for MAX-2-SAT. AMAI 2004

Haiou Shen, Hantao Zhang: Improving Exact Algorithms for MAX-2-SAT. ISAIM 2004

Hantao Zhang, Dapeng Li, Haiou Shen: A SAT Based Scheduler for Tournament Schedules. SAT 2004

Haiou Shen, Hantao Zhang: An Empirical Study of MAX-2-SAT Phase Transitions. Electronic Notes in Discrete Mathematics 16: 80-92 (2003)

Hantao Zhang, Haiou Shen, Felip Manyà: Exact Algorithms for MAX-SAT. Electr. Notes Theor. Comput. Sci. 86(1): 190-203 (2003)