Publications
- An integrated solution of bioluminescence tomography and diffuse optical tomography. W.M. Han, H. Shen, W. Cong, G. Wang. To appear in Journal Communication in Numerical Methods in Engineering
- PDF Digital spectral separation methods and systems for bioluminescence imaging. G. Wang, H. Shen, Y. Liu, A. Cong, W. Cong, Y. Wang, and P. Dubey. Optical Express, 16(3), 1719-1732, 2008.
- PDF Integral equations of the photon fluence rate and flux based on a generalized Delta-Eddington phase function. W. Cong, H. Shen, A. Cong, G. Wang. Journal of Biomedical Optics, 13:Article ID 024016, 2008
- Overview of bioluminescence tomography -- a new molecular imaging modality. G. Wang, W. Cong, H. Shen, X. Qian, M. Henry, Y. Wang. Frontiers in Bioscience, Jan 1;13:1281-93, 2008
- PDF Modeling photon propagation in biological tissues using generalized Delta-Eddington phase function. W. Cong, H. Shen, A. Cong, Y. Wang, and G. Wang. Physical Review E 76:051913, 5 pages, 2007
- PDF Flux vector formulation for photon propagation in the bilogical tissue. W. Cong, A. Cong, H. Shen, Y Liu, G. Wang, Optics Letters 32:2837-2839, 2007
- A Cone-shaped Mirror-based 360° View Bioluminescence Tomography System. H. Shen, A. Cong, X. Qian, W. Cong, G. Wang, Joint Molecular Imaging (2007)
- Phase Approximation Model for Photon Propagation in Biological Tissues. W. Cong, H. Shen, A. Cong, G. Wang, Joint Molecular Imaging (2007)
- Measurement of Temperature-Dependent Bioluminescent spectra In Vivo. X. Qian, R. Svensson, X. Ying, H. Shen, W. Cong, M. Henry, G. Wang4, Joint Molecular Imaging (2007)
- Genetic algorithm for bioluminescence tomography. A. Cong, H. Shen, W. Cong, G. Wang, Joint Molecular Imaging (2007)
- PDF Improving the accuracy of the diffusion model in highly absorbing media. A. Cong, H. Shen, W. Cong, G. Wang, To appear in International Journal of biomedical Imaging (2007)
- PDF A numerical study on validity of the diffusion approximation for computational optical biopsy. H. Shen, W. Cong, X. Qian, K. Durairaj, G. Wang, J. Optical Society of America A, 24, 423 (2007)
- PDF The First Bioluminescence Tomography System for Simultaneous Acquisition of Multi-View and Multi-Spectral Data. G. Wang, H. Shen, K. Durairaj, X. Qian, W. Cong, International Journal of Biomedical Imaging, 2006
- PDF Recent development in bioluminescence tomography. G. Wang, M. Jiang, J. Tian, W. Cong, Y. Li, W. Han, K. Durairaj, X. Qian, H. Shen, T. Zhou, J. Cheng, Y. Lv, H. Li, J. Luo. 2006 IEEE international Symposium on Biomedical Imaging: From Nano to Macro.
- PDF In vivo mouse studies with bioluminescnce tomography. G. Wang, W. Cong, K. Durairaj, X. Qian, H. Shen, P. Sinn, E. Hoffman, G. McLennan, M. Henry. Optical Express, 14(17), 7801-7809, 2006.
- PDF Temperature-modulated bioluminescence tomography. G. Wang, H. Shen, W. Cong, S. Zhao, G. Wei. Optical Express, 14(17), 7852-7871, 2006.
- PDF Another Complete Local Search Method for SAT. H. Shen and H. Zhang, In Proc. of LPAR 2005. Montego Bay, Jamaica, December 2005.
- PDF Improving exact algorithms for MAX-2-SAT. H. Shen and H. Zhang, Annals of Mathematics and Artificial Intelligence, 44(4), pages 419-436, 2005.
- PDF Study of lower bound functions for MAX-2-SAT. H. Shen, H, Zhang, In Proc. of 19th National Conference on Artificial Intelligence (AAAI). San Jose, California, July 2004.
- PDF A SAT based scheduler for tournament schedules. H. Zhang, D. Li, and H. Shen, In Proc. of 7th International Conference on Theory and Applications of Satisfiability Testing (SAT 2004). Vancouver, BC, Canada, May 2004.
- PDF Improving Exact Algorithms for MAX-2-SAT. H. Shen, H. Zhang, In Proc. of 8th International Symposium on Artificial Intelligence and Mathematics. Fort Landerdale, Florida, January 2004.
- PDF An empirical study of MAX-2-SAT phase transition. H. Shen, H. Zhang, In Proc. of LICS'03 Workshop on Typical Case Complexity and Phase Transitions. Ottawa, Canada, June 2003.
- PDF Exact algorithms for MAX-SAT. H. Zhang, H. Shen , F. Manya, In Proc. of International Workshop on First-order Theorem Proving (FTP2003), Valencia, Spin, June 2003.
- The Analysis of Interface Method Between Matlab and Visual C++, B. Shi, SZ. Chen, H. Shen. Computer Engineering, Vol. 26, No.3, P.98-100, 2000.
- Nonuniform Rational Bezier for Curve Fitting. H. Shen, SZ. Chen, Journal of Wuhan University, Vol.4, No.1, 119-123, 1997.
Software