From coinductive proofs to exact real arithmetic: theory and applications

Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of finitely branching non-wellfounded trees describing when the algorithm writes and reads digits. We discuss several examples including the extraction of programs for polynomials up to degree two and the definite integral of continuous maps

Titration of Power Output During Radiofrequency Catheter Ablation of Atrioventricular Nodal Reentrant Tachycardia

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75088/1/j.1540-8159.1993.tb01609.x.pd

Aspects of Augustana and Swedish America: Essays in honor of Dr. Conrad Bergendoff on his 100th Year

Table of Contents: Introduction -- Emmet E. Eklund / The Mosaic of Augustana’s Swedish Lutheran Origins -- Maria Erling / Molding Ministers to Fit Congregations: Religious Leadership Among New England’s Swedes -- H. Arnold Barton / Conrad Bergendoff and the Swedish-American Church Language Controversy of the 1920s -- Elder M. Lindahl / The Troublesome Language Question -- Ann Boaden / Weighing the Stars and Hearing the Word: Conrad Bergendoff’s Idea of Christian Higher Education at Augustana College and Theological Seminary -- Mark A. Granquist / Conrad Bergendoff and the LCA Merger of 1962 -- Dag Blanck / North Stars and Vasa Orders: On the Relationship Between Sweden and Swedish American -- Bernhard Erling / The Fourth R--Religious Education in Sweden and the USA -- Judith Belan / Bibliography of the Published Writings of Dr. Conrad Bergendoff, 1963-1995https://digitalcommons.augustana.edu/ahsbooks/1016/thumbnail.jp

Use of a Prescribed Ephedrine/Caffeine Combination and the Risk of Serious Cardiovascular Events: A Registry-based Case-Crossover Study

Ephedrine and herbal ephedra preparations have been shown to induce a small-to-moderate weight loss. Owing to reports on serious cardiovascular events, they were banned from the US market in 2004. There have been no large controlled studies on the possible association between prescribed ephedrine/caffeine and cardiovascular events in general. The authors linked data from four different sources within Statistics Denmark, using data on 257,364 users of prescribed ephedrine/caffeine for the period 1995–2002. The data were analyzed using a case-crossover technique with a composite endpoint: death outside of a hospital, myocardial infarction, or stroke. To account for effects of chronic exposure and effects in naïve users, the authors performed a secondary case-control study nested within the cohort of ephedrine/caffeine ever users. Among 2,316 case subjects, 282 (12.2%) were current users of ephedrine/caffeine. The case-crossover analysis yielded an odds ratio of 0.84 (95% confidence interval: 0.71, 1.00); after adjustment for trends in ephedrine/caffeine use, it was 0.95 (95% confidence interval: 0.79, 1.16). Subgroup analyses revealed no strata with significantly elevated risk. In the case-control substudy, there was no increased risk among naïve users or users with large cumulative doses. Prescribed ephedrine/caffeine was not associated with a substantially increased risk of adverse cardiovascular outcomes in this study

The SBRT database initiative of the German Society for Radiation Oncology (DEGRO): patterns of care and outcome analysis of stereotactic body radiotherapy (SBRT) for liver oligometastases in 474 patients with 623 metastases

Background: The intent of this pooled analysis as part of the German society for radiation oncology (DEGRO)stereotactic body radiotherapy (SBRT) initiative was to analyze the patterns of care of SBRT for liver oligometastases and to derive factors influencing treated metastases control and overall survival in a large patient cohort. Methods: From 17 German and Swiss centers, data on all patients treated for liver oligometastases with SBRT since its introduction in 1997 has been collected and entered into a centralized database. In addition to patient and tumor characteristics, data on immobilization, image guidance and motion management as well as dose prescription and fractionation has been gathered. Besides dose response and survival statistics, time trends of the aforementioned variables have been investigated. Results: In total, 474 patients with 623 liver oligometastases (median 1 lesion/patient; range 1–4) have been collected from 1997 until 2015. Predominant histologies were colorectal cancer (n= 213 pts.; 300 lesions) and breast cancer (n= 57; 81 lesions). All centers employed an SBRT specific setup. Initially, stereotactic coordinates and CT simulation were used for treatment set-up (55%), but eventually were replaced by CBCT guidance (28%) or more recently robotic tracking (17%). High variance in fraction (fx) number (median 1 fx; range 1–13) and dose per fraction (median: 18.5 Gy; range 3–37.5 Gy) was observed, although median BED remained consistently high after an initial learning curve. Median follow-up time was 15 months; median overall survival after SBRT was 24 months. One- and 2-year treated metastases control rate of treated lesions was 77% and 64%; if maximum isocenter biological equivalent dose (BED) was greater than 150 Gy EQD2Gy, it increased to 83% and 70%, respectively. Besides radiation dose colorectal and breast histology and motion management methods were associated with improved treated metastases control

Global distribution of two fungal pathogens threatening endangered sea turtles

This work was supported by grants of Ministerio de Ciencia e Innovación, Spain (CGL2009-10032, CGL2012-32934). J.M.S.R was supported by PhD fellowship of the CSIC (JAEPre 0901804). The Natural Environment Research Council and the Biotechnology and Biological Sciences Research Council supported P.V.W. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. Thanks Machalilla National Park in Ecuador, Pacuare Nature Reserve in Costa Rica, Foundations Natura 2000 in Cape Verde and Equilibrio Azul in Ecuador, Dr. Jesus Muñoz, Dr. Ian Bell, Dr. Juan Patiño for help and technical support during samplingPeer reviewedPublisher PD

The contrasting role of technology as both supportive and hindering in the everyday lives of people with mild cognitive deficits: a focus group study

Background: It is well known that people with mild cognitive deficits face challenges when performing complex everyday activities, and that the use of technology has become increasingly interwoven with everyday activities. However, less is known of how technology might be involved, either as a support or hindrance, in different areas of everyday life and of the environments where challenges appear. The aim of this study was to investigate the areas of concern where persons with cognitive deficits meet challenges in everyday life, in what environments these challenges appear and how technology might be involved as part of the challenge and/or the solution to the challenge. Methods: Data were gathered through four focus group interviews with participants that live with cognitive deficits or cohabit with a person with cognitive deficits, plus health professionals and researchers in the field. Data were transcribed, coded and categorized, and finally synthesized to trace out the involvement of technology. Results: Five areas of concern in everyday life were identified as offering challenges to persons with cognitive deficits: A) Managing personal finances, B) Getting around, C) Meeting family and friends, D) Engaging with culture and media and, E) Doing everyday chores. Findings showed that the involvement of technology in everyday activities was often contrastive. It could be hindering and evoke stress, or it could bring about feelings of control; that is, being a part of the solution. The involvement of technology was especially obvious in challenges linked to Managing personal finances, which is a crucial necessity in many everyday activities. In contrast, technology was least obviously involved in the area Socializing with family and friends. Conclusions: The findings imply that technology used for orientation and managing finances, often used outside home, would benefit from being further developed in order to be more supportive; i.e. accessible and usable. To make a positive change for many people, the ideas of inclusive design fit well for this purpose and would contribute to an age-friendly society