A program that simulates a Digital Equipment Corporation PDP-11 computer and many of its peripherals on the AI Laboratory Time Sharing System (ITS) is described from a user's reference point of view. This simulator has ...

A program that simulates a Digital Equipment Corporation PDP-11 computer and many of its peripherals on the AI Laboratory Time Sharing System (ITS) is described from a user's reference point of view. This simulator has ...

This report mainly summarizes the Project MAC A.I. Group work between July 1968 and June 1969 but covers some work up to February 1970. The work on computer vision is described in detail. This summary should be read ...

This year, as the finale to the Artificial Intelligence Laboratory's annual Winter Olympics, the Lab staged an AI Fair ??night devoted to displaying the wide variety of talents and interests within the laboratory. The ...

The registration of pre-operative volumetric datasets to intra- operative two-dimensional images provides an improved way of verifying patient position and medical instrument loca- tion. In applications from orthopedics ...

A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This ...

Many 3D objects in the world around us are strongly constrained. For instance, not only cultural artifacts but also many natural objects are bilaterally symmetric. Thoretical arguments suggest and psychophysical ...

Model-based object recognition commonly involves using a minimal set of matched model and image points to compute the pose of the model in image coordinates. Furthermore, recognition systems often rely on the ...

This paper introduces WiTrack, a system that tracks the 3D motion of a user from the radio signals reflected off her body. It works even if the person is occluded from the WiTrack device or in a different room. WiTrack ...

Depth of field (DOF), the range of scene depths that appear sharp in a photograph, poses a fundamental tradeoff in photography---wide apertures are important to reduce imaging noise, but they also increase defocus blur. ...

The rendering of effects such as motion blur and depth-of-field requires costly 5D integrals. We dramatically accelerate their computation through adaptive sampling and reconstruction based on the prediction of the anisotropy ...

Programme for the presentations given at the 60th anniversary

This paper presents a C 0 discontinuous Galerkin formulation for the simulation of thin shells. The method is based on Koiter’s shell model and allows finite element solutions to be obtained by using standard $C^0$ Lagrange ...

Ubiquitous computing environments are characterized by an unboundedamount of noise and crosstalk. In these environments, traditionalmethods of sound capture are insufficient, and array microphones areneeded in order to ...

We prove a ‘minimal’ type automorphy lifting theorem for 2-adic Galois representations of unitary type, over imaginary CM fields. We use this to improve an automorphy lifting theorem of Kisin for GL_2.

We give examples of closed orientable graph 3-manifolds having a fundamental group which is not a subgroup of GL(4, F) for any field F. This answers a question in the Kirby problem list from 1977 which is credited to the ...

The primary objectives of this study were to identify how IT projects can be managed using the Balanced Scorecard approach. Although the research is positioned to have potential application within international project ...

Peptides represent a source of novel therapeutics for recalcitrant human diseases, but screening for bioactivity from natural or synthetic sources can be uneconomic. In contrast, in vivo expression of peptides from DNA ...

In this paper, a combined experimental-computational study of double-edge notched stone specimen subject to cyclic tensile loading is presented. In the experimental part, the load-deformation response and the local ...

We present a new method purity analysis for Java programs.A method is pure if it does not mutate any location that exists in the program state right before method invocation.Our analysis is built on top of a combined pointer ...