With the growing number of high-resolution satellite images, the traditional image retrieval method has become a bottleneck in the massive application of high-resolution satellite images because of the low degree of automation. However, there are few studies on the automation of satellite image retrieval. This paper presents an automatic high-resolution satellite image accurate retrieval method...

Recent progress in process technology makes it possible to vertically stack multiple integrated chips. In three dimensional integration circuits (3D ICs), through silicon vias (TSVs) are used to communicate signals between layers. However, TSVs act as obstacles during placement and routing and have a negative impact on chip yield. Therefore, TSV number minimization is an important topic in 3D I...

Corner measurement is of main concern within the following tasks: camera calibration, image matching, object tracking, recognition and reconstruction. This paper presents a hybrid evolutionary ridge regression approach for the problem of corner modeling. We search model parameters characterizing L-corner models by means of fitting the model to the image data. As the model fitting relies on an i...

This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence of partially known input structures, symbolic evaluation of the time-bound function based on input parameters, optimizations to make the overall analysis e cient as well as accurate, and measurements of primitive param...

Low-cost shotgun DNA sequencing is transforming the microbial sciences. Sequencing instruments are so effective that sample preparation is now the key limiting factor. Here, we introduce a microfluidic sample preparation platform that integrates the key steps in cells to sequence library sample preparation for up to 96 samples and reduces DNA input requirements 100-fold while maintaining or imp...

ABSTRACT The conservative high-order accurate spectral difference method is presented for simulation of rotating shallowwater equations. The method is formulated using Lagrange interpolations on Gauss-Lobatto points for the desired order of accuracy without suffering numerical dissipation and dispersion errors. The optimal third-order total variation diminishing (TVD) Runge-Kutta algorithm is u...

Testing the deluge of hypotheses flowing from genomics and systems biology demands accurate and costeffective gene and genome synthesis. Here we describe a microchip-based technology for multiplex gene synthesis. Pools of thousands of "construction" oligonucleotides and tagged complementary "selection" oligonucleotides are synthesized on photo-programmable microfluidic chips, released, amplifie...

The goal of regional spatial normalization is to remove anatomical differences between individual three-dimensional (3-D) brain images by warping them to match features of a standard brain atlas. Full-resolution volumetric spatial normalization methods use a high-degree-of-freedom coordinate transform, called a deformation field, for this task. Processing to fit features at the limiting resolut...

Human leukocyte antigen (HLA) typing from next generation sequencing (NGS) data has the potential for applications in clinical laboratories and population genetic studies. Here we introduce a novel technique for HLA typing from NGS data based on read-mapping using a comprehensive reference panel containing all known HLA alleles and de novo assembly of the gene-specific short reads. An accurate ...

A novel approach for simulating potential propagation in neuronal branches with high accuracy is developed. The method relies on high-order accurate difference schemes using the Summation-By-Parts operators with weak boundary and interface conditions applied to the Hodgkin-Huxley equations. This work is the first demonstrating high accuracy for that equation. Several boundary conditions are con...