Non-identifiability of the Rayleigh damping material model in magnetic resonance elastography

Magnetic Resonance Elastography (MRE) is an emerging imaging modality for quantifying soft tissue elasticity deduced from displacement measurements within the tissue obtained by phase sensitive Magnetic Resonance Imaging (MRI) techniques. MRE has potential to detect a range of pathologies, diseases and cancer formations, especially tumors. The mechanical model commonly used in MRE is linear viscoelasticity (VE). An alternative Rayleigh damping (RD) model for soft tissue attenuation is used with a subspace-based nonlinear inversion (SNLI) algorithm to reconstruct viscoelastic properties, energy attenuation mechanisms and concomitant damping behavior of the tissue-simulating phantoms. This research performs a thorough evaluation of the RD model in MRE focusing on unique identification of RD parameters, μIμI and ρIρI. Results show the non-identifiability of the RD model at a single input frequency based on a structural analysis with a series of supporting experimental phantom results. The estimated real shear modulus values (μRμR) were substantially correct in characterising various material types and correlated well with the expected stiffness contrast of the physical phantoms. However, estimated RD parameters displayed consistent poor reconstruction accuracy leading to unpredictable trends in parameter behaviour. To overcome this issue, two alternative approaches were developed: (1) simultaneous multi-frequency inversion; and (2) parametric-based reconstruction. Overall, the RD model estimates the real shear shear modulus (μRμR) well, but identifying damping parameters (μIμI and ρIρI) is not possible without an alternative approach

A Bunched Logic for Conditional Independence

Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence are still nascent, and existing methods cannot handle conditional independence. We extend the logic of bunched implications (BI) with a non-commutative conjunction and provide a model based on Markov kernels; conditional independence can be directly captured as a logical formula in this model. Noting that Markov kernels are Kleisli arrows for the distribution monad, we then introduce a second model based on the powerset monad and show how it can capture join dependency, a non-probabilistic analogue of conditional independence from database theory. Finally, we develop a program logic for verifying conditional independence in probabilistic programs

Estradiol, progesterone, testosterone profiles in human follicular fluid and cultured granulosa cells from luteinized pre-ovulatory follicles

BACKGROUND: The production of sex steroids by follicular cells is proposed to be influenced by the maturity of the incumbent oocyte. Thus steroid levels may reflect suitability of an oocyte for IVF. We examined follicular fluids and granulosa cell production of steroid from IVF patients in order to test the relationship between steroid levels and fertilization. METHODS: Follicular fluid and granulosa cells were extracted from 206 follicles of 35 women undergoing controlled ovarian stimulation. Follicular fluid was assayed for estradiol, progesterone and testosterone. Granulosa cells were cultured from individual follicles and their culture media assayed for production of these hormones after 24 hrs in vitro. Levels of steroids were correlated with follicular diameter, oocyte recovery and subsequent fertilization. RESULTS: Follicular fluid levels of progesterone were 6100 times higher than that of estradiol, and 16,900 times higher that of testosterone. Despite the size of follicle triggered after controlled luteinization, the levels of progesterone and testosterone were maintained at relatively constant levels (median 98.1 micromoles/L for progesterone, and 5.8 nanomoles/L for testosterone). However, estradiol levels were slightly lower in the larger follicles (follicular diameter 10-15 mm, median 25.3 nanomoles/L; follicles > = 15 mm, median 15.1 nanomoles/L; linear correlation r = -0.47, p < 0.0001). With respect to oocyte recovery, no steroid showed a significant association in follicular fluid levels. Similarly no difference in follicular fluid steroid levels was found for those oocytes that did or did not fertilize. Significant quantities of progesterone were produced by the granulosa cells but production was constant regardless of the size of follicle from which the cells originated. Estradiol levels were only detectable in 10 of 121 cultures examined, and testosterone in none. Interestingly, when an oocyte was present follicular estradiol levels correlated with progesterone levels. However, when absent, follicular estradiol levels correlated with testosterone levels but not with progesterone. CONCLUSIONS: The principle steroid product of luteinized pre-ovulatory granulosa is progesterone, a differentiation triggered by the gonadotropin surge. However, absolute steroid levels are associated with follicular size, not oocyte maturation/ability to fertilize

Generalist genes analysis of DNA markers associated with mathematical ability and disability reveals shared influence across ages and abilities

Background The Generalist Genes Hypothesis is based upon quantitative genetic findings which indicate that many of the same genes influence diverse cognitive abilities and disabilities across age. In a recent genome-wide association study of mathematical ability in 10-year-old children, 43 SNP associations were nominated from scans of pooled DNA, 10 of which were validated in an individually genotyped sample. The 4927 children in this genotyped sample have also been studied at 7, 9 and 12 years of age on measures of mathematical ability, as well as on other cognitive and learning abilities. Results Using these data we have explored the Generalist Genes Hypothesis by assessing the association of the available measures of ability at age 10 and other ages with two composite 'SNP-set' scores, formed from the full set of 43 nominated SNPs and the sub-set of 10 SNPs that were previously found to be associated with mathematical ability at age 10. Both SNP sets yielded significant associations with mathematical ability at ages 7, 9 and 12, as well as with reading and general cognitive ability at age 10. Conclusions Although effect sizes are small, our results correspond with those of quantitative genetic research in supporting the Generalist Genes Hypothesis. SNP sets identified on the basis of their associations with mathematical ability at age 10 show associations with mathematical ability at earlier and later ages and show associations of similar magnitude with reading and general cognitive ability. With small effect sizes expected in such complex traits, future studies may be able to capitalise on power by searching for 'generalist genes' using longitudinal and multivariate approaches

Nursing Roles and Strategies in End-of-Life Decision Making in Acute Care: A Systematic Review of the Literature

The objective of this paper is to analyze the literature concerning nurses' roles and strategies in EOL decision making in acute care environments, synthesize the findings, and identify implications for future research. We conducted searches in CINAHL and PubMed, using a broad range of terms. The 44 articles retained for review had quantitative and qualitative designs and represented ten countries. These articles were entered into a matrix to facilitate examining patterns, themes, and relationships across studies. Three nursing roles emerged from the synthesis of the literature: information broker, supporter, and advocate, each with a set of strategies nurses use to enact the roles. Empirical evidence linking these nursing roles and strategies to patients and family members outcomes is lacking. Understanding how these strategies and activities are effective in helping patients and families make EOL decisions is an area for future research

The Role of Ageing and Parenchymal Senescence on Macrophage Function and Fibrosis

In this review, we examine senescent cells and the overlap between the direct biological impact of senescence and the indirect impact senescence has via its effects on other cell types, particularly the macrophage. The canonical roles of macrophages in cell clearance and in other physiological functions are discussed with reference to their functions in diseases of the kidney and other organs. We also explore the translational potential of different approaches based around the macrophage in future interventions to target senescent cells, with the goal of preventing or reversing pathologies driven or contributed to in part by senescent cell load in vivo

Capillary electrophoresis of human follicular fluid

Some of the major serum proteins that are also found in follicular fluid, including transferrin, α-macroglobulin and albumin, are thought to play a role in oocyte maturation. This study set out to identify proteins in human follicular fluid by capillary zone electrophoresis and to investigate their relationship to follicular/oocyte maturity and fertility outcome. 176 individual follicular fluid samples, from 30 women undertaking in vitro fertilization/ intracytoplasmic sperm injection (IVF/ICSI), were run using an optimized capillary zone electrophoresis method that gave a good separation of sixteen peaks in most samples. Nine of the peaks were identified and quantified but seven remain unknown and require further proteomic identification. Of the identified protein peaks, levels of each were corrected for follicular volume and total content calculated. No significant difference in protein levels was found with regard to oocyte recovery and fertilization. Protein concentrations tended to decrease as the follicular sphere increased whilst total content in follicular fluid increased in proportion to size. This is consistent with simple transudation across a sphere surface area which does not increase in proportion to the follicular fluid. This is not true of the concentration and content pattern of other proteins/biomolecules which are produced by follicular cells locally. In conclusion, neither concentration nor absolute levels of nine major proteins identified in follicular fluids correlated with oocyte presence and fertility outcome. Future work to remove more concentrated proteins (e.g. albumin) would enhance separation of smaller peaks and identification of the unknown molecules

Partially Observable Concurrent Kleene Algebra

We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with variables as well as control structures, such as conditionals and loops, that depend on those variables. We illustrate the use of POCKA through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observations, and show the semantics passes an important check for sequential consistency