Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Label-free Analysis of Conformational Dynamics and Molecular Interaction of Biomolecules by Vis-NIR Metasensor

Analysis of binding recognition and conformation of biomolecules is of paramount important in understanding of their vital functions in complex biological systems. By enabling sub-wavelength light localization and strong local field enhancement, plasmonic biosensors have become dominant tools used for such analysis owing to their label-free and real-time attributes1,2. However, the plasmonic biosensors are not well-suited to provide information regarding conformation or chemical fingerprint of biomolecules. Here, we show that plasmonic metamaterials, consisting of periodic arrays of artificial split-ring resonators (SRRs)3, can enable capabilities of both sensing and fingerprinting of biomolecules. We demonstrate that by engineering geometry of individual SRRs, localized surface plasmon resonance (LSPR) frequency of the metamaterials could be tuned to visible-near infrared regimes (Vis-NIR) such that they possess high local field enhancement for surface-enhanced Raman scattering spectroscopy (SERS). This will provide the basis for the development of a dual mode label-free conformational-resolving and quantitative detection platform. We present here the ability of each sensing mode to independently detect binding adsorption and to identify different conformational states of Guanine (G)-rich DNA monolayers in different environment milieu. Also shown is the use of the nanosensor for fingerprinting and detection of Arginine-Glycine-Glycine (RGG) peptide binding to the G-quadruplex aptamer. The dual-mode nanosensor will significantly contribute to unraveling the complexes of the conformational dynamics of biomolecules as well as to improving specificity of biodetection assays that the conventional, population-averaged plasmonic biosensors cannot achieve.

Apolipoprotein C-III protein concentrations and gene polymorphisms in Type 1 diabetes:associations with microvascular disease complications in the DCCT/EDIC cohort

We investigated the associations of apolipoprotein C-III (apoCIII) protein and apoCIII gene variation with microvascular disease complications in Type 1 diabetes.

Apolipoprotein C-III protein concentrations and gene polymorphisms in type 1 diabetes:associations with lipoprotein subclasses

Serum apolipoprotein C-III (apoCIII) concentration and apoCIII gene polymorphisms have been shown to be a risk factor for cardiovascular disease; however, the underlying mechanisms remain unclear. In addition, no studies have been performed that address these issues in type 1 diabetes. The current study investigated apoCIII protein and apoCIII gene variation in a normotriglyceridemic (82 +/- 57 mg/dL) population of patients with type 1 diabetes, the Diabetes Control and Complications Trial/Epidemiology of Diabetes Intervention and Complications (DCCT/EDIC) cohort. Blood samples were obtained in 409 patients after an overnight fast. Serum apoCIII concentration was highly correlated with multiple changes in lipids and lipoproteins that resulted in an adverse cardiovascular disease risk profile. Higher apoCIII concentrations were associated (P <.0001) with increased triglycerides (r = 0.78), total (r = 0.61) and low-density lipoprotein (LDL) (r = 0.40) cholesterol, apoA-I (r = 0.26), and apoB (r = 0.50), and these relationships persisted after controlling for age, gender, body mass index (BMI), and hemoglobin A1c (HbA1c). Nuclear magnetic resonance (NMR) lipoprotein subclass analyses demonstrated that apoCIII was correlated with an increase in very-low-density lipoprotein (VLDL) subclasses (P = .0001). There also was a highly significant positive relationship between serum apoCIII concentration and the LDL particle concentration in both men (r = 0.49, P = .001) and women (r = 0.40, P = .001), and a highly significant negative relationship between serum apoCIII levels and average LDL particle size in both men (r = -0.37, P = .001) and women (r = -0.22, P = .001) due primarily to an augmentation in the small L1 subclass (r = 0.42, P = .0001). Neither the T(-455) --> C polymorphism affecting an insulin response element in the apoCIII gene promoter nor a SacI polymorphism in the 3'UTR were associated with any alterations in circulating apoCIII concentrations, serum lipids, apolipoprotein concentrations, lipoprotein composition, or parameters measured by NMR lipoprotein subclass analyses. In summary, elevated apoCIII concentration was associated with risk factors for cardiovascular disease in normolipidemic type 1 diabetic patients through associated changes in lipoprotein subfraction distributions, which were independent of apoCIII genotype.

Metamaterials-Based Label-Free Nanosensor for Conformation and Affinity Biosensing

Analysis of molecular interaction and conformational dynamics of biomolecules is of paramount importance in understanding of their vital functions in complex biological systems, disease detection, and new drug development. Plasmonic biosensors based upon surface plasmon resonance and localized surface plasmon resonance have become the predominant workhorse for detecting accumulated biomass caused by molecular binding events. However, unlike surface-enhanced Raman spectroscopy (SERS), the plasmonic biosensors indeed are not suitable tools to interrogate vibrational signatures of conformational transitions required for biomolecules to interact. Here, we show that highly tunable plasmonic metamaterials can offer two transducing channels for parallel acquisition of optical transmission and sensitive SERS spectra at the biointerface, simultaneously probing the conformational states and binding affinity of biomolecules, e.g. G-quadruplexes, in different environments. We further demonstrate the use of the metamaterials for fingerprinting and detection of arginine-glycine-glycine domain of nucleolin, a cancer biomarker which specifically binds to a G-quadruplex, with the picomolar sensitivity.

Achievable rates and outage probability of cognitive radio with dynamic frequency hopping under imperfect spectrum sensing

In this study, the authors propose simple methods to evaluate the achievable rates and outage probability of a cognitive radio (CR) link that takes into account the imperfectness of spectrum sensing. In the considered system, the CR transmitter and receiver correlatively sense and dynamically exploit the spectrum pool via dynamic frequency hopping. Under imperfect spectrum sensing, false-alarm and miss-detection occur which cause impulsive interference emerged from collisions due to the simultaneous spectrum access of primary and cognitive users. That makes it very challenging to evaluate the achievable rates. By first examining the static link where the channel is assumed to be constant over time, they show that the achievable rate using a Gaussian input can be calculated accurately through a simple series representation. In the second part of this study, they extend the calculation of the achievable rate to wireless fading environments. To take into account the effect of fading, they introduce a piece-wise linear curve fitting-based method to approximate the instantaneous achievable rate curve as a combination of linear segments. It is then demonstrated that the ergodic achievable rate in fast fading and the outage probability in slow fading can be calculated to achieve any given accuracy level.