This study assessed whether or not the difficulty of task switching stems from previous inhibition of the task set. A predictable sequence of univalent stimuli (affording performance of one active task) and bivalent stimuli (affording performance of two tasks) was used in two experiments. Experiment 1 used an alternating-runs paradigm (AABB) and Experiment 2 used a strictly alternating sequence...

Given three positive integers n , a b with = we determine the base size of symmetric group and alternating degree in their action on set partitions into parts having cardinality .

Computing the winning set for Büchi objectives in alternating games on graphs is a central problem in computer aided verification with a large number of applications. The long standing best known upper bound for solving the problem is Õ(n · m), where n is the number of vertices and m is the number of edges in the graph. We are the first to break the Õ(n · m) boundary by presenting a new techniq...

Computing the winning set for Büchi objectives in alternating games on graphs is a central problem in computer aided verification with a large number of applications. The long standing best known upper bound for solving the problem is Õ(n · m), where n is the number of vertices and m is the number of edges in the graph. We are the first to break the Õ(n ·m) boundary by presenting a new techniqu...

We consider the convergence properties for alternating projection algorithm (a.k.a alternating projections) which has been widely utilized to solve many practical problems in machine learning, signal and image processing, communication and statistics since it is a gradient-free method (without requiring tuning the step size) and it usually converges fast for solving practical problems. Although...

Alternating transition systems are a general model for composite systems which allows the study of collaborative as well as adversarial relationships between individual system components. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition correspon...

Urachal anomalies are exceptionally rare. They can present in different ways in childhood as well as in adults. We present an interesting case of vesico-urachal diverticulum with alternating sinus. The interesting finding in this patient was the inversion and disappearance of the umbilicus at the termination of voiding

This article presents a relational formalization of axiomatic set theory, including socalled ZFC and the anti-foundation axiom (AFA) due to P. Aczel. The relational framework of set theory provides a general methodology for the fundamental study on computer and information sciences such as theory of graph transformation, situation semantics and analysis of knowledge dynamics in distributed syst...