Introducing the Apocalyptic Visions of Daniel 7

The term apocalyptic has come to be used as a broad designation for a particular kind of literature and mode of thinking that was clearly distinguishable by the second century B. C. Rev. 1:1 uses the noun apokalypsis to define the hidden revelation communicated to John through special visions. This essay employs the term apocalyptic in the broad sense indicated above. The characteristics of apocalyptic will be defined in general terms below. The purpose of this essay is to introduce the reader to the distinctive apocalyptic thinking of the writer of Daniel 7 whose one like a son of man is of interest to all students of the written Word. As background for this introduction, however, we shall give an overview of the nature of apocalyptic thinking and theology. For a more technical analysis of the topic the reader is asked to refer to one of the recent major works on this subject listed in the bibliography

Ezekiel 28 and the Fall of the First Man

In the light of recent discussions on the Fall narrative of Genesis 3, the text of Ezek. 28:1-19 has come in for considerable comment. A separate treatment of Ezek. 28:11-19 therefore seems appropriate. In this study we shall analyze the basic message of Ezek. 28:11-19 and indicate the importance of the tradition of the fall of the first man reflected in this passage from Ezekiel

Book Review. - Literatur

Book Review. - Literatu

Verifying Monadic Second-Order Properties of Graph Programs

The core challenge in a Hoare- or Dijkstra-style proof system for graph programs is in defining a weakest liberal precondition construction with respect to a rule and a postcondition. Previous work addressing this has focused on assertion languages for first-order properties, which are unable to express important global properties of graphs such as acyclicity, connectedness, or existence of paths. In this paper, we extend the nested graph conditions of Habel, Pennemann, and Rensink to make them equivalently expressive to monadic second-order logic on graphs. We present a weakest liberal precondition construction for these assertions, and demonstrate its use in verifying non-local correctness specifications of graph programs in the sense of Habel et al.Comment: Extended version of a paper to appear at ICGT 201

Shadow on Screen The Wayang Kulit in The Year of Living Dangerously

The Year of Living Dangerously is perhaps the clearest example of Koch’s engagement with Asia. In this novel the wayang kulit, the Javanese shadow-puppet play, is used for a variety of purposes. It appears at crucial points within the narrative, and also serves as an overall structuring device for the novel. It frames the novel’s main plot, which depicts the last days of the Sukarno regime in 1965 and the coup which brought Indonesia to the brink of crisis. Furthermore, the characters of the wayang are used as archetypes for the characters in the novel, which creates space for reflections on stereotyping and the complicity of Western characters in the instability and violence experienced by Indonesia. Ultimately, the wayang is a motif and device of narrative and characterisation which allows Koch to explore notions of power and the abuse of power in a post-colonial context.Chad Habe

Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Pulmonary DWCNT Exposure Causes Sustained Local and Low-Level Systemic Inflammatory Changes in Mice

Carbon nanotubes (CNTs) represent promising vectors to facilitate cellular drug delivery and to overcome biological barriers, but some types may also elicit persistent pulmonary inflammation based on their fibre characteristics. Here, we show the pulmonary response to aqueous suspensions of block copolymer dispersed, double-walled carbon nanotubes (DWCNT, length 1–10 lm) in mice by bronchoalveolar lavage (BAL) analysis, and BAL and blood cytokine and lung antioxidant profiling. The intratracheally instilled dose of 50 lg DWCNT caused significant pulmonary inflammation that was not resolved during a 7- day observation period. Light microscopy investigation of the uptake of DWCNT agglomerates revealed no particle ingestion for granulocytes, but only for macrophages. Accumulating macrophage, multinucleated macrophage and lymphocyte numbers in the alveolar region further indicated ineffective resolution with chronification of the inflammation. The local inflammatory impairment of the lung was accompanied by pulmonary antioxidant depletion and haematological signs of systemic inflammation. While the observed inflammation during its acute phase was dominated by neutrophils and neutrophil recruiting cytokines, the contribution of macrophages and lymphocytes with related cytokines became more significant after day 3 of exposure. This study confirms that acute pulmonary toxicity can occur on exposure of high doses of DWCNT agglomerates and offers further insight for improved nanotube design parameters to avoid potential long-term toxicity

Mobile engagement: phone voting in large lectures

This poster introduces the notion of VotApedia, or mobile phone voting, in large lectures, and presents some data ion the student experience of a pilot implementation in Principles of Public Law.Chad Habel and Matthew Stubb

The YEATS family member GAS41 interacts with the general transcription factor TFIIF

<p>Abstract</p> <p>Background</p> <p>In eukaryotes the transcription initiation by RNA polymerase II requires numerous general and regulatory factors including general transcription factors. The general transcription factor TFIIF controls the activity of the RNA polymerase II both at the initiation and elongation stages. The glioma amplified sequence 41 (GAS41) has been associated with TFIIF via its YEATS domain.</p> <p>Results</p> <p>Using GST pull-down assays, we demonstrated that GAS41 binds to both, the small subunit (RAP30) and the large subunit (RAP74) of TFIIF <it>in vitro</it>. The <it>in vivo </it>interaction of GAS41 and endogenous RAP30 and RAP74 was confirmed by co-immunoprecipitation. GAS41 binds to two non-overlapping regions of the C-terminus of RAP30. There is also an ionic component to the binding between GAS41 and RAP30. There was no evidence for a direct interaction between GAS41 and TBP or between GAS41 and RNA polymerase II.</p> <p>Conclusions</p> <p>Our results demonstrate binding between endogenous GAS41 and the endogenous TFIIF subunits (RAP30 and RAP74). Since we did not find evidence for a binding of GAS41 to TBP or RNA polymerase II, GAS41 seems to preferentially bind to TFIIF. GAS41 that does not contain a DNA-binding domain appears to be a co-factor of TFIIF.</p