|
|
Creator | Title | Description | Subject | Date |
| 301 |
 |
Christensen, Douglas A.; Vincent, G. Michael | Fiberoptic laser angioplasty probe with optical steerability | We have designed and bench tested an optically steerable fiberoptic probe for use in laser angioplasty. The unique feature of this design is the use of a gradient-index (GRIN) lens attached to the distal end of a seven-fiber bundle. By selecting which fiber of the bundle is illuminated by the source... | Fiberoptic probe; GRIN lens; Steerability | 1990 |
| 302 |
 |
Mathews, V. John | Tracking analysis of the sign algorithm in nonstationary environments | Abstract-This paper presents a tracking analysis of the adaptive filters equipped with the sign algorithm and operating in nonstationary environments. Under the assumption that the nonstationarity can be modeled using a random disturbance, it is shown that the long-term time average of the mean-abso... | | 1990 |
| 303 |
 |
Bruderlin, Beat | Detecting ambiguities: an optimistic approach to robustness problems in computational geometry | Computational geometry algorithms deal with geometric objects, usually represented by coordinates in an n-dimensional Euclidean space. Most efficient algorithms implement geometric operations as floating point arithmetic operations on the coordinates. Since floating point numbers can only approxima... | Ambiguities; Computational geometry; Robustness problems | 1990 |
| 304 |
 |
Kessler, Robert R. | Concurrent Scheme | This paper describes an evolution of the Scheme language to support parallelism with tight coupling of control and data. Mechanisms are presented to address the difficult and related problems of mutual exclusion and data sharing which arise in concurrent language systems. The mechanisms are tailored... | Concurrent Scheme; Parallelism | 1990 |
| 305 |
 |
Mathews, V. John | Tracking analysis of the sign algorithm in nonstationary environments | This paper presents a tracking analysis of the adaptive filters equipped with the sign algorithm and operating in nonstationary environments. Under the assumption that the nonstationarity can be modeled using a random disturbance, it is shown that the long-term time average of the mean-absolute erro... | | 1990 |
| 306 |
 |
Gopalakrishnan, Ganesh | Some recent asynchronous system design methodologies | We present an in-depth study of some techniques for asynchronous system design, analysis, and verification. After defining basic terminology, we take one simple example - a four-phase t o two-phase converter - and present its design using (a) classical flow-tables; (b) Signal Transition Graphs of [... | Asynchronous system design | 1990 |
| 307 |
 |
Henderson, Thomas C. | Zo: A framework for autonomous agent behavior specification and analysis | We describe a framework for the specification and analysis of autonomous agents1 . In general, such agents require several levels of behavioral specifications, including: low-level reflex actions, mid-level controllers to deal with the physical aspects of the world, and highlevel representations for... | Z-Infinity; Autonomous agents; Behavior | 1990 |
| 308 |
 |
Kessler, Robert R. | DPOS: A metalanguage and programming environment for parallel processors | The complexity and diversity of parallel programming languages and computer architectures hinders programmers in developing programs and greatly limits program portability. All MIMD parallel programming systems, however, address common requirements for process creation, process management, and inte... | DPOS; MIMD parallel programming | 1990 |
| 309 |
 |
Bruderlin, Beat | DI - An object-oriented user interface toolbox for modula-2 applications | The DI dialog interface tool library for Modula-2 applications described in this paper facilitates the design and implementation of graphical, object-oriented user interfaces for workstations with a graphical screen, a mouse and a keyboard. Much emphasis is put on the portability of the application... | DI dialog interface tool | 1990 |
| 310 |
 |
Mathews, V. John | Stochastic gradient adaptive filters with gradient adaptive step sizes | This paper presents two adaptive step-size gradient adaptive filters. The step sizes are changed using a gradient descent algorithm designed to minimize the squared estimation error. The first algorithm uses the same step-size sequence for all the filter coefficients whereas the second algorithm use... | | 1990 |
| 311 |
 |
George, Lal | A scheduling strategy for shared memory multiprocessors | An efficient scheduling strategy for shared memory multiprocessors is described. The rapid dissemination of tasks to available procesors and ready queues is crucial to the performance of any parallel system. Such overheads determine the attainable speedup and performance of the system. Poor techniq... | Shared memory multiprocessors | 1990 |
| 312 |
 |
Horch, Kenneth W.; Normann, Richard A. | Simulation of a phosphene field based visual prosthesis | A visual prosthesis for the blind based upon electrical stimulation of the visual cortex requires the development of an array of electrodes. To establish design specifications for such an electrode array, we have conducted psychophysical experiments with normally sighted subjects wearing a portable... | Visual prosthesis; Phosphene simulator | 1990 |
| 313 |
 |
Starkey, Mike | C-RISC A C language reduced instruction set computer | This project is the implementation of a Reduced Instruction Set Computer (RISC) on a tiny chip. RISC technology is based on the idea that a small number of simple instructions can be used to create a fast, flexible computer. Our RISC uses this principle while staying within the confines of the tiny ... | RISC; C language | 1990 |
| 314 |
 |
Liu, Feng | Effect of size and dimensionality on the magnetic moment of transition metals | The effect of size and dimensionality on the magnetic moments of Fe, Co, and Ni have been studied theoretically by confining the atoms t o various structural forms such as chains,surfaces, and thin films. The size of these systems is controlled by limiting t h e number of atoms. A new first-princip... | Magnetic moment; Dimensionality; Size effects; Fe; Co; Ni | 1990 |
| 315 |
 |
Evans, John | DPOS programming manual | This manual describes the basic concepts of the DPOS Metalanguage and the programming language DPOS Scheme. | DPOS; Programming manual | 1990 |
| 316 |
 |
Michell, Nick | On the potential of asynchronous pipelined processors | An asynchronous version of the pipelined R3000 and DLX processors, the A3000, is being designed. Simulation was employed t o investigate the potential speed-up obtainable due t o the asynchronous operation. Preliminary results show up to a 64% improvement in performance. | Pipelined processors; Pipelined R3000; DLX processors; A3000 | 1990 |
| 317 |
 |
Normann, Richard A. | Effects of GABA and related drugs on horizontal cells in the isolated turtle retina | The role of GABA in the outer plexiform layer of the turtle retina has been examined by intracellular recordings from L- and C-type horizontal cells in the isolated retina preparation. GABA (1-5 mM) slightly depolarized the L-type horizontal cells, reduced the amplitude of their photoresponses, and ... | Retina; Horizontal Cells; Synapse; Negative Feedback; GABA; Turtle | 1990 |
| 318 |
 |
Henderson, Thomas C. | CBCV: A CAD-based vision system | The CBCV system has been developed in order to provide the capability of automatically synthesizing executable vision modules for various functions like object recognition, pose determinaion, quality inspection, etc. A wide range of tools exist for both 2D and 3D vision, including not only software... | CBCV | 1990 |
| 319 |
 |
Bruderlin, Beat | An axiomatic approach for solving geometric problems symbolically | This paper describes a new approach for solving geometric constraint problems and problems in geometry theorem proving. We developed a rewrite-rule mechanism operating on geometric predicates. Termination and completeness of the problem solving algorithm can be obtained through well foundedness and ... | Geometric constraint problems; Geometry theorem proving; Knuth-Bendix completion algorithm | 1990 |
| 320 |
 |
Gopalakrishnan, Ganesh | Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design | The use of formal methods in hardware design improves the quality of designs in many ways: it promotes better understanding of the design; it permits systematic design refinement through the discovery of invariants; and it allows design verification (informal or formal). In this paper we illustrate ... | Rollback chip; Verification; HOP; Hardware design; RBC | 1990 |
| 321 |
 |
Bruderlin, Beat | Robust regularized set operations on polyhedra | This paper describes a provably correct and robust implementation of regularized set operations on polyhedral objects. Although the algorithm described here does not assume manifold polyhedra and handles all possible degenerate cases, it turns out to be quite simple. The geometric operations and rel... | Robust regularized set operations | 1990 |
| 322 |
 |
Christensen, Douglas A.; Andrade, Joseph D. | Improved sensitivity in ellipsometry of thin biochemical films by employing sublayers | Ellipsometry is widely used for investigating the optical properties of thin films on planar substrates, including films of adsorbed proteins or polymers. The average thickness and effective refractive index of the adsorbed layer are calculated by measuring the A and ¥ ellipsometry parameters. Unfo... | Biochemical films; SiO2 sublayer | 1990 |
| 323 |
 |
Mathews, V. John | Lattice and QR decomposition-based algorithms for recursive least squares adaptive nonlinear filters | This paper presents a lattice structure for adaptive Volterra systems. The stucture is applicable to arbitrary planes of support of the Volterra kernels. A fast least squares lattice and a fast QR-lattice adaptive nonlinear filtering algorithms based on the lattice structure are also presented. The... | | 1990 |
| 324 |
 |
Evans, John | A distributed object-oriented graphical programming system | This report presents the design of a distributed parallel object system (DPOS) and its implementation using a graphical editing interface. DPOS brings together concepts of object-oriented programming and graphical programming with aspects of modern functional languages. Programs are defined as netwo... | Distributed parallel object system; DPOS | 1990 |
| 325 |
 |
Normann, Richard A.; Campbell, Patrick K.; Jones, Kelly E. | 100 electrode intracortical array: structural variability | A technique has been developed for fabricating three dimensional "hair brush" electrode arrays from monocrystalline silicon blocks. Arrays consist of a square pattern of 100 penetrating electrodes, with 400 microns interelectrode spacing. Each electrode is 1.5mm in length and tapers from about 100 m... | Microelectrode arrays; Stimulation; Micromachining | 1990 |
