Until recently, the use of hierarchies in CAD for VLSI has almost exclusively been restricted to layout and simulation problems. The paper describes representation and handling of design hierarchies in the MIMOLA design system, featuring RT-level synthesis, test program generation and retargetable code generation. A method of embedding these tools in a common design environment, providing acces...

In this paper, an efficient time domain simulation algorithm is proposed to analyze the electromagnetic scattering and radiation problems. The algorithm is based on discontinuous Galerkin time domain (DGTD) method and parallelization acceleration technique using the graphics processing units (GPU), which offers the capability for accelerating the computational electromagnetics analyses. The bot...

This paper describes a three-dimensional Eulerian-Lagrangian method for the modeling and simulation of high-speed multi-material dynamics. The equations for conservation of mass, momentum, and energy are solved on a fixed Cartesian grid using a fully conservative higher order MUSCL scheme. The dilatational response of each material is handled using a suitable equation of state. The embedded int...

The diffusion-in-gel enzyme-linked immunosorbent assay (DIG-ELISA) is a new and simple method for quantitation of antibodies, based on the ability of antibodies to diffuse from wells in gel and adsorb to antigen which is bound to a polystyrene surface. The antigen-antibody reaction is visualized with a color reaction caused by horseradish peroxidase-conjugated class-specific anti-immunoglobins....

While the maximum-likelihood (ML) method of tree reconstruction is statistically rigorous, it is extremely time-consuming for reconstructing large trees. We previously developed a hybrid method (NJML) that combines the neighbor-joining (NJ) and ML methods and thus is much faster than the ML method and improves the performance of NJ. However, we considered only nucleotide sequence data, so NJML ...

Recent improvements in the field of flow-through-electrophoresis are presented. These improvements make it possible to run flow through electrophoresis with the same precision, but more economically and more easily than the formerly described apparatus. This was achieved by limiting the original system to slab gels only. This leads to a considerable reduction in the size of the apparatus and to...

This paper describes an approach for handling structural divergences and recovering dropped arguments in an implemented Korean to English machine translation system. The approach relies on canonical predicate-argument structures (or dependency structures), which provide a suitable pivot representation for the handling of structural divergences and the recovery of dropped arguments. It can also ...

In this article, an analytical technique based on unified method is applied to investigate the exact solutions of non-linear homogeneous evolution partial differential equations. These equations are reduced ordinary using different traveling wave transformations, and in rational polynomial forms obtained. The obtained presented form 2D 3D graphics study behavior solution by setting out values s...

This paper describes an approach for handling structural divergences and recovering dropped arguments in an implemented Korean to English machine translation system. The approach relies on canonical predicate-argument structures (or dependency structures), which provide a suitable pivot representation for the handling of structural divergences and the recovery of dropped arguments. It can also ...

Web Service orchestration frameworks support a coarse-grained kind of exception handling because they cannot identify the causes of the occurring exceptions as precisely as needed to solve problems at their origin. This paper presents a framework for Web Service orchestration which employs diagnostic services to support a fine grained identification of the causes of the exceptions and the conse...