We study logics and games over dynamically changing structures. Van Benthem’s sabotage modal logic consists of modal logic with a cross-model modality referring to submodels from which a transition has been removed. We add constructors for forming least and greatest monadic fixed-points to that logic and obtain the sabotage μ-calculus. We introduce backup parity games as an extension of standar...

We consider a competitive facility location problem with two players. Players alternate placing points, one at a time, into the playing arena, until each of them has placed n points. The arena is then subdivided according to the nearest-neighbor rule, and the player whose points control the larger area wins. We present a winning strategy for the second player, where the arena is a circle or a l...

Synoptic maps for 28-29 August 2002 indicate typical near-surface northerly flow along coastal California, while Goes-10 animated satellite imagery from this period show a stratuscapped, coastally trapped disturbance (CTD) propagating northward against the prevailing flow. A pronounced hydraulic-jump-like (‘shock’) feature develops in the cloud field south of Cape Mendocino (CM) and angles line...

The main goal of this work is to develop the software management solution for the manufacturing models suitable for COTS (Commercial off The Shelf) ARENA execution and management and to generate the methodology for design, development and validation processes of similar solutions based on parallel or distributed simulation (especially HLA – High Level Architecture). We can use experiences from ...

Although pervasive computing and computer ethics are taught in numerous computing curricula, they tend to be taught separately without much reference to the other arena. This paper reports on the efforts of two professors, one a social scientist and one a computer scientist, to integrate components of their respective courses. Rationale for the pedagogy model, results of the courses, and reflec...

We consider a competitive facility location problem with two players. Players alternate placing points, one at a time, into the playing arena, until each of them has placed n points. The arena is then subdivided according to the nearest-neighbor rule, and the player whose points control the larger area wins. We present a winning strategy for the second player, where the arena is a circle or a l...

Previous experiments have shown that when domestic chicks (Gallus gallus) are first trained to locate food elements hidden at the centre of a closed square arena and then are tested in a square arena with double the size, they search for food both at its centre and at a distance from walls similar to the distance of the centre from the walls experienced during training. This paper presents a co...