Race Detection for Android Applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DROIDRACER. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 1 5 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DROIDRACER is an effective tool to identify data races.

Multiscale Symmetry Detection in Scalar Fields by Clustering Contours

The complexity in visualizing volumetric data often limits the scope of direct exploration of scalar fields. Isocontour extraction is a popular method for exploring scalar fields because of its simplicity in presenting features in the data. In this paper, we present a novel representation of contours with the aim of studying the similarity relationship between the contours. The representation maps contours to points in a high-dimensional transformation-invariant descriptor space. We leverage the power of this representation to design a clustering based algorithm for detecting symmetric regions in a scalar field. Symmetry detection is a challenging problem because it demands both segmentation of the data and identification of transformation invariant segments. While the former task can be addressed using topological analysis of scalar fields, the latter requires geometry based solutions. Our approach combines the two by utilizing the contour tree for segmenting the data and the descriptor space for determining transformation invariance. We discuss two applications, query driven exploration and asymmetry visualization, that demonstrate the effectiveness of the approach.

AN OPTIMUM SHRINKAGE ESTIMATOR BASED ON MINIMUM-PROBABILITY-OF-ERROR CRITERION AND APPLICATION TO SIGNAL DENOISING

We address the problem of designing an optimal pointwise shrinkage estimator in the transform domain, based on the minimum probability of error (MPE) criterion. We assume an additive model for the noise corrupting the clean signal. The proposed formulation is general in the sense that it can handle various noise distributions. We consider various noise distributions (Gaussian, Student's-t, and Laplacian) and compare the denoising performance of the estimator obtained with the mean-squared error (MSE)-based estimators. The MSE optimization is carried out using an unbiased estimator of the MSE, namely Stein's Unbiased Risk Estimate (SURE). Experimental results show that the MPE estimator outperforms the SURE estimator in terms of SNR of the denoised output, for low (0 -10 dB) and medium values (10 - 20 dB) of the input SNR.

A fluorescent organic cage for picric acid detection

Dynamic covalent imine chemistry has been utilized to synthesize a fluorescent 3+2] self-assembled nanoscopic organic cage. The fluorescent nature of the reduced analogue of the cage was further exploited for the highly selective detection of the explosive picric acid (PA).

Optical detection of submicromolar levels of nitro explosives by a submicron sized metal-organic phosphor material

Two isomorphous submicron sized metal-organic network compounds, Y-2(PDA)(3)(H2O)1]center dot 2H(2)O (PDA = 1,4-phenylenediacetate), 1 and Y1.8Tb0.2(PDA)(3)(H2O)1]center dot 2H(2)O, Tb@1 have been synthesized by employing solvent assisted liquid grinding followed by heating at 180 degrees C for 1' min and washing with water. Single crystal X-ray data of bulk 1 confirmed a three dimensional porous structure. The structure and morphology of 1 and Tb@1 were systematically characterized by PXRD, TGA, DSC, IR, SEM and EDX analysis. Dehydrated Tb@1 Tb@1'] shows a high intense visible green emission upon exposure to UV light. The green emission of Tb@1' was used for the detection of nitro explosives, such as 2,4,6-trinitrophenol (TNP), 1,3-dinitro benzene (DNB), 2,4-dinitro toluene (DNT), nitro benzene (NB), and 4-nitro toluene (NT) in acetonitrile. The results show that the emission intensity of dehydrated Tb@1' can be quenched by all the nitro analytes used in the present work. Remarkably, Tb@1' exhibited a high efficiency for TNP, DNB and DNT detection with K-SV K-SV = quenching constant based on linear Stern-Volmer plot] values of 70 920, 44 000 and 35 430 M-1, respectively, which are the highest values amongst known metal-organic materials. Using this material submicromolar level (equivalent to 0.18 ppm), a detection of nitro explosives has been achieved.

Return levels of hydrologic droughts under climate change

Developments in the statistical extreme value theory, which allow non-stationary modeling of changes in the frequency and severity of extremes, are explored to analyze changes in return levels of droughts for the Colorado River. The transient future return levels (conditional quantiles) derived from regional drought projections using appropriate extreme value models, are compared with those from observed naturalized streamflows. The time of detection is computed as the time at which significant differences exist between the observed and future extreme drought levels, accounting for the uncertainties in their estimates. Projections from multiple climate model-scenario combinations are considered; no uniform pattern of changes in drought quantiles is observed across all the projections. While some projections indicate shifting to another stationary regime, for many projections which are found to be non-stationary, detection of change in tail quantiles of droughts occurs within the 21st century with no unanimity in the time of detection. Earlier detection is observed in droughts levels of higher probability of exceedance. (C) 2014 Elsevier Ltd. All rights reserved.

Enriching the annotation of Mycobacterium tuberculosis H37Rv proteome using remote homology detection approaches: Insights into structure and function

The availability of the genome sequence of Mycobacterium tuberculosis H37Rv has encouraged determination of large numbers of protein structures and detailed definition of the biological information encoded therein; yet, the functions of many proteins in M. tuberculosis remain unknown. The emergence of multidrug resistant strains makes it a priority to exploit recent advances in homology recognition and structure prediction to re-analyse its gene products. Here we report the structural and functional characterization of gene products encoded in the M. tuberculosis genome, with the help of sensitive profile-based remote homology search and fold recognition algorithms resulting in an enhanced annotation of the proteome where 95% of the M. tuberculosis proteins were identified wholly or partly with information on structure or function. New information includes association of 244 proteins with 205 domain families and a separate set of new association of folds to 64 proteins. Extending structural information across uncharacterized protein families represented in the M. tuberculosis proteome, by determining superfamily relationships between families of known and unknown structures, has contributed to an enhancement in the knowledge of structural content. In retrospect, such superfamily relationships have facilitated recognition of probable structure and/or function for several uncharacterized protein families, eventually aiding recognition of probable functions for homologous proteins corresponding to such families. Gene products unique to mycobacteria for which no functions could be identified are 183. Of these 18 were determined to be M. tuberculosis specific. Such pathogen-specific proteins are speculated to harbour virulence factors required for pathogenesis. A re-annotated proteome of M. tuberculosis, with greater completeness of annotated proteins and domain assigned regions, provides a valuable basis for experimental endeavours designed to obtain a better understanding of pathogenesis and to accelerate the process of drug target discovery. (C) 2014 Elsevier Ltd. All rights reserved.

Matrix Crack Detection in Composite Plate with Spatially Random Material Properties using Fractal Dimension

Fractal dimension based damage detection method is investigated for a composite plate with random material properties. Composite material shows spatially varying random material properties because of complex manufacturing processes. Matrix cracks are considered as damage in the composite plate. Such cracks are often seen as the initial damage mechanism in composites under fatigue loading and also occur due to low velocity impact. Static deflection of the cantilevered composite plate with uniform loading is calculated using the finite element method. Damage detection is carried out based on sliding window fractal dimension operator using the static deflection. Two dimensional homogeneous Gaussian random field is generated using Karhunen-Loeve (KL) expansion to represent the spatial variation of composite material property. The robustness of fractal dimension based damage detection method is demonstrated considering the composite material properties as a two dimensional random field.

Sensitive detection of C-reactive protein using optical fiber Bragg gratings

An accurate and highly sensitive sensor platform has been demonstrated for the detection of C-reactive protein (CRP) using optical fiber Bragg gratings (FBGs). The CRP detection has been carried out by monitoring the shift in Bragg wavelength (Delta lambda(B)) of an etched FBG (eFBG) coated with an anti-CRP antibody (aCRP)-graphene oxide (GO) complex. The complex is characterized by Fourier transform infrared spectroscopy, X-ray photoelectron spectroscopy and atomic force microscopy. A limit of detection of 0.01 mg/L has been achieved with a linear range of detection from 0.01 mg/L to 100 mg/L which includes clinical range of CRP. The eFBG sensor coated with only aCRP (without GO) show much less sensitivity than that of aCRP-GO complex coated eFBG. The eFBG sensors show high specificity to CRP even in the presence of other interfering factors such as urea, creatinine and glucose. The affinity constant of similar to 1.1 x 10(10) M-1 has been extracted from the data of normalized shift (Delta lambda(B)/lambda(B)) as a function of CRP concentration. (C) 2014 Elsevier B.V. All rights reserved.

Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

Trace Driven Dynamic Deadlock Detection and Reproduction

Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.

Matrix crack detection in spatially random composite structures using fractal dimension

Fractal dimension based damage detection method is studied for a composite structure with random material properties. A composite plate with localized matrix crack is considered. Matrix cracks are often seen as the initial damage mechanism in composites. Fractal dimension based method is applied to the static deformation curve of the structure to detect localized damage. Static deflection of a cantilevered composite plate under uniform loading is calculated using the finite element method. Composite material shows spatially varying random material properties because of complex manufacturing processes. Spatial variation of material property is represented as a two dimensional homogeneous Gaussian random field. Karhunen-Loeve (KL) expansion is used to generate a random field. The robustness of fractal dimension based damage detection methods is studied considering the composite plate with spatial variation in material properties.

Colorimetric detection of melamine based on the size effect of AuNPs

A simple colorimetric detection of melamine was studied using 15 nm (AuNPs-I), 30 nm (AuNPs-II), and 40 nm (AuNPs-III) citrate-capped gold nanoparticles (AuNPs). The AuNPs aggregated in aqueous solution in the presence of melamine, showing a visual color change from red to blue. This color change led to a shift in the absorption peak from 527 nm, 526 nm, and 525 nm to 638 nm, 626 nm, and 680 nm for AuNPs-I, AuNPs-II, and AuNPs-III, respectively. For all the three AuNPs, linearity was observed between the melamine concentration in aqueous solution and the absorbance ratios, A(638/527), A(626/525), and A(680/526), respectively. The limit of detection (LOD) for melamine for the AuNPs-II was found to be 2.37 x 10(-8) M (correlation coefficient R-2 = 0.9745), which showed better sensitivity as compared to the LOD of the AuNPs-I and AuNPs-III, which were 3.3 x 10(-8) M and 8.9 x 10(-8) M, respectively. The synthesis of AuNPs-II also involved a lower HAuCl4 concentration compared with the other two types of AuNPs, which may reduce the process cost. The AuNPs-II was selected to analyze melamine in pre-treated milk samples, and the recovery percentage was in the range of 91-106%. Thus, the efficient detection of melamine was possible using AuNPs-II for the on-site detection without the aid of expensive instruments.

Highly sensitive and rapid detection of acetylcholine using an ITO plate modified with platinum-graphene nanoparticles

Determining the concentrations of acetylcholine (ACh) and choline (Ch) is clinically important. ACh is a neurotransmitter that acts as a key link in the communication between neurons in the spinal cord and in nerve skeletal junctions in vertebrates, and plays an important role in transmitting signals in the brain. A bienzymatic sensor for the detection of ACh was prepared by co-immobilizing choline oxidase (ChO) and acetylcholinesterase (AChE) on graphene matrix/platinum nanoparticles, and then electrodepositing them on an ITO-coated glass plate. Graphene nanoparticles were decorated with platinum nanoparticles and were electrodeposited on a modified ITO-coated glass plate to form a modified electrode. The modified electrode was characterized by scanning electron microscopy (SEM), cyclic voltammetry (CV) and electrochemical impedance spectroscopy (EIS) studies. The optimum response of the enzyme electrode was obtained at pH 7.0 and 35 degrees C. The response time of this ACh-sensing system was shown to be 4 s. The linear range of responses to ACh was 0.005-700 mu M. This biosensor exhibits excellent anti-interferential abilities and good stability, retaining 50% of its original current even after 4 months. It has been applied for the detection of ACh levels in human serum samples.

NrichD database: sequence databases enriched with computationally designed protein-like sequences aid in remote homology detection

NrichD ( ext-link-type=''uri'' xlink:href=''http://proline.biochem.iisc.ernet.in/NRICHD/'' xlink:type=''simple''>http://proline.biochem.iisc.ernet.in/NRICHD/)< /named-content> is a database of computationally designed protein-like sequences, augmented into natural sequence databases that can perform hops in protein sequence space to assist in the detection of remote relationships. Establishing protein relationships in the absence of structural evidence or natural `intermediately related sequences' is a challenging task. Recently, we have demonstrated that the computational design of artificial intermediary sequences/linkers is an effective approach to fill naturally occurring voids in protein sequence space. Through a large-scale assessment we have demonstrated that such sequences can be plugged into commonly employed search databases to improve the performance of routinely used sequence search methods in detecting remote relationships. Since it is anticipated that such data sets will be employed to establish protein relationships, two databases that have already captured these relationships at the structural and functional domain level, namely, the SCOP database and the Pfam database, have been `enriched' with these artificial intermediary sequences. NrichD database currently contains 3 611 010 artificial sequences that have been generated between 27 882 pairs of families from 374 SCOP folds. The data sets are freely available for download. Additional features include the design of artificial sequences between any two protein families of interest to the user.