The proposed ISO standard Enhancements to LOTOS (E-LOTOS) is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus (``FireWire''). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to...

• On page 2, Materials and Methods, right column, first full paragraph, second sentence, “serum creatinine [mt] 2.8 mg/dL” has been corrected to “serum creatinine >2.8 mg/dL”. The same correction was done in the sixth full paragraph, first sentence. • On page 4, Results, right column, first full paragraph “Knox” has been corrected to “NOx”. The same correction was done on page 5, left column, f...

In this paper we propose a machinelearning approach to paragraph boundary identification which utilizes linguistically motivated features. We investigate the relation between paragraph boundaries and discourse cues, pronominalization and information structure. We test our algorithm on German data and report improvements over three baselines including a reimplementation of Sporleder & Lapata’s (...

This paper provides a critical analysis of the United Nations (UN) Security Council’s ‘naming and shaming’ provision in operative paragraph 3 of Security Council resolution 1960 (2010), arguing this is a counterproductive development in the contemporary collective security approach to women, peace and security. Resolution 1960, the fifth Security Council resolution on women, peace and security,...

Paragraph-by-paragraph machine translation seems to be for now, an unjustifiably complicated task for practical needs. It involves the complete understanding of the paragraph, the determination of discourse topic(s), goals, intentions, so that the output can be produced in accordance with the respective discourse rules and purposes. However, recognizing topic, goal, intention by a computer prog...