High concentrations of ozone (O3) in the lower troposphere increase global warming, and thus affect climatic conditions and human health. Especially in metropolitan cities like Istanbul, ozone level approximates to security levels that may threaten human health. Therefore, there are many research efforts on building accurate ozone prediction models to develop public warning strategies. The goal...

In decision-theoretic planning, the problem of planning under uncertainty is formulated as a multidimensional, or factoredMDP. Traditional dynamic programming techniques are ine cient for solving factored MDPs whose state and action spaces are exponential in the number of the state and action variables, correspondingly. We focus on exploiting problems' structure imposed by variable independence...

We introduce Non-deterministic Boolean proof nets to study the correspondence with Boolean circuits, a parallel model of computation. We extend the cut elimination of Non-deterministic Multiplicative Linear logic to a parallel procedure in proof nets. With the restriction of proof nets to Boolean types, we prove that the cut-elimination procedure corresponds to Non-deterministic Boolean circuit...

Combining multiple neural networks appears to be a very promising approach in improving neural network generalisation since it is very difficult, if not impossible, to develop a perfect single neural network. In the building of an aggregated neural network model, a number of individual networks are developed from different data sets and/or different training algorithms. In this paper, individua...

BACKGROUND Increased blood glucose is associated with adverse clinical outcomes among patients with major illnesses. This study examined the association between blood glucose and adverse outcomes among hospitalized patients with acute exacerbation of chronic obstructive pulmonary disease, for which limited prior data were available. METHODS We studied a cohort of 209 hospitalized patients wit...

OBJECTIVES Automated variable selection methods are frequently used to determine the independent predictors of an outcome. The objective of this study was to determine the reproducibility of logistic regression models developed using automated variable selection methods. STUDY DESIGN AND SETTING An initial set of 29 candidate variables were considered for predicting mortality after acute myoc...

After having played a prisoner’s dilemma, players can approve or reject the other’s choice of cooperation or defection. If both players approve the other’s choice, the outcome is just the result of the chosen strategies in the prisoner’s dilemma; however, if either rejects the other’s choice, the outcome is the result of mutual defection in the prisoner’s dilemma. In theory, such an approval me...

Modular cut-elimination is a particular notion of ”cut-elimination in the presence of non-logical axioms” that is preserved under the addition of suitable rules. We introduce syntactic necessary and sufficient conditions for modular cut-elimination for standard calculi, a wide class of (possibly) multipleconclusion sequent calculi with generalized quantifiers. We provide a ”universal” modular c...

Several Herbrand proof procedures proposed during the 1960 decade are shown to be related in varying degrees. Most of the paper deals with a relationship between s-linear resolution and model elimination. Refinements of each are proposed and the spaces of ground deductions are shown to be isomorphic in a suitable sense. The two refined procedures are then studied at the general level where they...

Backward induction is the most widely accepted principle for predicting behavior in dynamic games. In experiments, however, players frequently violate this principle. An alternative is a 2-parameter “dynamic level-k” model, where players choose a rule from a rule hierarchy. The rule hierarchy is iteratively defined such that the level-k rule is a best-response to the level-(k − 1) rule and the ...