My recent research develops game theory techniques and applies them to the problem of constructing reliable computer systems. Game theory is gaining importance in many disciplines, including economics, sociology, political and sciences. In my research, I have used games to automatically construct, correct, and analyze computer systems and their specifications. The games I study are turn-based g...

Gray (1987) proposed two systems underlying much of our behavior and personality. One system (Behavioral Inhibition System, BIS) relates to avoidance or withdrawal behavior, whereas the other system (Behavioral Approach System, BAS) relates to approach behavior. Underreactivity and overreactivity of those systems have been presumed to explain a broad range of psychopathologies. Despite the incr...

During slow-wave sleep (SWS) following periods of spatial activity, hippocampal place cells that were temporally correlated, by virtue of the overlap of their place fields, exhibit enhanced temporal correlations, even though the animal sleeps in a different location (Wilson and McNaughton [1994] Science 267:676-679). The discharge of cells with overlapped place fields is more correlated in subs...

The McNaughton-Zielonka divide et impera algorithm is the simplest and most flexible approach available in the literature for determining the winner in a parity game. Despite its theoretical exponential worst-case complexity and the negative reputation as a poorly effective algorithm in practice, it has been shown to rank among the best techniques for the solution of such games. Also, it proved...

The hippocampal regions CA3 and CA1 have long been proposed to be autoand heteroassociative memories, respectively (Marr, 1971; McNaughton and Morris, 1987; Treves and Rolls, 1994), for the storage of declarative information. An autoassociative memory is formed when a set of neurons are recurrently connected by modifiable synapses, whereas a heteroassociative memory is formed through modifiable...

In many models of neural population coding, similar sensory or motor states are represented in the brain by similar neural ensembles (Georgopoulos et al., 1999; Lewis and Kristan, 1998; Wilson and McNaughton, 1993). To explore this issue, we measured the activity of large numbers of single neurons in the pre-motor nucleus RA of the singing zebra finch. During singing, individual RA neurons gene...

The determinization of Büchi automata is a celebrated problem, with applications in synthesis, probabilistic verification, and multi-agent systems. Since the 1960s, there has been a steady progress of constructions: by McNaughton, Safra, Piterman, Schewe, and others. Despite the proliferation of solutions, they are all essentially ad-hoc constructions, with little theory behind them other than ...

Building on the human memory model that consider LTM to be similar to a distributed network (McClelland, McNaughton & O'Reilly, 1995), and informed by the recent solutions to catastrophic forgetting that suppose memories are dynamically maintained in a dual architecture through a memory self-refreshing mechanism (Ans & Rousset, 1997, 2000; Ans et al., 2002, 2004; French, 1997), we checked wheth...

conclusions there is a significant increased incidence of mortality, prolonged hospitalization, and rehospitalization in symptomatic patients with severe tr. therefore, we recommend more aggressive approach toward tv repair or replacement in these patients regardless of pap and systolic function. results heart failure (50%) was the most cause of death. mean years of survival from diagnosis of s...

this paper is concerned with investigation of vertical impedance function of a surface rigid circular foundation resting on a semi-infinite transversely isotropic alluvium. to this end, the equations of motion in cylindrical coordinate system, which because of axissymmetry are two coupled equations, are converted into one partial differential equation using a method of potential function. the g...