|
|
Creator | Title | Description | Subject | Date |
| 1 |
 |
Mecklenburg, Robert | A dossier driven persistent objects facility | We describe the design and implementation of a persistent object storage facility based on a dossier driven approach. Objects are characterized by dossiers which describe both their language defined and "extra-linguistic" properties. These dossiers are generated by a C+-f- preprocessor in concert ... | Persistent object storage facility; Dossier driven | 1994 |
| 2 |
 |
Sobh, Tarek M. | A graphical environment and applications for discrete event and hybrid systems in robotics and automation | In this paper we present an overview for the development of a graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of di... | Intelligent system domain; Graphical environment | 1994 |
| 3 |
 |
Weinstein, David | A morphing algorithm for generating near optimal grids: applications in computational medicine | We apply morphing to t h e problem of generating the initial mesh for finite element simulations. This algorithm reduces mesh adaptation time by integrating physical and geometric constraints to provide a near optimal initial mesh. We apply this method to large-scale bioelectric field problems invol... | Morphing algorithm; Bioelectric field problems | 1994 |
| 4 |
 |
Bruderlin, Beat | A new approach to tolerance analysis | Tolerance analysis is seen as part of a more general problem, namely handling data with uncertainty. Uncertain geometric data arises when interpreting measured data, but also in solid modeling where floating point approximations are common, when representing design tolerances, or when dealing with l... | Tolerance analysis | 1994 |
| 5 |
 |
Furse, Cynthia M.; Gandhi, Om P. | A simple convolution procedure for calculating currents induced in the human body for exposure to electromagnetic pulses | Abstract-The finite-difference time-domain (FDTD) and frequency dependent finite difference time-domain (FD)2TD methods have been previously used to calculate internal electric (E) fields and induced currents for exposure of the anatomically based model of the human body to electromagnetic pulses (E... | | 1994 |
| 6 |
 |
Mathews, V. John | A stability condition for certain bilinear systems | Abstract-This correspondence derives a simple sufficient condition for the output of a discrete-time, time-invariant bilinear system to be bounded whenever the input signal to the system is bounded by a finite constant. | | 1994 |
| 7 |
 |
Mathews, V. John | A stability result for RLS adaptive bilinear filters | Abstract- This letter considers recursive least squares (RLS) adaptive nonlinear filtering using bilinear system models. It is shown that the extended RLS adaptive bilinear filter, as well as the equation-error RLS adaptive bilinear filter, are guaranteed to be stable in the sense that the time aver... | | 1994 |
| 8 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A unifying framework for tolerance analysis in sensing, design, and manufacturing | In this work we address the problem of tolerance representation and analysis across the domains of industrial inspection using sensed data, CAD design, and manufacturing. Instead of using geometric primitives in CAD models to define and represent tolerances, we propose the use of stronger methods t... | Tolerance representation; Tolerance analysis; Industrial inspection; Sensed data; CAD design | 1994 |
| 9 |
 |
Horch, Kenneth W. | Action potential classification with dual channel intrafascicular electrodes | Using recordings of peripheral nerve activity made with carbon fiber intrafascicular electrodes, we compared the performance of three different recording techniques (single channel, differential, and dual channel) and four different unit classification methods (linear discriminant analysis, temp... | Carbon fiber intrafascicular electrodes; Dual channel recording | 1994 |
| 10 |
 |
Mathews, V. John | Adaptive bilinear predictors | This paper considers an extended recursive least squares (RLS) adaptive bilinear predictor. It is shown that the extended RLS adaptive bilinear predictor is guaranteed to be stable in the sense that the time average of the squared a-posteriori prediction error signal is bounded whenever the input... | | 1994 |
| 11 |
 |
Bruderlin, Beat | An interactive N-Dimensional constraint system | In this paper, we present a graph-based approach to geometric constraint solving. Geometric primitives (points, lines, circles, planes, etc.) possess intrinsic degrees of freedom in their embedding space. Constraints reduce the degrees of freedom of a set of objects. A constraint graph is created wi... | Geometric constraint solving | 1994 |
| 12 |
 |
Gesteland, Raymond F.; Ives, Jeffrey T.; Stockham, Thomas G. | Automated film reader for DNA sequencing based on homomorphic deconvolution | An automated reader for electrophoresis based DNA sequencing methods is described that provides fast and accurate sequence determination. Digitized sequencing lanes are processed with homomorphic blind deconvolution in preparation for peak detection, interlane alignment, peak refinement and base cal... | Sequence Analysis; Electrophoresis; Automated Film Reader; Homomorphic Deconvolution | 1994 |
| 13 |
 |
Smith, Kent F. | Automatic rapid prototyping of semi-custom VLSI circuits using FPGAs | We describe a technique for translating semi-custom VLSI circuits automatically, integrating two design environments, into field programmable gate arrays (FPGAs) for rapid and inexpensive prototyping. The VLSI circuits are designed using a cell-matrix based environment that produces chips with densi... | Semi-custom; VLSI circuits | 1994 |
| 14 |
 |
Gopalakrishnan, Ganesh | Case studies in symbolic model checking | The need to formally verify hardware and software systems before they are deployed the real world has been recognized for several decades now. This is especially true of concurrent systems that are even more difficult to debug than sequential systems. For example, many of the protocols that get emp... | Symbolic model checking; Hardware verification; Software verification | 1994 |
| 15 |
 |
Horch, Kenneth W. | Classification of action potentials in multi unit intrafascicular recordings using neural network pattern recognition techniques | Neural network pattern-recognition techniques were applied to the problem of identifying the sources of action potentials in multi-unit neural recordings made from intrafascicular electrodes implanted in cats. The network was a three-layer connectionist machine that used digitized action potenti... | Intrafascicular electrodes; Multi-unit neural activity; Artificial neural networks | 1994 |
| 16 |
 |
Kessler, Robert R. | Compiling distributed C++ | Distributed C++ (DC++) is a language for writing parallel applications on loosely coupled distributed systems in C++. Its key idea is to extend the C++ class into 3 categories: gateway classes which act as communication and synchronization entry points between abstract processors, classes whose... | Distributed C++; DC++; Parallel applications | 1994 |
| 17 |
 |
Johnson, Christopher R. | Construction of a human torso model from magnetic resonance images for problems in computational electrocardiography | Applying mathematical models to real situations often requires the use of discrete geometrical models of the solution domain. In some cases destructive measurement of the objects under examination is acceptable, but in biomedical applications the measurements come from imaging techniques such as X-r... | Human torso model; MRI | 1994 |
| 18 |
 |
Horch, Kenneth W. | Control of ankle position using neural feedback | This paper describes a closed loop control system that uses afferent neural activity from muscle spindle fibers as feedback for controlling ankle position. The gastrocnemius muscle was stimulated through a dual channel intrafascicular electrode implanted in a fascicle of the tibial nerve. Dual cha... | Neuromuscular stimulation; Peripheral nerve; Joint angle | 1994 |
| 19 |
 |
Stringfellow, Gerald B. | Control of ordering in Ga0.5In0.5P using growth temperature | The kinetic processes leading to ordering in Gas,, In o.4P8 have been studied by observing the effects of substrate misorientation (O-9), growth rate (0.1-0.5), and substrate temperature (570- 670 "C) during growth. The ordered structure and degree of ordering are determined using transmission elec... | Ordering Structure; Growth Temprature; Growth Rate | 1994 |
| 20 |
 |
Lindstrom, Gary E. | The design of object-oriented meta-architectures for programming languages | This paper is a survey of the design of four object-oriented meta-level architectures for programming languages. We present overviews and compare the salient features of the meta-architectures of Smalltalk, Common Lisp Object System (CLOS), a Scheme Compiler, and Etyma, our framework for modular sy... | Meta-level architectures; Design | 1994 |
| 21 |
 |
Sobh, Tarek M. | Discrete event control for inspection and reverse engineering | We address the problem of intelligent sensing in this work. In particular, we use discrete event dynamic systems (DEDS) to guide the sensing of mechanical parts for industrial inspection and reverse engineering. | Discrete event control; Intelligent sensing; Inspection; Discrete event dynamic systems; DEDS | 1994 |
| 22 |
 |
Stringfellow, Gerald B. | Effects of substrate misorientation and growth rate on ordering in GaInP | Epitaxial layers of Ga,Tn,_,P with 1=0.52 have been grown by-organometallic vapor-phase apitaxy on GaAs substrates misoriented from the (001) plane in the [ 1 IO] direction by angles 6,) of O", 3", 6", and 9". For each substrate orientation growth rates rg of 1, 2, and 4 pm/h have been used. The ... | Transmission electron diffraction; Dark-field imaging; Photoluminescence | 1994 |
| 23 |
 |
Gesteland, Raymond F.; Weiss, Robert B. | Efficient shine- Dalgarno sequence but not translation is necessary for LacZ mRNA stability in Escherichia coli | The 5' ends of many bacterial transcripts are important in determining mRNA stability. A series of Shine-Dalgarno (SD) sequence changes showed that the complementarity of the SD sequence to the anti-SD sequence of 16S rRNA correlates with lacZ mRNA stability in Escherichia coli. Several initiation c... | Protein Biosynthesis; Ribosomes; Escherichia coli; Shine-Dalgarno Sequence | 1994 |
| 24 |
 |
Henderson, Thomas C. | EGOR: design, development, implementation an entry in the 1994 AAAI robot competition | EGOR, an entry in the 1994 AAAI Robot Competition, was built by ate am from the Department of Computer Science at the University of Utah. The constraints imposed by the competition rules, and by cost and time, led to the development of a system composed of off-the- shelf parts based on a mobile bas... | EGOR; AAAI Robot Competition | 1994 |
| 25 |
 |
Lindstrom, Gary E. | ETYMA: a framework for modular systems | Modularity, i.e. support for the flexible construction, adaptation, and combination of units of software, is an important goal in many systems. In most cases, however, systems achieve only a few aspects of modularity. The problem can be traced to the inflexibility, or the limited view of modularity ... | ETYMA; Modularity; Modular systems | 1994 |
