We analyze the space complexity of monitoring streams of messages whose expected behavior is specified in a fragment of predicate logic; this fragment is the core of the LogicGuard specification language that has been developed in an industrial context for the runtime monitoring of network traffic. The execution of the monitors is defined by an operational semantics for the step-wise evaluation...

We introduce a logic called C2PDLS, motivated by some reasoning about graph rewriting systems. C2PDLS is an extension of both combinatory propositional dynamic logic, usually written CPDL, and converse propositional dynamic logic, usually written CPDL too. In addition to the existing features of both CPDLs, the introduced logic offers the possibility to use the notion of substitutions à la Hoar...

Satisfiability Modulo Theories (SMT) solvers have emerged as prominent tools in formal methods applications. While originally targeted towards quantifier-free inputs, SMT solvers are now often used for handling quantified formulas in automated theorem proving and software verification applications. The most common technique for handling quantified formulas in modern SMT solvers in quantifier in...

XMM-Newton background maps for the 3 EPIC instruments in their different instrument/mode/filter combinations and in several energy bands have been constructed using a superposition of 72 pointed observations. Event datasets, with point sources excised, for the different instrument/mode/filter combinations have also been assembled, with longer exposure times than previously available files. The ...

As healthcare organizations prepare for Meaningful Use Level 2and look ahead to MU Level 3 and the advent of Accountable Care, many are investing in Epic EHR to provide them with a “single view” of the patient, a foundation for evidence-baseddecision support, quality management, and outcomes reporting. Epic has proven its ability to transform healthcare delivery, increase efficiency, and improv...

The Epic of Gilgamesh attempts to answer the question of how, given the finality of death, one might find meaning and happiness in life. Many commentators argue that the text provides two separate, although ultimately unsatisfactory, alternatives. What these commentators appear to miss, however, is the possibility that these two solutions may not be separate. Using Levinas’s distinction between...

The ethically controversial figure of the “Other” is at heart traditionally antinomic system heroic Christian epic. An age-long myth, a cultural projection and an essential literary theme (Ceserani 1998), image “Stranger”, “Adversary”, or, in other words, “Other”, being frequently endowed with demonic connotations, found to be part parcel allegorical dichotomy good evil. tendency towards demoni...