|
|
Creator | Title | Description | Subject | Date |
| 1 |
 |
Liu, Feng | (BAl12)Cs: a cluster-assembled solid | First-principles calculations on the geometry and stability of AlnBm clusters have been carried out to examine the effect of size, composition, and electronic-shell filling on their relative stability. It is shown that although Al and B are both trivalent, a BAl12 cluster is more stable than an Al1... | First-principles calculations; (BAl12)Cs; Cluster-assembled; AlnBm clusters | 1997-06 |
| 2 |
 |
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 |
| 3 |
 |
Furse, Cynthia M. | 13 crazy, notorious things to do in an EM class | The average attention span of an adult human is 12-20 minutes. Our lectures are 50-80 minutes. Attention Span Math reminds us to take a break now and then, and to bring the class back to life by bringing some life to the class. Many students learn things better if they can see and touch them, so thi... | Attention span; Fun | 2005-06 |
| 4 |
 |
Sarofim, Adel F.; Pugmire, Ronald J. | 13C NMR analysis of soot produced from model compounds and a coal | Soot samples, including the associated organics, produced from an Illinois No. 6 coal (five samples) and two model compounds, biphenyl (three samples) and pyrene (two samples), have been studied by 13C NMR methods. The coal soot data served as a guide to selection of the temperature range that would... | 13C NMR; Biphenyl; Aromatic cluster size | 2001 |
| 5 |
|
Smith, Grant D.; Borodin, Oleg; Bedrov, Dmitro | 13C NMR spin-lattice relaxation and conformational dynamics in a 1,4-polybutadiene melt | We have performed molecular dynamics (MD) simulations of a melt of 1,4-polybutadiene (PBD, 1622 Da) over the temperature range 400?273 K. 13C NMR spin?lattice relaxation times (T1) and nuclear Overhauser enhancement (NOE) values have been measured from 357 to 272 K for 12 different resonances. The T... | Polybutadiene melt; 13C NMR; Spin-lattice relaxation; Conformational dynamics; Molecular dynamics simulation | 2001 |
| 6 |
 |
Henderson, Thomas C. | 2-D scene analysis using split-level relaxation | We present a new method for applying multiple semantic constraints based on discrete relaxation. A separate graph is maintained for each constraint relation and used in parallel to achieve a consistent labeling. This permits both local and global analysis without recourse to complete graphs. Here l... | Discrete relaxation; Split-level relaxation | 1985 |
| 7 |
 |
Bhanu, Bir | 3-D model building for computer vision | This paper presents a Computer-Aided Geometric Design (CAGD) based approach for building 3-D models which can be used for the recognition of 3-D objects for industrial machine vision applications. The objects are designed using the Alpha_1 CAGD system developed at the University of Utah. A new metho... | CAGD; 3-D models; Machine vision | 1985 |
| 8 |
 |
Gooch, Amy A.; Gooch, Bruce; Willemsen, Peter; Kniss, Joe; Riesenfeld, Richard F.; Shirley, Peter S. | 3D Line textures and the visualization of confidence in Architecture | This work introduces a technique for interactive walkthroughs of non-photorealistically rendered (NPR) scenes using 3D line primitives to define architectural features of the model, as well as indicate textural qualities. Line primitives are not typically used in this manner in favor of texture ma... | Presentation graphics; Interactive walkthroughs | 2007 |
| 9 |
 |
Furse, Cynthia M. | 3D ray-tracing for intra-vehicle environments | In order to develop a wireless communication system that could be used for all types of aircraft sensor networks, the severe multipath channel found inside aircrafts must be well defined. This multipath channel is much more complex than usual outdoor/indoor channels and thus far, research has been l... | | 2009 |
| 10 |
 |
Khan, Faisal Habib | 5 kW multilevel DC-DC converter for hybrid electric and fuel cell automotive applications | A 5 kW multilevel modular capacitor clamped dc-dc converter (MMCCC) for future hybrid electric vehicle and fuel cell automotive applications will be presented in this paper. The modular structure of the MMCCC topology was utilized to build this 5 kW converter with high reliability and fault bypassi... | | 2007-09 |
| 11 |
 |
Blair, Steven | A 3D glass optrode array for optical neural stimulation | This paper presents optical characterization of a first-generation SiO2 optrode array as a set of penetrating waveguides for both optogenetic and infrared (IR) neural stimulation. Fused silica and quartz discs of 3-mm thickness and 50-mm diameter were micromachined to yield 10×10 arrays of up to 2-... | | 2012-01-01 |
| 12 |
 |
Khan, Faisal Habib | A 5 kW Bi-directional multilevel modular DC-DC converter (MMCCC) featuring built in power management for fuel cell and hybrid electric automobiles | Abstract- A new capacitor clamped modular dc-dc converter with bi-directional power handling capability will be presented in this paper. This inductor-free design is modular, and it is possible to integrate multiple loads and sources simultaneously in the converter. Moreover, this 5 kW dc-dc convert... | | 2007 |
| 13 |
 |
Mathews, V. John | A baseband residual vector quantization algorithm for voiceband data signals | Abstract-In this paper, we present a new approach to the digitization and compression of a class of voiceband modem signals. Our approach, which we call baseband residual vector quantization (BRVQ), relies heavily upon the simple structure present in a modem signal. After the signal is converted to... | | 1989 |
| 14 |
 |
Mathews, V. John; Schlegel, Christian | A blind adaptive projection receiver for CDMA systems | Abstract - This paper presents a blind and adaptive CDMA receiver that does not require knowledge of the spreading codes associated with users other than the ones of interest. Receivers for synchronous as well as asynchronous transmission by multiple users with error control coding are develope... | | 1998 |
| 15 |
 |
Mathews, V. John; Schlegel, Christian | A blind projection receiver for coded CDMA systems | ABSTRACT This paper presents a blind adaptive CDMA receiver that requires no knowledge of the spreading codes, the delays, and the energy of the received signals associated with the interfering users. Our receiver is based on linear interference cancellation and adaptive interference signal subspa... | | 1999 |
| 16 |
 |
Poeppelmeier, Charles Christian | A boolean sum interpolation scheme to random data for computer aided geometric design | This thesis presents a new imterpolation function for randomly distributed data. The new interpolation function is capable of exactly reproducing quadratic surfaces. The new function is developed, through boolean sum theory, from Shepard's two dimensional interpolation functions and the Barnhill-Gre... | Computer-aided geometric design; CAGD; Barnhill-Gregory; Interpolation functions | 1975 |
| 17 |
 |
Ziegenfuss, Donna | A Busy Professor's Guide to Sanely Flipping Your Classroom | The Flipped Classroom has become a popular teaching method. Students watch video lectures before class, saving class time for active learning (problem solving, demonstrations, applications, etc.). This paper is a useful guide for busy professors who would like to try out the flipped classroom approa... | flipped classroom; inverted classroom; engineering education; teaching electromagnetics; assessment pedagogy | 2019 |
| 18 |
 |
Furse, Cynthia M. | A busy professors guide to sanely flipping your classroom | This paper describes the use of the flipped classroom approach for an Introduction to Electromagnetics course. Video lectures were created on a tablet PC, and uploaded to YouTube. Students watched the videos before coming to class. Class time was used for problem solving strategy (using homework as ... | | 2013-01-01 |
| 19 |
 |
Brunvand, Erik L. | A case for increased operating system support in chip multi-processors | We identify the operating system as one area where a novel architecture could significantly improve on current chip multi-processor designs, allowing increased performance and improved power efficiency. We first show that the operating system contributes a non-trivial overhead to even the most com... | | 2005 |
| 20 |
 |
Balasubramonian, Rajeev | A case for increased operating system support in chip multi-processors | We identify the operating system as one area where a novel architecture could significantly improve on current chip multi-processor designs, allowing increased performance and improved power efficiency. We first show that the operating system contributes a non-trivial overhead to even the most com... | | 2005 |
| 21 |
 |
Panangaden, Prakash | A category theoretic formalism for abstract interpretation | We present a formal theory of abstract interpretation based on a new category theoretic formalism. This formalism allows one to derive a collecting semantics which preserves continuity of lifted functions and for which the lifting functon is itself continuous. The theory of abstract interpretation i... | Formal theory; Theoretic formalism; Lifted functions | 1984 |
| 22 |
 |
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 |
| 23 |
 |
Davis, Alan L. | A characterization of parallel systems | a taxonomy for parallel processing systems is presented which has some advantages over previous taxonomies. The taxonomy characterizes parallel processing systems using four parameters: topology, communication, granularity, and operation. These parameters and used repetitively in a hierarchical fash... | Parallel systems | 1980 |
| 24 |
 |
Mathew, Binu K.; Davis, Al | A characterization of visual feature recognition | Natural human interfaces are a key to realizing the dream of ubiquitous computing. This implies that embedded systems must be capable of sophisticated perception tasks. This paper analyzes the nature of a visual feature recognition workload. Visual feature recognition is a key component of a numb... | Visual feature recognition; Human interfaces | 2003-09-03 |
| 25 |
 |
Chen, Yang; Regehr, John | A code size microbenchmark for C | Motivation ? No compilers could always generate smaller code than others ? Hand-optimized code is often hard to understand ? Programmers tend to write readable code and trust compilers generate fast and compact code for them ? There is a plenty of room for improving compiler optimizations Our ... | | |
| 26 |
 |
Carter, John | A collective approach to harness idle resources | We propose a collective approach for harnessing the idle resources (cpu, storage, and bandwidth) of nodes (e.g., home desktops) distributed across the Internet. Instead of a purely peer-to-peer (P2P) approach, we organize participating nodes to act collectively using collective managers (CMs). Pa... | Idle resources; Computer nodes | 2008 |
| 27 |
 |
Kessler, Robert R. | A communication-ordered task graph allocation algorithm | The inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution. While this computational model holds great promise, several problems must be solved in order to achieve a high degree of program performance. The allocation and ... | Task graph allocation algorithm | 1992 |
| 28 |
 |
Evans, John; Kessler, Robert R. | A communication-ordered task graph allocation algorithm | The inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution?? While this computational model holds great promise several problems must be solved in order to achieve a high degree of program performance?? The allocation... | Data flow computation model | 1992 |
| 29 |
 |
Furse, Cynthia M. | A comparative study on two types of transparent patch antennas | Properties of optically transparent patch antennas designed from meshed conductor and transparent conductive films are studied and compared. It is shown that at S band, meshed antenna provides the best antenna efficiency for the highest transparency. It is practical to design a 90% transparent mesh... | | 2011 |
| 30 |
 |
McDirmid, Sean; Eide, Eric Norman; Hsieh, Wilson C. | A comparison of Jiazzi and AspectJ for feature-wise decomposition | Feature-wise decomposition is an important approach to building configurable software systems. Although there has been research on the usefulness of particular tools for featurewise decomposition, there are not many informative comparisons on the relative effectiveness of different tools. In this... | Jiazzi; AspectJ; Feature-wise decomposition | 2004-03-23 |
| 31 |
 |
Brunvand, Erik L. | A comparison of modular self-timed design styles | State-machine sequencing methods in modular 2-phase and 4-phase asynchronous handshake control are compared. Design styles are discussed, and the sequencers are tested against each other using a medium-scale minicomputer test design implemented in FPGAs. Seven 4-phase sequencers are tested. In these... | Self-timed; State-machine sequencing; Asynchronous handshake control | 1995 |
| 32 |
 |
Zhang, Lixin | A comparison of online superpage promotion mechanisms | The amount of data that a typical translation lookaside buffer (TLB) can map has not kept pace with the growth in cache sizes and application footprints. As a result, the cost of handling TLB misses limits the performance of an increasing number of applications. The use of superpages, multiple adjac... | Superpages; Translation lookaside buffer; TLB | 1999 |
| 33 |
 |
Brunvand, Erik L.; Smith, Kent F. | A comparison of self-timed design using FPGA, CMOS, and GaAs technologies | Asynchronous or self-timed systems that do not rely on U global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. One advantage is that because of the separation of timing, from, functionality in these sys... | | 1992 |
| 34 |
 |
Carter, John B. | A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors | Efficient synchronization is an essential component of parallel computing. The designers of traditional multiprocessors have included hardware support only for simple operations such as compare-and-swap and load-linked/store-conditional, while high level synchronization primitives such as locks, bar... | Hardware locks | 1996 |
| 35 |
 |
Sutherland, James Clayton | A comparison of various models in predicting ignition delay in single-particle coal combustion | In this paper, individual coal particle combustion under laminar conditions is simulated using models with various levels of complexity for the particle and gas phase chemical kinetics. The mass, momentum and energy governing equations are fully coupled between the particle and the gas phase. In the... | | 2014-01-01 |
| 36 |
 |
Myers, Chris J. | A compositional minimization approach for large asynchronous design verification | This paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false ... | | 2012-01-01 |
| 37 |
 |
Gopalakrishnan, Ganesh | A compositional model for synchronous VLSI systems | Currently available hardware specification languages have two serious deficiencies: (i) inadequate protocol definition capabilities; (ii) lack of a compositional model. We now explain these in more detail. | Very large scale integration; VLSI systems | 1987 |
| 38 |
 |
Henderson, Thomas C. | A control paradigm for general purpose manipulation systems | Mechanical end effectors capable of dextrous manipulation are now a reality. Solutions to the high level control issues, however, have so far proved difficult to formulate. We propose a methodology for control which produces the functionality required for a general purpose manipulation system. It is... | Manipulation systems | 1987 |
| 39 |
 |
Brunvand, Erik L. | A correctness criterion for asynchronous circuit validation and optimization | In order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio... | Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation | 1992 |
| 40 |
 |
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
| 41 |
 |
Roundy, Shadrach J. | A cost-effective planar electromagnetic energy harvesting transducer | This paper presents a planar multi-pole electromagnetic energy harvesting transducer. We report on the design, manufacture, and performance results of integrated devices based on this transducer. The transducer leverages recent advancements in the manufacture of multi-pole magnets and can be impleme... | | 2012-01-01 |
| 42 |
 |
Barsky, Brian A. | A description of several tools for the synchronization of concurrent processes | Concurrent processes are tasks which may be executed simultaneously. When several such processes have access to shared variables, it is necessary to establish some regimen to control this access. Several language tools for expressing various synchronization disciplines are presented. | Concurrent processes | 1980 |
| 43 |
 |
Schott, Mathias; Hansen, Charles D | A directional occlusion shading model for interactive direct volume rendering | Volumetric rendering is widely used to examine 3D scalar fields Key aspect: provide perceptual cues to aid in understanding the data set Shading models with natural lighting conditions better convey depth information and spatial relationships Traditionally require considerable (pre)computatio... | | |
| 44 |
 |
| A distributed garbage collection algorithm | Concurrent Scheme extends the Scheme programming language, providing parallel program execution on a distributed network. The Concurrent Scheme environment requires a garbage collector to reclaim global objects; objects that exist in a portion of the global heap located on the node that created them... | Concurrent Scheme; Garbage collection algorithm | 1992 |
| 45 |
 |
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 |
| 46 |
 |
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 |
| 47 |
 |
Zhang, Lixin | A DRAM backend for the impulse memory system | The Impulse Adaptable Memory System exposes DRAM access patterns not seen in conventional memory systems. For instance, it can generate 32 DRAM accesses each of which requests a four-byte word in 32 cycles. Conventional DRAM backends are optimized for accesses that request full cache lines. They m... | Impulse Adaptable Memory System; DRAM | 1998-12-16 |
| 48 |
 |
Sobh, Tarek M. | A dynamic framework for intelligent inspection | CAD (Computer Aided Design) typically involves the design, manufacture and inspection of a mechanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design, and perhaps a manufacturing process, for the part. We pr... | CAD; Discrete event dynamic systems; DEDS | 1992 |
| 49 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic framwork for intelligent inspection | CAD Computer Aided Design typically involves the design manufacture and inspection of a me chanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design and perhaps a manufacturing process for the part. ... | CAD; Manufacture; Inspection; Intelligent inspection | 1992 |
| 50 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent exploration | We suggest a new approach for inspection and reverse engineering applications. 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 dy... | Intelligent exploration; Discrete event dynamic systems; DEDS; Dynamic recursive finite state machines; DRFSM | 1992 |
| 51 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent inspection | We suggest a new approach for inspection and reverse engineering applications. 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... | Intelligent inspection; Discrete event dynamic systems; DEDS; Industrial inspection; Dynamic recursive structure | 1992 |
| 52 |
 |
Whitaker, Ross T. | A fast iterative method for a class of Hamilton-Jacobi equations on parallel systems | In this paper we propose a novel computational technique, which we call the Fast Iterative Method (FIM), to solve a class of Hamilton- Jacobi (H-J) equations on massively parallel systems. The proposed method manages the list of active nodes and iteratively updates the solutions on those nodes u... | Fast Iterative Method; FIM; Parallel systems | 2007 |
| 53 |
 |
Smith, Kent F. | A fast parallel squarer based on divide-and-conquer | Fast and small squarers are needed in many applications such as image compression. A new family of high performance parallel squarers based on the divide-and-conquer method is reported. Our main result was realizing the basis cases of the divide-and-conquer recursion by using optimized n-bit primiti... | Squarer; Parallel squarers; Divide-and-conquer; MOPS; CMOS | 1995 |
| 54 |
 |
Mathews, V. John | A fast recursive least-squares adaptive nonlinear filter | This paper presents a fast, recursive least-squares (RLS) adaptive nonlinear filter. The nonlinearity in the system is modeled using the Hammerstein model, which consists of a memoryless polynomial nonlinearity followed by a finite impulse response linear system. The complexity of our method is abou... | | 1988 |
| 55 |
 |
Mathews, V. John | A fast recursive least-squares second order volterra filter | ABSTRACT This paper presents a fast, recursive least-squares (RLS) adaptive nonlinear filter. The nonlinearity is modelled using a second order Volterra series expansion. The structure presented in the paper makes use of the ideas of fast RLS multichannel filters and has a computational complexity ... | | 1988 |
| 56 |
 |
Henderson, Thomas C.; Hansen, Charles D. | A fault tolerant sensor scheme | Multi-sensor systems pose the problem of how to coherently and efficiently treat the data provided by the various sensors. However. the availability of greater numbers of sensors also broadens the ability to build fault tolerant sensor systems. We define a framework in which sensors can be abstractl... | Multi-sensor systems; Logical sensors | 1983 |
| 57 |
 |
Lenart, Joshua B. | A Feasibility Study of a Transfer of Federal Lands: Assessing the Triple Bottom Line | This feasibility study identifies various aspects of the proposed transfer of public federal lands to individual states by characterizing the most significant challenges that the transfer entails for civil and environmental engineers. | | 2016 |
| 58 |
 |
Simpson, Jamesina J. | A feasibility study of microjets applied to breast cancer detection | The feasibility of detecting small tumors of diameter 0.5mm inside a human breast is demonstrated using microjets. Microjets are photonic nanojets scaled to microwave frequencies wherein a plane-wave-illuminated dielectric sphere produces a high-intensity, narrow beam of light extending from the sha... | | 2012-01-01 |
| 59 |
 |
Sutherland, James Clayton | A filter-independent model identification technique for turbulent combustion modeling | In this paper, we address a method to reduce the number of species equations that must be solved via application of Principal Component Analysis (PCA). This technique provides a robust methodology to reduce the number of species equations by identifying correlations in state-space and defining new v... | | 2012-01-01 |
| 60 |
 |
Lindstrom, Gary E. | A framework for module-based language processors | A system composed of interconnected modules is a module-based system. We present an object-oriented (0-0) framework for the development of processors for module-based systems, such as compilers for 0-0 languages, linkers/loaders, and tools for user/system libraries. We claim t h a t this framework,... | Language processors; Jigsaw; Module-based | 1993 |
| 61 |
 |
Michell, Nick | A gallium arsenide mutual exclusion element | A mutual exclusion element is a key component in building asynchronous and self-timed circuits. As part of our effort to design high performance self-timed circuits, we have designed a mutual exclusion element in gallium arsenide. This circuit has been fabricated in a 1.2? process and tested. A test... | Mutual exclusion element; Self-timed circuits | 1993 |
| 62 |
 |
Mathew, Binu K.; Davis, Al; Fang, Zhen | A Gaussian probability accelerator for SPHINX 3 | Accurate real-time speech recognition is not currently possible in the mobile embedded space where the need for natural voice interfaces is clearly important. The continuous nature of speech recognition coupled with an inherently large working set creates significant cache interference with other... | Speech recognition; SPHINX 3; Speech recognizers | 2003-07-22 |
| 63 |
 |
Gopalakrishnan, Ganesh | A general compositional approach to verifying hierarchical cache coherence protocols | Modern chip multiprocessor (CMP) cache coherence protocols are extremely complex and error prone to design. Modern symbolic methods are unable to provide much leverage for this class of examples. In [1], we presented a method to verify hierarchical and inclusive versions of these protocols using ... | Hierarchical cache coherence protocols; Verification | 2006-11-26 |
| 64 |
 |
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | A generic operational memory model specification framework for multithreaded program verification | Given the complicated nature of modern architectural and language level memory model designs, it is vital to have a systematic ap- proach for specifying memory consistency requirements that can support verification and promote understanding. In this paper, we develop a spec- ification methodolog... | Multithreaded program verification | 2003 |
| 65 |
 |
Tasdizen, Tolga; Whitaker, Ross T. | A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditions | The inhomogeneous Laplace (Poisson) equation with internal Dirichlet boundary conditions has recently appeared in several applications to image processing and analysis. Although these approaches have demonstrated quality results, the computational burden of solution demands an efficient solver. Desi... | | 2005 |
| 66 |
 |
Lefohn, Aaron; Whitaker, Ross T. | A GPU-based, three-dimensional level set solver with curvature flow | Level set methods are a powerful tool for implicitly representing deformable surfaces. Since their inception, these techniques have been used to solve prob- lems in fields as varied as computer vision, scientific visualization, computer graphics and computational physics. With the power and flexi... | GPU-based; Level set solver | 2002-12-11 |
| 67 |
 |
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 |
| 68 |
 |
Warnock, John E. | A hidden line algorithm for halftone picture representation | In exploring applications in computer graphics, one finds quickly that the representation of three dimensional objects in picture form is both a desirable and necessary capability. Applications dealing with any form of spatial design or with visual environment simulation need the ability to represen... | Halftone picture representation; Spatial design | 1968 |
| 69 |
 |
Khan, Faisal Habib | A high-efficiency modular switched-capacitor converter with continuously variable conversion ratio | The multilevel modular capacitor clamped converter (MMCCC) topology overcomes the difficulties of the multilevel switched capacitor (SC) based dc-to-dc converters in high conversion ratio applications. MMCCC is completely modular and has many other advantageous features. Like most other SC converter... | | 2012-01-01 |
| 70 |
 |
Mastrangelo, Carlos H. | A high-resolution flexible tactile imager system based on floating comb electrodes | Flexible high-resolution contact force imagers are needed in many applications for robotic grippers and gait analysis, but its intrinsic intimate contact requirement often causes breaking of top metallization layers and failure in a short time. The use of floating electrodes has significantly improv... | | 2012-01-01 |
| 71 |
 |
Furse, Cynthia M. | A history & future of implantable antennas | Implantable antennas have been used for communication with medical implants for decades. This paper traces their roots from early transcutaneous inductively coupled devices to the microstrip and wire antennas in use today. A suggestion for where this technology may go in the future as medical device... | | 2014-01-01 |
| 72 |
 |
Cohen, Elaine | A hole-filling algorithm for triangular meshes | Data obtained by scanning 3D models typically contains missing pieces and holes. These can be caused due to scanning artifacts or artifacts in the surface due to wear and tear. We provide a method based on the Moving Least Squares projection to fill holes in triangular meshes obtained during the ... | Hole-filling algorithm; Triangular meshes; 3D models; Scanning | 2004-12-20 |
| 73 |
 |
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 |
| 74 |
 |
Stevens, Kenneth | A low power UART design based on asynchronous techniques | Abstract-Universal Asynchronous Receiver Transmitter (UART) implements serial communication between peripherals and remote embedded systems. The UART protocol is defined based on fixed frequencies with a sampling method to achieve robustness under reasonable frequency variations between systems. Suc... | | 2013-01-01 |
| 75 |
 |
Khan, Faisal Habib | A low-cost non-mechanical maximum power point tracking scheme for grid-tied single-phase induction generators | A new configuration of a single-phase induction generator based power generation system with maximum power point tracking capability is proposed in this paper, and this configuration is suitable for small-scale variable speed wind energy conversion system. Using this technique, the synchronous speed... | | 2012-01-01 |
| 76 |
 |
Simpson, Jamesina J. | A magnetic field-independent absorbing boundary condition for magnetized cold plasma | An effective absorbing boundary condition (ABC) based on the second-order approximations of Engquist and Majda's wave equations is presented for terminating three-dimensional finite-difference time-domain (FDTD) models employing the E-J collocated magnetized cold plasma algorithm. Numerical tests de... | | 2011-01-01 |
| 77 |
 |
Stevens, Kenneth | A mathematical approach to a low power FFT architecture | Architecture and circuit design are the two most effective means of reducing power in CMOS VLSI. Mathematical manipulations have been applied to create a power efficient architecture of an FFT. This architecture has been implemented in asynchronous circuit technology that achieves significant powe... | | 1998 |
| 78 |
 |
Mathews, V. John; Clark, Edward B. | A mathematical basis for the application of the modified geometric method to maximum frequency estimation | Abstract-The application of ultrasound in assessing the fetal cardiovascular system often requires the accurate estimation of maximum blood flow velocity waveforms using Doppler measurements. The modified geometric method estimates the maximum Doppler frequency as the frequency at which the vertica... | | 2004 |
| 79 |
 |
Bennion, Scott Thomas | A method of solution for hydrodynamics and radiation diffusion as a multi-material problem in one dimension | | Multi-material problem | 1971 |
| 80 |
 |
Blair, Steven | A methodology for physical design automation for integrated optics | Advancements in silicon photonics technology are enabling large scale integration of electro-optical circuits and systems. To fully exploit this potential, automated techniques for design space exploration and physical synthesis for integrated optics must be developed. This paper investigates how co... | | 2012-01-01 |
| 81 |
 |
Mathews, V. John | A minimax approach for the joint design of acoustic crosstalk cancellation filters | Abstract-This paper presents a method for jointly designing immersive audio rendering filters for a single listener using loudspeakers. The filters for crosstalk cancellation are assumed to have finite impulse responses and are designed using the minimax criterion. In addition to the traditional At... | | 2007 |
| 82 |
 |
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 |
| 83 |
 |
Subrahmanyam, P.A. | A new approach to specifying and handling exceptions | An operation generally exhibits different patterns of behavior over different parts of its domain. Depending upon the context, such behavior may either be conceived of as "normal" or as an "exception." Thus, the behavior of an operation Is quite naturally characterized by the set of partial operatio... | Computer operations; Exceptions; Exception handling | 1980 |
| 84 |
 |
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 |
| 85 |
 |
Mathews, V. John | A new carrier frequency estimator for modem signals | ABSTRACT A novel carrier frequency estimation scheme for a relatively broad class of voiceband data signals (modem signals) is presented in this paper. The class of signals being studied includes different types of phase-shift-keyed (PSK) and frequency-shift-keyed (FSK) signals. The frequency estim... | | 1988 |
| 86 |
 |
Kirby, Robert Michael II; Johnson, Christopher R. | A new family of variational-form-based regularizers for reconstructing epicardial potentials from body-surface mapping | We propose a new family of regularizers for the inverse ECG problem, using a variational principle that underlies finite element approximation methods. As an alternative to traditional Tikhonov regularizers, the variational formulation has several advantages: 1)it enables a simple construction of ... | | 2010 |
| 87 |
 |
Cohen, Elaine | A new local basis for designing with tensioned splines | Recently there has been a great deal of interest in the use of "tension" parameters to augment control mesh vertices as design handles for piecewise polynomials. A particular local cubic basis called p-splines, which has been termed a "generalization of B-splines", has been proposed as an appropriat... | Tensioned splines | 1985 |
| 88 |
 |
Mathews, V. John | A new model of perceptual threshold functions for application in image compression systems | This paper discusses the development of a perceptual threshold model for the human visual system. The perceptual threshold functions describe the levels of distortions present at each location in an image that human observers can not detect. Models of perceptual threshold functions are useful in ima... | | 1995 |
| 89 |
 |
Sikorski, Kris | A note on optimal algorithms for fixed points | We present a constructive lemma that we believe will make possible the design of nearly optimal 0(dlog | ) cost algorithms for computing eresidual approximations to the fixed points of d-dimensional nonexpansive mappings with respect to the infinity norm. This lemma is a generalization of a two-... | Fixed points; Constructive lemma | 2009 |
| 90 |
 |
Lyche, Tom | A note on the Oslo algorithm | The Oslo algorithm is a recursive method for updating the B-spline representation of a curve or tensor product surface when extra knots are added. In the present note the derivation of this method is simplified. | Oslo algorithm; B-spline; Curve product surface; Tensor product surface | 1987 |
| 91 |
 |
Simpson, Jamesina J. | A novel ELF radar for major oil deposits | This letter proposes a novel extremely low frequency (ELF) radar for major oil deposits. Using our recently developed whole-Earth electromagnetic wave propagation model based upon the finite-difference time-domain method, we have determined that detection of the radial (vertical) component of the sc... | | 2006-01-01 |
| 92 |
 |
Sloan, Peter-Pike | A painterly approach to human skin | Rendering convincing human figures is one of the unsolved goals of computer graphics. Previous work has concentrated on modeling physics of human skin. We have taken a different approach. We are exploring techniques used by artists, specifically artists who paint air-brushed portraits. Our goal is t... | Human skin | 1999 |
| 93 |
 |
Parke, Frederic Ira | A parametric model for human faces | This report presents a computer model for the representation of human faces. This three-dimensional, parametric model produces shaded facial images. The face, constructed of polygonal surfaces, is manipulated through the use of parameters which control interpolation, translation, rotation and scalin... | Parametric model; Human face | 1975 |
| 94 |
 |
Gopalakrishnan, Ganesh | A partial order reduction algorithm without the Proviso | This paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o... | Order reduction algorithm; Proviso step | 1998 |
| 95 |
 |
Brunvand, Erik L. | A partial scan methodology for testing self-timed circuits | This paper presents a partial scan method for testing control sections of macromodule based self-timed circuits for stuck-at faults. In comparison with other proposed test methods for self-timed circuits, this technique offers better fault coverage than methods using self-checking techniques, and ... | | 1995 |
| 96 |
 |
Brunvand, Erik L. | A partial scan methodology for testing self-timed circuits | This paper presents a partial scan method for testing control sections of macromodule based self-timed circuits for stuck-at faults. In comparison with other proposed test methods for self-timed circuits, this technique offers better fault coverage than methods using self-checking techniques, and re... | Self-timed circuits; Testing | 1995 |
| 97 |
 |
McDirmid, Sean; Hsieh, Wilson C. | A path-precise analysis for property synthesis | Recent systems such as SLAM, Metal, and ESP help programmers by automating reasoning about the correctness of temporal program properties. This paper presents a technique called property synthesis, which can be viewed as the inverse of property checking. We show that the code for some program pro... | Property synthesis; Property codes | 2003-12-01 |
| 98 |
 |
Thompson, Cynthia A. | A personalized system for conversational recommendations | Increased computing power and theWeb have made information widely accessible. In turn, this has encouraged the development of recommendation systems that help users find items of interest, such as books or restaurants. Such systems are more useful when they personalize themselves to each user?s p... | Adaptive Place Advisor; Recommendation systems | 2002-06-26 |
| 99 |
 |
Mathews, V. John | A phase likelihood-based algorithm for blind identification of PSK signals | This paper presents a phase likelihood-based method for automatically identifying different phase-shift keying (PSK) modulations. This method identifies the PSK signals as the hypothesis for which the likelihood function of phase difference between nearby samples of the received signal is the maximu... | | 2014-01-01 |
| 100 |
 |
Regehr, John | A practical logic framework for verifying safety properties of executables | We present a novel program logic, Lf , which is designed on top of a Hoare logic, but is simpler, more flexible and more scalable. Based on Lf , we develop a framework for automatically verifying safety properties of executables. It utilizes a whole-program interprocedural abstract interpretation to... | | 2011-01-01 |
| 101 |
 |
Hansen, Charles D. | A practical workflow for making anatomical atlases for biological research | An anatomical atlas provides a detailed map for medical and biological studies of anatomy. These atlases are important for understanding normal anatomy and the development and function of structures, and for determining the etiology of congenital abnormalities. Unfortunately, for biologists, generat... | | 2012-01-01 |
| 102 |
 |
Gouraud, Henri | A programmer's guide to PDP-10 euler | This manual describes the EULER language as implemented on the DEC PDP-10 computer. EULER is a block-structured language, similar to Algol-60 but simplified by omitting type declarations and by altering the way procedures are defined and called. PDP-10 EULER includes features for list-and array-mani... | EULER language | 1970 |
| 103 |
 |
Whitty, Kevin J. | A pulse-width modulation controlled wire-mesh heater apparatus for investigation of solid fuel pyrolysis | A novel wire mesh heater apparatus has been developed to study the devolatilization of solid fuels under pressurized conditions at well-controlled heating rates on the order of 1000 K/s. The apparatus combines direct current and pulse-width modulation with a fast-acting and high current-capacity re... | | 2012-01-01 |
| 104 |
 |
Watkins, Gary Scott | A real time visible surface algorithm | With the increasing use of computer graphics, a need is growing for a processor capable of displaying solid objects. Environmental simulation and architectural modeling are only two areas that would benefit from such a diplay processor. This dissertation describes an algorithm designed for such a ... | Surface algorithm | 1970 |
| 105 |
 |
Simpson, Jamesina J. | A review of progress in FDTD Maxwell's equations modeling of impulsive subionospheric propagation below 300 kHz | Wave propagation at the bottom of the electromagnetic spectrum (below300 kHz) in the Earth-ionosphere waveguide system has been an interesting and important area of investigation for the last four decades. Such wave propagation is characterized by complex phenomena involving nonhomogeneous and aniso... | | 2007-01-01 |
| 106 |
 |
Lawton, Evert C. | A review of shear stress sign convention in interpreting Mohrs circle | The pole of planes method is a popular technique for interpreting Mohr's circle to determine the stresses (normal and shear) on planes of differing rotations in 2-D space. A survey of undergraduate textbooks on soil mechanics shows differing viewpoints on the sign convention for interpreting the she... | | 2012-01-01 |
| 107 |
 |
Kirby, Robert Michael | A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes | Stencil computations are a common class of operations that appear in many computational scientific and engineering applications. Stencil computations often benefit from compile-time analysis, exploiting data-locality, and parallelism. Post-processing of discontinuous Galerkin (dG) simulation solutio... | | 2013-01-01 |
| 108 |
 |
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 |
| 109 |
 |
Fujimoto, Richard M. | A shared memory algorithm and proof for the alternative construct in CSP | Communicating Sequential Processes (CSP) is a paradigm for communication and synchronization among distributed processes. The alternative construct is a key feature of CSP that allows nondeterministic selection of one among several possible communicants. Previous algorithms for this construct assume... | Shared memory algorithm; Communicating Sequential Processes; CSP | 1987 |
| 110 |
 |
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 |
| 111 |
 |
Stevens, Kenneth | A single chip low power asynchronous implementation of an FFT algorithm for space applications | A fully asynchronous _x000C_fixed point FFT processor is introduced for low power space applications. The architecture is based on an algorithm developed by Suter and Stevens specifi_x000C_cally for a low power implementation. The novelty of this architecture lies in its high localization of compo... | | 1998 |
| 112 |
 |
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 |
| 113 |
 |
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 |
| 114 |
 |
Mathews, V. John | A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | Abstract-This paper presents an algorithm that adapts the parameters of a Hammerstein system model. Hammerstein systems are nonlinear systems that contain a static nonlinearity cascaded with a linear system. In this paper, the static nonlinearity is modeled using a polynomial system, and the linear ... | | 2006 |
| 115 |
 |
Mathews, V. John; Dubow, Joel | A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | Abstract This paper presents an algorithm that adapts the parameters of a Hammerstein system model. Hammerstein systems are nonlinear systems that contain a static nonlinearity cascaded with a linear system. In this work, the static nonlinearity is modeled using a polynomial system and the linear f... | | 2002 |
| 116 |
 |
Baxter, Brent S. | A standard magnetic tape format for digital image exchange | This proposal describes a simple yet flexible magnetic tape format for exchanging digital image information. Multi-dimensional arrays of raster scan data are stored as sequential files, with descriptive information related to the sefiles stored in an initial directory file. Directory information is ... | Raster scan data | 1981 |
| 117 |
 |
Myers, Chris J. | A standard-cell self-timed multiplier for energy and area critical synchronous systems | This paper describes the design of a standard-cell self-timed multiplier for use in energy and area critical synchronous systems. The area of this multiplier is bounded by N rather than N2 as seen in more traditional combinational parallel array designs, where N is the word size. Energy has a polyn... | | 2001 |
| 118 |
 |
Furse, Cynthia M. | A stochastic FDTD method for statistically varying biological tissues | THE analysis of radio wave absorption is a continuing concern for the cell phone industry due to health effects (and associated regulations) of the person using the cell phone [1,2]. The amount of allowable power absorbed has a strong impact on the design of the phone (antenna, electromagnetic inte... | | 2011 |
| 119 |
 |
Simpson, Jamesina J. | A stochastic FDTD model of electromagnetic wave propagation in magnetized ionospheric plasma | Communications, surveillance, and navigation capabilities rely heavily on accurate knowledge of electromagnetic (EM) signal propagation characteristics through and reflected by the Earth's ionosphere. Satellite communications, over-the-horizon radar, and target direction finding are a few example ap... | | 2013-01-01 |
| 120 |
 |
Mathews, V. John | A stochastic gradient adaptive filter with gradient adaptive step size | Abstract-This paper presents an adaptive step-size gradient adaptive filter. The step size of the adaptive filter is changed according to a gradient descent algorithm designed to reduce the squared estimation error during each iteration. An approximate analysis of the performance of the adaptive fil... | | 1993 |
| 121 |
 |
Henderson, Thomas C. | A study of Pierce's group generator | Pierce describes an approach to map learning with uninterpreted sensors and effectors. As part of that, he describes a sensor grouping generator operator that attempts to arrange similar sensors into groups. Here we review that work and place it in a more strenuous statistical validation framewor... | Pierce's group; Map learning; Sensor grouping generator | 2010 |
| 122 |
 |
Furse, Cynthia M. | A study on the efficiency of transparent patch antennas designed from conductive oxide films | Abstract? A study on the efficiency of transparent patch antennas designed from indium tin oxide (ITO) films is presented to provide design guidelines for patch type transparent antennas. The trade-offs between optical transparency and antenna efficiency is analyzed by considering typical materia... | | 2011 |
| 123 |
 |
Ricci, Robert | A survey of computing migration | | | 2010-02-26 |
| 124 |
 |
Henderson, Thomas C. | A survey of dextrous manipulation | The development of mechanical end effectors capable of dextrous manipulation is a rapidly growing and quite successful field of research. It has in some sense put the focus on control issues, in particular, how to control these remarkably humanlike manipulators to perform the deft movement that we t... | Dextrous manipulation | 1986 |
| 125 |
 |
Berzins, Martin | A survey of high level frameworks in block-structured adaptive mesh refinement packages | Over the last decade block-structured adaptive mesh refinement (SAMR) has found increasing use in large, publicly available codes and frameworks. SAMR frameworks have evolved along different paths. Some have stayed focused on specific domain areas, others have pursued a more general functionality, p... | | 2014-01-01 |
| 126 |
 |
Gopalakrishnan, Ganesh; Kirby, Robert Michael II | A survey of MPI related debuggers and tools | Message Passing Interface is a widely used standard in the High Performance and Scienti c Computing Community for writing programs that can exploit the capability of parallel platforms. However, the inherent complexity and the size of the communication standard have made it difficult for programm... | Message Passing Interface; MPI; Debuggers | 2007 |
| 127 |
 |
Sobh, Tarek M. | A survey on sensor classifications for industrial applications | The importance of sensors in industrial applications is a result of the introduction of many robotics, automation, and intelligent control techniques into factory floors. Research and improvements need to be continuously performed to meet the challenges in automation and manufacturing applications i... | Sensor classifications; Industrial applications; Sensors | 1995 |
| 128 |
 |
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 |
| 129 |
 |
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 |
| 130 |
 |
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 |
| 131 |
 |
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 |
| 132 |
 |
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 |
| 133 |
 |
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 |
| 134 |
 |
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 |
| 135 |
 |
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 |
| 136 |
 |
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 |
| 137 |
 |
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 |
| 138 |
 |
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 |
| 139 |
 |
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 |
| 140 |
 |
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 |
| 141 |
 |
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 |
| 142 |
 |
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 |
| 143 |
 |
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 |
| 144 |
 |
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 |
| 145 |
 |
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 |
| 146 |
|
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 |
| 147 |
 |
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 |
| 148 |
 |
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 |
| 149 |
 |
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 |
| 150 |
 |
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 |
| 151 |
 |
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 |
| 152 |
 |
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 |
| 153 |
 |
Brunvand, Erik L. | ACT: A DFT tool for self-timed circuits | This paper presents a Design for Testability (DFT) tool called ACT (Asynchronous Circuit Testing) which uses a partial scan technique to make macro-module based selftimed circuits testable. The ACT tool is the first oFits kind for testing macro-module based self-timed circuits. ACT modifies design... | | 1997 |
| 154 |
 |
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 |
| 155 |
 |
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 |
| 156 |
 |
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 |
| 157 |
 |
Organick, Elliott I. | ADA to silicon transformations: the outline of a method | This report explores the contention that a high-order language specification of a machine (such as an Ada program) can be methodically transformed into a hardware representation of that machine. One series of well-defined steps through which such transformations can take place is presented in this i... | ADA program; High-order language specification | 1982 |
| 158 |
 |
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 |
| 159 |
 |
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 |
| 160 |
 |
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 |
| 161 |
 |
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 |
| 162 |
 |
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 |
| 163 |
 |
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 |
| 164 |
 |
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 |
| 165 |
 |
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 |
| 166 |
 |
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 |
| 167 |
 |
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 |
| 168 |
 |
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 |
| 169 |
 |
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 |
| 170 |
 |
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 |
| 171 |
 |
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 |
| 172 |
 |
Mathews, V. John | Adaptive realization of a maximum likelihood time delay estimator | ABSTRACT This paper presents an adaptive maximum likelihood method for estimating the time difference of arrival of a source signal at two spatially separate sensors. It is well-known that the maximum likelihood technique achieves the Cramer-Rao lower bound for time delay estimation error for ce... | | 1996 |
| 173 |
 |
Mathews, V. John | Adaptive realizations of the maximum likelihood processor for time delay estimation | Abstract-This correspondence introduces an adaptive realization of the maximum likelihood (ML) processor for time delay estimation (TDE). Also presented is a modified ML processor, which requires less computations but still performs better than the other when implemented in an adaptive way. Widrow'... | | 1984 |
| 174 |
 |
Mathews, V. John | Adaptive realizations of the phase transform for time delay estimation | ABSTRACT This paper introduces two recursive realizations of the Phase Transforn (PHAT) processor for tine delay estimation (TOE), using a simple one-pole lowpass filter and the least mean square (LMS) adaptive filter, respectively. It is shown that these adaptive methods are very effective in redu... | | 1984 |
| 175 |
 |
Mathews, V. John | Adaptive unsharp masking for contrast enhancement | ABSTRACT A new scheme o,f unsharp masking for image contrast enhancement is presented in this paper. An adaptive algorithm is introduced so that a sharpening action is performed only in locations where the image exhibits significant dynamics. Hence, the amplification of noise in smooth areas i... | | 1997 |
| 176 |
 |
Mathews, V. John | Adaptive volterra filters using orthogonal structures | Abstract- This paper presents an adaptive Volterra filter that employs a recently developed orthogonalization procedure of Gaussian signals for Volterra system identification. The algorithm is capable of handling arbitrary orders of nonlinearity P as well as arbitrary lengths of memory N for the sys... | | 1995 |
| 177 |
 |
Mathews, V. John | Adaptive volterra filters using orthogonal structures | Abstract-This paper presents an adaptive Volterra filter that empolys a recently developed orthogonalization procedure of Gaussian signals for Volterra system identification. The algorithm is capable of handling arbitrary orders of nonlinearity P as well as arbitrary lengths of memory N for the syst... | | 1996 |
| 178 |
 |
Mathews, V. John | Adaptive, quadratic preprocessing of document images for binarization | Abstract-This paper presents an adaptive algorithm for preprocessing document images prior to binarization in character recognition problems. Our method is similar in its approach to the blind adaptive equalization of binary communication channels. The adaptive filter utilizes a quadratic system mod... | | 1998 |
| 179 |
 |
Simpson, Jamesina J. | ADE-FDTD scattered-field formulation for dispersive materials | This letter presents a scattered-field formulation for modeling dispersive media using the finite-difference time-domain (FDTD) method. Specifically, the auxiliary differential equation method is applied to Drude and Lorentz media for a scattered field FDTD model. The present technique can also be a... | | 2008-01-01 |
| 180 |
 |
Stringfellow, Gerald B.; Shurtleff, James Kevin | Adsorption and desorption of the surfactant Sb on GaInP grown by organometallic vapor phase epitaxy | It has been determined that ordering has a profound effect on the bandgap energy of many compound semiconductor alloys. Therefore, ordering must be controlled for devices such as solar cells, light emitting diodes and diode lasers. Since ordering depends on the surface properties during organomet... | Time dependent surface photoabsorption (SPA); Compound semiconductor alloys | 2000 |
| 181 |
 |
Sutherland, James Clayton | Advanced regression methods for combustion modelling using principal components | Modelling the physics of combustion remains a challenge due to a large range of temporal and physical scales which are important in these systems. Detailed chemical kinetic mechanisms are used to describe the chemistry involved in the combustion process yielding highly coupled partial differential e... | | 2014-01-01 |
| 182 |
 |
Rajamani, Raj | Advances in discrete element method application to grinding mills | Discrete element method (DEM) has made significant impact in the design and operation of grinding mills. The internal charge motion of grinding balls and ore can be readily examined. As a result, this method enables one to design and examine mill internals via simulation. This manuscript details es... | | 2014-01-01 |
| 183 |
 |
Henderson, Thomas C. | Agent-based engineering drawing analysis | Interpretation of paper drawings has received a good deal of attention over the last decade. Related areas such as direct interpretation of human drawings (HCI), search and indexing of graphics databases, and knowledge representation in the domain of graphics and drawing understanding have also s... | Interpretation; Human drawings; HCI; Graphic databases | 2002-02-04 |
| 184 |
 |
Scarpulla, Michael | Air shear driven flow of thin perfluoropolyether polymer films | We have studied the wind driven movement of thin perfluoropolyether (PFPE) polymer films on silicon wafers and CNx overcoats using the blow-off technique. The ease with which a liquid polymer film moves across a surface when sheared is described by a shear mobility xS , which can be interpreted both... | Perfluoropolyether; Polymer films; Air shear; Shear mobility | 2003 |
| 185 |
 |
Tasdizen, Tolga | Algebraic curves that work better | An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or superquadrics. The main drawback in representing shapes by algebraic curves has been the lack of repeatability in fitting algebraic... | | 1999 |
| 186 |
 |
Stevens, Kenneth | Algorithms for MIS vector generation and pruning | Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run time penalty and potential over-conservatism. Run times are directly proportional to the vector sizes. Efficient algorithm... | | 2006 |
| 187 |
 |
Crow, Franklin C. | The aliasing problem in computer-synthesized shaded images | This paper describes work toward improving the quality of computer-synthesized shaded images. Current (practical) hidden-surface algorithms produce an image whose precision is strictly limited by the number of picture elements. Problems caused by this limitation are described and explained in the t... | aliasing problem; shaded images; hidden-surface algorithms | 1976 |
| 188 |
 |
Lindstrom, Gary E. | Alpha-beta pruning on evolving game trees | The alpha-beta strategy is a widely used method for economizing on the size of game trees. Heretofore, its application has been limited to depth-first tree growth in recursive search functions. However, many modern game players use retentive (i.e. coroutine-based) control to achieve greater attentio... | Alpha-beta pruning; Game trees | 1979 |
| 189 |
 |
Stevens, Kenneth | An A-FPGA architecture for relative timing based asynchronous designs | This paper presents an asynchronous FPGA architecture that is capable of implementing relative timing based asynchronous designs. The architecture uses the Xilinx 7-Series architecture as a starting point and proposes modifications that would make it asynchronous design capable while keeping it full... | | 2014-01-01 |
| 190 |
 |
George, Lal | An abstract machine for parallel graph reduction | An abstract machine suitable for parallel graph reduction on a shared memory multiprocessor is described. Parallel programming is plagued with subtle race conditions resulting in deadlock or fatal system errors. Due to the nondeterministic nature of program execution the utilization of resources ma... | Parallel graph reduction; Abstract machines | 1989 |
| 191 |
 |
George, Lal | An abstract machine for parallel graph reduction | An abstract machine for parallel graph reduction on a shared memory multiprocessor is described. This is intended primarily for normal order (lazy) evaluation of functional programs. It is absolutely essential in such a design to adapt an efficient sequential model since during execution under limit... | Parallel graph reduction | 1989 |
| 192 |
 |
Mathews, V. John | An adaptive channel estimator for CDMA systems in multipath fading channels | ABSTRACT CDMA systems in multipath fading channels need to estimate channel parameters for coherent detection of the transmitted signals. In this paper we present a simple but effective channel estimation algorithm that can be incorporated into most types of multiuser receivers to obtain good dete... | | 2001 |
| 193 |
 |
Subrahmanyam, P.A. | An algebraic formulation of seitz's weak conditions for self timed circuits | Two fairly intuitive conditions are given that serve to algebraically characterize Seitz's "weak conditions" for self timed circuits. It is shown that these two conditions embody the 12 temporal logic conditions (developed b y Owicki and Malachi) which are intended to express both the weak condition... | Seitz's weak conditions; Self-timed circuits | 1982 |
| 194 |
 |
Mathews, V. John | An analytical model of the perceptual threshold function for multichannel image compression | ABSTRACT The human observer is often the final judge of the quality of compressed images. One way to design a compression system that attempts to reduce or eliminate subjective distortions in the coded images is to incorporate a perceptual threshold function model into the compression system. The... | | 1998 |
| 195 |
 |
Shirley, Peter S. | An anisotropic phong light reflection model | We present a new BRDF model that attempts to combine the advantages of the various empirical models currently in use. In particular, it has intuitive parameters, is anisotropic, energy-conserving, reciprocal, has an appropriate non-Lambertian diffuse term, and is well-suited for use in a Monte Carlo... | BRDF model; Anisotropic; Phong light reflection model | 2000 |
| 196 |
 |
Henderson, Thomas C. | An annotated bibligraphy of multisensor integration | In this paper we give an annotated bibliography of the multisensor integration literature. | Multisensor integration; Bibligraphy | 1988 |
| 197 |
 |
Greenfield, Harvey | An application of computer graphics: two concurrent investigations within the medical field | The aim of this project is to apply new or recently developed computer graphic techniques to a particular discipline with the thought of broadening its research capabilities. The discipline chosen, that of medicine, has emphasis places on the area of hemodynamics. It is seen that computer graphics m... | Computer graphic techniques | 1971 |
| 198 |
 |
Keller, Robert M. | An approach to determinacy proofs | It is known that any parallel program graph composed of continuous operators itself represents a continuous function. In other words, the network is determinate in the sense that for a given input, the output is unique, independent of the timing of the constituent operators. This result is applied t... | Parallel program graph; Determinacy proofs | 1978 |
| 199 |
 |
Henderson, Thomas C. | An approach to three-dimensional scene databases | Current image database research is concerned for the most part with the encoding and processing of two-dimensional images. However, the most successful approach to computer vision is based on 3-dimensional information, organized as either stacks of 2-D images (e.g., the intrinsic images of Barrow an... | Image databases; Three-dimensional; Scene databases | 1987 |
| 200 |
 |
Keller, Robert M.; Lindstrom, Gary E. | An architecture for a loosely-coupled parallel processor | An architecture for a large (e. g. 1000 processor) parallel computer is presented. The processors are loosely-coupled, in the sense that communication among them is fully asynchronous, and each processor is generally not unduly delayed by any immediate need for specific data values. The network supp... | Loosely-coupled; Parallel processors | 1978 |
