Along with its economic reform, China has experienced a rapid urbanization. This study mapped urban land expansion in China using high-resolution Landsat Thematic Mapper and Enhanced Thematic Mapper data of 1989/1990, 1995/1996 and 1999/2000 and analyzed its expansion modes and the driving forces underlying this process during 1990-2000. Our results show that China's urban land increased by 817...

Memory for numbers improves with age and experience. One potential source of improvement is a logarithmic-to-linear shift in children's representations of magnitude. To test this, Kindergartners and second graders estimated the location of numbers on number lines and recalled numbers presented in vignettes (Study 1). Accuracy at number-line estimation predicted memory accuracy on a numerical re...

The high-grade uranium deposits in the Xiemisitan area, northwestern China, are genetically associated with the faulting of felsic volcanic or sub-volcanic rocks. Ferric iron alteration indicates that oxidizing hydrothermal fluids percolated through the rocks. In this study, we measured the gamma-ray intensities of rocks in the Xiemisitan area and we propose a hybrid method for the mapping of f...

The optimization capabilities of RDBMSs are turning them attractive for executing data transformations. However, despite the fact that many useful data transformations can be expressed as relational queries, an important class of data transformations that produce several output tuples for a single input tuple cannot be expressed in that way. To overcome this limitation, we propose to extend Rel...

In this thesis, active learning of abstract models is combined with model checking, combining the strength of both techniques. Active learning ensures that the model is directly based on the actual implementation, while model checking allows for easy analysis of composed networks of learned models. Utilizing these techniques, models of TCP implementations are inferred, and a network of these mo...

In this paper we propose a novel one-layer coding/shaping transmission system for the bandwidth-limited regime based on singlelevel codes and sigma-mapping [1]. Specifically, we focus on cyclestationary information sources with independent symbols. High spectral efficiencies can be achieved by combine at the transmitter a Turbo code with a sigma-mapper. Furthermore, the encoded symbols are modu...

R e f e r e n c e s Visualization pipeline Interaction Representation Raw 3D Data Filter Mapper Renderer Pictures Video Volume Interpolation Cells Triangulation Screen Coordinates Image Client Server

An atmospheric correction tool has been developed for public web site access for the Landsat-5 and Landsat-7 thermal band. The Atmospheric Correction Parameter Calculator uses the National Centers for Environmental Prediction (NCEP) modeled atmospheric global profiles for a particular date, time and location as input. Using commercially-available MODTRAN software and a suite of integration algo...

We present Masai, a read mapper representing the state-of-the-art in terms of speed and accuracy. Our tool is an order of magnitude faster than RazerS 3 and mrFAST, 2–4 times faster and more accurate than Bowtie 2 and BWA. The novelties of our read mapper are filtration with approximate seeds and a method for multiple backtracking. Approximate seeds, compared with exact seeds, increase filtrati...