Iteratively regularized Newton-type methods for general data misfit functionals and applications to Poisson data

We study Newton type methods for inverse problems described by nonlinear operator equations $F(u)=g$ in Banach spaces where the Newton equations $F'(u_n;u_{n+1}-u_n) = g-F(u_n)$ are regularized variationally using a general data misfit functional and a convex regularization term. This generalizes the well-known iteratively regularized Gauss-Newton method (IRGNM). We prove convergence and convergence rates as the noise level tends to 0 both for an a priori stopping rule and for a Lepski{\u\i}-type a posteriori stopping rule. Our analysis includes previous order optimal convergence rate results for the IRGNM as special cases. The main focus of this paper is on inverse problems with Poisson data where the natural data misfit functional is given by the Kullback-Leibler divergence. Two examples of such problems are discussed in detail: an inverse obstacle scattering problem with amplitude data of the far-field pattern and a phase retrieval problem. The performence of the proposed method for these problems is illustrated in numerical examples

Construire les fonctions récursives totales en Coq

International audienceWe present a (relatively) short mechanized proof that Coq types any recursive function which is provably total in Coq. The well-founded (and terminating) induction scheme, which is the foundation of Coq recursion, is maximal. We implement an unbounded minimization scheme for decidable predicates. It can also be used to reify a whole category of undecidable predicates. This development is purely constructive and requires no axiom. Hence it can be integrated into any project that might assume additional axioms

ADAM8 in squamous cell carcinoma of the head and neck: a retrospective study

<p>Abstract</p> <p>Background</p> <p>A disintegrin and metalloproteinase (ADAMs) have been associated with multiple malignancies. ADAMs are involved in cell fusion, cell migration, membrane protein shedding and proteolysis. ADAM8 has been found to be overexpressed in squamous cell carcinomas of the lung. A new study showed that ADAM8 is significantly overexpressed in metastasis of squamous cell carcinomas of the head and neck (HNSCC).</p> <p>Methods</p> <p>We determined ADAM8 levels in the serum of 79 HNSCC patients at the time of diagnosis, in 35 patients 3 months after treatment and in 10 patients 1 year after therapy and compared the results to the sera of 31 healthy volunteers. We also constructed tissue microarrays to detect ADAM8 immunohistochemically in 100 patients. The results were correlated with the survival data of the patients to determine the diagnostic and prognostic value.</p> <p>Results</p> <p>The data demonstrated that patients with high ADAM8 expression in the tumor have worse survival rates. We found that high ADAM8 serum levels correlated with high ADAM8 expression in tumor samples. Soluble ADAM8 levels did not show any prognostic or diagnostic properties.</p> <p>Conclusion</p> <p>In summary ADAM8 expression is a prognostic factor for survival of patients with head and neck squamous cell carcinoma.</p

A naturally occurring splicing site mutation in the Brassica rapa FLC1 gene is associated with variation in flowering time

FLOWERING LOCUS C (FLC), encoding a MADS-domain transcription factor in Arabidopsis, is a repressor of flowering involved in the vernalization pathway. This provides a good reference for Brassica species. Genomes of Brassica species contain several FLC homologues and several of these colocalize with flowering-time QTL. Here the analysis of sequence variation of BrFLC1 in Brassica rapa and its association with the flowering-time phenotype is reported. The analysis revealed that a G→A polymorphism at the 5’ splice site in intron 6 of BrFLC1 is associated with flowering phenotype. Three BrFLC1 alleles with alternative splicing patterns, including two with different parts of intron 6 retained and one with the entire exon 6 excluded from the transcript, were identified in addition to alleles with normal splicing. It was inferred that aberrant splicing of the pre-mRNA leads to loss-of-function of BrFLC1. A CAPS marker was developed for this locus to distinguish Pi6+1(G) and Pi6+1(A). The polymorphism detected with this marker was significantly associated with flowering time in a collection of 121 B. rapa accessions and in a segregating Chinese cabbage doubled-haploid population. These findings suggest that a naturally occurring splicing mutation in the BrFLC1 gene contributes greatly to flowering-time variation in B. rapa

Circulating CD62E+ Microparticles and Cardiovascular Outcomes

BACKGROUND: Activated endothelial cells release plasma membrane submicron vesicles expressing CD62E (E-selectin) into blood, known as endothelial microparticles (EMPs). We studied whether the levels of endothelial microparticles expressing CD62E(+), CD31(+)/Annexin-V(+), or CD31(+)/CD42(-) predict cardiovascular outcomes in patients with stroke history. METHODS/PRINCIPAL FINDINGS: Patients with stroke history at least 3 months prior to enrolment were recruited. Peripheral blood EMP levels were measured by flow cytometry. Major cardiovascular events and death were monitored for 36 months. Three hundred patients were enrolled, of which 298 completed the study according to protocol. Major cardiovascular events occurred in 29 patients (9.7%). Nine patients died, five from cardiovascular causes. Cumulative event-free survival rates were lower in patients with high levels of CD62E(+) microparticles. Multivariate Cox regression analysis adjusted for cardiovascular risk factors, medications and stroke etiologic groups showed an association between a high CD62E(+) microparticle level and a risk of major cardiovascular events and hospitalization. Levels of other kinds of EMPs expressing CD31(+)/Annexin-V(+) or CD31(+)/CD42(-) markers were not predictive of cardiovascular outcomes. CONCLUSION: A high level of CD62E(+) microparticles is associated with cardiovascular events in patients with stroke history, suggesting that the systemic endothelial activation increases the risk for cardiovascular morbidities

Traumatic brain injury as a risk factor for Alzheimer disease. Comparison of two retrospective autopsy cohorts with evaluation of ApoE genotype

BACKGROUND AND PURPOSE: The impact of traumatic brain injury (TBI) on the pathogenesis of Alzheimer disease (AD) is still controversial. The aim of our retrospective autopsy study was to assess the impact of TBE and ApoE allele frequency on the development of AD. MATERIAL AND METHODS: We examined 1. the incidence of AD pathology (Braak stageing, CERAD, NIA-Reagan Institute criteria) in 58 consecutive patients (mean age ± SD 77.0 ± 6.8 years) with residual closed TBI lesions, and 2. the frequency of TBI residuals in 57 age-matched autopsy proven AD cases. In both series, ApoE was evaluated from archival paraffin-embedded brain material. RESULTS: 1. TBE series: 12.1 % showed definite and 10.3% probable AD (mean age 77.6 and 75.2 years), only 2/13 with ApoEε3/4. From 45 (77.6%) non-AD cases (mean age 78.2 years), 3 had ApoEε3/4. The prevalence of 22.4% AD in this small autopsy cohort was significantly higher than 3.3% in a recent large clinical series and 14% in the general population over age 70. 2. In the AD cohort with ApoEε4 allele frequency of 30% similar to other AD series, residuals of closed TBI were seen in 4 brains (7%) (mean age ± SD 78.2 ± 6.4), all lacking the ApoEε4 allele. TBI incidence was slightly lower than 8.5% in the clinical MIRAGE study. CONCLUSIONS: The results of this first retrospective autopsy study of TBI, ApoEε allele frequency, and AD confirm clinical studies suggesting severe TBI to be a risk factor for the development AD higher in subjects lacking ApoEε4 alleles. Further studies in larger autopsy series are needed to elucidate the relationship between TBI, genetic predisposition, and AD

Cardiac rehabilitation in Austria: long term health-related quality of life outcomes

<p>Abstract</p> <p>Background</p> <p>The goal of cardiac rehabilitation programs is not only to prolong life but also to improve physical functioning, symptoms, well-being, and health-related quality of life (HRQL). The aim of this study was to document the long-term effect of a 1-month inpatient cardiac rehabilitation intervention on HRQL in Austria.</p> <p>Methods</p> <p>Patients (N = 487, 64.7% male, age 60.9 ± 12.5 SD years) after myocardial infarction, with or without percutaneous interventions, coronary artery bypass grafting or valve surgery underwent inpatient cardiac rehabilitation and were included in this long-term observational study (two years follow-up). HRQL was measured with both the MacNew Heart Disease Quality of Life Instrument [MacNew] and EuroQoL-5D [EQ-5D].</p> <p>Results</p> <p>All MacNew scale scores improved significantly (p < 0.001) and exceeded the minimal important difference (0.5 MacNew points) by the end of rehabilitation. Although all MacNew scale scores deteriorated significantly over the two year follow-up period (p < .001), all MacNew scale scores still remained significantly higher than the pre-rehabilitation values. The mean improvement after two years in the MacNew social scale exceeded the minimal important difference while MacNew scale scores greater than the minimal important difference were reported by 40-49% of the patients.</p> <p>Two years after rehabilitation the mean improvement in the EQ-5D Visual Analogue Scale score was not significant with no significant change in the proportion of patients reporting problems at this time.</p> <p>Conclusion</p> <p>These findings provide a first indication that two years following inpatient cardiac rehabilitation in Austria, the long-term improvements in HRQL are statistically significant and clinically relevant for almost 50% of the patients. Future controlled randomized trials comparing different cardiac rehabilitation programs are needed.</p

Bafilomycin A1 activates respiration of neuronal cells via uncoupling associated with flickering depolarization of mitochondria

Bafilomycin A1 (Baf) induces an elevation of cytosolic Ca2+ and acidification in neuronal cells via inhibition of the V-ATPase. Also, Baf uncouples mitochondria in differentiated PC12 (dPC12), dSH-SY5Y cells and cerebellar granule neurons, and markedly elevates their respiration. This respiratory response in dPC12 is accompanied by morphological changes in the mitochondria and decreases the mitochondrial pH, Ca2+ and ΔΨm. The response to Baf is regulated by cytosolic Ca2+ fluxes from the endoplasmic reticulum. Inhibition of permeability transition pore opening increases the depolarizing effect of Baf on the ΔΨm. Baf induces stochastic flickering of the ΔΨm with a period of 20 ± 10 s. Under conditions of suppressed ATP production by glycolysis, oxidative phosphorylation impaired by Baf does not provide cells with sufficient ATP levels. Cells treated with Baf become more susceptible to excitation with KCl. Such mitochondrial uncoupling may play a role in a number of (patho)physiological conditions induced by Baf

Diversification and Molecular Evolution of ATOH8, a Gene Encoding a bHLH Transcription Factor

ATOH8 is a bHLH domain transcription factor implicated in the development of the nervous system, kidney, pancreas, retina and muscle. In the present study, we collected sequence of ATOH8 orthologues from 18 vertebrate species and 24 invertebrate species. The reconstruction of ATOH8 phylogeny and sequence analysis showed that this gene underwent notable divergences during evolution. For those vertebrate species investigated, we analyzed the gene structure and regulatory elements of ATOH8. We found that the bHLH domain of vertebrate ATOH8 was highly conserved. Mammals retained some specific amino acids in contrast to the non-mammalian orthologues. Mammals also developed another potential isoform, verified by a human expressed sequence tag (EST). Comparative genomic analyses of the regulatory elements revealed a replacement of the ancestral TATA box by CpG-islands in the eutherian mammals and an evolutionary tendency for TATA box reduction in vertebrates in general. We furthermore identified the region of the effective promoter of human ATOH8 which could drive the expression of EGFP reporter in the chicken embryo. In the opossum, both the coding region and regulatory elements of ATOH8 have some special features, such as the unique extended C-terminus encoded by the third exon and absence of both CpG islands and TATA elements in the regulatory region. Our gene mapping data showed that in human, ATOH8 was hosted in one chromosome which is a fusion product of two orthologous chromosomes in non-human primates. This unique chromosomal environment of human ATOH8 probably subjects its expression to the regulation at chromosomal level. We deduce that the great interspecific differences found in both ATOH8 gene sequence and its regulatory elements might be significant for the fine regulation of its spatiotemporal expression and roles of ATOH8, thus orchestrating its function in different tissues and organisms

The importance of parameter choice in modelling dynamics of the eye lens

The lens provides refractive power to the eye and is capable of altering ocular focus in response to visual demand. This capacity diminishes with age. Current biomedical technologies, which seek to design an implant lens capable of replicating the function of the biological lens, are unable as yet to provide such an implant with the requisite optical quality or ability to change the focussing power of the eye. This is because the mechanism of altering focus, termed accommodation, is not fully understood and seemingly conflicting theories require experimental support which is difficult to obtain from the living eye. This investigation presents finite element models of the eye lens based on data from human lenses aged 16 and 35 years that consider the influence of various modelling parameters, including material properties, a wide range of angles of force application and capsular thickness. Results from axisymmetric models show that the anterior and posterior zonules may have a greater impact on shape change than the equatorial zonule and that choice of capsular thickness values can influence the results from modelled simulations