A computer scientist looks at game theory

I consider issues in distributed computation that should be of relevance to game theory. In particular, I focus on (a) representing knowledge and uncertainty, (b) dealing with failures, and (c) specification of mechanisms.Comment: To appear, Games and Economic Behavior. JEL classification numbers: D80, D8

Fragments of ML decidable by nested data class memory automata

The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a “bad variable” construct in the sense of Reynolds. We consider the fragment of (finitary) RML terms of order at most 1 with free variables of order at most 2, and identify two subfragments of this for which we show observational equivalence to be decidable. The first subfragment, RMLP−Str2⊢1, consists of those terms in which the P-pointers in the game semantic representation are determined by the underlying sequence of moves. The second subfragment consists of terms in which the O-pointers of moves corresponding to free variables in the game semantic representation are determined by the underlying moves. These results are shown using a reduction to a form of automata over data words in which the data values have a tree-structure, reflecting the tree-structure of the threads in the game semantic plays. In addition we show that observational equivalence is undecidable at every third- or higher-order type, every second-order type which takes at least two first-order arguments, and every second-order type (of arity greater than one) that has a first-order argument which is not the final argument

Automating the parallel processing of fluid and structural dynamics calculations

The NASA Lewis Research Center is actively involved in the development of expert system technology to assist users in applying parallel processing to computational fluid and structural dynamic analysis. The goal of this effort is to eliminate the necessity for the physical scientist to become a computer scientist in order to effectively use the computer as a research tool. Programming and operating software utilities have previously been developed to solve systems of ordinary nonlinear differential equations on parallel scalar processors. Current efforts are aimed at extending these capabilities to systems of partial differential equations, that describe the complex behavior of fluids and structures within aerospace propulsion systems. This paper presents some important considerations in the redesign, in particular, the need for algorithms and software utilities that can automatically identify data flow patterns in the application program and partition and allocate calculations to the parallel processors. A library-oriented multiprocessing concept for integrating the hardware and software functions is described

Sorting Permutations with Finite-Depth Stacks

Sorting organizes information for optimal usage and is desirable in many different fields. Noted computer scientist Donald Knuth first considered using stacks of infinite depth as a powerful means to sort data. We extend this work to consider stack-sortable permutations using stacks of specified finite depths. We characterize patterns that sortable permutations must avoid and derive a handy enumeration formula. Further generalizations include the introduction of multiple stacks and the analysis of the resulting counting sequences

Discrimination of form in images corrupted by speckle

The problem investigated is that of a human observer having to distinguish between certain specified geometrical forms corrupted by speckle-an idealization of the problem of a scientist studying a synthetic aperture radar map. Specifically, the cases of two simple alternative forms and of two and four orientations of a simple form have been considered. A theoretical model is developed for the observer's decision process by analogy with optimal receiver theory, and the probability of a correct decision is related to form parameters like size, contrast, and looks. These calculations are verified by psychophysical experiments using computer-simulated pictures

A Web/Grid Services Approach for Integration of Virtual Clinical & Research Environments

Clinicans have responsibilities for audit and research, often participating in projects with basic scientist colleagues. Our work in a regional teaching hospital setting involves collaboration with the medical school computer services and builds upon work developed in computer science department as part of the Collaborative Orthopaedic Research Environment (CORE) project[1]. This has established a pilot study for proof of concept work. Users are mapped to a personal profile implemented using XML and a service oriented architecture (SOA)[2,3]. This bridges the e-Health and e-Science domains, addressing some of the basic questions of security and uptake

Andrei Ershov and the Soviet Information Age

A study of the ideological and transnational context of informatics and cybernetics in the late Soviet Union, focusing on the leading Soviet computer scientist Andrei Ershov