Scalable flow-sensitive pointer analysis for fava with strong updates

The ability to perform strong updates is the main contributor to the precision of flow-sensitive pointer analysis algorithms. Traditional flow-sensitive pointer analyses cannot strongly update pointers residing in the heap. This is a severe restriction for Java programs. In this paper, we propose a new flow-sensitive pointer analysis algorithm for Java that can perform strong updates on heap-based pointers effectively. Instead of points-to graphs, we represent our points-to information as maps from access paths to sets of abstract objects. We have implemented our analysis and run it on several large Java benchmarks. The results show considerable improvement in precision over the points-to graph based flow-insensitive and flow-sensitive analyses, with reasonable running time.

Superbubble breakout and galactic winds from disc galaxies

We study the conditions for disc galaxies to produce superbubbles that can break out of the disc and produce a galactic wind. We argue that the threshold surface density of supernovae rate for seeding a wind depends on the ability of superbubble energetics to compensate for radiative cooling. We first adapt Kompaneets formalism for expanding bubbles in a stratified medium to the case of continuous energy injection and include the effects of radiative cooling in the shell. With the help of hydrodynamic simulations, we then study the evolution of superbubbles evolving in stratified discs with typical disc parameters. We identify two crucial energy injection rates that differ in their effects, the corresponding breakout ranging from being gentle to a vigorous one. (a) Superbubbles that break out of the disc with a Mach number of the order of 2-3 correspond to an energy injection rate of the order of 10(-4) erg cm(-2) s(-1), which is relevant for disc galaxies with synchrotron emitting gas in the extra-planar regions. (b) A larger energy injection threshold, of the order of 10(-3) erg cm(-2) s(-1), or equivalently, a star formation surface density of similar to 0.1 M-circle dot yr(-1) kpc(-2), corresponds to superbubbles with a Mach number similar to 5-10. While the milder superbubbles can be produced by large OB associations, the latter kind requires super-starclusters. These derived conditions compare well with observations of disc galaxies with winds and the existence of multiphase halo gas. Furthermore, we find that contrary to the general belief that superbubbles fragment through Rayleigh-Taylor (RT) instability when they reach a vertical height of the order of the scaleheight, the superbubbles are first affected by thermal instability for typical disc parameters and that RT instability takes over when the shells reach a distance of approximately twice the scaleheight.

Strong-coupling expansion for ultracold bosons in an optical lattice at finite temperatures in the presence of superfluidity

We develop a strong-coupling (t << U) expansion technique for calculating the density profile for bosonic atoms trapped in an optical lattice with an overall harmonic trap at finite temperature and finite on-site interaction in the presence of superfluid regions. Our results match well with quantum Monte Carlo simulations at finite temperature. We also show that the superfluid order parameter never vanishes in the trap due to the proximity effect. Our calculations for the scaled density in the vacuum-to-superfluid transition agree well with the experimental data for appropriate temperatures. We present calculations for the entropy per particle as a function of temperature which can be used to calibrate the temperature in experiments. We also discuss issues connected with the demonstration of universal quantum critical scaling in the experiments.

Simulation of inhomogeneous distributions of ultracold atoms in an optical lattice via a massively parallel implementation of nonequilibrium strong-coupling perturbation theory

We present a nonequilibrium strong-coupling approach to inhomogeneous systems of ultracold atoms in optical lattices. We demonstrate its application to the Mott-insulating phase of a two-dimensional Fermi-Hubbard model in the presence of a trap potential. Since the theory is formulated self-consistently, the numerical implementation relies on a massively parallel evaluation of the self-energy and the Green's function at each lattice site, employing thousands of CPUs. While the computation of the self-energy is straightforward to parallelize, the evaluation of the Green's function requires the inversion of a large sparse 10(d) x 10(d) matrix, with d > 6. As a crucial ingredient, our solution heavily relies on the smallness of the hopping as compared to the interaction strength and yields a widely scalable realization of a rapidly converging iterative algorithm which evaluates all elements of the Green's function. Results are validated by comparing with the homogeneous case via the local-density approximation. These calculations also show that the local-density approximation is valid in nonequilibrium setups without mass transport.

Successful data recovery from oscillation photographs containing strong polycrystalline diffraction rings from an unknown small-molecule contaminant: preliminary structure solution of Salmonella typhimurium pyridoxal kinase (PdxK)

Pyridoxal kinase (PdxK; EC 2.7.1.35) belongs to the phosphotransferase family of enzymes and catalyzes the conversion of the three active forms of vitamin B-6, pyridoxine, pyridoxal and pyridoxamine, to their phosphorylated forms and thereby plays a key role in pyridoxal 5 `-phosphate salvage. In the present study, pyridoxal kinase from Salmonella typhimurium was cloned and overexpressed in Escherichia coli, purified using Ni-NTA affinity chromatography and crystallized. X-ray diffraction data were collected to 2.6 angstrom resolution at 100 K. The crystal belonged to the primitive orthorhombic space group P2(1)2(1)2(1), with unitcell parameters a = 65.11, b = 72.89, c = 107.52 angstrom. The data quality obtained by routine processing was poor owing to the presence of strong diffraction rings caused by a polycrystalline material of an unknown small molecule in all oscillation images. Excluding the reflections close to powder/polycrystalline rings provided data of sufficient quality for structure determination. A preliminary structure solution has been obtained by molecular replacement with the Phaser program in the CCP4 suite using E. coli pyridoxal kinase (PDB entry 2ddm) as the phasing model. Further refinement and analysis of the structure are likely to provide valuable insights into catalysis by pyridoxal kinases.

Metallic Nanoparticles Arranged in a Helical Geometry: Route Towards Strong and Broadband Chiro-optical Response

Recent advances in nanotechnology have paved ways to various techniques for designing and fabricating novel nanostructures incorporating noble metal nanoparticles, for a wide range of applications. The interaction of light with metal nanoparticles (NPs) can generate strongly localized electromagnetic fields (Localized Surface Plasmon Resonance, LSPR) at certain wavelengths of the incident beam. In assemblies or structures where the nanoparticles are placed in close proximity, the plasmons of individual metallic NPs can be strongly coupled to each other via Coulomb interactions. By arranging the metallic NPs in a chiral (e.g. helical) geometry, it is possible to induce collective excitations, which lead to differential optical response of the structures to right-and left circularly polarized light (e.g. Circular Dichroism - CD). Earlier reports in this field include novel techniques of synthesizing metallic nanoparticles on biological helical templates made from DNA, proteins etc. In the present work, we have developed new ways of fabricating chiral complexes made of metallic NPs, which demonstrate a very strong chiro-optical response in the visible region of the electromagnetic spectrum. Using DDA (Discrete Dipole Approximation) simulations, we theoretically studied the conditions responsible for large and broadband chiro-optical response. This system may be used for various applications, for example those related to polarization control of visible light, sensing of proteins and other chiral bio-molecules, and many more.

STAT-1 expression is regulated by IGFBP-3 in malignant glioma cells and is a strong predictor of poor survival in patients with glioblastoma Laboratory investigation

Object. Insulin-like growth factor binding proteins (IGEBPs) have been implicated in the pathogenesis of glioma. In a previous study the authors demonstrated that IGFBP-3 is a novel glioblastoma biomarker associated with poor survival. Since signal transducer and activator of transcription 1 (STAT-1) has been shown to be regulated by IGFBP-3 during chondrogenesis and is a prosurvival and radioresistant molecule in different tumors, the aim in the present study was to explore the functional significance of IGFBP-3 in malignant glioma cells, to determine if STAT-1 is indeed regulated by IGFBP-3, and to study the potential of STAT-1 as a biomarker in glioblastoma. Methods. The functional significance of IGFBP-3 was investigated using the short hairpin (sh)RNA gene knockdown approach on U251MG cells. STAT-1 regulation by IGFBP-3 was tested on U251MG and U87MG cells by shRNA gene knockdown and exogenous treatment with recombinant IGFBP-3 protein. Subsequently, the expression of STAT-1 was analyzed with real-time reverse transcription polymerase chain reaction (RT-PCR) and immunohistochemistry (IHC) in glioblastoma and control brain tissues. Survival analyses were done on a uniformly treated prospective cohort of adults with newly diagnosed glioblastoma (136 patients) using Kaplan-Meier and Cox regression models. Results. IGFBP-3 knockdown significantly impaired proliferation, motility, migration, and invasive capacity of U251MG cells in vitro (p < 0.005). Exogenous overexpression of IGFBP-3 in U251MG and U87MG cells demonstrated STAT-1 regulation. The mean transcript levels (by real-time RT-PCR) and the mean labeling index of STAT-1 (by IHC) were significantly higher in glioblastoma than in control brain tissues (p = 0.0239 and p < 0.001, respectively). Multivariate survival analysis revealed that STAT-1 protein expression (HR 1.015, p = 0.033, 95% CI 1.001-1.029) along with patient age (HR 1.025, p = 0.005, 95% CI 1.008-1.042) were significant predictors of shorter survival in patients with glioblastoma. Conclusions. IGFBP-3 influences tumor cell proliferation, migration, and invasion and regulates STAT-1 expression in malignant glioma cells. STAT-1 is overexpressed in human glioblastoma tissues and emerges as a novel prognostic biomarker.

Small strong epsilon nets

Let P be a set of n points in R-d. A point x is said to be a centerpoint of P if x is contained in every convex object that contains more than dn/d+1 points of P. We call a point x a strong centerpoint for a family of objects C if x is an element of P is contained in every object C is an element of C that contains more than a constant fraction of points of P. A strong centerpoint does not exist even for halfspaces in R-2. We prove that a strong centerpoint exists for axis-parallel boxes in Rd and give exact bounds. We then extend this to small strong epsilon-nets in the plane. Let epsilon(S)(i) represent the smallest real number in 0, 1] such that there exists an epsilon(S)(i)-net of size i with respect to S. We prove upper and lower bounds for epsilon(S)(i) where S is the family of axis-parallel rectangles, halfspaces and disks. (C) 2014 Elsevier B.V. All rights reserved.

Performance analysis of FSO links under strong atmospheric turbulence conditions using various modulation schemes

Strong atmospheric turbulence is a major hindrance in wireless optical communication systems. In this paper, the performance of a wireless optical communication system is analyzed using different modulation formats such as, binary phase shift keying-subcarrier intensity modulation (BPSK-SIM), differential phase shift keying (DPSK), differential phase shift keying-subcarrier intensity modulation (DPSK-SIM), Mary pulse position modulation (M-PPM) and polarization shift keying (PoISK). The atmospheric channel is modeled for strong atmospheric turbulences with combined effect of turbulence and pointing errors. Novel closed-form analytical expressions for average bit error rate (BER), channel capacity and outage probability for the various modulation techniques, viz. BPSK-SIM, DPSK, DPSK-SIM, PoISK and M-PPM are derived. The simulated results for BER, channel capacity and outage probability of various modulation techniques are plotted and analyzed. (C) 2014 Elsevier GmbH. All rights reserved.

Strain-induced electronic phase transition and strong enhancement of thermopower of TiS2

Using first-principles density functional theory calculations, we show a semimetal to semiconducting electronic phase transition for bulk TiS2 by applying uniform biaxial tensile strain. This electronic phase transition is triggered by charge transfer from Ti to S, which eventually reduces the overlap between Ti-(d) and S-(p) orbitals. The electronic transport calculations show a large anisotropy in electrical conductivity and thermopower, which is due to the difference in the effective masses along the in-plane and out-of-plane directions. Strain-induced opening of band gap together with changes in dispersion of bands lead to threefold enhancement in thermopower for both p-and n-type TiS2. We further demonstrate that the uniform tensile strain, which enhances the thermoelectric performance, can be achieved by doping TiS2 with larger iso-electronic elements such as Zr or Hf at Ti sites.

On strong centerpoints

Let P be a set of n points in R-d and F be a family of geometric objects. We call a point x is an element of P a strong centerpoint of P w.r.t..F if x is contained in all F is an element of F that contains more than cn points of P, where c is a fixed constant. A strong centerpoint does not exist even when F is the family of halfspaces in the plane. We prove the existence of strong centerpoints with exact constants for convex polytopes defined by a fixed set of orientations. We also prove the existence of strong centerpoints for abstract set systems with bounded intersection. (C) 2014 Elsevier B.V. All rights reserved.

Interpreting the upper level structure of the Madden-Julian oscillation

The nonlinear response of a spherical shallow water model to an imposed heat source in the presence of realistic zonal mean zonal winds is investigated numerically. The solutions exhibit elongated, meridionally tilted ridges and troughs indicative of a poleward dispersion of wave activity. As the speed of the jets is increased, the equatorial Kelvin wave is unaffected but the global Rossby wave train coalesces to form a compact, amplified quadrupole structure that bears a striking resemblance to the observed upper level structure of the Madden-Julian oscillation. In the presence of strong subtropical westerly jets, the advection of planetary vorticity by the meridional flow and relative vorticity by the zonally averaged background flow conspire to create the distinctive quadrupole configuration of flanking Rossby waves.

Meridional gradients in aerosol vertical distribution over Indian Mainland: Observations and model simulations

Multi-year observations from the network of ground-based observatories (ARFINET), established under the project `Aerosol Radiative Forcing over India' (ARFI) of Indian Space Research Organization and space-borne lidar `Cloud Aerosol Lidar with Orthogonal Polarization' (CALIOP) along with simulations from the chemical transport model `Goddard Chemistry Aerosol Radiation and Transport' (GOCART), are used to characterize the vertical distribution of atmospheric aerosols over the Indian landmass and its spatial structure. While the vertical distribution of aerosol extinction showed higher values close to the surface followed by a gradual decrease at increasing altitudes, a strong meridional increase is observed in the vertical spread of aerosols across the Indian region in all seasons. It emerges that the strong thermal convections cause deepening of the atmospheric boundary layer, which although reduces the aerosol concentration at lower altitudes, enhances the concentration at higher elevations by pumping up more aerosols from below and also helping the lofted particles to reach higher levels in the atmosphere. Aerosol depolarization ratios derived from CALIPSO as well as the GOCART simulations indicate the dominance of mineral dust aerosols during spring and summer and anthropogenic aerosols in winter. During summer monsoon, though heavy rainfall associated with the Indian monsoon removes large amounts of aerosols, the prevailing southwesterly winds advect more marine aerosols over to landmass (from the adjoining oceans) leading to increase in aerosol loading at lower altitudes than in spring. During spring and summer months, aerosol loading is found to be significant, even at altitudes as high as 4 km, and this is proposed to have significant impacts on the regional climate systems such as Indian monsoon. (C) 2015 Elsevier Ltd. All rights reserved.