Advanced Search
DSpace@MIT

Browsing Singapore-MIT Alliance (SMA) by Title

Research and Teaching Output of the MIT Community

Browsing Singapore-MIT Alliance (SMA) by Title

Sort by: Order: Results:

  • Li, Xiaoli; Leong, Tze Yun (2004-01)
    We propose an information extraction framework to support automated construction of decision models in biomedicine. Our proposed technique classifies text-based documents from a large biomedical literature repository, e.g., ...
  • 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 ...
  • Daniel, Luca; White, Jacob K. (2004-01)
    In this paper we describe an approach to generating low-order models of spiral inductors that accurately capture the dependence on both frequency and geometry (width and spacing) parameters. The approach is based on adapting ...
  • Lee, Young-Su; Nardelli, Marco Buongiorno; Marzari, Nicola (2004-01)
    We determined the Landauer ballistic conductance of pristine nanotubes at finite temperature via a novel scheme that combines ab-initio molecular dynamics, maximally-localized Wannier functions, and a tight-binding formulation ...
  • Marzari, Nicola (2004-01)
    We developed and implemented a first-principles based theory of the Landauer ballistic conductance, to determine the transport properties of nanostructures and molecular-electronics devices. Our approach starts from a ...
  • Marzari, Nicola (2003-01)
    We developed and implemented a first-principles based theory of the Landauer ballistic conductance, to determine the transport properties of nanostructures and molecular-electronics devices. Our approach starts from a ...
  • Graves, Stephen C. (2003-01)
    We report on an industrial project in which we developed an inventory model to provide decision support for the design and deployment of the field service support system for a remanufacturable product. The product was a ...
  • Jagadish, H.V.; Ooi, Beng Chin; Rinard, Martin C.; Vu, Quang Hieu (2006-01)
    We propose a balanced tree structure overlay on a peer-to-peer network capable of supporting both exact queries and range queries efficiently. In spite of the tree structure causing distinctions to be made between nodes ...
  • Xu, Ping Josephine; Allgor, Russell; Graves, Stephen C. (2005-01)
    At the time of a customer order, the e-tailer assigns the order to one or more of its order fulfillment centers, and/or to drop shippers, so as to minimize procurement and transportation costs, based on the available current ...
  • Jensen, Kyle; Stephanopoulos, Gregory (2006-01)
    This work introduces two unconventional applications for sequence alignment algorithms outside the domain of bioinformatics: handwriting recognition and speech recognition. In each application we treated data samples, such ...
  • Xie, Jianping; Lee, Jim Yang; Wang, Daniel I.C.; Ting, Yen Peng (2007-01)
    Gold nanoplates are promising for optical and electronic applications; but their synthesis is complex, often requiring a seeded growth process or spherical to triangle morphology transformation. We have discovered a ...
  • Xie, Jianping; Lee, Jim Yang; Ting, Yen Peng (2005-01)
    Much effort has been devoted to the synthesis of gold nanoparticles with different shapes, including the zero-dimensional nanospheres, one dimensional nanorods, and two-dimensional nanoplates. Compared to zero or one ...
  • Agrawal, Kunal; Amarasinghe, Saman P.; Wong, Weng Fai (2003-01)
    StreamIt is a language specifically designed for modern streaming applications. A certain important class of these applications operates on streams of bits. This paper presents the motivation for a bit-packing optimization ...
  • Ding, Yang; Wong, Weng Fai (2005-01)
    It has been widely known that a significant part of the bits are useless or even unused during the program execution. Bit-width analysis targets at finding the minimum bits needed for each variable in the program, which ...
  • Bertsimas, Dimitris J.; Caramanis, Constantine (2002-01)
    Using recent progress on moment problems, and their connections with semidefinite optimization, we present in this paper a new methodology based on semidefinite optimization, to obtain a hierarchy of upper and lower bounds ...
  • Deng, Rensheng; Wang, Chi-Hwa; Smith, Kenneth A. (2005-01)
    We present an experimental study on the behavior of bubbles captured in a Taylor vortex. The gap between a rotating inner cylinder and a stationary outer cylinder is filled with a Newtonian mineral oil. Beyond a critical ...
  • Tan, Kiok Lim; Khoo, Boo Cheong; White, Jacob K. (2003-01)
    In bubble dynamics, an underwater bubble may evolve from being singly-connected to being toroidal. Furthermore, two or more individual bubbles may merge to form a single large bubble. These dynamics involve significant ...
  • Liu, Y.; Loh, Han Tong; Tor, Shu Beng (2004-01)
    When faced with challenging technical problems, R&D personnel would often turn to technical papers to seek inspiration for a solution. The building of a corpus of such papers and the easy retrieval of relevant papers by ...
  • Zhang, Yong; Tan, Hao; Li, Yi (2003-01)
    A eutectic in La-rich La-Cu₀.₅Ni₀.₅-Al alloys was determined by studying the melting behaviors and the microstructure observations. The microstructures of the La-Cu-Ni-Al alloys prepared by ...
  • Nguyen, H. Q.; Krishnan, R.; Choi, K. W.; Thompson, Carl V.; Lim, F. Y. (2005-01)
    Vertically aligned carbon nanotubes have been grown using Ni as catalyst by plasma enhanced chemical vapor deposition system (PECVD) in various pre-patterned substrates. Ni was thermally evaporated on silicon substrates ...
MIT-Mirage