Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

2.5PN linear momentum flux from inspiralling compact binaries in quasicircular orbits and associated recoil: Nonspinning case

Anisotropic emission of gravitational waves (GWs) from inspiralling compact binaries leads to the loss of linear momentum and hence gravitational recoil of the system. The loss rate of linear momentum in the far-zone of the source (a nonspinning binary system of black holes in quasicircular orbit) is investigated at the 2.5 post-Newtonian (PN) order and used to provide an analytical expression in harmonic coordinates for the 2.5PN accurate recoil velocity of the binary accumulated in the inspiral phase. The maximum recoil velocity of the binary system at the end of its inspiral phase (i.e at the innermost stable circular orbit (ISCO)) estimated by the 2.5PN formula is of the order of 4 km s(-1) which is smaller than the 2PN estimate of 22 km s(-1). Going beyond inspiral, we also provide an estimate of the more important contribution to the recoil velocity from the plunge phase. The maximum recoil velocity at the end of the plunge, involving contributions both from inspiral and plunge phase, for a binary with symmetric mass ratio nu = 0.2 is of the order of 182 km s(-1).

General classical theory of spinning particles in a meson field

An exact classical theory of the motion of a point dipole in a meson field is given which takes into account the effects of the reaction of the emitted meson field. The meson field is characterized by a constant $\chi =\mu /\hslash $ of the dimensions of a reciprocal length, $\mu $ being the meson mass, and as $\chi \rightarrow $ 0 the theory of this paper goes over continuously into the theory of the preceding paper for the motion of a spinning particle in a Maxwell field. The mass of the particle and the spin angular momentum are arbitrary mechanical constants. The field contributes a small finite addition to the mass, and a negative moment of inertia about an axis perpendicular to the spin axis. A cross-section (formula (88 a)) is given for the scattering of transversely polarized neutral mesons by the rotation of the spin of the neutron or proton which should be valid up to energies of 10$^{9}$ eV. For low energies E it agrees completely with the old quantum cross-section, having a dependence on energy proportional to p$^{4}$/E$^{2}$ (p being the meson momentum). At higher energies it deviates completely from the quantum cross-section, which it supersedes by taking into account the effects of radiation reaction on the rotation of the spin. The cross-section is a maximum at E $\sim $ 3$\cdot $5$\mu $, its value at this point being 3 $\times $ 10$^{-26}$ cm.$^{2}$, after which it decreases rapidly, becoming proportional to E$^{-2}$ at high energies. Thus the quantum theory of the interaction of neutrons with mesons goes wrong for E $\gtrsim $ 3$\mu $. The scattering of longitudinally polarized mesons is due to the translational but not the rotational motion of the dipole and is at least twenty thousand times smaller. With the assumption previously made by the present author that the heavy partilesc may exist in states of any integral charge, and in particular that protons of charge 2e and - e may occur in nature, the above results can be applied to charged mesons. Thus transversely polarised mesons should undergo a very big scattering and consequent absorption at energies near 3$\cdot $5$\mu $. Hence the energy spectrum of transversely polarized mesons should fall off rapidly for energies below about 3$\mu $. Scattering plays a relatively unimportant part in the absorption of longitudinally polarized mesons, and they are therefore much more penetrating. The theory does not lead to Heisenberg explosions and multiple processes.

Synthesis and characterization of cobalt(II), nickel(II), copper(II) and zinc(II) complexes of 2-nitrobenzoic acid with methyl carbazate as ancillary ligand. Crystal structure of the copper(II) complex

Divalent metal complexes of general formula M(2-nb)(2)(mc)(2)].2(2-nbH), where M = Co(II), Ni(II), Cu(II) or Zn(II), 2-nbH = 2-nitrobenzoic acid and mc = methyl carbazate (NH2NHCOOCH3), have been prepared and characterized by physicochemical and spectroscopic methods. Single-crystal X-ray study of the Cu(II) complex revealed that the molecule is centrosymmetric, with two N,O-chelating mc ligands in equatorial positions and a pair of monodentate 2-nb anions in the axial positions. The lattice 2-nbH molecules help to establish the packing of monomers through hydrogen-bonding interactions. Thermal stability and reactivity of the complexes were studied by TG-DTA. Emission studies show that these complexes are fluorescent.

Network properties of protein-decoy structures

Convergence of the vast sequence space of proteins into a highly restricted fold/conformational space suggests a simple yet unique underlying mechanism of protein folding that has been the subject of much debate in the last several decades. One of the major challenges related to the understanding of protein folding or in silico protein structure prediction is the discrimination of non-native structures/decoys from the native structure. Applications of knowledge-based potentials to attain this goal have been extensively reported in the literature. Also, scoring functions based on accessible surface area and amino acid neighbourhood considerations were used in discriminating the decoys from native structures. In this article, we have explored the potential of protein structure network (PSN) parameters to validate the native proteins against a large number of decoy structures generated by diverse methods. We are guided by two principles: (a) the PSNs capture the local properties from a global perspective and (b) inclusion of non-covalent interactions, at all-atom level, including the side-chain atoms, in the network construction accommodates the sequence dependent features. Several network parameters such as the size of the largest cluster, community size, clustering coefficient are evaluated and scored on the basis of the rank of the native structures and the Z-scores. The network analysis of decoy structures highlights the importance of the global properties contributing to the uniqueness of native structures. The analysis also exhibits that the network parameters can be used as metrics to identify the native structures and filter out non-native structures/decoys in a large number of data-sets; thus also has a potential to be used in the protein `structure prediction' problem.

Radial infall of two compact objects: 2.5-post-Newtonian linear momentum flux and associated recoil

The loss rate of linear momentum from a binary system composed of compact objects (radially falling towards each other under mutual gravitational influence) has been investigated using the multipolar post-Minkowskian approach. The 2.5PN accurate analytical formula for the linear momentum flux is provided, in terms of the separation of the two objects, in harmonic coordinates, both for a finite and an infinite initial separation. The 2.5PN formulas for the linear momentum flux are finally used to estimate the recoil velocity accumulated during a premerger phase of the binary evolution.

Practical fully three-dimensional reconstruction algorithms for diffuse optical tomography

We have developed an efficient fully three-dimensional (3D) reconstruction algorithm for diffuse optical tomography (DOT). The 3D DOT, a severely ill-posed problem, is tackled through a pseudodynamic (PD) approach wherein an ordinary differential equation representing the evolution of the solution on pseudotime is integrated that bypasses an explicit inversion of the associated, ill-conditioned system matrix. One of the most computationally expensive parts of the iterative DOT algorithm, the reevaluation of the Jacobian in each of the iterations, is avoided by using the adjoint-Broyden update formula to provide low rank updates to the Jacobian. In addition, wherever feasible, we have also made the algorithm efficient by integrating along the quadratic path provided by the perturbation equation containing the Hessian. These algorithms are then proven by reconstruction, using simulated and experimental data and verifying the PD results with those from the popular Gauss-Newton scheme. The major findings of this work are as follows: (i) the PD reconstructions are comparatively artifact free, providing superior absorption coefficient maps in terms of quantitative accuracy and contrast recovery; (ii) the scaling of computation time with the dimension of the measurement set is much less steep with the Jacobian update formula in place than without it; and (iii) an increase in the data dimension, even though it renders the reconstruction problem less ill conditioned and thus provides relatively artifact-free reconstructions, does not necessarily provide better contrast property recovery. For the latter, one should also take care to uniformly distribute the measurement points, avoiding regions close to the source so that the relative strength of the derivatives for measurements away from the source does not become insignificant. (c) 2012 Optical Society of America

Cascaded walks in protein sequence space: use of artificial sequences in remote homology detection between natural proteins

Over the past two decades, many ingenious efforts have been made in protein remote homology detection. Because homologous proteins often diversify extensively in sequence, it is challenging to demonstrate such relatedness through entirely sequence-driven searches. Here, we describe a computational method for the generation of `protein-like' sequences that serves to bridge gaps in protein sequence space. Sequence profile information, as embodied in a position-specific scoring matrix of multiply aligned sequences of bona fide family members, serves as the starting point in this algorithm. The observed amino acid propensity and the selection of a random number dictate the selection of a residue for each position in the sequence. In a systematic manner, and by applying a `roulette-wheel' selection approach at each position, we generate parent family-like sequences and thus facilitate an enlargement of sequence space around the family. When generated for a large number of families, we demonstrate that they expand the utility of natural intermediately related sequences in linking distant proteins. In 91% of the assessed examples, inclusion of designed sequences improved fold coverage by 5-10% over searches made in their absence. Furthermore, with several examples from proteins adopting folds such as TIM, globin, lipocalin and others, we demonstrate that the success of including designed sequences in a database positively sensitized methods such as PSI-BLAST and Cascade PSI-BLAST and is a promising opportunity for enormously improved remote homology recognition using sequence information alone.

Highly luminescent and thermally stable lanthanide coordination polymers designed from 4-(dipyridin-2-yl)aminobenzoate: efficient energy transfer from Tb3+ to Eu3+ in a mixed lanthanide coordination compound

Herein, a new aromatic carboxylate ligand, namely, 4-(dipyridin-2-yl)aminobenzoic acid (HL), has been designed and employed for the construction of a series of lanthanide complexes (Eu3+ = 1, Tb3+ = 2, and Gd3+ = 3). Complexes of 1 and 2 were structurally authenticated by single-crystal X-ray diffraction and were found to exist as infinite 1D coordination polymers with the general formulas {Eu(L)(3)(H2O)(2)]}(n) (1) and {Tb(L)(3)(H2O)]center dot(H2O)}(n) (2). Both compounds crystallize in monoclinic space group C2/c. The photophysical properties demonstrated that the developed 4-(dipyridin-2-yl)aminobenzoate ligand is well suited for the sensitization of Tb3+ emission (Phi(overall) = 64%) thanks to the favorable position of the triplet state ((3)pi pi*) of the ligand the energy difference between the triplet state of the ligand and the excited state of Tb3+ (Delta E) = (3)pi pi* - D-5(4) = 3197 cm(-1)], as investigated in the Gd3+ complex. On the other hand, the corresponding Eu3+ complex shows weak luminescence efficiency (Phi(overall) = 7%) due to poor matching of the triplet state of the ligand with that of the emissive excited states of the metal ion (Delta E = (3)pi pi* - D-5(0) = 6447 cm(-1)). Furthermore, in the present work, a mixed lanthanide system featuring Eu3+ and Tb3+ ions with the general formula {Eu0.5Tb0.5(L)(3)(H2O)(2)]}(n) (4) was also synthesized, and the luminescent properties were evaluated and compared with those of the analogous single-lanthanide-ion systems (1 and 2). The lifetime measurements for 4 strongly support the premise that efficient energy transfer occurs between Tb3+ and Eu3+ in a mixed lanthanide system (eta = 86%).

Magneto-Transport Study of Pure and Co Doped ZnO Thin Films

A detailed low temperature magneto-transport study is carried out to understand the transport mechanism in pure and Co doped ZnO thin films grown by pulsed laser deposition (PLD) technique. A negative transverse magneto-resistance (MR) (with a value similar to 4% at 4.5 K) which decreases monotonically with the increase in temperature, is observed for the undoped ZnO film. A competition between positive and negative MR is observed for the Co doped ZnO samples. In this case at higher field values negative MR contribution dominates over the positive MR, which gives rise to a slope change in the MR data. Our data for MR shows excellent agreement with the semi-empirical formula given by Khosla et al., which is originally proposed for the degenerate semiconductors. This formula incorporates the third order perturbation expansion of the s-d exchange scattering of the conduction electrons from the localised spins. We have also obtained the Hall mobility, carrier conc. and mean free path as function of temperature for the pure ZnO film.

CdSiO3:Pr3+ nanophosphor: Synthesis, characterization and thermoluminescence studies

A series of Pr3+ (1-9 mol%) doped CdSiO3 nanophosphors have been prepared for the first time by a low temperature solution combustion method using oxalyldihydrizide (ODH) as a fuel. The final product was characterized by Powder X-ray diffraction (PXRD), Fourier Transform Infrared Spectroscopy (FTIR), scanning electron microscopy (SEM), and UV-Vis spectroscopy. The average crystallite size was calculated using Debye-Scherrer's formula and Williamson-Hall (W-H) plots and found to be in the range 31-37 nm. The optical energy band gap (E-g) of undoped for Pr3+ doped samples were estimated from Tauc relation which varies from 5.15-5.36 eV. Thermoluminescence (TL) properties of Pr3+ doped CdSiO3 nanophosphor has been investigated using gamma-irradiation in the dose range 1-6 kGy at a heating rate of 5 degrees C s(-1). The phosphor shows a well resolved glow peak at similar to 171 degrees C along with shouldered peak at 223 degrees C in the higher temperature side. It is observed that TL intensity increase with increase of Pr3+ concentration. Further, the TL intensity at 171 degrees C is found to be increase linearly with increase in gamma-dose which is highly useful in radiation dosimetry. The kinetic parameters such as activation energy (E), frequency factor (s) and order of kinetics was estimated by Luschiks method and the results are discussed. (c) 2012 Elsevier B.V. All rights reserved.

Lithium D-Isoascorbate Monohydrate, a New Nonlinear Optical Material

Single crystals of lithium D-isoascorbate monohydrate (LDAM), (C6H7O6Li center dot H2O), are grown by a solution growth method. The crystal structure of LDAM is solved using single crystal X-ray diffraction. The space group is orthorhombic P2(1)2(1)2(1) with four formula units per unit cell and lattice parameters a = 7.7836(3) angstrom, b = 8.7456(3) angstrom, and c = 11.0368(4) angstrom. Solubility of the material in water is determined thermogravimetrically and found to have a positive temperature coefficient of solubility. Large optical quality single crystals are subsequently grown from aqueous solution by a slow cooling method. The crystal has a bulky prismatic habit and among the prominent faces the c face appears as the only principal morphological face. The crystal exhibits a (010) cleavage. Dielectric spectroscopy reveals a nearly Debye type Cole-Cole behavior with anisotropy in relaxation. Optical transmission range is found to be from 300 to 1400 nm. The principal refractive indices of this biaxial crystal, measured using Brewster's angle method, at wavelengths 405, 543, and 632.8 nm, show high dispersion. The crystal is negative biaxial with 2V(z) = 107.8 degrees (405 nm) and belongs to the Hobden class 3. Theoretically generated type 1 and type 2 second order phase matching curves match very well with the experimental results. The second-order nonlinear coefficient d(14) was determined to be 7 x 10(-13) m/V. For the optimum phase matching direction (type 2), the second-order effective nonlinear coefficient and the walk off angle are determined to be 0.84 times d(14) and 3.5 degrees respectively. The crystal possesses high multiple surface damage thresholds of 18 GW/cm(2) and 8 GW/cm(2) at laser wavelengths 1064 and 532 nm, respectively.

On the Compatibility of a Flux Transport Dynamo with a Fast Tachocline Scenario

The compatibility of the fast-tachocline scenario with a flux-transport dynamo model is explored. We employ a flux-transport dynamo model coupled with simple feedback formulae relating the thickness of the tachocline to the amplitude of the magnetic field or to the Maxwell stress. The dynamo model is found to be robust against the nonlinearity introduced by this simplified fast-tachocline mechanism. Solar-like butterfly diagrams are found to persist and, even without any parameter fitting, the overall thickness of the tachocline is well within the range admitted by helioseismic constraints. In the most realistic case of a time-and latitude-dependent tachocline thickness linked to the value of the Maxwell stress, both the thickness and its latitudinal dependence are in excellent agreement with seismic results. In nonparametric models, cycle-related temporal variations in tachocline thickness are somewhat larger than admitted by helioseismic constraints; we find, however, that introducing a further parameter into our feedback formula readily allows further fine tuning of the thickness variations.

Synthesis and characterization of nano CoFe2O4 by low‐temperature combustion synthesis using different fuels

The combustion synthesis has been utilized to prepare nanophased powders of cobalt spinel ferrite using ODH and glycine fuels. The product was characterized by X‐ray diffraction; Fourier transformed spectroscopy, scanning electron microscopy, UV‐Vis absorption etc. The XRD patterns reveal spinal cubic structure. SEM profiles show the product is porous, agglomeration, irregular in shape. The crystallite size was estimated using Scherer’s formula and W‐H plots and show nano in size (13 nm: ODH & 36 nm: Glycine). The UV‐Vis absorption shows at ∼430 nm in both the samples.

Incentive Compatible Influence Maximization in Social Networks with Application to Viral Marketing

Information diffusion and influence maximization are important and extensively studied problems in social networks. Various models and algorithms have been proposed in the literature in the context of the influence maximization problem. A crucial assumption in all these studies is that the influence probabilities are known to the social planner. This assumption is unrealistic since the influence probabilities are usually private information of the individual agents and strategic agents may not reveal them truthfully. Moreover, the influence probabilities could vary significantly with the type of the information flowing in the network and the time at which the information is propagating in the network. In this paper, we use a mechanism design approach to elicit influence probabilities truthfully from the agents. Our main contribution is to design a scoring rule based mechanism in the context of the influencer-influencee model. In particular, we show the incentive compatibility of the mechanisms and propose a reverse weighted scoring rule based mechanism as an appropriate mechanism to use.