451 - 475 of 10,723
Number of results to display per page
CreatorTitleDescriptionSubjectDate
451 George, LalAn abstract machine for parallel graph reductionAn 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 machines1989
452 George, LalAn abstract machine for parallel graph reductionAn 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 reduction1989
453 Mathews, V. JohnAn adaptive channel estimator for CDMA systems in multipath fading channelsABSTRACT 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
454 Subrahmanyam, P.A.An algebraic formulation of seitz's weak conditions for self timed circuitsTwo 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 circuits1982
455 Sanderson, Allen ReedAn alternative formulation of lyapunov exponents for computing lagrangian coherent structuresLagrangian coherent structures are time-evolving surfaces that highlight areas in flow fields where neighboring advected particles diverge or converge. The detection and understanding of such structures is an important part of many applications such as in oceanography where there is a need to predic...2014-01-01
456 Sokolsky, PierreAn analog light scattering experiment of hexagonal icelike particles. part I: experimental apparatus and test measurementsAn experimental apparatus to measure the scattering properties of hexagonal icelike particles in the analog manner at the helium neon laser wavelength of 0.633 mm has been designed and built. The instrument consists of an array of 36 highly sensitive and linear photodiode detectors that are positi...1999
457 Sokolsky, PierreAn analog light scattering experiment of hexagonal icelike particles. part II: experimental and theoretical resultsThe scattering properties of hexagonal icelike crystals as measured in the analog manner by the experimental apparatus described in Part I are presented. The crystals are made out of sodium fluoride (NaF), which has an index of refraction similar to that of water ice. The experimentally determined...1999
458 Mader, Emily MarieAn analysis of foundation giving in Utah, 2007-20092011
459 Warner, Homer R.An Analysis of Granulocyte Kinetics in Blood and Bone MarrowBiomedical Informatics1964
460 Warner, Homer R.An Analysis of Leukocyte Radioactivity Curves Obtained with Radioactive Disssopropylflourophosphate (DFP)Biomedical Informatics1959
461 Mathews, V. JohnAn analytical model of the perceptual threshold function for multichannel image compressionABSTRACT 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
462 Shirley, Peter S.An anisotropic phong light reflection modelWe 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 model2000
463 Henderson, Thomas C.An annotated bibligraphy of multisensor integrationIn this paper we give an annotated bibliography of the multisensor integration literature.Multisensor integration; Bibligraphy1988
464 Edmunds, George F. Jr.An annotated key to the nymphs of the families and subfamilies of mayfliesAttempts to provide keys to the families and subfamilies of Ephemeroptera nymphs in general entomology textbooks (i.e. Essig (1942), Chu (1949), and Brues, Melander and Carpenter (1954)) have been far from satisfactory. This difficulty exists largely because of the failure of specialists of the Ephe...1963-06
465 Greenfield, HarveyAn application of computer graphics: two concurrent investigations within the medical fieldThe 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 techniques1971
466 Keller, Robert M.An approach to determinacy proofsIt 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 proofs1978
467 Warner, Homer R.An Approach to Evaluating the Completeness of a Medical Knowledge BaseBiomedical Informatics1989
468 Henderson, Thomas C.An approach to three-dimensional scene databasesCurrent 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 databases1987
469 Keller, Robert M.; Lindstrom, Gary E.An architecture for a loosely-coupled parallel processorAn 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 processors1978
470 Myers, Chris J.An asynchronous implementations of the MAXLIST algorithmABSTRACT We present an efficient asynchronous VLSI architecture for calculating running maximum or minimum values over a sliding window. Running maximums or minimums are very useful for many signal and image processing tasks. Our architecture performs the calculation using the MAXLIST algorithm. In...1997
471 Myers, Chris J.; Stevens, KennethAn asynchronous instruction length decoderAbstract-This paper describes an investigation of potential advantages and pitfalls of applying an asynchronous design methodology to an advanced microprocessor architecture. A prototype complex instruction set length decoding and steering unit was implemented using self-timed circuits. [The Revolvi...2001
472 Stevens, Kenneth; Myers, Chris J.An asynchronous instruction length decoderThis paper describes an investigation of potential advantages and pitfalls of applying an asynchronous design methodology to an advanced microprocessor architecture. A prototype complex instruction set length decoding and steering unit was implemented using self-timed circuits. [The Revolving Async...2001
473 Bruderlin, BeatAn axiomatic approach for solving geometric problems symbolicallyThis paper describes a new approach for solving geometric constraint problems and problems in geometry theorem proving. We developed a rewrite-rule mechanism operating on geometric predicates. Termination and completeness of the problem solving algorithm can be obtained through well foundedness and ...Geometric constraint problems; Geometry theorem proving; Knuth-Bendix completion algorithm1990
474 Simpson, Jamesina J.An E-J collocated 3-D FDTD model of electromagnetic wave propagation in magnetized cold plasmaA new three-dimensional finite-difference time-domain (FDTD) numerical model is proposed herein to simulate electromagnetic wave propagation in an anisotropic magnetized cold plasma medium. Plasma effects contributed by electrons, positive, and negative ions are considered in this model. The current...2010-01-01
475 Marcus, RobinAn eccentrically biased rehabilitation program early after TKA surgeryRehabilitation services are less-studied aspects of the management following total knee arthroplasty (TKA) despite long-term suboptimal physical functioning and chronic deficits in muscle function. This paper describes the preliminary findings of a six-week (12 session) eccentrically-biased rehabili...2011
451 - 475 of 10,723