The Rilke of Ruth Speirs: new poems, Duino Elegies, Sonnets to Orpheus & others

Rainer Maria Rilke (1875-1926) is universally recognized as among the most important twentieth-century German-language poets. Here, for the first time, are all the surviving translations of his poetry made by Ruth Speirs (1916-2000), a Latvian exile who joined the British literary community in Cairo during World War Two, becoming a close friend of Lawrence Durrell and Bernard Spencer. Though described as ‘excellent’ and ‘the best’ by J. M. Cohen on the basis of magazine and anthology appearances, copyright restrictions meant that during her lifetime, with the exception of a Cairo-published Selected Poems (1942), Speirs was never to see her work gathered between covers and in print. This volume, edited by John Pilling and Peter Robinson, brings Speirs’ translations the belated recognition they deserve. Her much-revised and considered versions are a key document in the history of Rilke’s Anglophone dissemination. Rhythmically alive and carefully faithful, they give a uniquely mid-century English accent to the poet’s extraordinary German, and continue to bear comparison with current efforts to render his tenderly taxing voice.

Notes of proceedings and cases determined in the high court of errors and appeals, the court of chancery, and the orphans court of the state of Delaware, 1792-1832

Contains summaries of cases heard by the Delaware Supreme Court and the Delaware Appeals Court in the counties of Sussex, Kent, and Newcastle covering a variety of legal topics. Supposedly based on Wilson's Red Book.

Lawyer's case book containing notes of cases adjudged and determined in the courts of Delaware, 1793-1796

Lawyer's case book containing notes on cases before the Delaware Supreme Court and Delaware Court of Common Pleas. Contains information on the cases and judgements.

Flexible proof reuse for software verification

Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.

Agent-based distributed software verification

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving with the aim of reducing the user interactions (and thus the cost) of constructing software verification proofs. We describe a prototype implementation of our architecture and discuss its application to a small, but non-trivial case study.

Multi-threaded Communicating Agents in Qu-Prolog

In this tutorial paper we summarise the key features of the multi-threaded Qu-Prolog language for implementing multi-threaded communicating agent applications. Internal threads of an agent communicate using the shared dynamic database used as a generalisation of Linda tuple store. Threads in different agents, perhaps on different hosts, communicate using either a thread-to-thread store and forward communication system, or by a publish and subscribe mechanism in which messages are routed to their destinations based on content test subscriptions. We illustrate the features using an auction house application. This is fully distributed with multiple auctioneers and bidders which participate in simultaneous auctions. The application makes essential use of the three forms of inter-thread communication of Qu-Prolog. The agent bidding behaviour is specified graphically as a finite state automaton and its implementation is essentially the execution of its state transition function. The paper assumes familiarity with Prolog and the basic concepts of multi-agent systems.

Factors affecting the growth of Cladophora in relation to river pollution

Nuisance growths of Cladophora have been associated with eutrophication. A review of the literature, however, reveals a scarcity of relevant experimental growth studies. Sampling experimental streams reveals that the addition of sewage effluent to good quality water alters the flora from that dominated by Potamogetan crispus to one dominated by CLadophora. Spatial and temporal differences in biomass of taxa present are discussed in the context of accompanying physicochemical data. In laboratory batch culture, growth of unialgal C. glomerata was accompanied by elevation of medium pH - considered largely responsible for the poor growth in such culture. However, appropriate experimental conditions and indices of growth were selected and the effects of various herbicides assessed. Diquat and terbutryne were shown to possess algicidal activity towards Cladophora. A closed continuous culture apparatus was developed: growth proceeded through lag, logarithmic and linear phases. Inoculum size and medium flow rate had significant effects on growth, and were standardized. In continuous culture, specific growth rate increased linearly with increased duration of light per day, up to 24 hours, and increased light intensity, up to 6000 lux - the highest intensity tested. Comparison of field and laboratory results suggests that ammonia toxicity is attributable to the undissociated form. In the laboratory, 185 µg/1 undissociated ammoniacal nitrogen reduced specific growth rate to 50% of that at 10 µg/1 undissociated ammcniacal nitrogen. 0.077-1.057 mg/1 NO2-N had no significant effect on growth. 7.2-15.2 mg/1 NO3-N had no significant effect on specific growth rate. Neither was any nitrate/phosphate interaction significant. At 4.9 mg/1 PO4-1, specific growth rate was only 48% of that at 1.9 g/1 P04-P. The critical medium PO4-P concentration was <0.1 mg/i. Specific growth rate was reduced to 50% of that in natural water by 0.036 mgCu/l, 0.070 mgzn/1 and 1.03 mgPb/l. Metal uptake was evaluated.

Robinson; ein gedicht

"Zu meinem gedicht 'Robinson'" (1 leaf) laid in.