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

Computing domains of attraction for planar dynamics

In this note we investigate the problem of computing the domain of attraction of a ow on R2 for a given attractor. We consider an operator that takes two inputs, the description of the ow and a cover of the attractors, and outputs the domain of attraction for the given attractor. We show that: (i) if we consider only (structurally) stable systems, the operator is (strictly semi-)computable; (ii) if we allow all systems de ned by C1-functions, the operator is not (semi-)computable. We also address the problem of computing limit cycles on these systems

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

Recent Advances in Σ-definability over Continuous Data Types

The purpose of this paper is to survey our recent research in computability and definability over continuous data types such as the real numbers, real-valued functions and functionals. We investigate the expressive power and algorithmic properties of the language of Sigma-formulas intended to represent computability over the real numbers. In order to adequately represent computability we extend the reals by the structure of hereditarily finite sets. In this setting it is crucial to consider the real numbers without equality since the equality test is undecidable over the reals. We prove Engeler's Lemma for Sigma-definability over the reals without the equality test which relates Sigma-definability with definability in the constructive infinitary language L_{omega_1 omega}. Thus, a relation over the real numbers is Sigma-definable if and only if it is definable by a disjunction of a recursively enumerable set of quantifier free formulas. This result reveals computational aspects of Sigma-definability and also gives topological characterisation of Sigma-definable relations over the reals without the equality test. We also illustrate how computability over the real numbers can be expressed in the language of Sigma-formulas

The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation

In this paper we revisit one of the rst models of analog computation, Shannon's General Purpose Analog Computer (GPAC). The GPAC has often been argued to be weaker than computable analysis. As main contribution, we show that if we change the notion of GPACcomputability in a natural way, we compute exactly all real computable functions (in the sense of computable analysis). Moreover, since GPACs are equivalent to systems of polynomial di erential equations then we show that all real computable functions can be de ned by such models

The Hausdorff and dynamical dimensions of self-affine sponges : a dimension gap result

We construct a self-affine sponge in R 3 whose dynamical dimension, i.e. the supremum of the Hausdorff dimensions of its invariant measures, is strictly less than its Hausdorff dimension. This resolves a long-standing open problem in the dimension theory of dynamical systems, namely whether every expanding repeller has an ergodic invariant measure of full Hausdorff dimension. More generally we compute the Hausdorff and dynamical dimensions of a large class of self-affine sponges, a problem that previous techniques could only solve in two dimensions. The Hausdorff and dynamical dimensions depend continuously on the iterated function system defining the sponge, implying that sponges with a dimension gap represent a nonempty open subset of the parameter space

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Constructive Hybrid Games

Hybrid games are models which combine discrete, continuous, and adversarial dynamics. Game logic enables proving (classical) existence of winning strategies. We introduce constructive differential game logic (CdGL) for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This is the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel static and dynamic semantics as well as soundness and consistency.Comment: 60 pages, preprint, under revie