|
|
Creator | Title | Description | Subject | Date |
| 151 |
 |
Lindstrom, Gary E. | Abstract semantics for functional constraint programming | A denotational semantics is given for a lazy functional language with monotonic side-effects arising from the unification of singly-bound logical variables. The semantics is based on a Scott-style information system, which elegantly captures the notion of "constraint additin" inherent in unificati... | Abstract semantics | 1989 |
| 152 |
 |
Horch, Kenneth W.; Christensen, Douglas A. | Accelerated 4-year bachelors/masters degree program in biomedical engineering | In response to the need for providing advanced engineering education in a shorter time period than is currently possible by traditional curricula, we have created an Accelerated Dual Degree program in biomedical engineering. The purpose of this pilot program is to attract the brightest students, g... | Accelerated dual-degree program | 2002 |
| 153 |
|
Horch, Kenneth W.; Christensen, Douglas A. | Accelerated 4-year bachelors/masters degree program in biomedical engineering | In response to the need for providing advanced engineering education in a shorter time period than is currently possible by traditional curricula, we have created an Accelerated Dual Degree program in biomedical engineering. The purpose of this pilot program is to attract the brightest students, g... | Accelerated; Dual-degrees; Education | 2002 |
| 154 |
 |
Christensen, Douglas A.; Horch, Kenneth W. | Accelerated dual-degree BS/MS program - experience with the first three years | We have initiated a pilot program that accelerates the studies of a small group of highly qualified students early in their college careers and allows them to earn both a bachelor's degree and a master's degree in about four years after starting college. It does this by introducing them early to res... | Accelerated dual-degree program | 2004 |
| 155 |
 |
Hansen, Charles D. | Accelerated isosurface extraction in time-varying fields | For large time-varying data sets, memory and disk limitations can lower the performance of visualization applications. Algorithms and data structures must be explicitly designed to handle these data sets in order to achieve more interactive rates. The Temporal Branch-on-Need Octree (T-BON) extends t... | Isosurfaces; Time-dependent scalar field visualization; Multiresolution methods; Octree; Bricking; Unstructured grid visualization; Out-of-core visualization | 2000 |
| 156 |
 |
Myers, Chris J.; Gopalakrishnan, Ganesh | Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines | Abstract This paper presents a new approach to two-level hazard-free logic minimization in the context of extended burst-mode finite state machine synthesis targeting generalized C-elements (gC). No currently available minimizers for literal-exact two-level hazard-free logic minimization of extende... | | 2000 |
| 157 |
 |
Christensen, Douglas A. | Acoustic droplet vaporization, cavitation, and therapeutic properties of copolymer-stabilized perfluorocarbon nanoemulsions | Acoustic and therapeutic properties of Doxorubicin (DOX) and paclitaxel (PTX)-loaded perfluorocarbon nanoemulsions have been investigated in a mouse model of ovarian cancer. The nanoemulsions were stabilized by two biodegradable amphiphilic block copolymers that differed in the structure of the hydr... | Cancer therapy; Targeted drug delivery; Nanobubbles; Ultrasound; Perfluoropentane | 2009 |
| 158 |
 |
Horch, Kenneth W. | Acoustic interneurons of fiddler and ghost crabs | The properties of acoustic interneurons in fiddler (Uca pugilalor and U. minax) and ghost (Ocvpade qucldrula) crabs are described, as revealed bv tests with pure tones. Three types of interneurons were present in all species: tonic, which fired for the duration of the stimulus; phasic, which fire... | Acoustic crabs; Neural recording; Vibration reception | 1976 |
| 159 |
 |
Callahan, Michael Wayne | Acoustic signal processing based on the short-time spectrum | The frequency domain representation of a time signal afforded by the Fourier transform is a powerful tool in acoustic signal processing. The usefulness of this representation is rooted in the mechanisms of sound production and perception. Many sources of sound exhibit normal modes or natural frequen... | Acoustic signal processing | 1976 |
| 160 |
 |
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 |
| 161 |
 |
Sobh, Tarek M. | Active inspection and reverse engineering | We propose a new design for inspection and reverse engineering environments. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering. We introduce dyn... | Discrete event dynamic systems; DEDS; Industrial inspection | 1993 |
| 162 |
 |
Horch, Kenneth W.; Lawrence, Steve M.; Dhillon, Gurpreet S. | Acute peripheral nerve recording characteristics of polymer-based longitudinal intrafascicular electrodes | We examined the recording characteristics of two different types of polymer-based longitudinal intrafascicular electrodes (LIFEs) in peripheral nerve: single-stranded (s-polyLIFEs) and multistranded (m-polyLIFEs). Recordings were also made from Pt-Ir wire-based electrodes (PtIrLIFEs) as a control. T... | Sciatic Nerve; Intrafascicular Electrodes, Peripheral Nerve Recording | 2004 |
| 163 |
 |
Carter, Tony M. | Ada-to-silicon compiler study (Final Report 30 Jan 85 - 30 Jun 86) | The vision of a system design environment in which both hardware and software components could be designed, tested, and executed was proffered by the late Dr. Elliott Organick1 in 1981. He was impressed by the objectiveness of Ada and the availability of an architecture (the Intel 432) which was sp... | ADA language | 1986 |
| 164 |
 |
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 |
| 165 |
 |
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 |
| 166 |
 |
Mathews, V. John | Adaptive filters requiring zero multiplications | This paper introduces an adaptive filter structure that requires zero multiplications for its implementations. The primary input signals are quantized using DPCM and the DPCM outputs are processed by the adaptive filter. The sign algorithm. We show that if the parameters are chosen properly, hardwar... | | 1987 |
| 167 |
 |
Mathews, V. John; Nilsson, Michael | Adaptive gain processing to improve feedback cancellation in digital hearing aids | Adaptive filters are commonly used to cancel acoustic feedback in hearing aids. The sound quality of hearing aids deteriorates as the hearing aid gain is increased. This paper presents a method to alter the gain function in digital hearing aids to provide additional amplification and better output ... | | 2008 |
| 168 |
 |
Mathews, V. John | Adaptive gain processing with offending frequency suppression for digital hearing aids | Digital hearing aids identify acoustic feedback signals and cancel them continuously in a closed loop with an adaptive filter. This scheme facilitates larger hearing aid gain and improves the output sound quality of hearing aids. However, the output sound quality deteriorates as the hearing aid gai... | | 2012 |
| 169 |
 |
Berzins, Martin | Adaptive high-order discontinuous galerkin solution of elastohydrodynamic lubrication point contact problems | This paper describes an adaptive implementation of a high order Discontinuous Galerkin (DG) method for the solution of elastohydrodynamic lubrication (EHL) point contact problems. These problems arise when modelling the thin lubricating film between contacts which are under sufficiently high pressur... | | 2012-01-01 |
| 170 |
 |
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons This approach is extremely common because of the complexity in accurately rendering the surfaces directly Recently?? several papers presented methods to render surface... | Freeform surface rendering; Isocurves | 1992 |
| 171 |
 |
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons. This approach is extremely common because of the complexity in accurately rendering the surfaces directly. Recently, several papers presented methods to render surfaces ... | Freeform surface rendering; Isocurves | 1992 |
| 172 |
 |
Mathews, V. John | Adaptive lattice bilinear filters | Abstract-This paper presents two fast least squares lattice algorithms for adaptive nonlinear filters equipped with bilinear system models. Bilinear models are attractive for adaptive filtering applications because they can approximate a large class of nonlinear systems adequately, and usually with... | | 1993 |
| 173 |
 |
Mathews, V. John | Adaptive nonlinear digital filter with sequential regression algorithm | The purpose of this paper is to introduce an adaptive nonlinear digital filtering algorithm which use the sequential regression (SER) method to update the second order Volterra filter coefficients in a recursive way. Conventionally, the SER method has been used to invert large matrices which result ... | | 1984 |
| 174 |
 |
Mathews, V. John | Adaptive parallel-cascade truncated volterra filters | Abstract-This paper studies adaptive truncated Volterra filters employing parallel-cascade structures. Parallel-cascade realizations implement higher order Volterra systems a s a parallel connection of multiplicative combinations of lower order truncated Volterra systems. A normalized LMS adaptive f... | | 1998 |
| 175 |
 |
Mathews, V. John | Adaptive phase transform processors for time delay estimation | This paper introduces two recursive realizations of the phase transform (PHAT) processor for time-delay estimation (TDE), using a simple one-pole low-pass filter and the least-mean-square (LMS) adaptive filter, respectively. It is shown that these adaptive methods are capable of tracking time-varyin... | | 1993 |
