Two techniques to improve the precision of a demand-driven null-dereference verification approach

The problem addressed in this paper is sound, scalable, demand-driven null-dereference verification for Java programs. Our approach consists conceptually of a base analysis, plus two major extensions for enhanced precision. The base analysis is a dataflow analysis wherein we propagate formulas in the backward direction from a given dereference, and compute a necessary condition at the entry of the program for the dereference to be potentially unsafe. The extensions are motivated by the presence of certain ``difficult'' constructs in real programs, e.g., virtual calls with too many candidate targets, and library method calls, which happen to need excessive analysis time to be analyzed fully. The base analysis is hence configured to skip such a difficult construct when it is encountered by dropping all information that has been tracked so far that could potentially be affected by the construct. Our extensions are essentially more precise ways to account for the effect of these constructs on information that is being tracked, without requiring full analysis of these constructs. The first extension is a novel scheme to transmit formulas along certain kinds of def-use edges, while the second extension is based on using manually constructed backward-direction summary functions of library methods. We have implemented our approach, and applied it on a set of real-life benchmarks. The base analysis is on average able to declare about 84% of dereferences in each benchmark as safe, while the two extensions push this number up to 91%. (C) 2014 Elsevier B.V. All rights reserved.

Sparse coding based VLAD for efficient image retrieval

Representing images and videos in the form of compact codes has emerged as an important research interest in the vision community, in the context of web scale image/video search. Recently proposed Vector of Locally Aggregated Descriptors (VLAD), has been shown to outperform the existing retrieval techniques, while giving a desired compact representation. VLAD aggregates the local features of an image in the feature space. In this paper, we propose to represent the local features extracted from an image, as sparse codes over an over-complete dictionary, which is obtained by K-SVD based dictionary training algorithm. The proposed VLAD aggregates the residuals in the space of these sparse codes, to obtain a compact representation for the image. Experiments are performed over the `Holidays' database using SIFT features. The performance of the proposed method is compared with the original VLAD. The 4% increment in the mean average precision (mAP) indicates the better retrieval performance of the proposed sparse coding based VLAD.

Use of Data Driven Techniques for Short Lead Time Streamflow Forecasting in Mahanadi basin

Streamflow forecasts at daily time scale are necessary for effective management of water resources systems. Typical applications include flood control, water quality management, water supply to multiple stakeholders, hydropower and irrigation systems. Conventionally physically based conceptual models and data-driven models are used for forecasting streamflows. Conceptual models require detailed understanding of physical processes governing the system being modeled. Major constraints in developing effective conceptual models are sparse hydrometric gauge network and short historical records that limit our understanding of physical processes. On the other hand, data-driven models rely solely on previous hydrological and meteorological data without directly taking into account the underlying physical processes. Among various data driven models Auto Regressive Integrated Moving Average (ARIMA), Artificial Neural Networks (ANNs) are most widely used techniques. The present study assesses performance of ARIMA and ANNs methods in arriving at one-to seven-day ahead forecast of daily streamflows at Basantpur streamgauge site that is situated at upstream of Hirakud Dam in Mahanadi river basin, India. The ANNs considered include Feed-Forward back propagation Neural Network (FFNN) and Radial Basis Neural Network (RBNN). Daily streamflow forecasts at Basantpur site find use in management of water from Hirakud reservoir. (C) 2015 The Authors. Published by Elsevier B.V.

Intramolecular hydrogen bonds involving organic fluorine in the derivatives of hydrazides: an NMR investigation substantiated by DFT based theoretical calculations

The rare examples of intramolecular hydrogen bonds (HB) of the type the N-H center dot center dot center dot F-C, detected in a low polarity solvent in the derivatives of hydrazides, by utilizing one and two-dimensional solution state multinuclear NMR techniques, are reported. The observation of through-space couplings, such as, (1h)J(FH), and (1h)J(FN), provides direct evidence for the existence of intra-molecular HB. Solvent induced perturbations and the variable temperature NMR experiments unambiguously establish the presence of intramolecular HB. The existence of multiple conformers in some of the investigated molecules is also revealed by two dimensional HOESY and N-15-H-1 HSQC experiments. The H-1 DOSY experimental results discard any possibility of self or cross dimerization of the molecules. The derived NMR experimental results are further substantiated by Density Function Theory (DFT) based Non Covalent Interaction (NCI), and Quantum Theory of Atom in Molecule (QTAIM) calculations. The NCI calculations served as a very sensitive tool for detection of non-covalent interactions and also confirm the presence of bifurcated HBs.

Modeling Ultrasonic NDE and Guided Wave based Structural Health Monitoring

Structural Health Monitoring (SHM) systems require integration of non-destructive technologies into structural design and operational processes. Modeling and simulation of complex NDE inspection processes are important aspects in the development and deployment of SHM technologies. Ray tracing techniques are vital simulation tools to visualize the wave path inside a material. These techniques also help in optimizing the location of transducers and their orientation with respect to the zone of interrogation. It helps in increasing the chances of detection and identification of a flaw in that zone. While current state-of-the-art techniques such as ray tracing based on geometric principle help in such visualization, other information such as signal losses due to spherical or cylindrical shape of wave front are rarely taken into consideration. The problem becomes a little more complicated in the case of dispersive guided wave propagation and near-field defect scattering. We review the existing models and tools to perform ultrasonic NDE simulation in structural components. As an initial step, we develop a ray-tracing approach, where phase and spectral information are preserved. This enables one to study wave scattering beyond simple time of flight calculation of rays. Challenges in terms of theory and modelling of defects of various kinds are discussed. Various additional considerations such as signal decay and physics of scattering are reviewed and challenges involved in realistic computational implementation are discussed. Potential application of this approach to SHM system design is highlighted and by applying this to complex structural components such as airframe structures, SHM is demonstrated to provide additional value in terms of lighter weight and/or longevity enhancement resulting from an extension of the damage tolerance design principle not compromising safety and reliability.

Novel Biobjective Clustering (BiGC) Based on Cooperative Game Theory

We propose a new approach to clustering. Our idea is to map cluster formation to coalition formation in cooperative games, and to use the Shapley value of the patterns to identify clusters and cluster representatives. We show that the underlying game is convex and this leads to an efficient biobjective clustering algorithm that we call BiGC. The algorithm yields high-quality clustering with respect to average point-to-center distance (potential) as well as average intracluster point-to-point distance (scatter). We demonstrate the superiority of BiGC over state-of-the-art clustering algorithms (including the center based and the multiobjective techniques) through a detailed experimentation using standard cluster validity criteria on several benchmark data sets. We also show that BiGC satisfies key clustering properties such as order independence, scale invariance, and richness.

India-Madagascar paleo-fit based on flexural isostasy of their rifted margins

The present study contributes new constraints on, and definitions of, the reconstructed plate margins of India and Madagascar based on flexural isostasy along the Western Continental Margin of India (WCMI) and the Eastern Continental Margin of Madagascar (ECMM). We have estimated the nature of isostasy and crustal geometry along the two margins, and have examined their possible conjugate structure. Here we utilize elastic thickness (Te) and Moho depth data as the primary basis for the correlation of these passive margins. We employ the flexure inversion technique that operates in spatial domain in order to estimate the spatial variation of effective elastic thickness. Gravity inversion and flexure inversion techniques are used to estimate the configuration of the Moho/Crust-Mantle Interface that reveals regional correlations with the elastic thickness variations. These results correlate well with the continental and oceanic segments of the Indian and African plates. The present study has found a linear zone of anomalously low-Te (1-5 km) along the WCMI (similar to 1680 km), which correlates well with the low-Te patterns obtained all along the ECMM. We suggest that the low-Te zones along the WCMI and ECMM represent paleo-rift inception points of lithosphere thermally and mechanically weakened by the combined effects of the Marion hotspot and lithospheric extension due to rifting. We have produced an India-Madagascar paleo-fit representing the initial phase of separation based on the Te estimates of the rifted conjugate margins, which is confirmed by a close-fit correlation of Moho geometry and bathymetry of the shelf margins. The matching of tectonic lineaments, lithologies and geochronological belts between India and Madagascar provide an additional support for the present plate reconstruction. (C) 2014 International Association for Gondwana Research. Published by Elsevier B.V. All rights reserved.

One pot auto-ignition based synthesis of novel Sr2CeO4: Ho3+ nanophosphor for photoluminescent applications

Ho3+ (0.25-7 mol%) doped Sr2CeO4 nanophosphors were synthesized by solution combustion method using urea as fuel. The structural properties of the nanophosphors were investigated by powder X-ray diffraction studies (PXRD), scanning electron microscopy (SEM) and transmission electron microscopy (TEM) techniques. UV-Visible and photoluminescence (PL) spectroscopic techniques were used for analysing the optical properties of the nanoparticles. PXRD and TEM results revealed the formation of Sr2CeO4: Ho3+ nanocrystalline particles with orthorhombic crystal structure. From the UV-Vis studies the optical band gap energy found to decrease from 5.9 to 5.74 eV with increase in dopant concentration. The PL spectra exhibit the broad excitation band from 200 to 400 nm which concurs well with the commercial near UV LED. The PL spectra vary with the dopant content due to energy transfer from the host to the activator. In this present work we demonstrate that color tuning of phosphor can be achieved by merely varying the Ho3+ ions concentration. The CIE and CCT chromaticity coordinates suggests Sr2CeO4: Ho3+ nanophosphors may be potentially applicable as promising single - phased phosphors for lighting applications. (C) 2015 Elsevier B.V. All rights reserved.

Active learning in keyword search-based data integration

The problem of scaling up data integration, such that new sources can be quickly utilized as they are discovered, remains elusive: Global schemas for integrated data are difficult to develop and expand, and schema and record matching techniques are limited by the fact that data and metadata are often under-specified and must be disambiguated by data experts. One promising approach is to avoid using a global schema, and instead to develop keyword search-based data integration-where the system lazily discovers associations enabling it to join together matches to keywords, and return ranked results. The user is expected to understand the data domain and provide feedback about answers' quality. The system generalizes such feedback to learn how to correctly integrate data. A major open challenge is that under this model, the user only sees and offers feedback on a few ``top-'' results: This result set must be carefully selected to include answers of high relevance and answers that are highly informative when feedback is given on them. Existing systems merely focus on predicting relevance, by composing the scores of various schema and record matching algorithms. In this paper, we show how to predict the uncertainty associated with a query result's score, as well as how informative feedback is on a given result. We build upon these foundations to develop an active learning approach to keyword search-based data integration, and we validate the effectiveness of our solution over real data from several very different domains.

New symmetrical dinucleating ligand based assembly of bridged dicopper(II) and dizinc(II) centers: Synthesis, structure, spectroscopy, magnetic properties and glycoside hydrolysis

Two dinuclear copper(II) complexes Li(H2O)(3)(CH3OH)](4)Cu2Br4]Cu-2(cpdp)(mu-O2CCH3)](4)(OH)(2) (1), Cu (H2O)(4)]Cu-2(cpdp)(mu-O2CC6H5)](2)Cl-2 center dot 5H(2)O (2), and a dinuclear zinc(II) complex Zn-2(cpdp)(mu-O2CCH3)] (3) have been synthesized using pyridine and benzoate functionality based new symmetrical dinucleating ligand, N, N'-Bis2-carboxybenzomethyl]-N, N'-Bis2-pyridylmethyl]-1,3-diaminopropan-2-ol (H(3)cpdp). Complexes 1, 2 and 3 have been synthesized by carrying out reaction of the ligand H3cpdp with stoichiometric amounts of Cu-2(O2CCH3)(4)(H2O)(2)], CuCl2 center dot 2H(2)O/C6H5COONa, and Zn(CH3COO)(2)center dot 2H(2)O, respectively, in methanol in the presence of NaOH at ambient temperature. Characterizations of the complexes have been done using various analytical techniques including single crystal X-ray structure determination. The X-ray crystal structure analyses reveal that the copper(II) ions in complexes 1 and 2 are in a distorted square pyramidal geometry with Cu-Cu separation of 3.455(8) angstrom and 3.492(1)angstrom, respectively. The DFT optimized structure of complex 3 indicates that two zinc(II) ions are in a distorted square pyramidal geometry with Zn-Zn separation of 3.492(8)angstrom. UV-Vis and mass spectrometric analyses of the complexes confirm their dimeric nature in solution. Furthermore, H-1 and C-13 NMR spectroscopic investigations authenticate the integrity of complex 3 in solution. Variable-temperature (2-300 K) magnetic susceptibility measurements show the presence of antiferromagnetic interactions between the copper centers, with J = -26.0 cm(-1) and -23.9 cm(-1) ((H) over cap = -2JS(1)S(2)) in complexes 1 and 2, respectively. In addition, glycosidase-like activity of the complexes has been investigated in aqueous solution at pH similar to 10.5 by UV-Vis spectrophotometric technique using p-nitrophenyl-alpha-D-glucopyranoside (4) and p-nitrophenyl-beta-D-glucopyranoside (5) as model substrates. (C) 2015 Elsevier B.V. All rights reserved.

Patch-based and multiresolution optimum bilateral filters for denoising images corrupted by Gaussian noise

We propose optimal bilateral filtering techniques for Gaussian noise suppression in images. To achieve maximum denoising performance via optimal filter parameter selection, we adopt Stein's unbiased risk estimate (SURE)-an unbiased estimate of the mean-squared error (MSE). Unlike MSE, SURE is independent of the ground truth and can be used in practical scenarios where the ground truth is unavailable. In our recent work, we derived SURE expressions in the context of the bilateral filter and proposed SURE-optimal bilateral filter (SOBF). We selected the optimal parameters of SOBF using the SURE criterion. To further improve the denoising performance of SOBF, we propose variants of SOBF, namely, SURE-optimal multiresolution bilateral filter (SMBF), which involves optimal bilateral filtering in a wavelet framework, and SURE-optimal patch-based bilateral filter (SPBF), where the bilateral filter parameters are optimized on small image patches. Using SURE guarantees automated parameter selection. The multiresolution and localized denoising in SMBF and SPBF, respectively, yield superior denoising performance when compared with the globally optimal SOBF. Experimental validations and comparisons show that the proposed denoisers perform on par with some state-of-the-art denoising techniques. (C) 2015 SPIE and IS&T

Self-assembly of Metallamacrocycles Employing a New Benzil-based Organometallic Bisplatinum(II) Acceptor

A benzil-based semi-rigid dinuclear organometallic acceptor 4,4'-bistrans-Pt(PEt3)(2)(NO3)(ethynyl)]benzil (bisPt-NO3) containing a Pt-ethynyl functionality was synthesized in good yield and characterized by multinuclear NMR (H-1, P-31, and C-13), electrospray ionization mass spectrometry (ESI-MS), and single-crystal X-ray diffraction analysis of the iodide analogue bisPt-I. The stoichiometric (1:1) combination of the acceptor bisPt-NO3 separately with four different ditopic donors (L-1-L-4; L-1 = 9-ethyl-3,6-di(1H-imidazol-1-yl)-9H-carbazole, L-2 = 1,4-bis((1H-imidazol-1-yl)methyl)benzene, L-3 = 1,3-bis((1H-imidazol-1-yl)methyl)benzene and L-4 = 9,10-bis((1H-imidazol-1-yl) methyl)anthracene) yielded four 2 + 2] self-assembled metallacycles M-1-M-4 in quantitative yields, respectively. All these newly synthesized assemblies were characterized by various spectroscopic techniques (NMR, IR, ESI-MS) and their sizes/shapes were predicted through geometry optimization employing the PM6 semi-empirical method. The benzil moiety was introduced in the backbone of the acceptor bisPt-NO3 due to the interesting structural feature of long carbonyl C-C bond (similar to 1.54 angstrom), which enabled us to probe the role of conformational flexibility on size and shapes of the resulting coordination ensembles.

Mononuclear five-coordinate cobalt(II) complexes with N-4-coordinate pyrazole based ligand and pseudohalogens: synthesis, structures, DNA and protein binding study

A series of mononuclear five-coordinate cobalt(II) complexes, Co(dbdmp)(X)]Y, where dbdmp=N,N-diethyl-N,N-bis((3,5-dimethyl-1H-pyrazol-1-yl)methyl)ethane-1, 2-diamine, X=N-3(-)/NCO-/NCS- and Y=PF6-/BF4-/ClO4-, have been synthesized and characterized by microanalyses and spectroscopic techniques. Crystal structures of Co(N-3)(dbdmp)]PF6 (1), Co(N-3)(dbdmp)]ClO4 (3), Co(NCO)(dbdmp)]PF6 (4), Co(NCO)(dbdmp)]ClO4 (6), and Co(NCS)(dbdmp)]ClO4 (9) have been solved by single-crystal X-ray diffraction studies and showed that all the complexes have distorted trigonal bipyramidal geometry; PF6- counter anion containing complexes Co(N-3)(dbdmp)]PF6 and Co(NCO)(dbdmp)]PF6 have chiral space groups. The binding ability of synthesized complexes with CT-DNA and bovine serum albumin (BSA) has been studied by spectroscopic methods and viscosity measurements. The experimental results of absorption titration of cobalt(II) complexes with CT-DNA indicate that the complexes have ability to form adducts and they can stabilize the DNA helix. The cobalt(II) complexes exhibit good binding propensity to BSA protein.

High performance sol-gel spin-coated titanium dioxide dielectric based MOS structures

High-kappa TiO2 thin films have been fabricated using cost effective sol-gel and spin-coating technique on p-Si (100) wafer. Plasma activation process was used for better adhesion between TiO2 films and Si. The influence of annealing temperature on the structure-electrical properties of titania films were investigated in detail. Both XRD and Raman studies indicate that the anatase phase crystallizes at 400 degrees C, retaining its structural integrity up to 1000 degrees C. The thickness of the deposited films did not vary significantly with the annealing temperature, although the refractive index and the RMS roughness enhanced considerably, accompanied by a decrease in porosity. For electrical measurements, the films were integrated in metal-oxide-semiconductor (MOS) structure. The electrical measurements evoke a temperature dependent dielectric constant with low leakage current density. The Capacitance-voltage (C-V) characteristics of the films annealed at 400 degrees C exhibited a high value of dielectric constant (similar to 34). Further, frequency dependent C-V measurements showed a huge dispersion in accumulation capacitance due to the presence of TiO2/Si interface states and dielectric polarization, was found to follow power law dependence on frequency (with exponent `s'=0.85). A low leakage current density of 3.6 x 10(-7) A/cm(2) at 1 V was observed for the films annealed at 600 degrees C. The results of structure-electrical properties suggest that the deposition of titania by wet chemical method is more attractive and cost-effective for production of high-kappa materials compared to other advanced deposition techniques such as sputtering, MBE, MOCVD and AID. The results also suggest that the high value of dielectric constant kappa obtained at low processing temperature expands its scope as a potential dielectric layer in MOS device technology. (C) 2015 Elsevier Ltd. All rights reserved.

Multi-dimensional Goodness-of-Fit Tests for Spectrum Sensing Based on Stochastic Distances

In this paper, we study two multi-dimensional Goodness-of-Fit tests for spectrum sensing in cognitive radios. The multi-dimensional scenario refers to multiple CR nodes, each with multiple antennas, that record multiple observations from multiple primary users for spectrum sensing. These tests, viz., the Interpoint Distance (ID) based test and the h, f distance based tests are constructed based on the properties of stochastic distances. The ID test is studied in detail for a single CR node case, and a possible extension to handle multiple nodes is discussed. On the other hand, the h, f test is applicable in a multi-node setup. A robustness feature of the KL distance based test is discussed, which has connections with Middleton's class A model. Through Monte-Carlo simulations, the proposed tests are shown to outperform the existing techniques such as the eigenvalue ratio based test, John's test, and the sphericity test, in several scenarios.