We examine sequential equilibrium in the context of computational games [Halpern and Pass 2011a], where agents are charged for computation. In such games, an agent can rationally choose to forget, so issues of imperfect recall arise. In this setting, we consider two notions of sequential equilibrium. One is an ex ante notion, where a player chooses his strategy before the game starts and is com...

A steering fragment of an instruction sequence consists of a sequence of steering instructions. These are decision points involving the check of a propositional statement in sequential logic. The question is addressed why composed propositional statements occur in steering fragments given the fact that a straightforward transformation allows their elimination. A survey is provided of constraint...

We used event-related potentials (ERPs) to investigate the time course and distribution of brain activity while adults performed (a) a sequential learning task involving complex structured sequences, and (b) a language processing task. The same positive ERP deflection, the P600 effect, typically linked to difficult or ungrammatical syntactic processing, was found for structural incongruencies i...

In this paper two concurrent versions of Brzozowski’s deterministic finite automaton (DFA) construction algorithm are developed from first principles, the one being a slight refinement of the other. We rely on Hoare’s CSP as our notation. The specifications that are proposed of the Brzozowski algorithm are in terms of the concurrent composition of a number of top-level processes, each participa...

investigation of the interrelationships between yield and its components will improve the efficiency of a breeding program with appropriate selection criteria. in this study, the relationship among yield components and their direct and indirect influences on the total yield of melon were investigated. the study was based on evaluation of 49 entries gener-ated from a 7×7 diallel involving irania...

Purpose: To identify a novel biomarker for bladder cancer targeting therapy. ExperimentalDesign: Thehumanbladder cancer cell line T24 cellswere used as immunogen to generate mouse monoclonal antibodies. We screened and identified a specific antibody BCMab1 against bladder cancer. We examined BCMab1 antigen expression in the patients with bladder cancer through immunohistochemical staining and i...

Purpose: In breast cancer, the TP53 gene is frequently mutated and the mutations have been associated with poor prognosis. The prognostic impact of the different types of TP53 mutations across the different molecular subtypes is still poorly understood. Here, we characterize the spectrum and prognostic significance of TP53 mutations with respect to the PAM50 subtypes and integrative clusters (I...