Dataflow analysis for data-race free programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs.

Discrimination of alpha-Amino Acids Using Green Tea Flavonoid (-)-Epigallocatechin Gallate as a Chiral Solvating Agent

We report a special, hitherto-unexplored property of (-)-epigallocatechin gallate (EGCG) as a chiral solvating agent for enantiodiscrimination of alpha-amino acids in the polar solvent DMSO. This phenomenon has been investigated by H-1 NMR spectroscopy. The mechanism of the interaction property of EGCG with alpha-amino acids has been understood as arising out of hydrogen-bonded noncovalent interactions, where the -OH groups of two phenyl rings of EGCG play dominant roles. The conversion of the enantiomeric mixture into diastereomers yielded well-resolved peaks for D and L amino acids permitting the precise measurement of enantiomeric composition. Often one encounters complex situations when the spectra are severely overlapped or partially resolved hampering the testing of enantiopurity and the precise measurement of enantiomeric excess (ee). Though higher concentration of EGCG yielded better discrimination, the use of lower concentration being economical, we have exploited an appropriate 2D NMR experiment in overcoming such problems. Thus, in the present study we have successfully demonstrated the utility of the bioflavonoid (-)-EGCG, a natural product as a chiral solvating agent for the discrimination of large number of alpha-amino acids in a polar solvent DMSO. Another significant advantage of this new chiral sensing agent is that it is a natural product and does not require tedious multistep synthesis unlike many other chiral auxiliaries.

Novel piezoelectric thin film impact sensor: application in non-destructive material discrimination

We report on the design, development, and performance study of a packaged piezoelectric thin film impact sensor, and its potential application in non-destructive material discrimination. The impact sensing element employed was a thin circular diaphragm of flexible Phynox alloy. Piezoelectric ZnO thin film as an impact sensing layer was deposited on to the Phynox alloy diaphragm by RF reactive magnetron sputtering. Deposited ZnO thin film was characterized by X-ray diffraction (XRD), Atomic Force Microscopy (AFM), and Scanning Electron Microscopy (SEM) techniques. The d(31) piezoelectric coefficient value of ZnO thin film was 4.7 pm V-1, as measured by 4-point bending method. ZnO film deposited diaphragm based sensing element was properly packaged in a suitable housing made of High Density Polyethylene (HDPE) material. Packaged impact sensor was used in an experimental set-up, which was designed and developed in-house for non-destructive material discrimination studies. Materials of different densities (iron, glass, wood, and plastic) were used as test specimens for material discrimination studies. The analysis of output voltage waveforms obtained reveals lots of valuable information about the impacted material. Impact sensor was able to discriminate the test materials on the basis of the difference in their densities. The output response of packaged impact sensor shows high linearity and repeatability. The packaged impact sensor discussed in this paper is highly sensitive, reliable, and cost-effective.

Ternary ion-pair complexation: a protocol for chiral discrimination and the assignment of absolute configuration of chiral hydroxy acids

The study demonstrates the utility of ternary ion-pair complex formed among BINOL (1,1'-Bi-2-naphthol), a carboxylic acid and an organic base, such as, dimethylpyridine (DMAP), 1,4-diazabicyclo2.2.2]octane (DABCO), as a versatile chiral solvating agent (CSA) for the enantiodiscrimination of carboxylic acids, measurement of enantiomeric excess (ee) and the assignment of absolute configuration of hydroxy acids. The proposed mechanism of ternary complex has wider application for testing the enantiopurity owing to the fact that the binary mixture using BINOL alone does not serve as a solvating agent for their discrimination. In addition, the developed protocol has an excellent utility for the assignment of the absolute configurations of hydroxy acids.

Numerical and experimental investigation and optimization of an open wheeled race car cooling air duct

In this study the cooling performance due to air flow and aerodynamics of the Formula Student open wheeled race car has been investigated and optimized with the help of CFD simulations and experimental validation. The race car in context previously suffered from overheating problems. Flow analysis was carried out based on the detailed race car 3D model (NITK Racing 2012 formula student race car). Wind tunnel experiments were carried out on the same. The results obtained from the computer simulations are compared with experimental results obtained from wind tunnel testing of the full car. Through this study it was possible to locate the problem areas and hence choose the best configuration for the cooling duct. The CFD analysis helped in calculating the mass flow rate, pressure and velocity distribution for different velocities of the car which is then used to determine the heat dissipated by the radiator. Area of flow separation could be visualized and made sure smooth airflow into the radiator core area. This significantly increased the cooling performance of the car with reduction in drag.

Nestmate discrimination in the social wasp Ropalidia marginata: chemical cues and chemosensory mechanism

Nestmate discrimination plays an important role in preserving the integrity of social insect colonies. It is known to occur in the primitively eusocial wasp Ropalidia marginata in which non-nestmate conspecifics are not allowed to come near a nest. However, newly eclosed females are accepted in foreign colonies, suggesting that such individuals may not express the cues that permit differentiation between nestmates and non-nestmates. As cuticular hydrocarbons (CHCs) have been implicated as chemosensory cues used in nestmate recognition in other species, we investigated, using bioassays and chemical analyses, whether CHCs can play a role in nestmate recognition in R. marginata. We found that individuals can be differentiated according to colony membership using their CHC profiles, suggesting a role of CHCs in nestmate discrimination. Non-nestmate CHCs of adult females received more aggression than nestmate CHCs, thereby showing that CHCs are used as cues for nestmate recognition. Contrarily, and as expected, CHCs of newly eclosed females were not discriminated against when presented to a foreign colony. Behavioural sequence analysis revealed the behavioural mechanism involved in sensing nestmate recognition cues. We also found that newly eclosed females had a different CHC profile from that of adult females, thereby providing an explanation for why young females are accepted in foreign colonies. (C) 2013 The Association for the Study of Animal Behaviour. Published by Elsevier Ltd. All rights reserved.

Dual Binding Site Assisted Chromogenic and Fluorogenic Recognition and Discrimination of Fluoride and Cyanide by a Peripherally Borylated Metalloporphyrin: Overcoming Anion Interference in Organoboron Based Sensors

Peripherally triarylborane decorated porphyrin (2) and its Zn(II) complex (3) have been synthesized. Compound 3 contains of two different Lewis acidic binding sites (Zn(II) and boron center). Unlike all previously known triarylborane based sensors, the optical responses of 3 toward fluoride and cyanide are distinctively different, thus enabling the discrimination of these two interfering anions. Metalloporphyrin 3 shows a multiple channel fluorogenic response toward fluoride and cyanide and also a selective visual colorimetric response toward cyanide. By comparison with model systems and from detailed photophysical studies on 2 and 3, we conclude that the preferential binding of fluoride occurs at the peripheral borane moieties resulting in the cessation of the EET (electronic energy transfer) process from borane to porphyrin core and with negligible negetive cooperative effects. On the other hand, cyanide binding occurs at the Zn(II) core leading to drastic changes in its absorption behavior which can be followed by the naked eye. Such changes are not observed when the boryl substituent is absent (e.g., Zn-TPP and TPP). Compounds 2 and 3 were also found to be capable of extracting fluoride from aqueous medium.

A versatile ternary ionic complex for chiral discrimination of molecules with diverse functionalities using H-1 NMR

This study reports a simple, efficient and versatile protocol developed for NMR spectroscopic enantiodiscrimination of molecules containing diverse functional -groups, such as amino alcohols, secondary alcohols, cyanohydrins, oxazolidones, diols, thiones and epoxides, using a phosphorous based three component mixture. The simple mixing and shaking of enantiopure 1,1'-binaphthyt-2,2'-diyl hydrogenphosphate (BNPA), 4-(dimethylamino)pyridine (DMAP) and a chiral analyte in the solvent CDCl3 served as a chiral solvating agent and resulted in well dispersed peaks for each enantiomer in the H-1 NMR spectrum. Discrimination could be achieved not only for the proton at the chiral centre, but also for multiple proton sites. The devised approach also permitted the precise measurement of the enantiomeric excess (ee).

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.

Chiral discrimination of secondary alcohols and carboxylic acids by NMR spectroscopy

The manuscript reports two novel ternary ion-pair complexes, which serve as chiral solvating agents, for enantiodiscrimination of secondary alcohols and carboxylic acids. The protocol for discrimination of secondary alcohols is designed by using one equivalent mixture each of enantiopure mandelic acid, 4-dimethylaminopyridine (DMAP) and a chiral alcohol. For discrimination of carboxylic acids, the ternary complex is obtained by one equivalent mixture each of enantiopure chiral alcohol, DMAP and a carboxylic acid. The designed protocols also permit accurate measurement of enantiomeric composition. Copyright (C) 2014 John Wiley & Sons, Ltd.

Associated jet and subjet rates in light-quark and gluon jet discrimination

We show that in studies of light quark- and gluon-initiated jet discrimination, it is important to include the information on softer reconstructed jets (associated jets) around a primary hard jet. This is particularly relevant while adopting a small radius parameter for reconstructing hadronic jets. The probability of having an associated jet as a function of the primary jet transverse momentum (PT) and radius, the minimum associated jet pi, and the association radius is computed up to next-to-double logarithmic accuracy (NDLA), and the predictions are compared with results from Herwig++, Pythia6 and Pythia8 Monte Carlos (MC). We demonstrate the improvement in quark-gluon discrimination on using the associated jet rate variable with the help of a multivariate analysis. The associated jet rates are found to be only mildly sensitive to the choice of parton shower and hadronization algorithms, as well as to the effects of initial state radiation and underlying event. In addition, the number of k(t) subjets of an anti-k(t) jet is found to be an observable that leads to a rather uniform prediction across different MC's, broadly being in agreement with predictions in NDLA, as compared to the often used number of charged tracks observable.

Polyfunctional Lewis Acids: Intriguing Solid-State Structure and Selective Detection and Discrimination of Nitroaromatic Explosives

Synthesis and crystal structures of three porphyrin-based polyfunctional Lewis acids 1-3 are reported. Intermolecular HgClHgCl (linear and -type) interactions in the solid state of the peripherally ArHgCl-decorated compound 3 lead to a fascinating 3D supramolecular architecture. Compound3 shows a selective fluorescence quenching response to picric acid and discriminates other nitroaromatic-based explosives. For the first time, an electron-deficient polyfunctional Lewis acid is shown to be useful for the selective detection and discrimination of nitroaromatic explosives. The Stern-Volmer quenching constant and detection limits of compound3 for picric acid are the best among the reported small-molecular receptors for nitroaromatic explosives. The electronic structure, Lewis acidity, and selective sensing characteristics of 3 are well corroborated by DFT calculations.

Enantio sensing property of helicin, the derivative of a natural product: Discrimination of amines and amino alcohols

The chiral sensing property of helicin (the derivative of natural product obtained by partial oxidation of salicin, extracted from willow tree (Salix helix)) is reported. The use of helicin as a chiral derivatizing agent for the discrimination of amines and amino alcohols is convincingly established using H-1 NMR spectroscopy. The large chemical shift separation achieved between the discriminated peaks facilitated the accurate quantification of enantiomeric composition. The consistent trend observed in the shifting of imine proton peak (Delta delta) of helicin in all the derivatized molecules might aid the determination of spatial configuration. (C) 2015 Elsevier B.V. All rights reserved.

Enantio sensing property of helicin, the derivative of a natural product: Discrimination of amines and amino alcohols

The chiral sensing property of helicin (the derivative of natural product obtained by partial oxidation of salicin, extracted from willow tree (Salix helix)) is reported. The use of helicin as a chiral derivatizing agent for the discrimination of amines and amino alcohols is convincingly established using H-1 NMR spectroscopy. The large chemical shift separation achieved between the discriminated peaks facilitated the accurate quantification of enantiomeric composition. The consistent trend observed in the shifting of imine proton peak (Delta delta) of helicin in all the derivatized molecules might aid the determination of spatial configuration. (C) 2015 Elsevier B.V. All rights reserved.

Enantio sensing property of helicin, the derivative of a natural product: Discrimination of amines and amino alcohols

The chiral sensing property of helicin (the derivative of natural product obtained by partial oxidation of salicin, extracted from willow tree (Salix helix)) is reported. The use of helicin as a chiral derivatizing agent for the discrimination of amines and amino alcohols is convincingly established using H-1 NMR spectroscopy. The large chemical shift separation achieved between the discriminated peaks facilitated the accurate quantification of enantiomeric composition. The consistent trend observed in the shifting of imine proton peak (Delta delta) of helicin in all the derivatized molecules might aid the determination of spatial configuration. (C) 2015 Elsevier B.V. All rights reserved.