The recent development of DNA microarray technology is creating a wealth of gene expression data. Typically these datasets have high dimensionality and a lot of varieties. Analysis of DNA microarray expression data is a ...

PMOS and NMOS mobility characteristics of the dual channel (strained Si/strained Ge) heterostructure have been reviewed. It is shown that the dual channel heterostructure can provide substantially enhanced mobilities for ...

Nanoporous GaN films are prepared by UV assisted electrochemical etching using HF solution as an electrolyte. To assess the optical quality and morphology of these nanoporous films, micro-photoluminescence (PL), micro-Raman ...

Macroscopic ductility is promoted in bulk metallic glasses by both composite reinforcements (at low temperatures) and by the activation of viscous flow mechanisms (at high temperatures). It is of fundamental interest to ...

This paper presents an intelligent, hybrid system for stamping process planning in progressive die design. The system combines the flexibility of blackboard architecture with case-based reasoning. The hybrid system has the ...

Surface characteristics such as topography and critical dimensions serve as important indicators of product quality and manufacturing process performance especially at the micrometer and the nanometer scales. This paper ...

We present an immersed interface algorithm for the incompressible Navier Stokes equations. The interface is represented by cubic splines which are interpolated through a set of Lagrangian control points. The position of ...

The conventional Verlet table neighbor list algorithm is improved to reduce the number of unnecessary inter-atomic distance calculations in molecular simulations involving large amount of atoms. Both of the serial and ...

A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence information at compile-time enables new classes ...

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ...