Hai H. Nguyen

Learn More
The generalized Born (GB) model is one of the fastest implicit solvent models and it has become widely adopted for Molecular Dynamics (MD) simulations. This speed comes with tradeoffs, and many reports in the literature have pointed out weaknesses with GB models. Because the quality of a GB model is heavily affected by empirical parameters used in(More)
Medicinal mushroom Ganoderma lucidum is one of the most esteemed natural products that have been used in the traditional Chinese medicine. In this article, we demonstrate that G. lucidum triterpene extract (GLT) suppresses proliferation of human colon cancer cells HT-29 and inhibits tumor growth in a xenograft model of colon cancer. These effects of GLT are(More)
The Generalized Born (GB) implicit solvent model has undergone significant improvements in accuracy for modeling of proteins and small molecules. However, GB still remains a less widely explored option for nucleic acid simulations, in part because fast GB models are often unable to maintain stable nucleic acid structures or they introduce structural bias in(More)
The millisecond time scale needed for molecular dynamics simulations to approach the quantitative study of protein folding is not yet routine. One approach to extend the simulation time scale is to perform long simulations on specialized and expensive supercomputers such as Anton. Ideally, however, folding simulations would be more economical while(More)
The Generalized Born (GB) solvent model is widely used in molecular dynamics simulations because it can be less computationally expensive and it samples conformational changes more efficiently than explicit solvent simulations. Meanwhile, great efforts have been made in the past to improve its precision and accuracy. Previous studies have shown that(More)
We present a detailed model describing the effects of wire corrugation on the trapping potential experienced by a cloud of atoms above a current carrying micro wire. We calculate the distortion of the current distribution due to corrugation and then derive the corresponding roughness in the magnetic field above the wire. Scaling laws are derived for the(More)
The Semantic Web represents an evolution of the World Wide Web towards one of entities and their relationships, rather than pages and links. Such a progression makes it possible to represent, integrate, query and reason about structured online data. Recent years have witnessed tremendous growth of mobile computing, represented by the widespread adoption of(More)
In many logic-based BDI agent programming languages, plan selection involves inferencing over some underlying knowledge representation. While context-sensitive plan selection facilitates the development of flexible, declarative programs, the overhead of evaluating repeated queries to the agent’s beliefs and goals can result in poor run time performance. In(More)
The problem of axiom pinpointing [1, 22], that is, finding the minimal set of axioms responsible for an unwanted consequence, is an important problem in ontology debugging. One approach to identifying the axioms responsible for an unwanted consequence is to trace dependencies between inferences leading to the consequence. Several authors have proposed truth(More)
A number of systems extend the traditional web and Web 2.0 technologies by providing some form of integration with semantic web data [1,2,3]. These approaches build on tested content management systems (CMSs) for facilitating users in the semantic web. However, instead of directly managing existing linked data, these systems provide a mapping between their(More)