XP. A Common Lisp Pretty Printing System

XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well as when printing program code. XP is efficient, because it is based on a linear time algorithm that uses only a small fixed amount of storage. XP is flexible, because users can control the exact form of the output via a set of special format directives. XP can operate on arbitrary data structures, because facilities are provided for specifying pretty printing methods for any type of object. XP also modifies the way abbreviation based on length, nesting depth, and circularity is supported so that they automatically apply to user-defined functions that perform output ??g., print functions for structures. In addition, a new abbreviation mechanism is introduced that can be used to limit the total numbers of lines printed.

XP. A Common Lisp Pretty Printing System

XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well as when printing program code. XP is efficient, because it is based on a linear time algorithm that uses a small fixed amount of storage. XP is flexible, because users can control the exact form of the output via a set of special format directives. XP can operate on arbitrary data structures, because facilities are provided for specifying pretty printing methods for any type of object.

Monitoring Activities from Multiple Video Streams: Establishing a Common Coordinate Frame

Passive monitoring of large sites typically requires coordination between multiple cameras, which in turn requires methods for automatically relating events between distributed cameras. This paper tackles the problem of self-calibration of multiple cameras which are very far apart, using feature correspondences to determine the camera geometry. The key problem is finding such correspondences. Since the camera geometry and photometric characteristics vary considerably between images, one cannot use brightness and/or proximity constraints. Instead we apply planar geometric constraints to moving objects in the scene in order to align the scene"s ground plane across multiple views. We do not assume synchronized cameras, and we show that enforcing geometric constraints enables us to align the tracking data in time. Once we have recovered the homography which aligns the planar structure in the scene, we can compute from the homography matrix the 3D position of the plane and the relative camera positions. This in turn enables us to recover a homography matrix which maps the images to an overhead view. We demonstrate this technique in two settings: a controlled lab setting where we test the effects of errors in internal camera calibration, and an uncontrolled, outdoor setting in which the full procedure is applied to external camera calibration and ground plane recovery. In spite of noise in the internal camera parameters and image data, the system successfully recovers both planar structure and relative camera positions in both settings.

Predicate Dispatching in the Common Lisp Object System

I have added support for predicate dispatching, a powerful generalization of other dispatching mechanisms, to the Common Lisp Object System (CLOS). To demonstrate its utility, I used predicate dispatching to enhance Weyl, a computer algebra system which doubles as a CLOS library. My result is Dispatching-Enhanced Weyl (DEW), a computer algebra system that I have demonstrated to be well suited for both users and programmers.

Effects of Air Pollution Control on Climate

Urban air pollution and climate are closely connected due to shared generating processes (e.g., combustion) for emissions of the driving gases and aerosols. They are also connected because the atmospheric lifecycles of common air pollutants such as CO, NOx and VOCs, and of the climatically important methane gas (CH4) and sulfate aerosols, both involve the fast photochemistry of the hydroxyl free radical (OH). Thus policies designed to address air pollution may impact climate and vice versa. We present calculations using a model coupling economics, atmospheric chemistry, climate and ecosystems to illustrate some effects of air pollution policy alone on global warming. We consider caps on emissions of NOx, CO, volatile organic carbon, and SOx both individually and combined in two ways. These caps can lower ozone causing less warming, lower sulfate aerosols yielding more warming, lower OH and thus increase CH4 giving more warming, and finally, allow more carbon uptake by ecosystems leading to less warming. Overall, these effects significantly offset each other suggesting that air pollution policy has a relatively small net effect on the global mean surface temperature and sea level rise. However, our study does not account for the effects of air pollution policies on overall demand for fossil fuels and on the choice of fuels (coal, oil, gas), nor have we considered the effects of caps on black carbon or organic carbon aerosols on climate. These effects, if included, could lead to more substantial impacts of capping pollutant emissions on global temperature and sea level than concluded here. Caps on aerosols in general could also yield impacts on other important aspects of climate beyond those addressed here, such as the regional patterns of cloudiness and precipitation.