Fix 2 < n < ω. Ln denotes first order logic restricted to the first n variables and for any ordinals α < β, (R)CAα denotes the class of (representable) cylindric algebras of dimension α, and NrαCAβ denotes the class of α-neat reducts of CAβ . Certain CAns constructed from relation algebras having an n–dimensional cylindric basis are used to show that Vaught’s Theorem (VT) looked upon as a speci...

c © 2007 by John von Neumann Institute for Computing Permission to make digital or hard copies of portions of this work for personal or classroom use is granted provided that the copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise requires prior specific permission by the publisher ment...

class ATOM extends Invariant; case class OR (t1 : Invariant, t2 : Invariant) extends Invariant; case class AND (t1 : Invariant, t2 : Invariant) extends Invariant; case class NOT (t : Invariant) extends Invariant; case class IMPLIES (t1 : Invariant, t2 : Invariant) extends Invariant; case class BIGOR (t : List[Invariant]) extends Invariant; case class BIGAND (t : List[Invariant]) extends Invaria...

In the classical data envelopment analysis (DEA) models, inputs and outputs are assumed as known variables, and these models cannot deal with unknown amounts of variables directly. In recent years, there are few researches on handling missing data. This paper suggests a new interval based approach to apply missing data, which is the modified version of Kousmanen (2009) approach. First, the prop...

Reactions of an anionic heavy ruthenocene with CCl4, MeI, EtBr and Me3SiCl afforded the first stannole monoanion complexes. Surprisingly, coordination modes of the stannole rings are highly dependent on the substituents on the tin atom. The chloro derivative exhibits a η(4)-fashion-like coordination mode with a bent stannole ring, whereas the trimethylsilyl derivative adopts the conventional η(...

Using density functional theory calculations, we have investigated the interactions between hydrogen molecules and metalloporphyrins. A metal atom, such as Ca or Ti, is introduced for incorporation in the central N(4) cavity. Within local density approximation (generalized gradient approximation), we find that the average binding energy of H(2) to the Ca atom is about 0.25 (0.1) eV/H(2) up to f...

A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a generalization of functional dependencies in that an input value maps to a fixed number of output values. Types are used to specify the domains of the input and outp...

background: prognostic models have clinical appeal to aid therapeutic decision making. two main practical challenges in development of such models are assessment of validity of models and imputation of missing data. in this study, importance of imputation of missing data and application of bootstrap technique in development, simplification, and assessment of internal validity of a prognostic mo...