1. Preface

   OriginalPaper 01 March 2009 Pages: 1 - 1

2. Space Deformations, Surface Deformations and the Opportunities In-Between

   • Daniel Cohen-Or

   Survey 01 March 2009 Pages: 2 - 5

3. Gradient Domain Mesh Deformation — A Survey

   • Wei-Wei Xu
   • Kun Zhou

   Survey 01 March 2009 Pages: 6 - 18

4. Fixing Geometric Errors on Polygonal Models: A Survey

   • Tao Ju

   Survey 01 March 2009 Pages: 19 - 29

5. Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates

   • Gregory M. Nielson
   • Li-Yan Zhang
   • Adam Huang

   Regular Paper 01 March 2009 Pages: 30 - 38

6. Loop Subdivision Surface Based Progressive Interpolation

   • Fu-Hua (Frank) Cheng
   • Feng-Tao Fan
   • Jun-Hai Yong

   Regular Paper 01 March 2009 Pages: 39 - 46

7. Rigidity Constraints for Large Mesh Deformation

   • Yong Zhao
   • Xin-Guo Liu
   • Hu-Jun Bao

   Regular Paper 01 March 2009 Pages: 47 - 55

8. An Algorithm for Constructing 3D Struts

   • George W. Hart

   Regular Paper 01 March 2009 Pages: 56 - 64

9. Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field

   • Zhe Bian
   • Shi-Min Hu
   • Ralph R. Martin

   Regular Paper 01 March 2009 Pages: 65 - 75

10. An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

    • Sa’ed Abed
    • Otmane Ait Mohamed
    • Ghiath Al-Sammane

    Regular Paper 01 March 2009 Pages: 76 - 95

11. Improved Bounded Model Checking for the Universal Fragment of CTL

    • Liang Xu
    • Wei Chen
    • Wen-Hui Zhang

    Regular Paper 01 March 2009 Pages: 96 - 109

12. Certifying Concurrent Programs Using Transactional Memory

    • Long Li
    • Yu Zhang
    • Yong Li

    Regular Paper 01 March 2009 Pages: 110 - 121

13. Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems

    • Xian Xu

    Regular Paper 01 March 2009 Pages: 122 - 137

14. nPAKE⁺: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords

    • Zhiguo Wan
    • Robert H. Deng
    • Ming Gu

    Regular Paper 01 March 2009 Pages: 138 - 151

15. SRF Coloring: Stream Register File Allocation via Graph Coloring

    • Xue-Jun Yang
    • Yu Deng
    • Tao Tang

    Regular Paper 01 March 2009 Pages: 152 - 164

16. Summarizing Vocabularies in the Global Semantic Web

    • Xiang Zhang
    • Gong Cheng
    • Yu-Zhong Qu

    Short Paper 01 March 2009 Pages: 165 - 174

17. Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics

    • Kevin Chiew
    • Yingjiu Li

    Short Paper 01 March 2009 Pages: 175 - 180