Real-Time Synthesis is Hard!

We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infinite words only; and only the very restrictive BRRS subcase is known to be decidable (see D'Souza et al. and Bouyer et al.). In this paper, we precise the decidability border of MITL synthesis. We show RS is undecidable on finite words too, and present a landscape of restrictions (both on the logic and on the possible controllers) that are still undecidable. On the positive side, we revisit BRRS and introduce an efficient on-the-fly algorithm to solve it

Factors affecting the prevalence of strongly and weakly carcinogenic and lower-risk human papillomaviruses in anal specimens in a cohort of men who have sex with men (MSM)

Background: MSM are at higher risk for invasive anal cancer. Twelve human papillomaviruses (HPVs) cause cervical cancer in women (Group 1 high-risk HPVs (hrHPVs)) and 13 HPVs are probable/possible causes (Group 2 hrHPVs) of cervical malignancy. HPVs rarely associated with malignancy are classified as lower-risk HPVs (lrHPVs). Materials and Methods: Dacron-swab anal-cytology specimens were collected from and data complete for 97% (1262/1296) of Multicenter AIDS Cohort Study (MACS) men tested for HPVs using the Linear Array assay. Multivariate Poisson regression analyses estimated adjusted prevalence ratios for Group 1/2 hrHPVs and lrHPVs, controlling for the effects of age, race, ethnicity, sexual partnerships, smoking; HIV-infection characteristics, treatment, and immune status among HIV-infected men. Results: HIV-infected men showed 35-90% higher prevalence of Group 1/2 hrHPVs and lrHPVs than HIV-uninfected men, and higher prevalence of multi-Type, and multiple risk-group infections. CD4+ T-cell count was inversely associated with HPV Group 2 prevalence (p<0.0001). The number of receptive anal intercourse (RAI) partners reported in the 24 months preceding HPV testing predicted higher prevalence of Group 1/2 hrHPVs. Men reporting ≥30 lifetime male sex partners before their first MACS visit and men reporting ≥1 RAI partners during the 24 months before HPV testing showed 17-24% and 13-17% higher prevalence of lrHPVs (p-values ≤0.05). Men reporting smoking between MACS visit 1 and 24 months before HPV testing showed 1.2-fold higher prevalence of Group 2 hrHPVs (p = 0.03). Both complete adherence to CART (p = 0.02) and HIV load <50 copies/mL (p = 0.04) were protective for Group 1 hrHPVs among HIV-infected men. Conclusions: HIV-infected men more often show multi-type and multi-group HPV infections HIV-uninfected men. Long-term mutual monogamy and smoking cessation, generally, and CART-adherence that promotes (HIV) viremia control and prevents immunosuppression, specifically among HIV-infected MSM, are important prevention strategies for HPV infections that are relevant to anal cancer. © 2013 Wiley et al

Smoking Cessation Among Women with and at Risk for HIV: Are They Quitting?

Cigarette smoking is an important risk factor for adverse health events in HIV-infected populations. While recent US population-wide surveys report annual sustained smoking cessation rates of 3.4–8.5%, prospective data are lacking on cessation rates for HIV-infected smokers. To determine the sustained tobacco cessation rate and predictors of cessation among women with or at risk for HIV infection. Prospective cohort study. A total of 747 women (537 HIV-infected and 210 HIV-uninfected) who reported smoking at enrollment (1994–1995) in the Women’s Interagency HIV Study (WIHS) and remained in follow-up after 10 years. The participants were mostly minority (61% non-Hispanic Blacks and 22% Hispanics) and low income (68% with reported annual incomes of less than or equal to $12,000). The primary outcome was defined as greater than 12 months continuous cessation at year 10. Multivariate logistic regression was used to identify independent baseline predictors of subsequent tobacco cessation. A total of 121 (16%) women reported tobacco cessation at year 10 (annual sustained cessation rate of 1.8%, 95% CI 1.6–2.1%). Annual sustained cessation rates were 1.8% among both HIV-positive and HIV-negative women (p = 0.82). In multivariate analysis, the odds of tobacco cessation were significantly higher in women with more years of education (p trend = 0.02) and of Hispanic origin (OR = 1.87, 95% CI = 1.4–2.9) compared to Black women. Cessation was significantly lower in current or former illicit drug users (OR = 0.42 95% CI = 0.24–0.74 and OR = 0.65, 95% CI = 0.49–0.86, respectively, p trend = 0.03) and women reporting a higher number of cigarettes per day at baseline (p trend &lt; 0.001). HIV-infected and at-risk women in this cohort have lower smoking cessation rates than the general population. Given the high prevalence of smoking, the high risk of adverse health events from smoking, and low rates of cessation, it is imperative that we increase efforts and overcome barriers to help these women quit smoking

The Evolution of Compact Binary Star Systems

We review the formation and evolution of compact binary stars consisting of white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and BHs are thought to be the primary astrophysical sources of gravitational waves (GWs) within the frequency band of ground-based detectors, while compact binaries of WDs are important sources of GWs at lower frequencies to be covered by space interferometers (LISA). Major uncertainties in the current understanding of properties of NSs and BHs most relevant to the GW studies are discussed, including the treatment of the natal kicks which compact stellar remnants acquire during the core collapse of massive stars and the common envelope phase of binary evolution. We discuss the coalescence rates of binary NSs and BHs and prospects for their detections, the formation and evolution of binary WDs and their observational manifestations. Special attention is given to AM CVn-stars -- compact binaries in which the Roche lobe is filled by another WD or a low-mass partially degenerate helium-star, as these stars are thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure

Circulating microparticles: square the circle

Background: The present review summarizes current knowledge about microparticles (MPs) and provides a systematic overview of last 20 years of research on circulating MPs, with particular focus on their clinical relevance. Results: MPs are a heterogeneous population of cell-derived vesicles, with sizes ranging between 50 and 1000 nm. MPs are capable of transferring peptides, proteins, lipid components, microRNA, mRNA, and DNA from one cell to another without direct cell-to-cell contact. Growing evidence suggests that MPs present in peripheral blood and body fluids contribute to the development and progression of cancer, and are of pathophysiological relevance for autoimmune, inflammatory, infectious, cardiovascular, hematological, and other diseases. MPs have large diagnostic potential as biomarkers; however, due to current technological limitations in purification of MPs and an absence of standardized methods of MP detection, challenges remain in validating the potential of MPs as a non-invasive and early diagnostic platform. Conclusions: Improvements in the effective deciphering of MP molecular signatures will be critical not only for diagnostics, but also for the evaluation of treatment regimens and predicting disease outcomes

RNA delivery by extracellular vesicles in mammalian cells and its applications.

The term 'extracellular vesicles' refers to a heterogeneous population of vesicular bodies of cellular origin that derive either from the endosomal compartment (exosomes) or as a result of shedding from the plasma membrane (microvesicles, oncosomes and apoptotic bodies). Extracellular vesicles carry a variety of cargo, including RNAs, proteins, lipids and DNA, which can be taken up by other cells, both in the direct vicinity of the source cell and at distant sites in the body via biofluids, and elicit a variety of phenotypic responses. Owing to their unique biology and roles in cell-cell communication, extracellular vesicles have attracted strong interest, which is further enhanced by their potential clinical utility. Because extracellular vesicles derive their cargo from the contents of the cells that produce them, they are attractive sources of biomarkers for a variety of diseases. Furthermore, studies demonstrating phenotypic effects of specific extracellular vesicle-associated cargo on target cells have stoked interest in extracellular vesicles as therapeutic vehicles. There is particularly strong evidence that the RNA cargo of extracellular vesicles can alter recipient cell gene expression and function. During the past decade, extracellular vesicles and their RNA cargo have become better defined, but many aspects of extracellular vesicle biology remain to be elucidated. These include selective cargo loading resulting in substantial differences between the composition of extracellular vesicles and source cells; heterogeneity in extracellular vesicle size and composition; and undefined mechanisms for the uptake of extracellular vesicles into recipient cells and the fates of their cargo. Further progress in unravelling the basic mechanisms of extracellular vesicle biogenesis, transport, and cargo delivery and function is needed for successful clinical implementation. This Review focuses on the current state of knowledge pertaining to packaging, transport and function of RNAs in extracellular vesicles and outlines the progress made thus far towards their clinical applications

Not Available

Not AvailableAcaricide resistance is a major problem in sheep population that hinders the control of the ticks in Karnataka and worldwide. In view of the increasing reports of acaricidal resistance world wide a study was designed to evaluate the efficacy of Amitraz, Deltamethrin and Cypermethrin using larval packet test (LPT) and adult immersion test with differentiating dose (AIT-DD) against different species of ticks. The tick species involved in this study were Haemaphysalis bispinosa, Haemaphysalis intermedia, Haemaphysalis kutchensis, Hyalomma marginatum issaci, Hyalomma anatolicum anatolicum, Rhiphicephalus haemaphysaloides and Rhipicephalus sanguineus. In LPT, amitraz at 0.2% induced 100 percent mortality against all species of ticks, whereas cypermethrin and deltamethrin induced 100 percent mortality at 0.3% and 0.4% against all species of ticks. In AIT-DD test amitraz was found to be susceptible at 2.5g/ltr whereas cypermethrin at 0.05g/ltr and deltamethrin at 0.075g/ltr was found to be resistant against all species of ticks in this study.Not Availabl