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.

Ferroelectric instabilities and enhanced piezoelectric response in Ce modified BaTiO3 lead-free ceramics

The crystal structure, ferroelectric, and piezoelectric behaviors of the Ba(Ti1-xCex)O-3 solid solution have been investigated at close composition intervals in the dilute concentration regime. Ce concentration as low as 2 mol. % induces tetragonal-orthorhombic instability and coexistence of the phases, leading to enhanced high-field strain and direct piezoelectric response. Detailed structural analysis revealed tetragonal + orthorhombic phase coexistence for x = 0.02, orthorhombic for 0.03 <= x <= 0.05, and orthorhombic + rhombohedral for 0.06 <= x <= 0.08. The results suggest that Ce-modified BaTiO3 is a potential lead-free piezoelectric material. (C) 2015 AIP Publishing LLC.

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.

Biocompatibility property of 100% strontium-substituted SiO2-Al2O3-P2O5-CaO-CaF2 glass ceramics over 26 weeks implantation in rabbit model: Histology and micro-Computed Tomography analysis

One of the desired properties for any new biomaterial composition is its long-term stability in a suitable animal model and such property cannot be appropriately assessed by performing short-term implantation studies. While hydroxyapatite (HA) or bioglass coated metallic biomaterials are being investigated for in vivo biocompatibility properties, such study is not extensively being pursued for bulk glass ceramics. In view of their inherent brittle nature, the implant stability as well as impact of long-term release of metallic ions on bone regeneration have been a major concern. In this perspective, the present article reports the results of the in vivo implantation experiments carried out using 100% strontium (Sr)-substituted glass ceramics with the nominal composition of 4.5 SiO2-3Al(2)O(3)-1.5P(2)O(5)-3SrO-2SrF(2) for 26 weeks in cylindrical bone defects in rabbit model. The combination of histological and micro-computed tomography analysis provided a qualitative and quantitative understanding of the bone regeneration around the glass ceramic implants in comparison to the highly bioactive HA bioglass implants (control). The sequential polychrome labeling of bone during in vivo osseointegration using three fluorochromes followed by fluorescence microscopy observation confirmed homogeneous bone formation around the test implants. The results of the present study unequivocally confirm the long-term implant stability as well as osteoconductive property of 100% Sr-substituted glass ceramics, which is comparable to that of a known bioactive implant, that is, HA-based bioglass. (c) 2014 Wiley Periodicals, Inc. J Biomed Mater Res Part B: Appl Biomater, 103B: 1168-1179, 2015.

Origin of giant dielectric constant and conductivity behavior in Zn1-xMgxO (0 <= x <= 0.1) ceramics

Zn1-xMgxO ( <= x <= 0.1) ceramics were fabricated by conventional solid-state reaction of co-precipitated zinc oxide and magnesium hydroxide nanoparticles. Structural and morphological properties of the fabricated ceramics were studied using X-ray diffraction and scanning electron microscopic analysis. The dielectric measurements of the ceramics were carried out as a function of frequency and temperature respectively. Interestingly, Mg doped ZnO (MZO) samples exhibited colossal dielectric response (similar to 1 x 10(4) at 1 kHz) with Debye like relaxation. The detailed dielectric studies and thermal analyses showed that the unusual dielectric response of the samples were originated from the defected grain and grain boundary (GB) conductivity relaxations due to the absorbed atmospheric water vapor (moisture). Impedance spectroscopy was employed to determine the defected grain and GB resistances, capacitances and which supported Maxwell-Wagner type relaxation phenomena. (C) 2015 Elsevier Ltd. All rights reserved.

Role of (La, Gd) co-doping on the enhanced dielectric and magnetic properties of BiFeO3 ceramics

The effect of the La3+ and Gd3+ co-doping on the structure, electric and magnetic properties of BiFeO3 (BFO) ceramics are investigated. For the compositions (x=0 and 0 <= y <= 0.15) in the perovskite structured LaxGdyBi1-xFeO3 system, a tiny residual phase of Bi2Fe4O9 is noticed. Such a secondary phase is suppressed with the incorporation of `La' content (x). The magnitude of dielectric constant (epsilon(r) increases progressively by increasing the `La' content from x=0 to 0.15 with a remarkable decrease of dielectric loss. For x=0.15, the system LaxGdyBi1-x(x+y)FeO3 exhibits highest remanent magnetization (M-r) of 0.18 emu/g and coercive magnetic field (H-c) of similar to 1 Tin the presence of external magnetic field of 9 T at 300 K. The origin of enhanced dielectric and magnetic properties of LaxGdyBil (x+y)Fe03 and the role of doping elements, La3+, Gd3+ has been discussed. (C) 2015 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

A survey on compressed domain video analysis techniques

Image and video analysis requires rich features that can characterize various aspects of visual information. These rich features are typically extracted from the pixel values of the images and videos, which require huge amount of computation and seldom useful for real-time analysis. On the contrary, the compressed domain analysis offers relevant information pertaining to the visual content in the form of transform coefficients, motion vectors, quantization steps, coded block patterns with minimal computational burden. The quantum of work done in compressed domain is relatively much less compared to pixel domain. This paper aims to survey various video analysis efforts published during the last decade across the spectrum of video compression standards. In this survey, we have included only the analysis part, excluding the processing aspect of compressed domain. This analysis spans through various computer vision applications such as moving object segmentation, human action recognition, indexing, retrieval, face detection, video classification and object tracking in compressed videos.

A Perspective on Computer Assisted Assessment Techniques for Short Free-Text Answers

Computer Assisted Assessment (CAA) has been existing for several years now. While some forms of CAA do not require sophisticated text understanding (e.g., multiple choice questions), there are also student answers that consist of free text and require analysis of text in the answer. Research towards the latter till date has concentrated on two main sub-tasks: (i) grading of essays, which is done mainly by checking the style, correctness of grammar, and coherence of the essay and (ii) assessment of short free-text answers. In this paper, we present a structured view of relevant research in automated assessment techniques for short free-text answers. We review papers spanning the last 15 years of research with emphasis on recent papers. Our main objectives are two folds. First we present the survey in a structured way by segregating information on dataset, problem formulation, techniques, and evaluation measures. Second we present a discussion on some of the potential future directions in this domain which we hope would be helpful for researchers.

Comparison of Matching Pursuit Algorithm with Other Signal Processing Techniques for Computation of the Time-Frequency Power Spectrum of Brain Signals

Signals recorded from the brain often show rhythmic patterns at different frequencies, which are tightly coupled to the external stimuli as well as the internal state of the subject. In addition, these signals have very transient structures related to spiking or sudden onset of a stimulus, which have durations not exceeding tens of milliseconds. Further, brain signals are highly nonstationary because both behavioral state and external stimuli can change on a short time scale. It is therefore essential to study brain signals using techniques that can represent both rhythmic and transient components of the signal, something not always possible using standard signal processing techniques such as short time fourier transform, multitaper method, wavelet transform, or Hilbert transform. In this review, we describe a multiscale decomposition technique based on an over-complete dictionary called matching pursuit (MP), and show that it is able to capture both a sharp stimulus-onset transient and a sustained gamma rhythm in local field potential recorded from the primary visual cortex. We compare the performance of MP with other techniques and discuss its advantages and limitations. Data and codes for generating all time-frequency power spectra are provided.

Nano-hardness Techniques and Its Applications in Mechanical Property Measurements for Surface Engineering

结合纳米硬度技术测量各类薄膜和块体材料表层的纳米压痕硬度、弹性模量、断裂韧性、膜厚、微结构的弯曲变形,采用纳米划痕硬度技术测量各类薄膜和块体材料的粗糙度、临界附着力、摩擦系数、划痕横剖面.纳米硬度计是检测材料表层微米乃至几十纳米力学性能的先进仪器,可广泛应用于表面工程中的质量检测.