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.

Porous wide band gap BiNbO4 ceramic nanopowder synthesised by low temperature solution-based method for gas sensing applications

In this study, we report the gas sensing behavior of BiNbO4 nanopowder prepared by a low temperature simple solution-based method. Before the sensing behaviour study, the as-synthesized nanopowder was characterized by X-ray diffraction, scanning electron microscopy, transmission electron microscopy, UV-diffuse reflectance spectroscopy, impedance analysis, and surface area measurement. The NH3 sensing behavior of BiNbO4 was then studied by temperature modulation (50-350 degrees C) as well as concentration modulation (20-140 ppm). At the optimum operating temperature of 325 degrees C, the sensitivity was measured to be 90%. The cross-sensitivity of as-synthesized BiNbO4 sensor was also investigated by assessing the sensing behavior toward other gases such as hydrogen sulphide (H2S), ethanol (C2H5OH), and liquid petroleum gas (LPG). Finally, selectivity of the sensing material toward NH3 was characterized by observing the sensor response with gas concentrations in the range 20-140 ppm. The response and recovery time for NH3 sensing at 120 ppm were about 16 s and about 17 s, respectively.

Synthesis, luminescence properties and EPR investigation of hydrothermally derived uniform ZnO hexagonal rods

One-dimensional (1D) zinc oxide (ZnO) hexagonal rods have been successfully synthesized by surfactant free hydrothermal process at different temperatures. It can be found that the reaction temperature play a crucial role in the formation of ZnO uniform hexagonal rods. The possible formation processes of 1-D ZnO hexagonal rods were investigated. The zinc hydroxide acts as the morphology-formative intermediate for the formation of ZnO nanorods. Upon excitation at 325 nm, the sample prepared at 180 degrees C show several emission bands at 400 nm (similar to 3.10 eV), 420 nm (similar to 2.95 eV), 482 nm (similar to 2.57 eV) and 524 nm (similar to 2.36 eV) corresponding to different kind of defects. TL studies were carried out by pre-irradiating samples with gamma-rays ranging from 1 to 7 kGy at room temperature. A well resolved glow peak at similar to 354 degrees C was recorded which can be ascribed to deep traps. Furthermore, the defects associated with surface states in ZnO nano-structures are characterized by electron paramagnetic resonance. (C) 2014 Elsevier B.V. All rights reserved.

Investigations on growth, structure, optical properties and laser damage threshold of organic nonlinear optical crystals of Guanidinium L-Ascorbate

Single crystals of Guanidinium L-Ascorbate (GuLA) were grown and crystal structure was determined by direct methods. GuLA crystallizes in orthorhombic, non-centrosymmetric space group P2(1)2(1)2(1). The UV-cutoff was determined as 325 nm. The morphology was generated and the interplanar angles estimated and compared with experimental values. Second harmonic generation conversion efficiency was measured and compared with other salts of L-Ascorbic acid. Surface laser damage threshold was calculated as 11.3GW/cm(2) for a single shot of laser of 1064 nm wavelength.

Nickel substitution induced effects on gas sensing properties of cobalt ferrite nanoparticles

Ni2+ ion induced unusual conductivity reversal and an enhancement in the gas sensing properties of ferrites based gas sensors, is reported. The Co1-xNixFe2O4 (for x = 0, 0.5 and 1) nanoparticles were synthesized by wet chemical co-precipitation method and gas sensing properties were studied as a function of composition and temperature. The structural, morphological and microstructural characterization revealed crystallite size of in the range 10-20 nm with porous morphology consisting of nano-sized grains. The Energy Dispersive X-ray (EDX) mapping confirms homogeneous distribution of Co, Ni, Fe and O elements in the ferrites. The non-stoichiometry of the inverse spinel type ferrites and the relative concentration of Ni3+/Co3+ defects were studied using X-ray photoelectron spectroscopy. It is found that the addition of Ni2+ ions into cobalt ferrite shows preferred selectivity towards CO gas at high temperature (325 degrees C) and ethanol gas at low temperature (250 degrees C), unlike undoped cobalt ferrite or undoped nickel ferrite, which show similar response for both these gases. Moreover, an unusual conductivity reversal is observed, except cobalt ferrite due to the difference in reactivity of the gases as well as characteristic non-stoichiometry of ferrites. This behavior is highly gas ambient dependent and hence can be well-exploited for selective detection of gases. (C) 2015 Elsevier B.V. All rights reserved.

MPTP activates ASK1-p38 MAPK signaling pathway through TNF-dependent Trx1 oxidation in parkinsonism mouse model

Activation of apoptosis signal regulating kinase 1 (ASK1)-p38 MAPK death signaling cascade is irn plicated in the death of dopaminergic neurons in substantia nigra in Parkinson's disease (PD). We investigated upstream activators of ASK1 using an MPTP mouse model of parkinsonism and assessed the temporal cascade of death signaling in ventral midbrain (VMB) and striatum (ST). MPTP selectively activated ASK1 and downstream 1)38 MAPK in a time dependent manner in VMB alone. This occurred through selective protein thiol oxidation of the redox-sensitive thiol disulfide oxidoreductase, thiorcdoxin (Trxl), resulting in release of its inhibitory association with ASK1, while glutathione-S-transferase ji 1 (GSTM1) remained in reduced form in association with ASK1. Levels of tumor necrosis factor (TNF), a known activator of ASK1, increased early after MPTP in VMB. Protein ovariation netvvork analysis (PCNA) using protein states as nodes revealed TNF to be an important node regulating the ASK1 signaling cascade. In confirmation, blocking MPTP-mecliated TNF signaling through intrathecal administration of TNFneutralizing antibody prevented Trxl oxidation and downstream ASK1-p38 MAPK activation. Averting an early increase in TNF, which leads to protein thiol oxidation resulting in activation of ASK1-p38 signaling, may be critical for neuroprotection in PD. Importantly, network analysis can help in understanding the cause/effect relationship within protein networks in complex disease states. (C) 2015 Published by Elsevier Inc.

A Review of Theories and Models of Design

This paper intends to provide an overview of the rich legacy of models and theories that have emerged in the last fifty years of the relatively young discipline of design research, and identifies some of the major areas of further research. It addresses the following questions: What are the major theories and models of design? How are design theory and model defined, and what is their purpose? What are the criteria they must satisfy to be considered a design theory or model? How should a theory or model of design be evaluated or validated? What are the major directions for further research?

EXACT INTERNAL CONTROLLABILITY FOR THE WAVE EQUATION IN A DOMAIN WITH OSCILLATING BOUNDARY WITH NEUMANN BOUNDARY CONDITION

In this paper, we study the exact controllability of a second order linear evolution equation in a domain with highly oscillating boundary with homogeneous Neumann boundary condition on the oscillating part of boundary. Our aim is to obtain the exact controllability for the homogenized equation. The limit problem with Neumann condition on the oscillating boundary is different and hence we need to study the exact controllability of this new type of problem. In the process of homogenization, we also study the asymptotic analysis of evolution equation in two setups, namely solution by standard weak formulation and solution by transposition method.

Facile synthesis of Graphene Oxide/Double-stranded DNA composite liquid crystals and Hydrogels

Investigation of the interactions between graphene oxide (GO) and biomolecules is very crucial for the development of biomedical applications based on GO. This study reports the first observation of the spontaneous formation of self-assembled liquid crystals and three-dimensional hydrogels of graphene oxide with double-stranded DNA by simple mixing in an aqueous buffer media without unwinding double-stranded DNA to single-stranded DNA. The GO/dsDNA hydrogels have shown controlled porosity by changing the concentration of the components. The strong binding between dsDNA and graphene is proved by Raman spectroscopy.

Curvature Management in Buffer Layer for Device Quality GaN Growth on Si (111)

An efficient buffer layer scheme has been designed to address the issue of curvature management during metalorganic chemical vapour deposition growth of GaN on Si (111) substrate. This is necessary to prevent cracking of the grown layer during post-growth cooling down from growth temperature to room temperature and to achieve an allowable bow (<40 m) in the wafer for carrying out lithographic processes. To meet both these ends simultaneously, the stress evolution in the buffer layers was observed carefully. The reduction in precursor flow during the buffer layer growth provided better control over curvature evolution in the growing buffer layers. This has enabled the growth of a suitable high electron mobility transistor (HEMT) stack on 2'' Si (111) substrate of 300 m thickness with a bow as low as 11.4 m, having a two-dimensional electron gas (2DEG) of mobility, carrier concentration, and sheet resistance values 1510 cm(2)/V-s, 0.96 x 10(13)/cm(2), and 444 /, respectively. Another variation of similar technique resulted in a bow of 23.4 m with 2DEG mobility, carrier concentration, and sheet resistance values 1960 cm(2)/V-s, 0.98 x 10(13)/cm(2), and 325 /, respectively.

Estudio descriptivo de hembras bovinas gestantes sacrificadas en el Matadero Central S.A. "MACESA", Juigalpa, Nicaragua

El presente estudio se realizó con el objetivo de Generar información útil para determinar el impacto económico del sacrificio de hembras gestantes en el Matadero Central S.A. MACESA en Juigalpa, Chontales. Se realizó un estudio observacional de tipo transversal que mide la prevalencia de la enfermedad, y por eso suelen denominarse estudios d e prevalencia. Se tomaron todas las hembras sacrificadas en el matadero desde enero a junio 2007. Obteniéndose los siguientes resultados; de un total de 45,325 animales sacrificados de ambos sexos, correspondió a hembras un 13,6 % y de estas la prevalencia de gestantes fue del 34.43%. Del total de vacas gestantes sacrificadas, el 49.4% se encontraba en el primer tercio de la gestación, 37.5% en el segundo tercio y 13.04% en el tercer tercio respectivamente. Las patologías encontradas fueron, quistes ováricos, infantilismo, cérvix desviada, endometritis , maceración fetal y prolapso vaginal, por orden de importancia. Se deja de percibir la cantidad de $5, 301,376 dólares americanos, por sacrificar hembras gestantes y disminución del hato nacional en 12,260 animales.

Suspended multiwalled carbon nanotubes as self-aligned evaporation masks

We describe the nanofabrication study of self-aligned electrodes on suspended multiwalled carbon nanotube structures. When metal is deposited on a suspended multiwalled carbon nanotube structure, the nanotube acts as an evaporation mask, resulting in the formation of discontinuous electrodes. The metal deposits on the nanotubes are removed with lift-off. Using Al sacrificial layers, it was possible to fabricate self-aligned contact electrodes and control electrodes nanometers from the suspended carbon nanotubes with a single lithography step. It was also shown that the fabrication technique may also be used to form nano-gapped contact electrodes. The technique should prove useful for the fabrication of nano-electromechanical systems.

O conceito de realeza de Temístio e Amiano Marcelino : o caso do imperador Valentiniano I

Abstract: In the context of Late Antiquity, we observe the ideals of Royalty of two authors who shared the political events between the governments of Constantius II to Theodosius (337-395 AD), namely: the philosopher Themistius (317-388 AD) with his political speeches; and the military Ammianus Marcellinus (325 / 330-395 AD) with his work Res Gestae. During our study, we will seek to observe the characteristics of each author, and converge their life experiences to meet the convergent and divergent points of its concepts around the Imperial responsibilities. In the meantime, we emphasize the interactions between Romans and barbarians, very noticeable at that time; and how this process of interaction of cultures has influenced the thinking of the late-ancient writers studied here. Observing how a philosopher and a military developed such ideals in relation to the ruler: Valentinian I (364-375 AD), for that we made a more specific analysis of VI Speech of Themistius - the Brotherly Love or About humanity - and the XVI - XXX Books of Ammianus Marcellinus. Thus, in a time of great cultural socio-political effervescence, two non-Christian writers have written their work, in order to re-member your audience the importance of the virtues and both based on examples from the classical tradition.