No consensus on gestational diabetes mellitus screening regimes in Sweden : pregnancy outcomes in relation to different screening regimes 2011 to 2012, a cross-sectional study

Background: Although associated adverse pregnancy outcomes, no international or Swedish consensus exists that identifies a cut-off value or what screening method to use for definition of gestational diabetes mellitus. This study investigates the following: i) guidelines for screening of GDM; ii) background and risk factors for GDM and selection to OGTT; and iii) pregnancy outcomes in relation to GDM, screening regimes and levels of OGTT 2 hour glucose values. Methods: This cross-sectional and population-based study uses data from the Swedish Maternal Health Care Register (MHCR) (2011 and 2012) combined with guidelines for GDM screening (2011-2012) from each Maternal Health Care Area (MHCA) in Sweden. The sample consisted of 184, 183 women: 88, 140 in 2011 and 96,043 in 2012. Chi-square and two independent samples t-tests were used. Univariate and multivariate logistic regression analyses were performed. Results: Four screening regimes of oral glucose tolerance test (OGTT) (75 g of glucose) were used: A) universal screening with a 2-hour cut-off value of 10.0 mmol/L; B) selective screening with a 2-hour cut-off value of 8.9 mmol/L; C) selective screening with a 2-hour cut-off value of 10.0 mmol/L; and D) selective screening with a 2-hour cut-off value of 12.2 mmol/L. The highest prevalence of GDM (2.9%) was found with a 2-hour cut-off value of 8.9 mmol/L when selective screening was applied. Unemployment and low educational level were associated with an increased risk of GDM. The OR was 4.14 (CI 95%: 3.81-4.50) for GDM in obese women compared to women with BMI <30 kg/m(2). Women with non-Nordic origin presented a more than doubled risk for GDM compared to women with Nordic origin (OR = 2.24; CI 95%: 2.06-2.43). Increasing OGTT values were associated with increasing risks of adverse pregnancy outcomes. Conclusions: There was no consensus regarding screening regimes for GDM from 2011 through 2012 when four different regimes were applied in Sweden. Increasing levels of OGTT 2-hour glucose values were strongly associated with adverse pregnancy outcomes. Based on these findings, we suggest that Sweden adopts the recent recommendations of the International Association of Diabetes and Pregnancy Study Group (IADPSG) concerning the performance of OGTT and the diagnostic criteria for GDM.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Connecting Scientific Data to Scientific Experiments with Provenance

As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resources must be in readiness for processing etc.) becomes proportionally more difficult. While "workflow compilers", such as Pegasus, reduce this burden, a further problem arises: since specifying details of execution is now automatic, a workflow's results are harder to interpret, as they are partly due to specifics of execution. By automating steps between the experiment design and its results, we lose the connection between them, hindering interpretation of results. To reconnect the scientific data with the original experiment, we argue that scientists should have access to the full provenance of their data, including not only parameters, inputs and intermediary data, but also the abstract experiment, refined into a concrete execution by the "workflow compiler". In this paper, we describe preliminary work on adapting Pegasus to capture the process of workflow refinement in the PASOA provenance system.

You Shall Have No Other Gods Before Me: Covenant in Faith and History

In this paper I have attempted to explore "covenant" in faith and history, as it extends throughout the entire framework of the Bible and the entire history of the people who produced it. With such a monstrous topic, a comprehensive analysis of the material could take a lifetime to do it justice. Therefore, I have taken a very specific approach to the material in order to investigate the evolution of covenant from the Hebrew Bible (Old Testament) to the Christian Scriptures (New Testament). I have made every effort to approach this thesis as a text-based, non-doctrinal discussion. However, having my own religious convictions, it has, at times, been difficult to recognize and escape my biases. Nevertheless, I am confident that this final product is, for the most part, objective and free from dogmatism. Of course, I have brought my own perspective and understanding to the material, which may be different from the reader's, so there may be matters of interpretation on which we differ, but c 'est fa vie in the world of religious dialogue. The structure of this paper is symmetrical: Part I examines the traditions of the Torah and the Prophets; Part II, the Gospels and Paul's letters. I have balanced the Old Testament against the New Testament (the Torah against the Gospels; the Prophets against Paul) in order to give approximately equal weight to the two traditions, and establish a sense of parallelism in the structure of my overall work. A word should also be said about three matters of style. First, instead of the customary Christian designation of time as B.C. or A.D., I have opted to use the more modem B.C.E. (Before the Common Era) and C.E. (Common Era) notations. This more recent system is less traditional; however, more acceptable in academic and, certainly, more appropriate for a non-doctrinal discussion. Second, in the body of this paper I have chosen to highlight several texts using a variety of colors. This highlighting serves (1) to call the reader's attention to specific passages, and (2) to compare the language and imagery of similar texts. All highlighting has been added to the texts at my own discretion. Finally, the divine name, traditionally vocalized as "Yahweh," is a verbal form of the Hebrew "to be," and means, approximately, "I am who I am." This name was considered too holy to pronounce by the ancient Israelites, and, the word adonai ("My LORD") was used in its stead. In respect of this tradition, I have left the divine name in its original Hebrew form. Accordingly, should be read as "the LORD" throughout this paper. All Hebrew and Greek translations, where they occur, are my own. The Greek translations are based on the New Revised Standard Version (NRSV) of the Bible.