DO 501 Basic Christian Doctrine

The Bible (NRSV, NIV, or TNIV) The Mosaic of Christian Belief: Twenty Centuries of Unity & Diversity, by Roger E. Olson (Intervarsity, 2000). ISBN: 0830826955. Christian Theology: An Introduction, 4th Edition, by Alister E. McGrath (Blackwell, 2005), ISBN: 1405153601. The Christian Theology Reader, 3rd Edition, ed. Alister E. McGrath (Blackwell, 2005), ISBN: 140515358. The Way to Heaven: The Gospel according to John Wesley, by Steve Harper (Zondervan, 2003). ISBN: 0310252601. Theology in the Context of World Christianity, by Timothy C. Tennant (Zondervan: 2007), ISBN: 0310275113.https://place.asburyseminary.edu/syllabi/3714/thumbnail.jp

Free miners and colliers: custom, the crown and trade unionism in the Forest of Dean, 1788-1886

This thesis examines the impact of social and economic change on the practice of "free mining" in the Forest of Dean between 1788 and 1886, asking how and why the free miners' "rights" altered over that period and what the consequences of their survival were for the development of trade unionism among the Forest miners. The thesis is divided into three parts. The first of them discusses the free miners' rights and argues that they should be seen as part of a group of uses, including commoning and the occupation of Crown land, which its inhabitants made of the Forest in the eighteenth century. These uses came under pressure between 1788 and 1841 from reforms in central government and the intrusion of strangers from outside the Forest into the mining industry. A series of Acts of Parliament between 1838 and 1841 consolidated the new order in the Forest but the bargaining which preceded that legislation resulted in the preservation - though in a diluted form - of the miners' rights and of commoning. Part two asks whether the partial survival of these customs acted as a socially conservative influence which might have explained the relative weakness of trade unionism among the Forest's colliers. It is argued that the instability of union may be explained by reference to the organization of the industry and its markets, to the method of work organization in the pits, which created divisions among the miners, and to the inadequacies of "national" miners' unionism. Though it is not necessary to invoke the peculiar local rights and customs to account for the weakness of unionism in Dean, Part three will contend that they remained important to many foresters. Renewed pressure from the Crown and from the large coalowners, on both the free miners and commoners, and the resistance of the foresters to change, are examined. The character of that resistance took colour from the assumptions and rhetoric of the union and in turn reinforced and helped to make successful, a campaign by the union for the separate representation of the working men in the Parliament

Determination of the phase diagram of the electron doped superconductor Ba(Fe1−x_{1-x}Cox_x)2_2As2_2

Systematic measurements of the resistivity, heat capacity, susceptibility and Hall coefficient are presented for single crystal samples of the electron-doped superconductor Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$. These data delineate an $x-T$ phase diagram in which the single magnetic/structural phase transition that is observed for undoped BaFe$_2$As$_2$ at 134 K apparently splits into two distinct phase transitions, both of which are rapidly suppressed with increasing Co concentration. Superconductivity emerges for Co concentrations above $x \sim 0.025$, and appears to coexist with the broken symmetry state for an appreciable range of doping, up to $x \sim 0.06$. The optimal superconducting transition temperature appears to coincide with the Co concentration at which the magnetic/structural phase transitions are totally suppressed, at least within the resolution provided by the finite step size between crystals prepared with different doping levels. Superconductivity is observed for a further range of Co concentrations, before being completely suppressed for $x \sim 0.018$ and above. The form of this $x-T$ phase diagram is suggestive of an association between superconductivity and a quantum critical point arising from suppression of the magnetic and/or structural phase transitions

The association of metacognitive beliefs with emotional distress after diagnosis of cancer.

Objective: Emotional distress after a diagnosis of cancer is normal and, for most people, will diminish over time. However, a significant minority of patients with cancer experience persistent or recurrent symptoms of emotional distress for which they need help. A model developed in mental health, the self-regulatory executive function model (S-REF), specifies that maladaptive metacognitive beliefs and processes, including persistent worry, are key to understanding why such emotional problems persist. This cross-sectional study explored, for the first, time whether metacognitive beliefs were associated with emotional distress in a cancer population, and whether this relationship was mediated by worry, as predicted by the S-REF model. Method: Two hundred twenty-nine participants within 3 months of diagnosis of, and before treatment for, primary breast or prostate cancer completed self-report questionnaires measuring anxiety, depression, posttraumatic stress disorder (PTSD) symptoms, metacognitive beliefs, worry, and illness perceptions. Results: Regression analysis showed that metacognitive beliefs were associated with symptoms of anxiety, depression, and PTSD, and explained additional variance in these outcomes after controlling for age, gender, and illness perceptions. Structural equation modeling was consistent with cross-sectional hypotheses derived from the theory that metacognitive beliefs cause and maintain distress both directly and indirectly by driving worry. Conclusions: The findings provide promising first evidence that the S-REF model may be usefully applied in cancer. Further study is required to establish the predictive and clinical utility of these findings

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits

pre-printThe increasing integration of analog/mixed-signal (AMS) circuits into system designs has further complicated an already difficult verification problem. Recently, formal verification, which has been successful in the purely digital domain, has made some in-roads in the AMS domain. This paper describes one such formal verification tool for AMS circuits, LEMA. In particular, LEMA is capable of generating a formal model from simulation traces that, when coupled with a formal property provided in our new property language, can be model checked with one of three model checkers within LEMA. This paper briefly describes the capabilities of the LEMA AMS verification tool flow

Gradient-Free Kernel Stein Discrepancy

Stein discrepancies have emerged as a powerful statistical tool, being applied to fundamental statistical problems including parameter inference, goodness-of-fit testing, and sampling. The canonical Stein discrepancies require the derivatives of a statistical model to be computed, and in return provide theoretical guarantees of convergence detection and control. However, for complex statistical models, the stable numerical computation of derivatives can require bespoke algorithmic development and render Stein discrepancies impractical. This paper focuses on posterior approximation using Stein discrepancies, and introduces a collection of non-canonical Stein discrepancies that are gradient free, meaning that derivatives of the statistical model are not required. Sufficient conditions for convergence detection and control are established, and applications to sampling and variational inference are presented