Algorithmic randomness, reverse mathematics, and the dominated convergence theorem

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0, each is equivalent to the assertion that every G_delta subset of Cantor space with positive measure has an element. This last statement is, in turn, equivalent to weak weak K\"onig's lemma relativized to the Turing jump of any set. It is also equivalent to the conjunction of the statement asserting the existence of a 2-random relative to any given set and the principle of Sigma_2 collection

Radiofrequency applicator concepts for simultaneous MR imaging and hyperthermia treatment of glioblastoma multiforme: a 298 MHz(7.0 Tesla) thermal magnetic resonancesimulation study

Glioblastoma multiforme is the most frequent and most aggressive malignant brain tumor with de facto no long term curation by the use of current multimodal therapeutic approaches. The efficacy of brachytherapy and enhancing interstitial hyperthermia has been demonstrated. RF heating at ultrahigh fields (B0=7.0T, f=298MHz) has the potential of delivering sufficiently large thermal dosage for hyperthermia of relatively large tumor areas. This work focuses on electromagnetic field (EMF) simulations and provides realistic applicator designs tailored for simultaneous RF heating and MRI. Our simulations took advantage of target volumes derived from patient data, and our preliminary results suggest that RF power can be focused to both a small tumor area and a large clinical target volume

Reactive Oxygen Species Modulate Coronary Wall Shear Stress and Endothelial Function During Hyperglycemia

Hyperglycemia is associated with generation of reactive oxygen species (ROS), and this action may contribute to accelerated atherogenesis. We tested the hypothesis that hyperglycemia produces alterations in left anterior descending coronary artery (LAD) wall shear stress concomitant with endothelial dysfunction and ROS production in dogs (n = 12) instrumented for measurement of LAD blood flow, velocity, and diameter. Dogs were randomly assigned to receive vehicle (0.9% saline) or the superoxide dismutase mimetic 4- hydroxy-2,2,6,6-tetramethylpiperidine-1-oxyl (tempol) and were administered intravenous infusions of d-glucose to achieve target blood glucose concentrations of 350 and 600 mg/dl (moderate and severe hyperglycemia, respectively). Endothelial function and ROS generation were assessed by coronary blood flow responses to acetylcholine (10, 30, and 100 ng/kg) and dihydroethidium fluorescence of myocardial biopsies, respectively. Indexes of wall shear stress were calculated with conventional fluid dynamics theory. Hyperglycemia produced dose-related endothelial dysfunction, increases in ROS production, and reductions in oscillatory shear stress that were normalized by tempol. The results suggest a direct association between hyperglycemia-induced ROS production, endothelial dysfunction, and decreases in oscillatory shear stress in vivo

D-4F, an apoA-1 mimetic, decreases airway hyperresponsiveness, inflammation, and oxidative stress in a murine model of asthma

Asthma is characterized by oxidative stress and inflammation of the airways. Although proinflammatory lipids are involved in asthma, therapies targeting them remain lacking. Ac-DWFKAFYDKVAEKFKEAFNH2 (4F) is an apolipoprotein (apo)A-I mimetic that has been shown to preferentially bind oxidized lipids and improve HDL function. The objective of the present study was to determine the effects of 4F on oxidative stress, inflammation, and airway resistance in an established murine model of asthma. We show here that ovalbumin (OVA) -sensitization increased airway hyperresponsiveness, eosinophil recruitment, and collagen deposition in lungs of C57BL/6J mice by a mechanism that could be reduced by 4F. OVA sensitization induced marked increases in transforming growth factor (TGF)β-1, fibroblast specific protein (FSP)-1, anti-T15 autoantibody staining, and modest increases in 4-hydroxynonenal (4-HNE) Michael\u27s adducts in lungs of OVA-sensitized mice. 4F decreased TGFβ-1, FSP-1, anti-T15 autoantibody, and 4-HNE adducts in the lungs of the OVA-sensitized mice. Eosinophil peroxidase (EPO) activity in bronchial alveolar lavage fluid (BALF), peripheral eosinophil counts, total IgE, and proinflammatory HDL (p-HDL) were all increased in OVA-sensitized mice. 4F decreased BALF EPO activity, eosinophil counts, total IgE, and p-HDL in these mice. These data indicate that 4F reduces pulmonary inflammation and airway resistance in an experimental murine model of asthma by decreasing oxidative stress

Continuous Team Semantics

Peer reviewe

Continuous Team Semantics

We study logics with team semantics in computable metric spaces. We show how to define approximate versions of the usual independence/dependence atoms. For restricted classes of formulae, we show that we can assume w.l.o.g.~that teams are closed sets. This then allows us to import techniques from computable analysis to study the complexity of formula satisfaction and model checking

Radiofrequency applicator concepts for thermal magnetic resonance of brain tumors at 297 MHz (7.0 Tesla)

PURPOSE: Thermal intervention is a potent sensitizer of cells to chemo- and radiotherapy in cancer treatment. Glioblastoma multiforme (GBM) is a potential clinical target, given the cancer's aggressive nature and resistance to current treatment options. The annular phased array (APA) technique employing electromagnetic waves in the radiofrequency (RF) range allows for localized temperature increase in deep seated target volumes (TVs). Reports on clinical applications of the APA technique in the brain are still missing. Ultrahigh field magnetic resonance (MR) employs higher frequencies than conventional MR and has potential to provide focal temperature manipulation, high resolution imaging and noninvasive temperature monitoring using an integrated RF applicator (ThermalMR). This work examines the applicability of RF applicator concepts for ThermalMR of brain tumors at 297 MHz (7.0 Tesla). METHODS: Electromagnetic field (EMF) simulations are performed for clinically realistic data based on GBM patients. Two algorithms are used for specific RF energy absorption rate based thermal intervention planning for small and large TVs in the brain, aiming at maximum RF power deposition or RF power uniformity in the TV for 10 RF applicator designs. RESULTS: For both TVs , the power optimization outperformed the uniformity optimization. The best results for the small TV are obtained for the 16 element interleaved RF applicator using an elliptical antenna arrangement with water bolus. The two row elliptical RF applicator yielded the best result for the large TV. DISCUSSION: This work investigates the capacity of ThermalMR to achieve targeted thermal interventions in model systems resembling human brain tissue and brain tumors

Development of an Interactive Lifestyle Programme for Adolescents at Risk of Developing Type 2 Diabetes: PRE-STARt

Background: Type 2 diabetes (T2D) is increasing in young people. Reporting on the processes used when developing prevention interventions is needed. We present the development of a family-based interactive lifestyle intervention for adolescents with risk factors for T2D in the future. Method: A multidisciplinary team in the UK site led the intervention development process with sites in Portugal, Greece, Germany and Spain. Potential programme topics and underpinning theory were gathered from literature and stakeholders. A theoretical framework based on self-efficacy theory and the COM-B (capability, opportunity, motivation, behaviour) model was developed. Sessions and supporting resources were developed and refined via two iterative cycles of session and resource piloting, feedback, reflection and refinement. Decision on delivery and content were made by stakeholders (young people, teachers, parents, paediatricians) and all sites. Materials were translated to local languages. Site-specific adaptations to the language, content and supporting resources were made. Results: The “PRE-STARt” programme is eight 90-min interactive sessions with supporting curriculum and resources. Iterative development work provided valuable feedback on programme content and delivery. Conclusion: Reporting on the intervention development process, which includes stakeholder input, could yield a flexible approach for use in this emerging ‘at risk’ groups and their families