Browsing Singapore-MIT Alliance (SMA) by Title
Now showing items 85-104 of 554
-
Computational Method for Drug Target Search and Application in Drug Discovery
(2003-01)Ligand-protein inverse docking has recently been introduced as a computer method for identification of potential protein targets of a drug. A protein structure database is searched to find proteins to which a drug can bind ... -
A Computational Study to Understand the Surface Reactivity of Gold Nanoparticles with Amines and DNA
(2006-01)We conducted a computational adsorption study of methylamine on various surface-models of gold nanoparticle which is facetted by multiple {111} and {100} planes. In addition to these flat surfaces, our models include the ... -
Computer-Aided Drug Target Search
(2003-01)Identification of the unknown targets of drugs, investigative drugs and herbal ingredients is an important task in drug discovery. It can potentially help in several aspects including: (1) determination of unknown therapeutic ... -
Computer-aided Tooling Design for Manufacturing Processes
(2003-01)Tooling design for manufacturing processes refers to direct tooling for making a part such as molds and dies for injection molded parts and metal stampings, or for supporting machining operations such as jigs and fixtures. ... -
Computing Bounds for Linear Functionals of Exact Weak Solutions to Poisson’s Equation
(2003-01)We present a method for Poisson’s equation that computes guaranteed upper and lower bounds for the values of linear functional outputs of the exact weak solution of the infinite dimensional continuum problem using traditional ... -
Computing Upper and Lower Bounds for the J-Integral in Two-Dimensional Linear Elasticity
(2004-01)We present an a-posteriori method for computing rigorous upper and lower bounds of the J-integral in two dimensional linear elasticity. The J-integral, which is typically expressed as a contour integral, is recast as a ... -
A Conservative Front Tracking Algorithm
(2005-01)The discontinuities in the solutions of systems of conservation laws are widely considered as one of the difficulties in numerical simulation. A numerical method is proposed for solving these partial differential equations ... -
A Constitutive Model for the Mechanical Behavior of Single Crystal Silicon at Elevated Temperature
(2002-01)Silicon in single crystal form has been the material of choice for the first demonstration of the MIT microengine project. However, because it has a relatively low melting temperature, silicon is not an ideal material for ... -
A Constraint Handling Strategy for Bit-Array Representation GA in Structural Topology Optimization
(2004-01)In this study, an improved bit-array representation method for structural topology optimization using the Genetic Algorithm (GA) is proposed. The issue of representation degeneracy is fully addressed and the importance of ... -
Context Interchange as a Scalable Solution to Interoperating Amongst Heterogeneous Dynamic Services
(2005-01)Many online services access a large number of autonomous data sources and at the same time need to meet different user requirements. It is essential for these services to achieve semantic interoperability among these ... -
Context Mediation in the Semantic Web: Handling OWL Ontology and Data Disparity through Context Interchange
(2005-01)The COntext INterchange (COIN) strategy is an approach to solving the problem of interoperability of semantically heterogeneous data sources through context mediation. COIN has used its own notation and syntax for representing ... -
A continuum theory of amorphous solids undergoing large deformations, with application to polymeric glasses
(2003-01)This paper summarizes a recently developed continuum theory for the elastic-viscoplastic deformation of amorphous solids such as polymeric and metallic glasses. Introducing an internal-state variable that represents the ... -
Control of Job Arrivals with Processing Time Windows into Batch Processor Buffer
(2007-01)Consider a two-stage manufacturing system composed of a batch processor and its upstream feeder processor. Jobs exit the feeder processor and join a queue in front of the batch processor, where they wait to be processed. ... -
Controllable computer graphics for compelling depiction and animation
(2004-01)A full-length feature film such as Pixar's Toy Story, or the award-winning educational programs such as Walking with Dinosaurs, require a production time of several years and draw on the full-time efforts of several hundred ... -
Coordinating Inventory Control and Pricing Strategies with Random Demand and Fixed Ordering Cost: The Finite Horizon Case
(2005-01)We analyze a finite horizon, single product, periodic review model in which pricing and production/inventory decisions are made simultaneously. Demands in different periods are random variables that are independent of each ... -
Coordinating Inventory Control and Pricing Strategies with Random Demand and Fixed Ordering Cost: the Infinite Horizon Case
(2005-01)We analyze an infinite horizon, single product, periodic review model in which pricing and production/inventory decisions are made simultaneously. Demands in different periods are identically distributed random variables ... -
Core-Shell Assisted Bimetallic Assembly of Pt and Ru Nanoparticles by DNA Hybridization
(2005-01)We have discovered that the current protocols to assemble Au nanoparticles based on DNA hybridization do not work well with the small metal nanoparticles (e.g. 5 nm Au, 3.6 nm Pt and 3.2 nm Ru particles). Further investigations ... -
Correlating Gene Transfection Efficiency and the Physical Properties of Various Cationic Poly(methacrylate) Systems
(2006-01)Transfection efficiencies of several polymeric gene carriers were compared and correlated quantitatively to the amounts of cellular accumulation of plasmid DNA and to the expression of mRNA by quantitative real time PCR. ... -
CQ-Buddy: Harnessing Peers For Distributed Continuous Query Processing
(2004-01)In this paper, we present the design and evaluation of CQ-Buddy, a peer-to-peer (p2p) continuous query (CQ) processing system that is distributed, and highly-scalable. CQ-Buddy exploits the differences in capabilities ... -
Credible Compilation *
(2003-01)This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple proof checker can then verify that the program ...