The purpose of this short document is to exhibit how a HACKER-like top-down planning and debugging system can be applied to the problem of the design and debugging of simple analog electronic circuits. I believe, and I ...

We present a biologically motivated method for scene image classification. The core of the method is to use shape based image property that is provided by a hierarchical feedforward model of the visual cortex [18]. Edge ...

Peer-to-peer or P2P systems are applications that allow a network of peers to share resources in a scalable and efficient manner. My research is concerned with the use of P2P systems for sharing databases. To allow data ...

In dealing with long-term tracking databases withwide-area coverage, an important problem is in formulating anintuitive and fast query system for analysis. In such a querysystem, a user who is not a computer vision research ...

I describe the design and implementation plans for a computer that is optimized as a microcoded interpreter for Scheme. The computer executes SCode, a typed-pointer representation. The memory system has low-latency as ...

We have designed and implemented a single-chip microcomputer (which we call SCHEME-79) which directly interprets a typed pointer variant of SCHEME, a dialect of the language LISP. To support this interpreter the chip ...

Scheme86 is a computer system designed to interpret programs written in the Scheme dialect of Lisp. A specialized architecture, coupled with new techniques for optimizing register management in the interpreter, allows ...

Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and ...

Scientific communnities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of ...

In this paper, we present the design of Scoop, a system for indexing and querying stored data in sensor networks. Scoop works by collecting statistics about the rate of queries and distribution of sensor readings over a ...

This program will take a list of display instructions and cause it to be plotted. For further or more detailed information consult with Michael Speciner.

The screened Coulomb interaction between a pair of infinite parallel planes with spatially varying surface charge is considered in the limit of small electrical potentials for arbitrary Debye lengths. A simple expression ...

Many important geometric estimation problems naturally take the form of synchronization over the special Euclidean group: estimate the values of a set of unknown poses given noisy measurements of a subset of their pairwise ...

Significant changes in the state of the Arctic ice cover are occurring. As the summertime extent of sea ice diminishes, the Arctic is increasingly characterized by first-year rather than multi-year ice. It is during the ...

Since a superconductor has no resistance below a certain temperature and can therefore save a large amount of energy dissipated, it is a 'green' material by saving energy loss and hence reducing carbon emissions. Recently ...

Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes ...

The simplest example of a quantum information source with memory is a mixed source, which emits signals entirely from one of two memoryless quantum sources with given $\textit{a priori}$ probabilities. Considering a mixed ...

Recent experimental studies have shown rich transition behaviour in rotating plane Couette ow (RPCF). In this paper we study the transition in supercritical RPCF theoretically by determination of equilibrium and periodic ...

A principal limitation of LISP processors in many computations is that of inadequate primary random-access storage. This paper explores several methods of using a secondary storage medum (such as drums, disk files or magetic ...

Our goal is to develop a state-of-the-art predictor with an intuitive and biophysically-motivated energy model through the use of Hidden Markov Support Vector Machines (HM-SVMs), a recent innovation in the field of machine ...