126 - 150 of 307
Number of results to display per page
CreatorTitleDescriptionSubjectDate
126 Myers, Chris J.Effcient verification of hazard-freedom in gate-level timed asynchronous circuitsThis paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit timing information fur optimization throughout the entire design process. In asynchronous circuits, correct operation require...2003
127 Spencer S. Eccles Health Sciences Library, University of UtahIAIMS Newsletter December 1995The IAIMS Newsletter provides valuable information about Library activities and resources as well as informative articles related to information technology.IAIMS1995
128 Myntti, JeremyPersonal Digital ArchivingPresentation on personal digital archiving for family history work at the RootsTech Conference, Salt Lake City, Utah.Family history; Personal digital archiving2019-03-01
129 Regehr, JohnRandom testing of interrupt-driven softwareInterrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using random interrupt testing-firing random interrupt handlers at random times. Unfortunately, na¨ıve application of random test...2005-01-01
130 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
131 Evans, DavidGraphical man/machine communications: February 1968Technical report No. RADC - TR - 68 - 90 for the period ending 30 November, 1967. Two classes of research activities are being conducted. One is research in information processsing system technology. The other is researach in application of interactive computing technology to the solution of severa...Fluid flow problems1968-02
132 Kieda, David B.High resolution charge measurements of UH cosmic ray nuclei using a direct imaging Cherenkov ground-based observatoryThe accurate determination of the elemental composition of cosmic rays at high energies is expected to provide crucial clues on the origin of these particles. Here we discuss a technique that has become possible through the use of modern ground-based Cherenkov imaging detectors. We combine a measure...Cherenkov light; Quark star; UH nuclei; Magnetic monopole2003
133 Landesman, Margaret M.Libraries investing in the future first - some practical suggestionsThis essay offers some practical suggestions for implementing transformative strategies for libraries, with a focus on using the materials budget as an investment fund.Libraries; Acquisitions; Budget; Materials2004-06
134 Vardeny, Zeev ValentinePhotoexcitation dynamics in C60-doped PPV under bias illuminationWe have studied photoexcitation dynamics in pristine and C60-doped PPV films under bias Olumination by photoinduced absorption (PA), optically-detected magnetic resonance (ODMR), and electromodulated PA (EPA). Intrachain polaron pair species are the dominant excitations under these conditions. The p...Photoexcitation dynamics; C60-doped PPV; Bias illumination; PPV films; Photoinduced absorption; ODMR; Electroabsorption1996
135 Vardeny, Zeev Valentine; Nahata, AjayTHz anomalous transmission in plasmonic lattices; incidence angle dependenceThe phenomenon of anomalous transmission through subwavelength aperture arrays in metallic films (plasmonic lattices) is thought to be mediated by surface plasmon polaritons (SPP) on the film surfaces. Using terahertz time-domain spectroscopy we systematically studied the anomalous transmission spec...THz anomalous transmission; Plasmonic lattices; Incidence angle dependence; THz radiation; Light polarization; Effective dielectric response; Notch filter2009
136 Battin, Margaret P.Applied professional ethics and institutional religion: the methodological issuesIn the last several years, philosophical enthusiasm for applied professional ethics has spread from medicine to law, education, government, engineering, business, and to other professional and semiprofessional fields. Each involves an institutional structure within which professional practitioners p...Professional ethics; Religion; Applied ethics1984
137 Spencer S. Eccles Health Sciences Library, University of UtahIAIMS Newsletter Spring 1999The IAIMS Newsletter provides valuable information about Library activities and resources as well as informative articles related to information technology.IAIMS1998-12-10
138 Regehr, JohnPluggable abstract domains for analyzing embedded softwareMany abstract value domains such as intervals, bitwise, constants, and value-sets have been developed to support dataflow analysis. Different domains offer alternative tradeoffs between analysis speed and precision. Furthermore, some domains are a better match for certain kinds of code than others. ...2006-01-01
139 Berzins, MartinRadiation modeling using the Uintah heterogeneous CPU/GPU runtime systemThe Uintah Computational Framework was developed to provide an environment for solving fluid-structure interaction problems on structured adaptive grids on large-scale, long-running, data-intensive problems. Uintah uses a combination of fluid-flow solvers and particle-based methods for solids, toget...2012-01-01
140 Gerig, Guido3D of brain shape and volume after cranial vault remodeling surgery for craniosynostosis correction in infantsThe skull of young children is made up of bony plates that enable growth. Craniosynostosis is a birth defect that causes one or more sutures on an infant's skull to close prematurely. Corrective surgery focuses on cranial and orbital rim shaping to return the skull to a more normal shape. Functional...2013-01-01
141 Gardner, Reed M.Computerized Blood Gas Interpretation and Reporting SystemBiomedical Informatics1975
142 Lupton, John MarkDevice model for polymer light emitting diodes: effect of temperature and oxidationWe present a temperature-dependent single carrier device model for polymer light-emitting diodes. The model includes both the injection of charge carriers over a barrier and the transport of charges across the device. To test the model, the temperature dependence of an LED based on the conjugated po...Single carrier; Temperature dependent; Poly(phenylene vinylene); Transport measurements; ITO; Disorder1999
143 Gerig, GuidoDTI quality control assessment via error estimation from monte carlo simulationsDiffusion Tensor Imaging (DTI) is currently the state of the art method for characterizing the microscopic tissue structure of white matter in normal or diseased brain in vivo. DTI is estimated from a series of Diffusion Weighted Imaging (DWI) volumes. DWIs suffer from a number of artifacts which ma...2013-01-01
144 Hansen, Charles D.Efficient depth estimation using trinocular stereoWe present recent advancements in our passive trinocular stereo system. These include a technique for calibrating and rectifying in a very efficient and simple manner the triplets of images taken for trinocular stereovision systems. After the rectification of images, epipolar lines are parallel to t...Trinocular stereo; Stereovision1988
145 Vardeny, Zeev Valentine; Raikh, Mikhail E.Excitations in opal photonic crystals infiltrated with polarizable mediaPhotonic crystals (PC) are a class of artificial structures with a periodic dielectric function. PCs can be a laboratory for testing fundamental processes involving interactions of radiation with matter in novel conditions. We have studied the optical properties of opal PCs that are infiltrated with...Opal photonic crystals; Polarizable media; Bragg gap; Polaritonic gap; Photonic stop band2002
146 Christensen, Douglas A.Finite-difference time-domain modeling and experimental characterization of planar waveguide fluorescence sensorsThe finite-difference time-domain method (FDTD) is a powerful numerical technique for solving Maxwell's equations in a discretized space and time grid. Its applications have up to now been in the analysis of electrically large structures in the microwave domain, and the scope of investigations has b...Finite-difference time-domain method; Planar waveguide1992
147 Evans, DavidGraphical man/machine communications: November 1969Semi-Annual Technical Report 1 June 1969 - 30 November 19691969-11
148 Vardeny, Zeev ValentineOptical probes of photoexcitations in fullerene thin films from femtoseconds to millisecondsWe have studied photoexcitations in various fiillerene thin films using transient photomodulation and photoluminescence from 100 fs to 50 ms and absorption-detected magnetic resonance (ADMR). We show that singlet Frenkel type excitons are the primary photoexcitations; their recombination kinetics in...Photoexcitations; Femtosecond; Transient photomodulation; Transient photoluminescence; Frenkel type excitons; Triplet excitons1995
149 Pershing, David W.; Slaughter, David MichaelParameters influencing the evolution and oxidation of sulfur in suspension phase coal combustionStoker coal-fired boiler furnaces are significant in terms of coal consumption and environmental impact; however, they have received relatively little research attention. This paper describes the results of a two-year study on the formation of sulfur oxides in the suspension phase of a coal-fired s...Stoker coal-fired furnaces1983
150 Vardeny, Zeev ValentinePicosecond photomodulation spectroscopy in amorphous semiconductorsPicosecond trapping of photogenerated carriers in gap states of doped, compensated and undoped amorphous hydrogenated silicon (a-Si:H) and of a-Si:H based superlattices was studied by the pump and probe photomodulation technique. In undoped a-Si:H the photogenerated carries are trapped in band-tail ...Picosecond spectroscopy1987
126 - 150 of 307