Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

Relationship between apolipoprotein(a) size polymorphism and coronary heart disease in overweight subjects

BACKGROUND: Overweight is associated with an increased cardiovascular risk which is only partially explained by conventional risk factors. The objective of this study was to evaluate lipoprotein(a) [Lp(a)] plasma levels and apolipoprotein(a) [apo(a)] phenotypes in relation to coronary heart disease (CHD) in overweight subjects. METHODS: A total of 275 overweight (BMI ≥ 27 kg/m(2)) subjects, of which 155 had experienced a CHD event, 337 normal weight subjects with prior CHD and 103 CHD-free normal weight subjects were enrolled in the study. Lp(a) levels were determined by an ELISA technique and apo(a) isoforms were detected by a high-resolution immunoblotting method. RESULTS: Lp(a) levels were similar in the three study groups. Overweight subjects with CHD had Lp(a) concentrations significantly higher than those without [median (interquartile range): 20 (5–50.3) versus 12.6 (2.6–38.6) mg/dl, P < 0.05]. Furthermore, overweight subjects with CHD showed a higher prevalence of low molecular weight apo(a) isoforms than those without (55.5% versus 40.8%, P < 0.05) and with respect to the control group (55.5% versus 39.8%, P < 0.05). Stepwise regression analysis showed that apo(a) phenotypes, but not Lp(a) levels, entered the model as significant independent predictors of CHD in overweight subjects. CONCLUSIONS: Our data indicate that small-sized apo(a) isoforms are associated with CHD in overweight subjects. The characterization of apo(a) phenotypes might serve as a reliable biomarker to better assess the overall CHD risk of each subject with elevated BMI, leading to more intensive treatment of modifiable cardiovascular risk factors

Anorectal malformations

Anorectal malformations comprise a wide spectrum of diseases, which can affect boys and girls, and involve the distal anus and rectum as well as the urinary and genital tracts. They occur in approximately 1 in 5000 live births. Defects range from the very minor and easily treated with an excellent functional prognosis, to those that are complex, difficult to manage, are often associated with other anomalies, and have a poor functional prognosis. The surgical approach to repairing these defects changed dramatically in 1980 with the introduction of the posterior sagittal approach, which allowed surgeons to view the anatomy of these defects clearly, to repair them under direct vision, and to learn about the complex anatomic arrangement of the junction of rectum and genitourinary tract. Better imaging techniques, and a better knowledge of the anatomy and physiology of the pelvic structures at birth have refined diagnosis and initial management, and the analysis of large series of patients allows better prediction of associated anomalies and functional prognosis. The main concerns for the surgeon in correcting these anomalies are bowel control, urinary control, and sexual function. With early diagnosis, management of associated anomalies and efficient meticulous surgical repair, patients have the best chance for a good functional outcome. Fecal and urinary incontinence can occur even with an excellent anatomic repair, due mainly to associated problems such as a poorly developed sacrum, deficient nerve supply, and spinal cord anomalies. For these patients, an effective bowel management program, including enema and dietary restrictions has been devised to improve their quality of life

Study of the reaction e^{+}e^{-} -->J/psi\pi^{+}\pi^{-} via initial-state radiation at BaBar

We study the process $e^+e^-\to J/\psi\pi^{+}\pi^{-}$ with initial-state-radiation events produced at the PEP-II asymmetric-energy collider. The data were recorded with the BaBar detector at center-of-mass energies 10.58 and 10.54 GeV, and correspond to an integrated luminosity of 454 $\mathrm{fb^{-1}}$. We investigate the $J/\psi \pi^{+}\pi^{-}$ mass distribution in the region from 3.5 to 5.5 $\mathrm{GeV/c^{2}}$. Below 3.7 $\mathrm{GeV/c^{2}}$ the $\psi(2S)$ signal dominates, and above 4 $\mathrm{GeV/c^{2}}$ there is a significant peak due to the Y(4260). A fit to the data in the range 3.74 -- 5.50 $\mathrm{GeV/c^{2}}$ yields a mass value $4244 \pm 5$ (stat) $\pm 4$ (syst)$\mathrm{MeV/c^{2}}$ and a width value $114 ^{+16}_{-15}$ (stat)$\pm 7$(syst)$\mathrm{MeV}$ for this state. We do not confirm the report from the Belle collaboration of a broad structure at 4.01 $\mathrm{GeV/c^{2}}$. In addition, we investigate the $\pi^{+}\pi^{-}$ system which results from Y(4260) decay

Bacterial RuBisCO Is Required for Efficient Bradyrhizobium/Aeschynomene Symbiosis

Rhizobia and legume plants establish symbiotic associations resulting in the formation of organs specialized in nitrogen fixation. In such organs, termed nodules, bacteria differentiate into bacteroids which convert atmospheric nitrogen and supply the plant with organic nitrogen. As a counterpart, bacteroids receive carbon substrates from the plant. This rather simple model of metabolite exchange underlies symbiosis but does not describe the complexity of bacteroids' central metabolism. A previous study using the tropical symbiotic model Aeschynomene indica/photosynthetic Bradyrhizobium sp. ORS278 suggested a role of the bacterial Calvin cycle during the symbiotic process. Herein we investigated the role of two RuBisCO gene clusters of Bradyrhizobium sp. ORS278 during symbiosis. Using gene reporter fusion strains, we showed that cbbL1 but not the paralogous cbbL2 is expressed during symbiosis. Congruently, CbbL1 was detected in bacteroids by proteome analysis. The importance of CbbL1 for symbiotic nitrogen fixation was proven by a reverse genetic approach. Interestingly, despite its symbiotic nitrogen fixation defect, the cbbL1 mutant was not affected in nitrogen fixation activity under free living state. This study demonstrates a critical role for bacterial RuBisCO during a rhizobia/legume symbiotic interaction

Phenotype Fingerprinting Suggests the Involvement of Single-Genotype Consortia in Degradation of Aromatic Compounds by Rhodopseudomonas palustris

Anaerobic degradation of complex organic compounds by microorganisms is crucial for development of innovative biotechnologies for bioethanol production and for efficient degradation of environmental pollutants. In natural environments, the degradation is usually accomplished by syntrophic consortia comprised of different bacterial species. This strategy allows consortium organisms to reduce efforts required for maintenance of the redox homeostasis at each syntrophic level. Cellular mechanisms that maintain the redox homeostasis during the degradation of aromatic compounds by one organism are not fully understood. Here we present a hypothesis that the metabolically versatile phototrophic bacterium Rhodopseudomonas palustris forms its own syntrophic consortia, when it grows anaerobically on p-coumarate or benzoate as a sole carbon source. We have revealed the consortia from large-scale measurements of mRNA and protein expressions under p-coumarate, benzoate and succinate degrading conditions using a novel computational approach referred as phenotype fingerprinting. In this approach, marker genes for known R. palustris phenotypes are employed to determine the relative expression levels of genes and proteins in aromatics versus non-aromatics degrading condition. Subpopulations of the consortia are inferred from the expression of phenotypes and known metabolic modes of the R. palustris growth. We find that p-coumarate degrading conditions may lead to at least three R. palustris subpopulations utilizing p-coumarate, benzoate, and CO2 and H2. Benzoate degrading conditions may also produce at least three subpopulations utilizing benzoate, CO2 and H2, and N2 and formate. Communication among syntrophs and inter-syntrophic dynamics in each consortium are indicated by up-regulation of transporters and genes involved in the curli formation and chemotaxis. The N2-fixing subpopulation in the benzoate degrading consortium has preferential activation of the vanadium nitrogenase over the molybdenum nitrogenase. This subpopulation in the consortium was confirmed in an independent experiment by consumption of dissolved nitrogen gas under the benzoate degrading conditions

Knockdown of STAT3 expression by RNAi induces apoptosis in astrocytoma cells

BACKGROUND: Astrocytomas are the most common type of primary central nervous system tumors. They are frequently associated with genetic mutations that deregulate cell cycle and render these tumors resistant to apoptosis. STAT3, signal transducer and activator of transcription 3, participates in several human cancers by inducing cell proliferation and inhibiting apoptosis and is frequently activated in astrocytomas. METHODS: RNA interference was used to knockdown STAT3 expression in human astrocytes and astrocytoma cell lines. The effect of STAT3 knockdown on apoptosis, cell proliferation, and gene expression was then assessed by standard methods. RESULTS: We have found that STAT3 is constitutively activated in several human astrocytoma cell lines. Knockdown of STAT3 expression by siRNA induces morphologic and biochemical changes consistent with apoptosis in several astrocytoma cell lines, but not in primary human astrocytes. Moreover, STAT3 is required for the expression of the antiapoptotic genes survivin and Bcl-xL in the A172 glioblastoma cell line. CONCLUSION: These results show that STAT3 is required for the survival of some astrocytomas. These studies suggest STAT3 siRNA could be a useful therapeutic agent for the treatment of astrocytomas

Advanced glycation end-products, a pathophysiological pathway in the cardiorenal syndrome

The prevalence of heart failure (HF) is increasing. A distinction is made between diastolic HF (preserved left ventricular ejection fraction (LVEF)) and systolic HF (reduced LVEF). Advanced glycation end-products (AGEs) are crystallized proteins that accumulate during ageing, but are particularly increased in patients with diabetes mellitus and in patients with renal failure. Through the formation of collagen crosslinks, and by interaction with the AGE-receptor, which impairs calcium handling and increases fibrosis, AGE-accumulation has pathophysiologically been associated with the development of diastolic and renal dysfunction. Interestingly, diastolic dysfunction is a frequent finding in elderly patients, diabetic patients and in patients with renal failure. Taken together, this suggests that AGEs are related to the development and progression of diastolic HF and renal failure. In this review, the role of AGEs as a possible pathophysiological factor that link the development and progression of heart and renal failure, is discussed. Finally, the role of AGE intervention as a possible treatment in HF patients will be discussed

Molecular Ecology and Natural History of Simian Foamy Virus Infection in Wild-Living Chimpanzees

Identifying microbial pathogens with zoonotic potential in wild-living primates can be important to human health, as evidenced by human immunodeficiency viruses types 1 and 2 (HIV-1 and HIV-2) and Ebola virus. Simian foamy viruses (SFVs) are ancient retroviruses that infect Old and New World monkeys and apes. Although not known to cause disease, these viruses are of public health interest because they have the potential to infect humans and thus provide a more general indication of zoonotic exposure risks. Surprisingly, no information exists concerning the prevalence, geographic distribution, and genetic diversity of SFVs in wild-living monkeys and apes. Here, we report the first comprehensive survey of SFVcpz infection in free-ranging chimpanzees (Pan troglodytes) using newly developed, fecal-based assays. Chimpanzee fecal samples (n = 724) were collected at 25 field sites throughout equatorial Africa and tested for SFVcpz-specific antibodies (n = 706) or viral nucleic acids (n = 392). SFVcpz infection was documented at all field sites, with prevalence rates ranging from 44% to 100%. In two habituated communities, adult chimpanzees had significantly higher SFVcpz infection rates than infants and juveniles, indicating predominantly horizontal rather than vertical transmission routes. Some chimpanzees were co-infected with simian immunodeficiency virus (SIVcpz); however, there was no evidence that SFVcpz and SIVcpz were epidemiologically linked. SFVcpz nucleic acids were recovered from 177 fecal samples, all of which contained SFVcpz RNA and not DNA. Phylogenetic analysis of partial gag (616 bp), pol-RT (717 bp), and pol-IN (425 bp) sequences identified a diverse group of viruses, which could be subdivided into four distinct SFVcpz lineages according to their chimpanzee subspecies of origin. Within these lineages, there was evidence of frequent superinfection and viral recombination. One chimpanzee was infected by a foamy virus from a Cercopithecus monkey species, indicating cross-species transmission of SFVs in the wild. These data indicate that SFVcpz (i) is widely distributed among all chimpanzee subspecies; (ii) is shed in fecal samples as viral RNA; (iii) is transmitted predominantly by horizontal routes; (iv) is prone to superinfection and recombination; (v) has co-evolved with its natural host; and (vi) represents a sensitive marker of population structure that may be useful for chimpanzee taxonomy and conservation strategies