|
|
Creator | Title | Description | Subject | Date |
126 |
|
Gopalakrishnan, Ganesh | A symbolic partial order reduction algorithm for rule based transition systems | Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial ord... | Partial order reductions; Partial order reduction algorithms; SAT solver; Rule based transition systems | 2003-12-01 |
127 |
|
Whitty, Kevin J. | A system for measuring bubble voidage and frequency around tubes immersed in a fluidized bed of particles | Gas-solid fluidized beds are common in chemical processing and energy production industries. These types of reactors frequently have banks of tubes immersed within the bed to provide heating or cooling, and it is important that the fluid dynamics within these bundles is efficient and uniform. This p... | | 2010 |
128 |
|
Henderson, Thomas C. | A systolic array implementation of discrete relaxation algorithm | Discrete Relaxation techniques have proven useful in solving a wide range of problems in digital signal processing, artificial intelligence, machine vision, and VLSI engineering, etc. A conventional hardware design for an 8-label 8-object Discrete Relaxation Algorithm (DRA) requires three 4K memory... | Discrete Relaxation algorithm; Systolic array | 1986 |
129 |
|
Liu, Feng | A three-layer-mesh bridging domain for coupled atomistic-continuum simulations at finite temperature: formulation and testing | Although concurrent multiscale methods have been well developed for zero-temperature simulations, improvements are needed to meet challenges pertaining to finite-temperature simulations. Bridging domain method (BDM) is one of the most efficient and widely-used multiscale atomistic-continuum techniqu... | | 2014-01-01 |
130 |
|
Ameel, Timothy A; Gale, Bruce K.; Harvey, Ian R. | A three-semester interdisciplinary educational program in microsystems engineering | Motivated by an NSF IGERT grant in the general area of microfluidics, a sequence of three interdisciplinary technical courses has been developed in the emerging area of microsystems engineering. Designed to be taken in series, these courses take students, both graduate and upper-level undergraduates... | | 2004 |
131 |
|
Seeley, Donn | A tour of the worm | On the evening of November 2, 1988, a self-replicating program was released upon the Internet 1. This program (a worm) invaded VAX and Sun-3 computers running versions of Berkeley UNIX, and used their sources to attack still more computers2. Within the space of hours this program had spread aacross ... | Computer worm | 1989 |
132 |
|
Gopalakrishnan, Ganesh | A transformational approach to asynchronous high-level synthesis | Asynchronous high-level synthesis is aimed at transforming high level descriptions of algorithms into efficient asynchronous circuit implementations. This approach is attractive from the point of view of the flexibility it affords in performing high level program transformations on users' initial d... | High level synthesis tool; SHILPA | 1993 |
133 |
|
Cohen, Elaine | A triangulation-invariant method for anisotropic geodesic map computation on surface meshes | This paper addresses the problem of computing the geodesic distance map from a given set of source vertices to all other vertices on a surface mesh using an anisotropic distance metric. Formulating this problem as an equivalent control theoretic problem with Hamilton-Jacobi-Bellman partial different... | | 2012-01-01 |
134 |
|
Furse, Cynthia M. | A tutorial on Stochastic FDTD | The Stochastic FDTD (S-FDTD) method provides a way to determine the mean and variance of the electric and magnetic fields in a model where the electrical properties (conductivity and permittivity) vary stochastically, from a single S-FDTD simulation. This method is a realistic and more efficient alt... | | 2014-01-01 |
135 |
|
Mathews, V. John | A unified approach to nonparametric spectrum estimation algorithms | Abstract-Different approaches to spectrum estimation can be broadly classified as parametric and nonparametric methods. In the parametric techniques, an underlying model is assumed in the formulation of the spectrum estimation problem and one estimates the parameters of the model. For nonparametric... | | 1987 |
136 |
|
Sutherland, James Clayton; Kerstein, Alan R. | A unified approach to the various formulations of the one-dimensional-turbulence model | The One-Dimensional Turbulence (ODT) model has been successfully applied as a stand-alone model for predicting turbulence statistics in both nonreacting and reacting flows. There are several formulations of the model in the literature, and most of the variable-density formulations do not clearly dis... | | 2010 |
137 |
|
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 |
138 |
|
Mastrangelo, Carlos H. | A very high density floating electrode flexible sensor array for high-resolution measurements of contact forces | We present the development, fabrication and testing results of a new high-density flexible sensor array (HDFA) suitable of recording three-axis stresses with high spatial resolution. The new HDFA consists of 676 (26×26) sensing cells fabricated on top of a high-density flex circuit substrate. Each ... | | 2013-01-01 |
139 |
|
Beazley, David. M. | A wrapper generation tool for the creation of scriptable scientific applications | In recent years, there has been considerable interest in the use of scripting languages as a mechanism for controlling and developing scientific software. Scripting languages allow scientific applications to be encapsulated in an interpreted environment similar to that found in commercial scientific... | | 1998 |
140 |
|
Panangaden, Prakash | Abstract interpretation and indeterminacy | We present a semantic theory that allows us to discuss the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then... | Semantics; Indeterminate operators | 1984 |
141 |
|
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 |
142 |
|
Khan, Faisal Habib | AC solar cells: An embedded "all in one" PV power system | Power converters constructed from discrete components are difficult to mass produce, and the installation involves a significant labor cost to have the proper interconnection among the panel, inverter and the grid. These facts indicate that the present PV technology may not be able to address the ch... | | 2012-01-01 |
143 |
|
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 |
144 |
|
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 |
145 |
|
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 |
146 |
|
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 |
147 |
|
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 |
148 |
|
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 |
149 |
|
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 |
150 |
|
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 |