Generalised quantum weakest preconditions

Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate. Additionally, our result is valid in infinite dimension case and also holds for a quantum programs defined as a positive but not necessary completely positive transformations of a quantum states.Comment: 7 pages, no figures, added references, changed conten

Mycobacterium behavior in wastewater treatment plant, a bacterial model distinct from Escherichia coli and Enterococci.

International audienceMycobacteria are waterborne emerging pathogens causing infections in human. Mycobacteria have been previously isolated from wastewater and sludge, but their densities were not estimated due to cultural biases. In order to evaluate the impact of wastewater treatment processes on mycobacteria removal, we used a real time PCR method. First we compared six DNA extraction methods and second we used the more efficient DNA extraction procedure (i.e., enzymatic lysis combined with hexadecyltrimethylammonium bromide-NaCl procedure) in order to quantify Mycobacterium. With the aim to identify parameters that could serve as indicator of mycobacterial behavior, mycobacterial densities were measured in parallel to those of Escherichia coli and enterococci, and to concentrations of chemical parameters usually monitored in wastewater. Mycobacterium reached 5.5 × 10⁵ ± 3.9 × 10⁵ copies/L in the influent, but was not detected in the effluent after decantation and biofiltration. Most mycobacteria (98.6 ± 2.7%, i.e. 2.4 ± 0.7 log₁₀) were removed by the physical-chemical decantation, and the remaining mycobacteria were removed by biofiltration. In contrast, enterococci and E. coli were lightly removed by decantation step and mainly removed by biofiltration. Our results showed that Mycobacterium corresponds to a hydrophobic behavior linked to insoluble compound removal, whereas enterococci and E. coli refer to hydrophilic behaviors linked to soluble compound removals

Metabolic syndrome in human immunodeficiency virus-positive subjects: prevalence, phenotype, and related alterations in arterial structure and function

Background: Human immunodeficiency virus (HIV) infection itself and highly active antiretroviral treatment (HAART) have been proposed to be associated with a higher prevalence of metabolic syndrome, but, to date, prevalence and phenotype of metabolic syndrome among HIV subjects and the related structural and functional vascular alterations are not conclusively defined. Methods: We analyzed the data of 108 HIV-infected subjects without known cardiovascular risk factors: 72 were on HAART (group A, age 46.57.5 years, clinical blood pressure 125.7/74.911.6/7.8mmHg) and there 36 in a naive group (group B, age 40.7 +/- 7.9 years, blood pressure 126/75.8 +/- 9.8/7.7mmHg). A total of 224 healthy subjects served as controls (group C, age 44.9 +/- 6.9 years, blood pressure 123.7/75.7 +/- 9.8/7.1mmHg). Arterial stiffness was measured by aorto-femoral pulse wave velocity (PWV, sfigmocor), and carotid intima media thickness (IMT) was measured by a semiautomatic echotracking system (Esaote-WTS). Results: Metabolic syndrome was more frequent in HIV-positive subjects than in controls (19.4%, 13.8%, 4.5% for groups A, B, and C; P<0.001), with no significant difference between HAART and naive. In metabolic syndrome subjects, group A displayed lipid profile alterations more frequently (91%, 50%, 57% for groups A, B, and C; P<0.05), whereas others metabolic syndrome components were equally represented in the three groups. In metabolic syndrome subjects, IMT was similar [556 +/- 108, 542 +/- 164, and 564 +/- 110.4 m for groups A, B, and C; P=not significant (NS)], whereas PWV was significantly greater in HAART subjects when compared with controls (10.8 +/- 1.8, 9.+/- 1.1, 9.3 +/- 1cm/sec for groups A, B, and C; P=0.02 for A vs. C). Moreover, in this group (metabolic syndrome+HAART), PWV was higher than in subjects on HAART but without metabolic syndrome. Conclusions: HIV subjects showed a higher prevalence and a different pattern of metabolic syndrome components. HAART, more than HIV infection per se, appeared to be responsible for the increased prevalence of metabolic syndrome and arterial function derangement