Singapore-MIT Alliance (SMA): Recent submissions

Now showing items 40-42 of 554

    • Characterizing Protein Conformation Space 

      Nigham, Anshul; Hsu, David; Latombe, Jean-Claude (2007-01)
      In this work, we propose a radical approach for exploring the space of all possible protein structures. We present techniques to explore the clash-free conformation space, which comprises all protein structures whose atoms ...

    • Automated Verification of Shape and Size 

      Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei Ngan (2007-01)
      Despite their popularity and importance, pointer based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ...

    • Template Synthesis of Tubular Sn-Based Nanostructures for Lithium Ion Storage 

      Wang, Yong; Zeng, Hua Chun; Lee, Jim Yang (2006-01)
      We report herewith the preparation of SnO₂ nanotubes with very good shape and size control, and with and without a carbon nanotube overlayer, The SnO₂-core/carbon-shell nanotubes are excellent reversible Li ion storage ...