Wende - Bruch - Kontinuum. Die moderne österreichische Literatur und ihre Paradigmen des Wandels [Rezension]

Rezension zu Wende – Bruch – Kontinuum. Die moderne österreichische Literatur und ihre Paradigmen des Wandels. Hrsg. v. Renata Cornejo u. Ekkehard W. Haring. Wien: Praesens Verlag, 2006, 504 S

Error Reporting in Parsing Expression Grammars

Parsing Expression Grammars (PEGs) describe top-down parsers. Unfortunately, the error-reporting techniques used in conventional top-down parsers do not directly apply to parsers based on Parsing Expression Grammars (PEGs), so they have to be somehow simulated. While the PEG formalism has no account of semantic actions, actual PEG implementations add them, and we show how to simulate an error-reporting heuristic through these semantic actions. We also propose a complementary error reporting strategy that may lead to better error messages: labeled failures. This approach is inspired by exception handling of programming languages, and lets a PEG define different kinds of failure, with each ordered choice operator specifying which kinds it catches. Labeled failures give a way to annotate grammars for better error reporting, to express some of the error reporting strategies used by deterministic parser combinators, and to encode predictive top-down parsing in a PEG.Comment: Preprint (plus appendix) submitted to Science of Computer Programmin

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics implemented as a conservative extension of Full Maude and Maude MSOS Tool (MMT). The Modular SOS of Action Notation has been implemented using MMT transitions and Full Maude has been used to implement the Classes Notation. The syntax created by MOOAT is fairly similar to the original Object-Oriented Action Semantics syntax. In addition to it, the tool combines the modularity aspects observed in the object-oriented approach with the efficient execution and analysis of the Maude system. We use MOOAT to describe syntaxindependent specifications of programming languages. In this way, we show how Constructive Object-Oriented Action Semantics (COOAS) may be achieved as a combination between Object-Oriented Action Semantics and Constructive Action Semantics (CAS) using MOOAT, in order to increase the modularity aspects observed in the object-oriented formalism. This paper reports on the development of Maude Object-Oriented Action Tool and its application to the formal specification of programming languages

Almost Linear B\"uchi Automata

We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two formalisms are expressively equivalent. While standard translations of LTL into BA use some intermediate formalisms, the presented translation of LIO into ALBA is direct. As we expect applications of ALBA in model checking, we compare the expressiveness of ALBA with other classes of Buechi automata studied in this context and we indicate possible applications

Quiet Time for Mechanically Ventilated Patients in The Medical Intensive Care Unit

Objective: Sleep disruption occurs frequently in critically ill patients. The primary aim of this study was to examine the effect of quiet time (QT) on patient sedation frequency, sedation and delirium scores; and to determine if consecutive QTs influenced physiologic measures (heart rate, mean arterial blood pressure and respiratory rate). Method: A prospective study of a quiet time protocol was conducted with 72 adult patients on mechanical ventilation. Setting: A Medical Intensive Care Unit (MICU) in the Midwest region of the United States. Results: Sedation was given less frequently after QT (p = 0.045). Those who were agitated prior to QT were more likely to be at goal sedation after QT (p \u3c 0.001). Although not statistically significant, the majority of patients who were negative on the Confusion Assessment Method (CAM-ICU) prior to QT remained delirium free after QT. Repeated measures analysis of variance (ANOVA) for three consecutive QTs showed a significant difference for respiratory rate (p = 0.035). Conclusion: QT may influence sedation administration and promote patient rest. Future studies are required to further understand the influence of QT on mechanically ventilated patients in the intensive care unit

Objevné i empatické zkoumání obrazů života v literatuře 19. století

15716

Znovuobjevený Emil Saudek

21321