32,489 research outputs found

    The inhabited environment, infrastructure development and advanced urbanization in China's Yangtze River Delta Region

    Get PDF
    This paper analyzes the relationship among the inhabited environment, infrastructure development and environmental impacts in China's heavily urbanized Yangtze River Delta region. Using primary human environment data for the period 2006-2014, we examine factors affecting the inhabited environment and infrastructure development: urban population, GDP, built-up area, energy consumption, waste emission, transportation, real estate and urban greenery. Then we empirically investigate the impact of advanced urbanization with consideration of cities' differences. Results from this study show that the growth rate of the inhabited environment and infrastructure development is strongly influenced by regional development structure, functional orientations, traffic network and urban size and form. The effect of advanced urbanization is more significant in large and mid-size cities than huge and mega cities. Energy consumption, waste emission and real estate in large and mid-size cities developed at an unprecedented rate with the rapid increase of economy. However, urban development of huge and mega cities gradually tended to be saturated. The transition development in these cities improved the inhabited environment and ecological protection instead of the urban construction simply. To maintain a sustainable advanced urbanization process, policy implications included urban sprawl control polices, ecological development mechanisms and reforming the economic structure for huge and mega cities, and construct major cross-regional infrastructure, enhance the carrying capacity and improvement of energy efficiency and structure for large and mid-size cities

    Accelerating array constraints in symbolic execution

    Get PDF
    Despite significant recent advances, the effectiveness of symbolic execution is limited when used to test complex, real-world software. One of the main scalability challenges is related to constraint solv- ing: large applications and long exploration paths lead to complex constraints, often involving big arrays indexed by symbolic expres- sions. In this paper, we propose a set of semantics-preserving trans- formations for array operations that take advantage of contextual information collected during symbolic execution. Our transforma- tions lead to simpler encodings and hence better performance in constraint solving. The results we obtain are encouraging: we show, through an extensive experimental analysis, that our transforma- tions help to significantly improve the performance of symbolic execution in the presence of arrays. We also show that our transfor- mations enable the analysis of new code, which would be otherwise out of reach for symbolic execution

    A cross-center smoothness prior for variational Bayesian brain tissue segmentation

    Full text link
    Suppose one is faced with the challenge of tissue segmentation in MR images, without annotators at their center to provide labeled training data. One option is to go to another medical center for a trained classifier. Sadly, tissue classifiers do not generalize well across centers due to voxel intensity shifts caused by center-specific acquisition protocols. However, certain aspects of segmentations, such as spatial smoothness, remain relatively consistent and can be learned separately. Here we present a smoothness prior that is fit to segmentations produced at another medical center. This informative prior is presented to an unsupervised Bayesian model. The model clusters the voxel intensities, such that it produces segmentations that are similarly smooth to those of the other medical center. In addition, the unsupervised Bayesian model is extended to a semi-supervised variant, which needs no visual interpretation of clusters into tissues.Comment: 12 pages, 2 figures, 1 table. Accepted to the International Conference on Information Processing in Medical Imaging (2019

    A quasi-Monte Carlo method for computing areas of point-sampled surfaces

    Get PDF
    A novel and efficient quasi-Monte Carlo method for computing the area of a point-sampled surface with associated surface normal for each point is presented. Our method operates directly on the point cloud without any surface reconstruction procedure. Using the Cauchy–Crofton formula, the area of the point-sampled surface is calculated by counting the number of intersection points between the point cloud and a set of uniformly distributed lines generated with low-discrepancy sequences. Based on a clustering technique, we also propose an effective algorithm for computing the intersection points of a line with the point-sampled surface. By testing on a number of point-based models, experiments suggest that our method is more robust and more efficient than those conventional approaches based on surface reconstruction.postprin

    Penicillin-resistant isolates of Neisseria-lactamica produce altered forms of penicillin-binding protein-2 that arose by interspecies horizontal gene-transfer

    Get PDF
    Isolates of Neisseria lactamica that have increased resistance to penicillin have emerged in recent years. Resistance to penicillin was shown to be due to the production of altered forms of penicillin-binding protein 2 (PBP 2) that have reduced affinity for the antibiotic. The sequences of the PBP 2 genes (penA) from two penicillin-resistant isolates were almost identical (less than or equal to 1% sequence divergence) to that of a penicillin-susceptible isolate, except in a 175-bp region where the resistant and susceptible isolates differed by 27%. The nucleotide sequences of these divergent regions were identical (or almost identical) to the sequence of the corresponding region of the penA gene of N. flavescens NCTC 8263. Altered forms of PBP 2 with decreased affinity for penicillin in the two penicillin-resistant isolates of N. lactamica appear, therefore, to have arisen by the replacement of part of the N. lactamica penA gene with the corresponding region from the penA gene of N. flavescens

    Novel critical point drying (CPD) based preparation and transmission electron microscopy (TEM) imaging of protein specific molecularly imprinted polymers (HydroMIPs)

    Get PDF
    We report the transmission electron microscopy (TEM) imaging of a hydrogel-based molecularly imprinted polymer (HydroMIP) specific to the template molecule bovine haemoglobin (BHb). A novel critical point drying based sample preparation technique was employed to prepare the molecularly imprinted polymer (MIP) samples in a manner that would facilitate the use of TEM to image the imprinted cavities, and provide an appropriate degree of both magnification and resolution to image polymer architecture in the <10 nm range. For the first time, polymer structure has been detailed that clearly displays molecularly imprinted cavities, ranging from 5-50 nm in size, that correlate (in terms of size) with the protein molecule employed as the imprinting template. The modified critical point drying sample preparation technique used may potentially play a key role in the imaging of all molecularly imprinted polymers, particularly those prepared in the aqueous phase
    • …
    corecore