Learn More
We present a novel set of tools for performing symbolic timing verificationof timing diagrams. The tools are multi-purpose with usesin verification, derivation of synthesis constraints, and design evaluation.Our methodology is based on using techniques for manipulatingPresburger formulas. We demonstrate using several interestingexamples that the method is(More)
We present a novel, generally applicable Monte Carlo algorithm for the simulation of fluid systems. Geometric transformations are used to identify clusters of particles in such a manner that every cluster move is accepted, irrespective of the nature of the pair interactions. The rejection-free and nonlocal nature of the algorithm make it particularly(More)
The increasing use of carbon nanotubes (CNTs) in biomedical applications underlines the importance of its potential toxic effects to human health. In the present study, we first exposed PC12 cells, a commonly used in vitro model for neurotoxicity study, to two kinds of commercially available single-walled carbon nanotubes (SWCNTs), to investigate the effect(More)
We present a detailed description of the generalized geometric cluster algorithm for the efficient simulation of continuum fluids. The connection with well-known cluster algorithms for lattice spin models is discussed, and an explicit full cluster decomposition is derived for a particle configuration in a fluid. We investigate a number of basic properties(More)
We employ a novel Monte Carlo simulation scheme to elucidate the stabilization of neutral colloidal microspheres by means of highly charged nanoparticles [Proc. Natl. Acad. Sci. U.S.A. 98, 8950 (2001))]]. In accordance with the experimental observations, we find that small nanoparticle concentrations induce an effective repulsion that prevents gelation(More)
Solutions to timing relationship analysis problems are often reported using symbolic variables and inequalities which specify linear relationships between the variables. Complex relationships can be expressed using Presburger formulas which allow Boolean relations to be specified between the inequalities. This paper develops and applies a highly effective(More)
We present a detailed numerical study of effective interactions between micrometer-sized silica spheres, induced by highly charged zirconia nanoparticles. It is demonstrated that the effective interactions are consistent with a recently discovered mechanism for colloidal stabilization. In accordance with the experimental observations, small nanoparticle(More)
We demonstrate that nitrogen doped, multi-walled carbon nanotubes (CN(x)-MWNT) result in photo-ablative destruction of kidney cancer cells when excited by near infrared (NIR) irradiation. Further, we show that effective heat transduction and cellular cytotoxicity depends on nanotube length: effective NIR coupling occurs at nanotube lengths that exceed half(More)
We investigate the interparticle interactions, phase behavior, and structure of microsphere-nanoparticle mixtures that possess high size and charge asymmetry. We employ a novel Monte Carlo simulation scheme to calculate the effective microsphere interactions in suspension, yielding new insight into the origin of the experimentally observed behavior. The(More)
South Pacific Gyre (SPG) is the largest and clearest gyre in the world, where the concentration of surface chlorophyll a and primary production are extremely low. Aquimarina longa SW024T was isolated from surface water of the SPG center. To understand how this bacterium could survive in this ultra-oligotrophic oceanic environment and its function in(More)