|
|
Creator | Title | Description | Subject | Date |
476 |
|
Myers, Chris J.; Stevens, Kenneth | An asynchronous instruction length decoder | Abstract-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 |
477 |
|
Stevens, Kenneth; Myers, Chris J. | An asynchronous instruction length decoder | 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 Revolving Async... | | 2001 |
478 |
|
Bruderlin, Beat | An axiomatic approach for solving geometric problems symbolically | This 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 algorithm | 1990 |
479 |
|
Simpson, Jamesina J. | An E-J collocated 3-D FDTD model of electromagnetic wave propagation in magnetized cold plasma | A 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 |
480 |
|
Marcus, Robin | An eccentrically biased rehabilitation program early after TKA surgery | Rehabilitation 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 |
481 |
|
Mathews, V. John | An efficient algorithm for joint estimation of differential time delays and frequency offsets | ABSTRACT This paper introduces an efficient algorithm that jointly estimates differential time delays and frequency offsets between two signals. The approach is a two-step procedure. First, the differential frequency offsets are estimated from measurement of the autocorrelation functions of the rec... | | 1992 |
482 |
|
Mathews, V. John | An efficient algorithm for lattice filter/predictor | ABSTRACT An efficient method for updating the lattice filter/predictor coefficients using the sign algorithm is introduced. The pertinent coefficients are updated using only the signs of the estimation errors at each stage. This method requires less number of multiplications than other adaptive la... | | 1985 |
483 |
|
Simpson, Jamesina J. | An efficient stochastic approach to uncertainty quantification in 3-D FDTD magnetized cold plasma | An efficient stochastic finite-difference time-domain (S-FDTD) method is developed to analyze electromagnetic field variability in three dimensional anisotropic magnetized plasma. The new S-FDTD plasma model provides a full understanding of the true physics due to the associated uncertainties and ha... | | 2014-01-01 |
484 |
|
Sung, Yun Ju | An empirical comparison of meta-analysis and mega-analysis of individual participant data for identifying gene-environment interactions | Meta-analysis combining results from multiple studies is a standard practice in GWAS. For genetic main effects, meta-analysis has been shown to provide comparable results as mega-analysis that jointly analyzes the pooled data from the available studies. Gene-environment interaction (GEI) studies are... | Gene-environment interactions | 2017 |
485 |
|
Paiva, Marie | An ethiopian research library evolves into the new millennium: The institute of ethiopian studies library, Addis Ababa University, Addis Ababs, Ethiopia | | | 2010-05-14 |
486 |
|
Warner, Homer R. | An Evaluation of Radiosulfate as a Granulocyte Label in the Dog | Biomedical Informatics | | 1966 |
487 |
|
Sutherland, James Clayton; Kerstein, Alan R.; Chen, Jaqueline H. | An evaluation of the one-dimensional turbulence model: comparison with direct numerical simulation of CO/H2 jets with extinction and reignition | Abstract A variant of the One-Dimensional Turbulence (ODT) model formulated in an Eulerian reference frame is applied to a planar nonpre mixed turbulent jet flame and results from the model prediction are compared with DNS data. The model employed herein solves the full set of conservation equation... | | 2010 |
488 |
|
Mastrangelo, Carlos H. | An exothermal energy release layer for microchip transience | A single layer nanothermite spin coated gel has been utilized as a solid-state exothermic energy release layer for triggered microchip transience. A proportional combination of self-assembled CuO/Al nanothermite and Napalm-B as gelling agent has been used to develop for the first time a spinable nan... | | 2013-01-01 |
489 |
|
Mattis, Daniel C. | An expanded Luttinger model | This paper generalizes Luttinger's model by introducing curvature (d2ε (k) dk2 ≠ 0 ) into the kinetic energy. An exact solution for arbitrary interactions is still possible in principle, but it now requires disentangling the eigenvalue spectrum of an harmonic string of interacting boson fields at... | | 2012-01-01 |
490 |
|
Durney, Carl H. | An experiment in using interactive computer graphics in teaching transient transmission-line theory | An interactive computer graphics routine was developed and used in teaching EE 553, Electromagnetic Fields, autumn quarter, 1969, in the Electrical Engineering Department of the University of Utah. The routine displayed the propagation of the voltage ave form produced by a step-function generator do... | | 1970 |
491 |
|
Willemsen, Peter; Gooch, Amy A. | An experimental comparison of perceived egocentric distance in real, image-based, and traditional virtual environment using direct walking tasks | In virtual environments, perceived egocentric distances are often underestimated when compared to the same distance judgments in the real world. The research presented in this paper explores two possible causes for this reduced distance perception in virtual environments: (1) real-time computer g... | Egocentric distances; Virtual environments | 2002-02-12 |
492 |
|
Newman, William M. | An experimental display programming language for the PDP-10 computer | An experimental language for display programming, called DIAL, has been developed for the PDP-10 and the UNIVAC 1559 display. It is experimental in the sense that it was originally conceived as a means of testing out some ideas, and the best way to test them seemed to be to produce a language that ... | Display programming; DIAL; Display Algol | 1970 |
493 |
|
Riesenfeld, Richard F.; Smith, Kent F. | An experimental system for computer aided geometric design | The main goal of this proposed level-of-effort project is to extend present capabilities in the area of Computer Aided Geometric Design (CAGD) and to develop custom VLSI support for some special geometric functions. | Computer aided geometric design; CAGD; VLSI; Very large scale integration | 1984 |
494 |
|
Clayton, Dale H. | An experimental test of the effects of behavioral and immunological defenses against vectors: do they interact to protect birds from blood parasites? | Background: Blood-feeding arthropods can harm their hosts in many ways, such as through direct tissue damage and anemia, but also by distracting hosts from foraging or watching for predators. Blood-borne pathogens transmitted by arthropods can further harm the host. Thus, effective behavioral and im... | | 2014-01-01 |
495 |
|
Khoche, Ajay | An extended cell set of self-timed designs | The high level synthesis approach described in [1] uses hopCP[2] language for behavioral descriptions. The behavioral specifications are then translated into Hop Flow Graphs (HFGs). The actions in the graph are then refined such that refined actions can be directly mapped onto asynchronous circuit b... | Self-timed designs; hopCP; Hop Flow Graphs; Asynchronous circuit blocks; Action-blocks | 1993 |
496 |
|
Planelles, Vicente | An HIV-encoded antisense long non-coding RNA epigenetically regulates viral transcription | The abundance of long non-coding RNAs (lncRNAs) and their wide range of functional roles in human cells are fast becoming realized. Importantly, lncRNAs have been identified as epigenetic modulators and consequently play a pivotal role in the regulation of gene expression. A human immunodeficiency v... | | 2014-01-01 |
497 |
|
Nielsen, Lewis T. | An identeification guide to the Mosquitoes of Utah | The first detailed report on the mosquito fauna of Utah was published by pees (1943). In this bulletin Rees reported the occurrence in the state of 31 species, representing 4 genera, and discussed their biology, distribution, life history and importance. Subsequent publications by Rees (1944), Rees ... | | 1961-06 |
498 |
|
Nielsen, Lewis T. | An identification guide to the mosquitoes of Utah | The first detailed report on the mosquito fauna of Utah was published by pees (1943). In this bulletin Rees reported the occurrence in the state of 31 s p e c ie s , representing 4 genera, and discussed their biology, distribution, life history and importance. Subsequent publications by Rees (1944),... | | 1961-06 |
499 |
|
Myers, Chris J. | An improvement in partial order reduction using behavioral analysis | Efficacy of partial order reduction in reducing state space relies on adequate extraction of the independence relation among possible behaviors. However, traditional approaches by statically analyzing system model structures are often not able to reveal enough independence for reduction. To address ... | | 2012-01-01 |
500 |
|
Gopalakrishnan, Ganesh; Humphrey, Alan Parker; Derrick, Christopher Glade | An integration of dynamic MPI formal verification within eclipse PTP | Our research goals were to verify practical MPI programs for deadlocks, resource leaks, and assertion violations at the push of a button and be able to easily visualize the results. We also sought to integrate these capabilities with the Eclipse IDE via an Eclipse plug-in for the Parallel Tools Plat... | Verification; Graphical User Interfaces; Dynamic Interleaving Reduction; Message Passing; MPI; Multi-core; Eclipse Parallel Tools Platform; Trapeze Interactive Poster | 2010-03-15 |