The contribution of abnormal cardiac function to hypotension and metabolic acidosis, which affect approximately 40% of ventilated very low birthweight infants in the first 24 hours after birth was assessed using M mode, two dimensional, and Doppler echocardiography in 75 very low birthweight infants during the first few hours after birth. Thirty four infants whose blood pressure was less than t...

We propose a new perspective on PDL as a multi-agent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and brings game logic closer to standard modal logic. We show that MASL can express key notions of game theory, social choice theory and voting theory in a natural way. We then present a sound and complete proof system for MASL. We end by ...

We shall now consider the structure of sentences and the ways in which sentences take values. The notions we are going to introduce are generalizations of notions studied in the classical predicate calculus and are all essentially described in [2] — Introduction. We shall keep Church's terminology as much as possible; our deviation consists in working systematically with abstract values and in ...

First class functions in constrained second class systems. Abstract Generators of the algebra of first class functions in a system with second class constraints are found. It is shown that first class functions form algebras with respect to the Dirac bracket and pointwise multiplication .The subspace of functions vanishing on constraint surface are ideals of these algebras. The corresponding qu...

In this paper we discuss several issues related to the introduction of business processes in the life cycle of Web based E-commerce applications. We first argue that business processes have been so far neglected by modeling and design methodologies treating them as by-products of conceptual and navigational design artifacts, and as a consequence introducing different design and usability proble...

Let G be a graph consisting of a complete binary tree of depth h together with one back edge leading from each leaf to one of its ancestors, and suppose that the girth ofG exceeds g. Let h = h(g) be the minimum possible depth of such a graph. The existence of such graphs, for arbitrarily large g, is proved in [2], where it is shown that h(g) is at most some version of the Ackermann function. He...

We introduce the equational notion of a monadic bounded algebra (MBA), intended to capture algebraic properties of bounded quantification. The variety of all MBA’s is shown to be generated by certain algebras of two-valued propositional functions that correspond to models of monadic free logic with an existence predicate. Every MBA is a subdirect product of such functional algebras, a fact that...

The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule based on a recursive version of Ackermann’s lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points FOμ. This comput...

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$ does not interpret Robinson's theory $R$. To this end, we borrow tools from model theory---specifically, we investigate model-theoretic properties of the mode...

In this position paper, we discuss feature dependencies as one major challenge in product line engineering. We suggest that (1) feature dependencies should be treated as first class entities and (2) dependencies in various artefacts across the software life cycle should be mapped onto each other.