Symbolic Semantics for Probabilistic Programs

We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen’s seminal work, this symbolic semantics consists of a countable collection of measurable functions, along with a partition of the state space. We use the new semantics to provide a full correctness proof of symbolic execution for probabilistic programs. We also implement this semantics in the tool symProb, and illustrate its use on examples

A NEW METHODOLOGY FOR DIAGNOSIS OF FANCONI ANEMIA BASED ON BIOLOGICAL DOSIMETRY

Fanconi Anemia (FA) is a syndrome associated with chromosomal fragility. Current laboratory tests to diagnose this disease are based on the scoring of chromosomal aberrations induced in peripheral blood lymphocytes by clastogenic chemical agents, mainly: diepoxybutane (DEB) or mitomycin C (MMC). This study evaluated an alternative test for the diagnosis of FA, in which ionizing radiation replaces DEB/MMC. Two groups were studied: normal and DEB-sensitive individuals. From each individual, samples of peripheral blood were irradiated using an electron linear accelerator. Following lymphocyte cultures, and slide preparation, metaphases were scored based on the same methodology for biological dosimetry, according to recommendations of the International Atomic Energy Agency. Our results emphasized a pattern of distribution of dicentrics, fragments, as well as abnormal chromosomal arrangements. The methodology of analysis here proposed permitted to distinguish normal from DEB-sensitive subjects

Unusual source of tachycardia in an adolescent

Mahaim fiber tachycardia is an uncommon cause of palpitations among the pediatric population. This case report describes an adolescent female who presented with recurrent episodes of tachycardia with chest pain and dizziness. Her ECG showed tachycardia with wide QRS complexes and left bundle branch block pattern. Repeat ECG after adenosine treatment revealed sinus rhythm with persistence of the left bundle branch block pattern. Metoprolol was started however she continued to have episodes of sustained tachycardia

Hemodynamic responses of unfit healthy women at a training session with Nintendo wii: a possible Impact on the general well-being

Aims: The purpose of this study was assess the effect of a training session with Nintendo Wii® on the hemody- namic responses of healthy women not involved in regular physical exercise. Method: Twenty-five healthy unfit women aged 28 ± 6 years played for 10 minutes the game Free Run (Wii Fit Plus). The resting heart rate (RHR), systolic and dia- stolic blood pressures (SBP and DBP), and double (rate-pressure) product (DP) were measured before and after activity. The HR during the activity (exercise heart rate, EHR) was measured every minute. Results: A statistically significant dif- ference was observed between the RHR (75 ± 9 bpm) and the mean EHR (176 ± 15 bpm) (P < 0.001). The EHR remained in the target zone for aerobic exercise until the fifth minute of activity, which coincided with the upper limit of the aerobic zone (80% heart rate reserve (HRR) + RHR) from the sixth to tenth minute. The initial (110 ± 8 mmHg) and final (145 ± 17 mmHg) SBP (P < 0.01) were significantly different, as were the initial (71 ± 8 mmHg) and final (79 ± 9 mmHg) DBP (P < 0.01). A statistically significant difference was observed between the pre- (8.233 ± 1.141 bpm-mmHg) and post- activity (25.590 ± 4.117 bpm-mmHg) DP (P < 0.01). Conclusion: Physical exercise while playing Free Run sufficed to trigger acute hemodynamic changes in healthy women who were not engaged in regular physical exercis

Maids, machines and morality in Brazilian homes

This paper engages with debates about the increasing use of paid domestic labour in Europe and the USA contributing with a reflection about the case of Brazil. Relations of gender, class and race are considered in the deployment of maids for housework, the patterns of consumption of household technologies and the moral reasoning of daily living with hierarchical divisions within the home. The paper considers some parallels between the Brazilian context and that of more developed countries and also the specificity of Brazil. Based on participant observation, secondary data and an ethnographic study, rich empirical data are weaved through to discuss material and moral dimensions of domestic labour and care. How does the availability of cheap domestic labour configure relations of inequality? How are social differences in the home lived with and justified? The exploration of the Brazilian case illuminates some of the problems, contradictions and possible consequences of wealthier households benefitting from the displacement of poor women that is currently happening through international migration. The paper argues that in Brazil the deflecting of tensions in gender divisions of labour in households onto a subordinate person has affected relations of equality between women and men and also the patterns of technological innovation to facilitate housework. These are outcomes to be guarded against in Europe and the United States in face of the current trends in 'global woman' relations

One size does not fit all - stroke survivor's views on group self-management interventions

INTRODUCTION: Stroke is the main cause of complex disability in the UK. Many stroke survivors feel abandoned when rehabilitation ends and more than half are left with long-term unmet needs. There is now emerging interest in whether group self-management programs (SMP) specifically for stroke survivors could help. However, more work is required to understand the acceptability of group SMPs to stroke survivors and the factors of concern that could impact efficacy. PURPOSE: The purpose of this study is to explore stroke survivor's views on (1) possible benefits of a group SMP, (2) possible challenges of a group SMP, and (3) when/where to implement a SMP in an individual's stroke journey. METHOD: Fourteen stroke survivors took part in semi-structured interviews, which were analyzed using an inductive thematic approach. RESULTS: Three main themes were identified in the data: (1) a space to share support, (2) it is not a one size fits all problem, and (3) how is it all going to happen? CONCLUSION: A varied group of stroke survivors can provide valuable insight and ideas about how group SMP's should be constructed. To the best of our knowledge, this is the first patient engagement study that explores group SMPs for stroke. In future work, researchers may find it helpful to consider the findings from this study to inform the design of group SMPs. Implications for Rehabilitation There is interest in whether unmet needs after stroke could be addressed through a group self-management program (SMP). Stroke survivors can provide valuable insight and ideas about how group SMPs should be constructed. Group SMPs should carefully consider: how to create a safe space in which stroke survivors feel comfortable, the impact of the facilitators, tailoring the group to the individual, the presence of carers, and the emotional impact of a group SMP

Urinary Monocyte Chemoattractant Protein-1 Levels and Interstitial Changes in the Renal Cortex and Their Relationship with Loss of Renal Function in Renal Transplant Patients with Delayed Graft Function

Background: Inflammatory cell infiltration and residual areas of fibrosis in kidneys after renal transplantation can lead to functional abnormalities with long-term implications. Objectives: The aim of this study was to determine urinary monocyte chemoattractant protein-1 (uMCP-1) levels, relative cortical interstitial area (RCIA), and cortical tubulointerstitial macrophage infiltration in renal transplant patients with delayed graft function (DGF) and their possible correlation with graft outcome. Design: Patients were followed after biopsies for one year, and their renal function and structure were evaluated, as well as parameters of inflammatory process. Setting: Clinical Hospital of the School of Medicine of Ribeirão Preto. Patients: Twenty-two cadaveric kidney transplant recipients with DGF were followed for one year. Measurements: Renal function, RCIA, macrophages infiltration and uMCP-1 levels were evaluated. Methods: Renal function was evaluated by plasma creatinine levels. RCIA was determined by morphometry. Immunohistochemical staining of macrophages was performed using an anti-CD68 monoclonal antibody. uMCP-1 levels were determined using a human MCP-1/CCL2 immunoassay kit. Results: There was a significant increase in uMCP-1 levels in transplant patients compared with controls ( p < 0.001). RCIA was 7.1% (6.4 to 9.2; median and 25th to 75th percentiles) in controls and 37.1% (28.1 to 43.7) in patients with kidney transplants ( p < 0.001). The patients who presented with a higher RCIA in the first biopsy showed higher levels of plasma creatinine one year after transplantation (r = 0.44; p < 0.05). The number of tubulointerstitial macrophages per 0.10 mm 2 grid field was higher in the renal cortex of transplant patients compared with the controls (19.4 (9.0 to 47.1) vs. 2.5 (1.8 to 3.4), p < 0.001). There was also a positive correlation between the RCIA and the number of tubulointerstitial macrophages in the renal cortex of these patients (r = 0.49; p < 0.001). Limitations: The number of patients studied was relatively small and may not be reflecting outcomes over a larger spectrum of kidney cadaveric transplants. Conclusions: Our results demonstrate increased levels of uMCP-1 in transplant patients with DGF, in addition to increased tubulointerstitial macrophage infiltration and RCIA, which could predict the outcome of renal function in these patients

Diversity of Zoanthids (Anthozoa: Hexacorallia) on Hawaiian Seamounts: Description of the Hawaiian Gold Coral and Additional Zoanthids

The Hawaiian gold coral has a history of exploitation from the deep slopes and seamounts of the Hawaiian Islands as one of the precious corals commercialised in the jewellery industry. Due to its peculiar characteristic of building a scleroproteic skeleton, this zoanthid has been referred as Gerardia sp. (a junior synonym of Savalia Nardo, 1844) but never formally described or examined by taxonomists despite its commercial interest. While collection of Hawaiian gold coral is now regulated, globally seamounts habitats are increasingly threatened by a variety of anthropogenic impacts. However, impact assessment studies and conservation measures cannot be taken without consistent knowledge of the biodiversity of such environments. Recently, multiple samples of octocoral-associated zoanthids were collected from the deep slopes of the islands and seamounts of the Hawaiian Archipelago. The molecular and morphological examination of these zoanthids revealed the presence of at least five different species including the gold coral. Among these only the gold coral appeared to create its own skeleton, two other species are simply using the octocoral as substrate, and the situation is not clear for the final two species. Phylogenetically, all these species appear related to zoanthids of the genus Savalia as well as to the octocoral-associated zoanthid Corallizoanthus tsukaharai, suggesting a common ancestor to all octocoral-associated zoanthids. The diversity of zoanthids described or observed during this study is comparable to levels of diversity found in shallow water tropical coral reefs. Such unexpected species diversity is symptomatic of the lack of biological exploration and taxonomic studies of the diversity of seamount hexacorals

Voxel-wise comparisons of cellular microstructure and diffusion-MRI in mouse hippocampus using 3D Bridging of Optically-clear histology with Neuroimaging Data (3D-BOND)

A key challenge in medical imaging is determining a precise correspondence between image properties and tissue microstructure. This comparison is hindered by disparate scales and resolutions between medical imaging and histology. We present a new technique, 3D Bridging of Optically-clear histology with Neuroimaging Data (3D-BOND), for registering medical images with 3D histology to overcome these limitations. Ex vivo 120 × 120 × 200 μm resolution diffusion-MRI (dMRI) data was acquired at 7 T from adult C57Bl/6 mouse hippocampus. Tissue was then optically cleared using CLARITY and stained with cellular markers and confocal microscopy used to produce high-resolution images of the 3D-tissue microstructure. For each sample, a dense array of hippocampal landmarks was used to drive registration between upsampled dMRI data and the corresponding confocal images. The cell population in each MRI voxel was determined within hippocampal subregions and compared to MRI-derived metrics. 3D-BOND provided robust voxel-wise, cellular correlates of dMRI data. CA1 pyramidal and dentate gyrus granular layers had significantly different mean diffusivity (p > 0.001), which was related to microstructural features. Overall, mean and radial diffusivity correlated with cell and axon density and fractional anisotropy with astrocyte density, while apparent fibre density correlated negatively with axon density. Astrocytes, axons and blood vessels correlated to tensor orientation