Filters: Date: "1991" School Or College: "College of Engineering" Collection: "ir_uspace" Type: "Text"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Brunvand, Erik L. | A cell set for self-timed design using actel FPGAs | Asynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. However, these systems require that suitable self-timed circuit primitives are available for b... | Self-timed systems; Actel field programmable gate arrays; FPGA | 1991 |
| 2 |
 |
Starkey, Mike | A lisp-based occam interpreter | The OCCAM programming language is an implementation of Communicating Sequential Processes and is used in a number of different areas. These areas usually require explicitly describing small-grain paralleslism. OCCAM programs formed by such descriptions can be tested for correctness by executing the... | Lisp-based; Occam interpreter | 1991 |
| 3 |
 |
Mathews, V. John | Adaptive algorithms for identifying recursive nonlinear systems | ABSTRACT This paper presents two fast least-squares lattice algorithms for adaptive non-linear filters equipped with system models involving nonlinear feedback. Such models can approximate a large class of non-linear systems adequately, and usually with considerable parsimony in the number of coeff... | 1991 | |
| 4 |
 |
Mathews, V. John | Adaptive polynomial filters | While linear filter are useful in a large number of applications and relatively simple from conceptual and implementational view points. there are many practical situations that require nonlinear processing of the signals involved. This article explains adaptive nonlinear filters equipped with polyn... | 1991 | |
| 5 |
 |
Gopalakrishnan, Ganesh | Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.) | We present several new techniques to make symbolic simulation based verification efficient. These techniques hinge on the use of the parametric form of a boolean expression (e.g. the parametric form for the boolean expression XQ V -<xi is the equivalent expression 3a b . (XQ = a V 6) A (xi = b), whe... | Symbolic simulation; Verification | 1991 |
| 6 |
 |
Cohen, Elaine | Error bounded variable distance offset operator for free from curves and surfaces | Most offset approximation algorithms for freeform curves and surfaces may be classified into two main groups. The first approximates the curve using simple primitives such as piecewise arcs and lines and then calculates the (exact) offset operator to this approximation. The second offsets the contro... | Error bounded; Freeform curves | 1991 |
| 7 |
 |
Christensen, Douglas A. | FDTD modeling in the design of optical chemical sensor structures | The finite-difference time-domain method (FDTD) is a numerical technique for solving Maxwell's equations in a discretized space and time frame. It has been used extensively in the analysis of electrically large structures in the microwave domain, but has only recently been applied to optical proble... | Finite-difference time-domain method; Immunochemical fluorosensors; Planar waveguides | 1991 |
| 8 |
 |
Gesteland, Raymond F.; Atkins, John F. | Frameshifting in gene 10 of bacteriophage T7 | Gene 10 of bacteriophage T7, which encodes the most abundant capsid protein, has two products: a major product, 10A (36 kDa), and a minor product, 10B (41 kDa). 10B is produced by frameshifting into the -1 frame near the end of the 10A coding frame and is incorporated into the capsid. The frameshift... | Frameshifting; Bacteriophage T7; RNA, Viral; Gene Expression | 1991 |
| 9 |
 |
Gopalakrishnan, Ganesh | From process-oriented functional specifications to efficient asynchronous circuits | A methodology for high-level synthesis and performance optimization of asynchronous circuits is described. A specification language called hopCP which is based on a simple extension to classical flow graphs is introduced. The extension involves the addition of expression actions to a flow graph, to ... | Synthesis; Performance optimization | 1991 |
| 10 |
 |
Cotter, Neil E. | Generality Vs. speed of convergence in the cart-pole balancer | This paper compares the speed of convergence to an optimal solution of four controllers for the problem of balancing a pole on a cart. We demonstrate that controllers whose design is tailored specifically to the cart-pole problem (i.e. less general) converge more rapidly to an optimal solution. How... | Cart-pole balancer; Generality; Speed of convergence | 1991 |
| 11 |
 |
Gopalakrishnan, Ganesh | Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL | A hardware specification formalism called hopCP is introduced, hopCP provides an uniform notation t o describe the causal relationships between a set of nonatomic actions which capture the computational, concurrency, control and communication aspects of hardware behavior. A systematic approach to sy... | Hierarchical action refinement; Hardware specification formalism; hopCP | 1991 |
| 12 |
 |
Gopalakrishnan, Ganesh | hopCP: A concurrent hardware description language | hopCP is a language for the specification, simulation, and synthesis of hardware systems. hopCP captures the behavior of a hardware system by specifying the causal relationships between actions that the system can perform. No specific timing discipline is implied by a hopCP specification. Hence, hop... | hopCP; Hardware systems | 1991 |
| 13 |
 |
Horch, Kenneth W. | Information contrained in sensory nerve recordings made with intrafascicular electrodes | Multiunit recordings were made in anesthetized cats with chronically implanted intrafascicular electrodes over a period of six months. Neural signals recorded with these electrodes consisted of activity in sensory fibers innervating a variety of cutaneous mechanoreceptors. Mechanical stimuli wer... | Intrafascicular electrodes; Functional electrical stimulation (FES); Closed-loop control | 1991 |
| 14 |
 |
Horch, Kenneth W. | Information extraction from peripheral nerves | This work is directed toward providing better rehabilitation for people suffering from somatosensory loss and paralysis due to spinal cord injury, head trauma, or stroke. The goal of this project is to demonstrate that information suitable for controlling prosthetic devices, modulating functional el... | Peripheral nerve; Neural recordings; Intrafascicular electrodes | 1991 |
| 15 |
 |
Lindstrom, Gary E. | Modularity meets inheritance | We "unbundle" several roles of classes in existing languages, by providing a suite of operators independently controlling such effects as combination, modification, encapsulation, name resolution, and sharing, all on the single notion of module. All module operators are forms of inheritance. Thus, ... | Modularity; Jigsaw computer tool | 1991 |
| 16 |
 |
Horch, Kenneth W. | Muscle recruitment with intrafascicular electrodes | We have studied muscle recruitment with Tefloninsulated, 25 pm diameter, Pt-Ir intrafasicular electrodes implanted in nerves innervating the gastrocnemius and soleus muscles of cats. The purpose of this study was to measure the performance of these bipolar electrodes, which had been designed to... | Functional neuromuscular stimulation (FNS); Intrafascicular electrode | 1991 |
| 17 |
 |
Mathews, V. John | Output-error adaptive bilinear filters | This paper presents an overview of several gradient type recursive algorithms for adaptive nonlinear filters equipped with bilinear system models. Bilinear models are attractive because they can approximate a large class of nonlinear systems with great parsimony in the use of coefficients. Two al... | 1991 | |
| 18 |
 |
Henderson, Thomas C. | Parallel path consistency | Filtering algorithms are well accepted as a means of speeding up the solution of the consistent labeling problem (CLP). Despite the fact that path consistency does a better job of filtering than arc consistency, AC is still the preferred technique because it has a much lower time complexity. We ar... | Filtering algorithms; Parallel paths; Consistency; Consistent labeling problem; CLP | 1991 |
| 19 |
 |
Mathews, V. John | Parameter estimation for a bilinear time series model | ABSTRACT This paper presents a direct approach to the estimation of the parameters associated with a bilinear time series model. The approach depends critically on the expressions for certain higher-order statistics of the signals that satisfy the bilinear model. These expressions are linear in mo... | 1991 | |
| 20 |
 |
Mathews, V. John | Performance analysis of adaptive filters equipped with the dual sign algorithm | Adaptive filters equipped with the sign algorithm are attractive in many applications because of their computational simplicity. Unfortunately, their slow speed of convergence is a major limitation. The dual sign algorithm (DSA) is a means by which the convergence speed can be increased without over... | 1991 | |
| 21 |
 |
Cotter, Neil E. | Prejudicial search and backprop | This paper introduces the combination of backward error propagation and prejudicial search. Prejudicial search is a method, which like simulated annealing, guarantees convergence to a global minimum as time approaches infinity. Unlike simulated annealing, its application is more flexible because it ... | 1991 | |
| 22 |
 |
Hoogenboom, Peter J. | Semantic definition of a subset of the structured query language (SQL) | SQL is a relational database definition and manipulation language. Portions of the manipulation language are readily described in terms of relational algebra. The semantics of a subset of the SQL select statement is described. The select statement allows the user to query the database. The select st... | 1991 | |
| 23 |
 |
Normann, Richard A.; Campbell, Patrick K.; Jones, Kelly E.; Huber, Robert J.; Horch, Kenneth W. | Silicon-based, three-dimensional neural interface: manufacturing processes for an intracortical electrode array | A method has been developed for the manufacture of a "three-dimensional" electrode array geometry for chronic intracortical stimulation. This silicon based array consists of a 4.2 x 4.2 x 0.12 mm thick monocrystalline substrate, from which project 100 conductive, silicon needles sharpened to facilit... | Electric Stimulation; Electrodes, Implanted; Sensory Cortex; Intracortical Electrode Array | 1991 |
| 24 |
 |
Gopalakrishnan, Ganesh | Static analysis techniques for the synthesis of efficient asynchronous circuits | In the context of deriving asynchronous circuits from high-level descriptions, determining whether two actions are potentially concurrent (overlapped execution) or serial (non-overlapped execution) has several advantages. This knowledge can be utilized to efficiently implement shared variables, sup... | Static analysis; Synthesis | 1991 |
| 25 |
 |
Starkey, Mike | Switchbox routing by pattern matching | Many good algorithms have been designed that provide good solutions to the wire routing problem in VLSI. Unfortunately, many of these algorithms only consider a small subset of different parameters such as number of layers, routability of layers and technology. We believe that these algorithms can b... | Switchbox routing; pattern matching; wire routing problem; VLSI | 1991 |