A class of well-posed parabolic final value problems

This paper focuses on parabolic final value problems, and well-posedness is proved for a large class of these. The clarification is obtained from Hilbert spaces that characterise data that give existence, uniqueness and stability of the solutions. The data space is the graph normed domain of an unbounded operator that maps final states to the corresponding initial states. It induces a new compatibility condition, depending crucially on the fact that analytic semigroups always are invertible in the class of closed operators. Lax--Milgram operators in vector distribution spaces constitute the main framework. The final value heat conduction problem on a smooth open set is also proved to be well posed, and non-zero Dirichlet data are shown to require an extended compatibility condition obtained by adding an improper Bochner integral.Comment: 16 pages. To appear in "Applied and numerical harmonic analysis"; a reference update. Conference contribution, based on arXiv:1707.02136, with some further development

Selective cooling of the brain in reindeer

Selective cooling of the brain during hyper-thermia has been demonstrated in several species of mammals (Baker 1979, 1982). Such cooling is achieved by heat exchange between the cooled venous blood returning from the nasal mucosa and the warmer arterial blood entering the brain via the carotid rete. Spot measurements of brain temperature (Tbr) and carotid blood temperature (TCar) were made within 1 min. of death in 40 wild reindeer (Rangifer tarandus tarandus). At Tear lower than 40.5°C Tbr was higher than T c a r. With increasing Tear above 40.5°C Tbr remained at approxima-tely 40.5°C, indicating that selective cooling of the brain had occurred

Spin-dynamic field coupling in strongly THz driven semiconductors : local inversion symmetry breaking

We study theoretically the optics in undoped direct gap semiconductors which are strongly driven in the THz regime. We calculate the optical sideband generation due to nonlinear mixing of the THz field and the near infrared probe. Starting with an inversion symmetric microscopic Hamiltonian we include the THz field nonperturbatively using non-equilibrium Green function techniques. We find that a self induced relativistic spin-THz field coupling locally breaks the inversion symmetry, resulting in the formation of odd sidebands which otherwise are absent.Comment: 8 pages, 6 figure

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Carotid Atherosclerosis and Relation to Growth of Infrarenal Aortic Diameter and Follow-up Diameter: The Tromsø Study

AbstractObjectivesThis research aims to study how carotid atherosclerosis is related to growth of infrarenal aortic diameter and aneurysmal formation.DesignPopulation-based follow-up study.Materials and methodsAt baseline, ultrasound examination of the carotid artery and the abdominal aorta was performed in 4241 persons from a general population with no evidence of abdominal aortic aneurysm (AAA). The burden of atherosclerosis was assessed as carotid total plaque area (TPA). After a mean follow-up of 6.3 years, a new ultrasound examination was performed and measurements of the aortic diameter and carotid TPA were repeated. The effects on aortic diameter progression, follow-up diameter and risk for AAA were assessed in multiple linear and logistic regression models according to carotid TPA, adjusted for known risk factors.ResultsWhen analysing AAA as a dichotomous variable, a borderline association between atherosclerosis and AAA could be demonstrated. When modelling aortic diameter as a continuous variable, a 1-SD increase in 5 years' carotid plaque area (ΔTPA) was associated with a 0.12-mm growth in infrarenal aortic diameter (standard error (SE) 0.04) and a 0.20-mm wider aorta at follow-up (SE 0.06). No independent relation was seen for baseline atherosclerosis.ConclusionsCarotid plaque progression was positively related to growth in infrarenal aortic diameter and aortic diameter at follow-up. Whether this co-variation between plaque growth and aortic diameter growth is causally related or independent events is still an open question

Single exon skipping can address a multi-exon duplication in the dystrophin gene

Duchenne muscular dystrophy (DMD) is a severe muscle wasting disease typically caused by protein-truncating mutations that preclude synthesis of a functional dystrophin. Exonic deletions are the most common type of DMD lesion, however, whole exon duplications account for between 10–15% of all reported mutations. Here, we describe in vitro evaluation of antisense oligonucleotide-induced splice switching strategies to re-frame the transcript disrupted by a multi-exon duplication within the DMD gene. Phosphorodiamidate morpholino oligomers and phosphorodiamidate morpholino oligomers coupled to a cell penetrating peptide were evaluated in a Duchenne muscular dystrophy patient cell strain carrying an exon 14–17 duplication. Two strategies were employed; the conventional approach was to remove both copies of exon 17 in addition to exon 18, and the second strategy was to remove only the first copy of exon 17. Both approaches result in a larger than normal but in-frame DMD transcript, but surprisingly, the removal of only the first exon 17 appeared to be more efficient in restoring dystrophin, as determined using western blotting. The emergence of a normal sized DMD mRNA transcript that was not apparent in untreated samples may have arisen from back splicing and could also account for some of the dystrophin protein being produced

Parental mental health, socioeconomic position and the risk of asthma in children-a nationwide Danish register study

BACKGROUND: Parental mental illness affects child health. However, less is known about the impact of different severities of maternal depression and anxiety as well as other mental health conditions. The objective of this study was to examine the impact of different severities of maternal and paternal mental health conditions on child asthma. METHODS: This nationwide, register-based cohort study included all children in Denmark born from 2000 to 2014. Exposure was parental mental health conditions categorized in three severities: minor (treated at primary care settings), moderate (all ICD-10 F-diagnoses given at psychiatric hospital) and severe (diagnoses of severe mental illness). The children were followed from their third to sixth birthday. Child asthma was identified by prescribed medication and hospital-based diagnoses. Incidence rate ratios were calculated using negative binomial regression analyses. RESULTS: The analyses included 925 288 children; 26% of the mothers and 16% of the fathers were classified with a mental health condition. Exposed children were more likely to have asthma (10.6-12.0%) compared with unexposed children (8.5-9.0%). The three severities of mental health conditions of the mother and the father increased the risk of child asthma, most evident for maternal exposure. Additive interaction between maternal mental health conditions and disadvantaged socioeconomic position was found. CONCLUSION: We found an increased risk of asthma in exposed children, highest for maternal exposure. Not only moderate and severe, but also minor mental health conditions increased the risk of child asthma. The combination of mental health condition and disadvantaged socioeconomic position for mothers revealed a relative excess risk

Quasienergy Spectroscopy of Excitons

We theoretically study nonlinear optics of excitons under intense THz irradiation. In particular, the linear near infrared absorption and resonantly enhanced nonlinear sideband generation are described. We predict a rich structure in the spectra which can be interpreted in terms of the quasienergy spectrum of the exciton, via a remarkably transparent expression for the susceptibility, and show that the effects of strongly avoided quasienergy crossings manifest themselves directly, both in the absorption and transmitted sidebands.Comment: 4 pages RevTex, 3 eps figs included, as publishe