126 - 150 of 10,840
Number of results to display per page
CreatorTitleDescriptionSubjectDate
126 Whitaker, Ross T.A fast iterative method for a class of Hamilton-Jacobi equations on parallel systemsIn 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 systems2007
127 Whitaker, Ross T.A fast iterative method for solving the eikonal equation on triangulated surfaces2012
128 Smith, Kent F.A fast parallel squarer based on divide-and-conquerFast 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; CMOS1995
129 Mathews, V. JohnA fast recursive least-squares adaptive nonlinear filterThis 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
130 Mathews, V. JohnA fast recursive least-squares second order volterra filterABSTRACT 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
131 Henderson, Thomas C.; Hansen, Charles D.A fault tolerant sensor schemeMulti-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 sensors1983
132 Lenart, Joshua B.A Feasibility Study of a Transfer of Federal Lands: Assessing the Triple Bottom LineThis 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
133 Simpson, Jamesina J.A feasibility study of microjets applied to breast cancer detectionThe 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
134 Mallat, ChibliA Federal Israel-Palestine: Ending 100 Years of Civil War in the Holy Land?What if we substitute a federal Israel-Palestine for the two-state solution deadlock?2010-09-17
135 Mallat, ChibliA Federal Israel-Palestine: Nonviolence and Law to End the 100-year Civil WarIn the first part of this study, the deadlock in Israel-Palestine was presented as a 100-year civil war. New realities on the ground, as well as visionary calls for a united state, instead of partitioning the land at a heavy human cost, have come from leading US thinkers, notably Tony Judt and Seyla...2010-09-23
136 Sutherland, James ClaytonA filter-independent model identification technique for turbulent combustion modelingIn 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
137 Gerig, GuidoA framework for longitudinal data analysis via shape regressionTraditional longitudinal analysis begins by extracting desired clinical measurements, such as volume or head circumference, from discrete imaging data. Typically, the continuous evolution of a scalar measurement is estimated by choosing a 1D regression model, such as kernel regression or fitting a p...2012-01-01
138 Lindstrom, Gary E.A framework for module-based language processorsA 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-based1993
139 Michell, NickA gallium arsenide mutual exclusion elementA 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 circuits1993
140 Mathew, Binu K.; Davis, Al; Fang, ZhenA Gaussian probability accelerator for SPHINX 3Accurate 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 recognizers2003-07-22
141 Gopalakrishnan, GaneshA general compositional approach to verifying hierarchical cache coherence protocolsModern 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; Verification2006-11-26
142 Sobh, Tarek M.A general review, graphical environment, and applications for discrete event and hybrid systems in Robotics and Automation1994
143 Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.A generic operational memory model specification framework for multithreaded program verificationGiven 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 verification2003
144 Kerber, Richard A.A genome-wide study replicates linkage of 3p22-24 to extreme longevity in humans and identifies possible additional lociBackground: Although there is abundant evidence that human longevity is heritable, efforts to map loci responsible for variation in human lifespan have had limited success. Methodology/Principal Findings: We identified individuals from a large multigenerational population database (the Utah Populati...2012-01-01
145 Tasdizen, Tolga; Whitaker, Ross T.A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditionsThe 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
146 Von Arnim, Rudiger LennartA global model of recovery and rebalancingThis paper presents an investigation of global recovery from the great recession and rebalancing of global external imbalances, using a global model of sixteen countries and composite regions. The model applies to the short run, and only to the real side. Key features are demand-driven output determ...2010-01-01
147 Lefohn, Aaron; Whitaker, Ross T.A GPU-based, three-dimensional level set solver with curvature flowLevel 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 solver2002-12-11
148 Sobh, Tarek M.A graphical environment and applications for discrete event and hybrid systems in robotics and automationIn 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 environment1994
149 Warnock, John E.A hidden line algorithm for halftone picture representationIn 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 design1968
150 Khan, Faisal HabibA high-efficiency modular switched-capacitor converter with continuously variable conversion ratioThe 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
126 - 150 of 10,840