Filters: Collection: "ir_uspace" Type: "Text"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Warner, Homer R. | "Painless" Myocardial Infarction | Biomedical Informatics | 1951 | |
| 2 |
 |
Mallat, Chibli | 'A conversation to be had' on war and law: Obama's Nobel speech | Even more than in the Cairo address, the Nobel speech will mark the Obama legacy. The subject is pithy, combining defense, foreign affairs and international law on the most difficult subject that human kind has ever addressed: war. Thanks to the entreaty of the Nobel committee, which forced the US p... | 2009-12-24 | |
| 3 |
 |
Mallon, Ronald | 'Race': normative, not metaphysical or semantic | In recent years, there has been a flurry of work on the metaphysics of race. While it is now widely accepted that races do not share robust, biobehavioral essences, opinions differ over what, if anything, race is. Recent work has been divided between three apparently quite different answers. A varie... | 2006 | |
| 4 |
 |
Gopalakrishnan, Ganesh | The 'test model-checking' approach to the verification of formal memory models of multiprocessors | We offer a solution to the problem of verifying formal memory models of processors by com bining the strengths of model checking and a formal testing procedure for parallel machines We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety p... | Formal memory models; Shared memory multiprocessors; Formal testing; Model; Checking | 1998 |
| 5 |
 |
Gopalakrishnan, Ganesh | The 'Test model-checking' approach to the verification of formal memory models of multiprocessors | We offer a solution to the problem of verifying formal memory models of processors by combining the strengths of model-checking and a formal testing procedure for parallel machines. We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety proper... | Test Model-checking; Formal memory; Verification | 1998 |
| 6 |
 |
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 |
| 7 |
 |
Poulter, Charles Dale | (S)-Geranylgeranylglyceryl phosphate synthase. Purification and characterization of the first pathway-specific enzyme in archaebacterial membrane lipid biosynthesis | The first pathway-specific step in the biosynthesis of the core membrane diether lipids in archaebacteria is the alkylation of the primary hydroxyl group in (S)-glyceryl phosphate by geranylgeranyl diphosphate. The reaction is catalyzed by (S)-3-O-geranylgeranylglyceryl phosphate ((S)-GGGP) synthase... | Polyacrylamide gel; Molecular weight | 1993-10-15 |
| 8 |
 |
Gesteland, Raymond F.; Atkins, John F.; Wills, Norma M. | -1 frameshifting at a CGA AAG hexanucleotide site is required for transposition of insertion sequence IS1222 | The discovery of programmed _x0001_1 frameshifting at the hexanucleotide shift site CGA_AAG, in addition to the classical X_XXY_YYZ heptanucleotide shift sequences, prompted a search for instances among eubacterial insertion sequence elements. IS1222 has a CGA_AAG shift site. A genetic analysis re... | Hexanucleotides; Heptanucleotides; Frameshifting | 2004 |
| 9 |
 |
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 |
| 10 |
 |
Ailion, David Charles | 109Ag NMR investigation of atomic motions in the incommensurate and paraelectric phases of proustite (Ag3AsS3) | 109Ag NMR line shape, T1 , Hahn spin echo, and Carr-Purcell-Meiboom-Gill ~CPMG! spin-echo measurements were performed in proustite (Ag3AsS3) between 420 and 47 K in order to understand the role of atomic motions in phase transitions in a system containing an incommensurate phase. These measurements ... | NMR; Atomic motion; Proustitie; Phase transitions; Line shape | 2000 |
| 11 |
 |
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 |
| 12 |
 |
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 |
| 13 |
|
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 |
| 14 |
 |
Ailion, David Charles | 14N study of the role of N-D---O bonds in the deuteron glass transition | 14N spin-lattice relaxation-time measurements in Rb0.28(ND4)0.72D2PO4 provide direct evidence for the fast exchange averaging of the "long" and "short" N-D---O hydrogen bonds between the ND4 group and the four surrounding PO4 groups. This exchange and the associated distortion of the ND4 tetrahedron... | NMR; Hydrogen bonds; Spin-lattice; Relaxation-time; Deuteron glass | 1999 |
| 15 |
 |
Poulter, Charles Dale; Davis, Darrell R. | 15N labeled e. coli tRNAMet, tRNAGlu, tRNATyr, and tRNAPhe. Double resonance and two dimensional NMR of H-N1 units in pseudouridine | The N1 imino units in Escherichia coli tRNAfMet, tRNAGlu, tRNAPhe, and tRNATyr were studied by 1H-15N NMR using three different techniques to suppress signals of protons not attached to 15N. Two of the procedures, Fourier internuclear difference spectroscopy and two-dimensional forbidden echo spectr... | Escherichia coli; Magnetic resonance spectroscopy; Nucleic acid conformation | 1985-08-15 |
| 16 |
 |
Poulter, Charles Dale; Davis, Darrell R. | 15N-labeled Escherichia coli tRNAfMet, tRNAGlu, tRNATyr, and tRNAPhe. Double resonance and two-dimensional NMR of N1-labeled pseudouridine. | The N1 imino units in Escherichia coli tRNAfMet, tRNAGlu, tRNAPhe, and tRNATyr were studied by 1H-15N NMR using three different techniques to suppress signals of protons not attached to 15N. Two of the procedures, Fourier internuclear difference spectroscopy and two-dimensional forbidden echo spectr... | Escherichia coli; Magnetic resonance spectroscopy; Nitrogen; Nucleic acid conformation | 1985-08-15 |
| 17 |
 |
Poulter, Charles Dale; Davis, Darrell R. | 15N-labeled tRNA. Identification of 4-thiouridine in Escherichia coli tRNASer1 and tRNATyr2 by 1H-15N two-dimensional NMR spectroscopy. | Uridine is uniquely conserved at position 8 in elongator tRNAs and binds to A14 to form a reversed Hoogsteen base pair which folds the dihydrouridine loop back into the core of the L-shaped molecule. On the basis of 1H NMR studies, Hurd and co-workers (Hurd, R. E., Robillard, G. T., and Reid, B. R. ... | Magnetic resonance spectroscopy | 1986-09-15 |
| 18 |
 |
Poulter, Charles Dale; Davis, Darrell R. | 15N-labeled tRNA. Identification of dihydrouridine in Escherichia coli tRNAfMet, tRNALys, and tRNAPhe by 1H-15N two-dimensional NMR. | The N3 imino units of dihydrouridine were identified in samples of 15N-labeled Escherichia coli tRNAfMet, tRNALys, and tRNAPhe by 1H-15N two-dimensional NMR. The peaks for dihydrouridine had high field 1H (9.7-9.8 ppm) and 15N (147.8-149.5 ppm) chemical shifts. Assignments were made by 1H-15N chemic... | Hydrogen Bonding; Magnetic Resonance Spectroscopy; Magnetic Resonance Spectroscopy | 1986-03-15 |
| 19 |
 |
Seger, Jon | 1998 Sewall Wright Award: William Donald Hamilton | The Sewall Wright Award was established in 1991 to honor active investigators who have contributed in especially significant ways to the conceptual unification of the biological sciences. This year's recipient is William D. Hamilton of Oxford University. Beginning in the 1960s with his papers on the... | Evolution; Biological; Research | 1999 |
| 20 |
 |
Miller, Joel Steven | 1H NMR investigation of the magnetic spin configuration in the molecule-based ferrimagnet [MnTFPP][TCNE] | 1H NMR line-shape measurements have been performed in the linear chain molecule-based ferrimagnet [MnTFPP][TCNE].xPhMe (TFPP=tetrakis(4-fluorophenyl)porphinato; TCNE=tetracyanoethylene) as a function of temperature. Hyperfine shifts of opposite sign were observed indicating the presence of two oppo... | Magnetization; Magnets; Paramagnetic | 2002 |
| 21 |
 |
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 |
| 22 |
 |
Johnston, Susan S. | 20 ways to maximize the use of single switch technology with students with severe disabilites | Students with severe physical and/or cognitive disabilities may find it very difficult to engage in activities in their environment. Single switch technology can provide the means for adapting activities to meet student's diverse needs (Brett, 1995). Single switches can be used as tools for promoti... | Single switch; Severe disabilities; Assistive technology; Disabled students | 2006 |
| 23 |
 |
Rosen, Paul Andrew | 2D vector field simplification based on robustness | Vector field simplification aims to reduce the complexity of the flow by removing features in order of their relevance and importance, to reveal prominent behavior and obtain a compact representation for interpretation. Most existing simplification techniques based on the topological skeleton succes... | 2014-01-01 | |
| 24 |
 |
Clark, James Henry | 3-D Design of free-form B-Spline surfaces (CSTD-74-005) | This report describes an experimental system for designing free-form B-spline surfaces using a head-mounted display. In this system, the interaction with the surfaces takes place in three dimensions as the designed object's shape Is updated in real-time. The report also examines some of the problems... | Computer animation | 1974-09 |
| 25 |
 |
Zhdanov, Michael S. | 3-D magnetic inversion with data compression and image focusing | We develop a method of 3-D magnetic anomaly inversion based on traditional Tikhonov regularization theory. We use a minimum support stabilizing functional to generate a sharp, focused inverse image. An iterative inversion process is constructed in the space of weighted model parameters that acce... | 2002-01-01 | |
| 26 |
 |
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 |
| 27 |
 |
Ailion, David Charles | 31P NMR spin-lattice relaxation: structural glass dynamics in Rb1-x(ND4)xD2PO4 | We performed 3 1P NMR measurements of the temperature-dependent spin-lattice relaxation time in several mixed single crystals of Rbi_x(ND4 ) xD2P04 [DRADP] having different ammonium concentration x (x =0.22, 0.44, 0.78) as well as in three pure single crystals (ND4)D2P04 [DADP], (NH4)H2P04 [ADP], an... | NMR; Spin-lattice; Relaxation; Crystals; Glass; Spin-glass | 1993 |
| 28 |
 |
Ailion, David Charles; Blinc, Robert | 35Cl spin-lattice relaxation in incommensurate bis(4-chlorophenyl)sulfone | The 35C1 nuclear-quadrupole-resonance (NQR) spin-lattice relaxation rate in incommensurate bis(4- chlorophenyl)sulfone (BCPS) is determined by Raman processes below 60 K and by direct one-phonon processes above 60 K. The variation of the 35C1 spin-lattice relaxation rate over the incommensurate NQR... | 35Cl; Incommensurate bis(4-chlorophenyl)sulfone; Raman processes; NQR; Incommensurate systems | 1995-01 |
| 29 |
 |
Miller, Jan D.; Lin, Chen-Luh | 3D analysis of particulates in mineral processing systems by cone beam X-ray microtomography | In general, x-ray computed tomographic (CT) techniques are able to provide 3D images of the internal structure of opaque materials in a nondestructive manner. The unique cone beam geometry allows acquisition of all 2D projections with only one rotation of the sample thus providing for fast data acqu... | X-ray microtomography; Liberation; Heap leaching; Exposure analysis; Coal washability | 2003 |
| 30 |
 |
Zhdanov, Michael | 3D inversion of airborne electromagnetic data | Time-domain airborne surveys gather hundreds of thousands of multichannel, multicomponent samples. The volume of data and other complications have made 1D inversions and transforms the only viable method to interpret these data, in spite of their limitations. We have developed a practical methodolog... | 2012-01-01 | |
| 31 |
 |
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 |
| 32 |
 |
Gerig, Guido | 3D of brain shape and volume after cranial vault remodeling surgery for craniosynostosis correction in infants | The 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 | |
| 33 |
 |
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 | |
| 34 |
 |
Gerig, Guido | 3D tensor normalization for improved accuracy in DTI tensor registration methods | This paper presents a method for normalization of diffusion tensor images (DTI) to a xed DTI template, a pre-processing step to improve the performance of full tensor based registration methods. The proposed method maps the individual tensors of the subject image in to the template space based on ma... | 2012-01-01 | |
| 35 |
 |
Morse, Michael David | The 3d?Ni(?F)3d10Cu???*? manifold of excited electronic states of NiCu | Diatomic NiCu has been supersonically cooled in a molecular beam and investigated by resonant two-photon ionization spectroscopy. A total of nine band systems connecting the ground 3d?Ni3??Cu??, X 2?5/2 state to the 3d?Ni(3F)3d??Cu??*?? manifold of states have been found, and bands of eight of these... | 1992 | |
| 36 |
 |
Saam, Brian | 3He spin exchange cells for magnetic resonance imaging | We present a protocol for the consistent fabrication of glass cells to provide hyperpolarized (HP) 3He for pulmonary magnetic resonance imaging. The method for producing HP 3He is spin-exchange optical pumping. The valved cells must hold of order 1 atm.L of gas at up to 15 atm pressure. Because char... | 3He; Spin exchange cells; Hyperpolarized 3He; Pulmonary magnetic resonance imaging; Spin-exchange optical pumping; SEOP; Glass cells | 2002 |
| 37 |
 |
Gerig, Guido | 4D active cut: an interactive tool for pathological anatomy modeling | 4D pathological anatomy modeling is key to understanding complex pathological brain images. It is a challenging problem due to the difficulties in detecting multiple appearing and disappearing lesions across time points and estimating dynamic changes and deformations between them. We propose a novel... | 2014-01-01 | |
| 38 |
 |
Gerig, Guido | 4D modeling of infant brain growth in Down's Syndrome and controls from longitudinal MRI | Modeling of early brain growth trajectories from longitudinal MRI will provide new insight into neurodevelopmental characteristics, timing and type of changes in neurological disorders from controls. In addition to an ongoing large-scale infant autism neuroimaging study 1, we recruited 4 infants wit... | 2014-01-01 | |
| 39 |
 |
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 | |
| 40 |
 |
Myntti, Jeremy | 5 Photo Scanning Tips | Presentation on digitizing photographs at the RootsTech Conference, Salt Lake City, Utah. | Family history; Digital images; Photographs | 2019-02-28 |
| 41 |
 |
Mitchell, Joyce A. | 50 Years of informatics research on decision support: what's next | Objectives: To reflect on the history, status, and future trends of decision support in health and biomedical informatics. To highlight the new challenges posed by the complexity and diversity of genomic and clinical domains. To examine the emerging paradigms for sup - porting cost-effective, person... | 2011-01-01 | |
| 42 |
 |
Ailion, David Charles | 79Br nuclear-quadrupole-resonance lineshape and Raman-induced spin-lattice relaxation in the incommensurate phase of β- ThBr4 | We performed 7 9Br nuclear-quadrupole-resonance (NQR) line-shape and spin-lattice relaxation time measurements in the incommensurate (D system j8-ThBr4 over the temperature range 293-2.5 K. In addition, we extended the theory of the effects of Raman processes on amplitudon and phason spin-lattice re... | Spin-lattice; NQR; Raman process; Line shape; Phason gap; Incommensurate systems | 1989 |
| 43 |
 |
Morse, Michael David | The 846 nm A? ???u ? ??? band system of jet-cooled V? | The 846 nm band system of jet-cooled 5?V2 has been recorded using resonant two-photon ionization spectroscopy, and is assigned as the A ? 3?u- +X ??g- band system. Both the ?'= 1u? ?" = 1g and ?'= Ou+ ??? = 0g+ subbands of the O-O band have been rotationally resolved and analyzed. Although the trans... | 1992 | |
| 44 |
 |
Ailion, David Charles | 93Nb NMR in the imcommensurate and quasi-commensurate phases of barium sodium niobate | NMR spectra have been measured for the quadrupole perturbed 1/2 -1/2 transition of 9 3Nb in barium sodium niobate (BSN) between 300 and 650 K. The spectra are inhomogeneously broadened in the incommensurate (/) phase between T7 = 580 K and r c = 540 K as well as in the quasicommensurate (QC) phase ... | NMR; Spectra; Barium sodium niobate; Line shapes | 1994 |
| 45 |
 |
Paiva, Marie | 96-97 Final report: ALA/USIA library fellow to ethiopia | The National Library of Ethiopia (NLE) in Addis Ababa requested a librarian to help with staff training, evaluate organizational procedures and processes, and make recommendations to the institution. In order to work on the objectives, Library seminar/discussions were held on various topics for both... | Ethiopia; Addis Ababa university; National library of Ethiopia; Librarianship | 1997-07-07 |
| 46 |
 |
Morse, Michael David | ???X??+ band systems of jet-cooled ScCo and YCo | Rotationally resolved resonant two-photon ionization (R2PI) spectra of ScCo and YCo are reported. The measured spectra reveal that these molecules possess ground electronic states of 1?+ symmetry, as previously found in the isoelectronic Cr2 and CrMo molecules. The ground state rotational constant... | 2010 | |
| 47 |
 |
Morse, Michael David | The ?IIou ?X ???g band system of jet-cooled Ti? | A band of jet-cooled ??Ti? has been located in the near infrared by resonant two-photon ionization spectroscopy. Rotational analysis has shown the band to be an ?? =O* ???=1 transition, which is consistent with the 3??g, ground state proposed by Bauschlicher ef al. [J. Chem. Phys. 95, 1057 ( 1991)]... | 1992 | |
| 48 |
 |
Olivera, Baldomero M. | ?O-Conotoxins inhibit NaV channels by interfering with their voltage sensors in domain-2 | The ?O-conotoxins MrVIA and MrVIB are 31-residue peptides from Conus marmoreus, belonging to the O-superfamily of conotoxins with three disulfide bridges. They have attracted attention because they are inhibitors of tetrodotoxin-insensitive voltage-gated sodium channels (NaV1.8) and could therefore ... | 2007 | |
| 49 |
 |
Miller, Joel Steven | [Cyanil]2 2- dimers possess long, two-electron ten-center (2e-/10c) multicenter bonding | A long, two-electron ten-center (2e-/10c) [8 carbon plus 2 oxygen] bond in diamagnetic dimers of radical-anion tetracyano-1,4-benzoquinoneide (cyanil, [Q]2 2-, is described by B2LYP and CASSCF92,2)/MCQDPT calculations. | Carbon bonds; Cyanil | 2008 |
| 50 |
 |
Miller, Joel Steven | [Et4N]2[TCNE]2 (TCNE = tetracyanoethylene) - an example of an exceptionally long 2.827 Ã CC bond | Interest in organic compounds exhibiting unusually long CC bonds has been the subject of several recent studies.1-3 The longest sp3-sp3 C-C single bond reported to date is 1.73 A°,1,2 whereas several [TCNE]22- (TCNE = tetracyanoethylene) dimers have been recently reported to form cation-assisted, l... | Synthesis; Crystal; Solution | 2001 |
| 51 |
 |
Miller, Joel Steven | [MeNC5H5]2[TCNE]2 (TCNE = tetracyanoethylene). Single crystal X-ray and neutron diffraction characterization of an exceptionally long 2.8 Å C-C bond | The reaction of N-methylpyridinium iodide, Mepy+I-, and tetracyanoethylene (TCNE) forms [Mepy]2[TCNE]2, which possesses [TCNE]2 2' with an intradimer C-C bond distance of 2.806(1)Å at 50 K from X-ray diffraction, and 2.801(4)Å at 50 K from neutron diffraction. In the IR it exhibits nChN absorption... | C-C bond; Tetracyanoethylene; Neutron diffraction; X-ray diffraction; Multicenter C-C bonding | 2009 |
| 52 |
 |
Warner, Homer R. | A "Link Trainer" for the Coronary Care Unit | Biomedical Informatics | 1968 | |
| 53 |
 |
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 | |
| 54 |
 |
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 | |
| 55 |
 |
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 | |
| 56 |
 |
Sekercioglu, Cagan | A birders quide to Turkey | As I write, it is early December and the woods outside my window lay dusted with snow like a holiday card by Currier and Ives. A minute ago, I looked up and caught a glimpse of an adult Cooper's Hawk dashing swiftly through the trees. It swooped up, landed on a branch, then briefly shook its tail an... | 2006-01-01 | |
| 57 |
 |
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 | |
| 58 |
 |
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 | |
| 59 |
 |
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 |
| 60 |
 |
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 |
| 61 |
 |
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 | |
| 62 |
 |
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 | |
| 63 |
 |
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 | |
| 64 |
 |
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 |
| 65 |
 |
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 |
| 66 |
 |
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 |
| 67 |
 |
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 |
| 68 |
 |
Neatrour, Anna; Myntti, Jeremy; Brunsvik, Matt; Witkowski, Alan; McBride, Brian; Maringanti, Harish | A Clean Sweep: The Tools and Processes of a Successful Metadata Migration | In 2016, the University of Utah's J. Willard Marriott Library migrated digital asset management systems from CONTENTdm, a vendor provided solution from OCLC, to Solphal, a homegrown system utilizing several open source tools. During the migration, issues with metadata led to a large-scale metadata c... | Digital libraries; Systems migration | 2017 |
| 69 |
 |
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 ... | ||
| 70 |
 |
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 |
| 71 |
 |
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 |
| 72 |
 |
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 |
| 73 |
 |
Jones, David T. | A comparative study of certain goblet cells | The origin of the primordial droplets has been rightly given the primary place in the study of secretion. Bowen has limited the term secretion to the actual synthesis of these droplets from cytoplasmic materials, which limitation we shall accept. The secondary problems in this field concern chieflly... | 1937-06 | |
| 74 |
 |
Mulaik, Dorothea De Muth | A comparative study of the urinogenital systems of an oviparous and two ovoviviparous species of the lizard genus sceloporus | In the comparative study of the urinogenital systems of the American lizards by Brooks (1906), all the species studied by him were oviparous. One of the genera, Sceloporus, is now known to contain ovoviviparous forms as well. The presence of both oviparity and ovoviviparity in the same genus suggest... | 1946-11-20 | |
| 75 |
 |
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 | |
| 76 |
 |
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 |
| 77 |
 |
Warner, Homer R. | A Comparison of Meta-1 and HELP Terms: Implications for Clinical Data | Biomedical Informatics | 1990 | |
| 78 |
 |
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 |
| 79 |
 |
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 |
| 80 |
 |
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 | |
| 81 |
 |
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 |
| 82 |
 |
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 | |
| 83 |
 |
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 | |
| 84 |
 |
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 |
| 85 |
 |
Warner, Homer R. | A Computer Based Information System for Patient Care | Biomedical Informatics | 1972 | |
| 86 |
 |
Durney, Carl H. | A computer graphics method for solving transcendental equations | There are a number of ways to determine the values of x which satisfy the equation F(x)=0. (The case of interest here is that in which F i s a complex function of the complex variable x.) One way is to search for values of x which make Real (F(x)) and Imaginary (F(x)) both zero at the same time wher... | Transcendental equations | 1970 |
| 87 |
 |
Pryor, T. Allan | A Computer Program for Stress Test Data Processing | Biomedical Informatics | 1974 | |
| 88 |
 |
Warner, Homer R. | A Computer System for the Cardiovascular Laboratory | Biomedical Informatics | 1974 | |
| 89 |
 |
Warner, Homer R. | A Computer-Based Diagnostic Model for Individual Case Review | Biomedical Informatics | 1995 | |
| 90 |
 |
Warner, Homer R. | A Computer-Directed Patient History: Functional Overview and Initial Experience | Biomedical Informatics | 1986 | |
| 91 |
 |
Mattis, Daniel C. | A contribution to the many-fermion problem | In this work we reexamine the many-fermion problem in arbitrary dimensions. It is shown that in two dimensions or higher, the Hamiltonian of interacting fermions can be separated into individual nonintersecting sectors labeled by the wave-vector q. Within each sector the Hamiltonian maps onto a gene... | 2012-01-01 | |
| 92 |
 |
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 |
| 93 |
 |
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 |
| 94 |
 |
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 |
| 95 |
 |
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 | |
| 96 |
 |
Warner, Homer R. | A Data-Trend Log and Bar Graph Dispaly for Physiological Monitoring | Biomedical Informatics | 1970 | |
| 97 |
 |
Warner, Homer R. | A Decision Support Technology Clearinghouse | Biomedical Informatics | 1988 | |
| 98 |
 |
Warner, Homer R. | A Decision-Driven System to Collect the Patient History | Biomedical Informatics | 1987 | |
| 99 |
 |
Mitchell, Joyce A. | A decision-support system for the analysis of clinical practice patterns | Several studies documented substantial variation in medical practice patterns, but physicians often do not have adequate information on the cumulative clinical and financial effects of their decisions. The purpose of developing an expert system for the analysis of clinical practice patterns was to a... | 1994-01-01 | |
| 100 |
 |
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 |
| 101 |
 |
Chamberlin, Ralph V. | A descriptive catalog of the Mollusca of Utah | In the preparation of this bulletin an effort has been made to bring together what was previously known of recent Utah mollusks and to incorporate with this the results of the authors' special studies. The form of presentation has been determined by the fact that, in the first place, the paper is in... | 1929-06 | |
| 102 |
 |
Anderson, Richard Bryan | A dialogue on PDA | 2011 | ||
| 103 |
 |
O'Connell, James F. | A Different Paradigm for the Initial Colonisation of Sahul: Archaeological, genetic, demographic and geographic perspectives | The questions of when and how humans reached Sahul, the Pleistocene continent of Australia and New Guinea, has remained a central issue of Australian archaeology since its development as an academic discipline in the mid-twentieth century. Additionally, this has been a dominant theme linking Austral... | Sahul; Wallacea; colonisation; isolation; genomics; mitochondrial DNA | 2019-08-20 |
| 104 |
 |
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... | ||
| 105 |
 |
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 | |
| 106 |
 |
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 |
| 107 |
 |
Warner, Homer R. | A Distributed Processing System for Patient Management | Biomedical Informatics | 1978 | |
| 108 |
 |
Narus, Scott P. | A domain analysis model for eIRB systems: addressing the weak link in clinical research informatics | Institutional Review Boards (IRBs) are a critical component of clinical research and can become a significant bottleneck due to the dramatic increase, in both volume and complexity of clinical research. Despite the interest in developing clinical research informatics (CRI) systems and supporting dat... | 2014-01-01 | |
| 109 |
 |
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 |
| 110 |
 |
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 |
| 111 |
 |
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 |
| 112 |
 |
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 |
| 113 |
 |
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 |
| 114 |
 |
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 |
| 115 |
 |
Fogel, Alan Dale | A dynamic systems approach to infant facial action | What does it mean when a baby smiles? Is it an expression of enjoyment, a signal to a partner that rewards effective caretaking, or simply a muscular contraction? Do physically different types of smiles indicate different things? Should the social context in which an infant smiles inform our unders... | 1997 | |
| 116 |
 |
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 |
| 117 |
 |
Whitaker, Ross T. | A fast iterative method for solving the eikonal equation on triangulated surfaces | 2012 | ||
| 118 |
 |
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 |
| 119 |
 |
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 | |
| 120 |
 |
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 | |
| 121 |
 |
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 |
| 122 |
 |
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 | |
| 123 |
 |
Mallat, Chibli | A 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 | |
| 124 |
 |
Mallat, Chibli | A Federal Israel-Palestine: Nonviolence and Law to End the 100-year Civil War | In 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 | |
| 125 |
 |
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 | |
| 126 |
 |
Gerig, Guido | A framework for longitudinal data analysis via shape regression | Traditional 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 | |
| 127 |
 |
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 |
| 128 |
 |
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 |
| 129 |
 |
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 |
| 130 |
 |
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 |
| 131 |
 |
Sobh, Tarek M. | A general review, graphical environment, and applications for discrete event and hybrid systems in Robotics and Automation | 1994 | ||
| 132 |
 |
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 |
| 133 |
 |
Kerber, Richard A. | A genome-wide study replicates linkage of 3p22-24 to extreme longevity in humans and identifies possible additional loci | Background: 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 | |
| 134 |
 |
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 | |
| 135 |
 |
Von Arnim, Rudiger Lennart | A global model of recovery and rebalancing | This 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 | |
| 136 |
 |
Arnim, Rudiger von | A global model of recovery and rebalancing | This paper presents an investigation of global recovery from the Great Recession and the rebalancing of global external imbalances, using a global model of 16 countries and composite regions. The model applies to the short term and only to the real side. Key features are demand-driven output determi... | Global imbalances; great recession; global model | 2012-08-01 |
| 137 |
 |
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 |
| 138 |
 |
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 |
| 139 |
 |
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 |
| 140 |
 |
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 | |
| 141 |
 |
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 | |
| 142 |
 |
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 | |
| 143 |
 |
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 |
| 144 |
 |
Chamberlin, Ralph Vary | A hundred new species of American spiders | In this paper, we describe a hundred new species of American spiders, most of them from North America, with a few from South America. These are a part of the new species which have been accumulating in the collection of the University of Utah, as well as several from the collections of the Field Mus... | 1942-06-30 | |
| 145 |
 |
Gerig, Guido | A joint framework for 4D segmentation and estimation of smooth temporal appearance changes | Medical imaging studies increasingly use longitudinal images of individual subjects in order to follow-up changes due to development, degeneration, disease progression or efficacy of therapeutic intervention. Repeated image data of individuals are highly correlated, and the strong causality of infor... | 2014-01-01 | |
| 146 |
 |
Codding, Brian F. | A land of work: foraging behavior and ecology | Work is a core theme in many of the major issues and debates in California archaeology. Work is central in understanding why the first Californians entered the region (e.g., Erlandson, this volume): how thousands of years of work following colonization resulted in the overexploitation of particular ... | Human behavioral ecology; Hunter-gatherer; North America: California | 2012-03-15 |
| 147 |
 |
Mallat, Chibli | A legal manifesto for the Lebanese Cabinet: Justice for Rafik Hariri and Moussa Sadr | Last week I pleaded for a legal manifesto for Irans Green Revolution. I am arguing this week for a judicial manifesto for the Lebanese Cabinet. I have no illusions. The turgid governmental manifesto, like the Arab Leagues declarations, will read as a litany of bullet points where each of the plet... | 2009-07-09 | |
| 148 |
 |
Kraus, Peter L. | A librarian runs for political office (or Cincinnatus looks outside the Ivory Tower) | Librarians have long been activists for social and political causes outside of their profession; however, few take the crucial step and actually run for political office at the local, state, or national level. In March 2014, after being involved in local and state politics for over ten years and ... | 2015-08-23 | |
| 149 |
 |
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 |
| 150 |
 |
Gerig, Guido | A longitudinal structural MRI study of change in regional contrast in Autism Spectrum Disorder | Authors: Avantika Vardhan1, Joseph Piven2, Marcel Prastawa3, Guido Gerig3 Institutions: 1Scientific Computing and Imaging Institute, University of Utah, Salt Lake City, United States, 2Dept of Psychiatry, UNC School of Medicine, Chapel Hill, NC, 3University of Utah, Salt Lake City, UT Introduction: ... | 2013-01-01 | |
| 151 |
 |
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 | |
| 152 |
 |
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 | |
| 153 |
 |
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 | |
| 154 |
 |
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 | |
| 155 |
 |
Warner, Homer R. | A Mathematical Approach to Medical Diagnosis: Application to Congenital Heart Disease | Biomedical Informatics | 1992 | |
| 156 |
 |
Warner, Homer R. | A Mathematical Approach to Medical Diagnosis: Application to Polycythemic States Utilizing Clinical Findings with Values Continuously Distributed | Biomedical Informatics | 1969 | |
| 157 |
 |
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 | |
| 158 |
 |
Mitchell, Joyce A. | A medical microcomputer database management system | The Patient Data Handler (PDH) is a general purpose, interactive, relational database management system (DBMS) which was created to store and retrieve the patient records stemming from a research project centering upon the genetic causes and diagnosis of concomitant deafness and blindness [1, 5]. Th... | 1985-01-01 | |
| 159 |
 |
Bennion, Scott Thomas | A method of solution for hydrodynamics and radiation diffusion as a multi-material problem in one dimension | Multi-material problem | 1971 | |
| 160 |
 |
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 | |
| 161 |
 |
Battin, Margaret P. | A midwife through the dying process: stories of healing and hard choices at the end of life | In Timothy Quill's recounting of the deaths of nine patients, the final description is of the planned death of Jules: at home, surrounded by family members, and aided by a physician. It is a moving, true story, recounted in meticulous detail, from the first diagnosis to the final dose of barbiturat... | 1997 | |
| 162 |
 |
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 | |
| 163 |
 |
Pryor, T. Allan | A MLM-Based Order Entry System: The Use of Knowledge in a Traditional HIS Application | Biomedical Informatics | 1990 | |
| 164 |
 |
Bennett, Donald R. | A Model for the Telephone Transmission of Six-Channel Electroencephalograms | Biomedical Informatics | 1970 | |
| 165 |
 |
Adamczyk, Abby | A model to integrate data curation services with additional campus services related to research | The University of Utah has three libraries: main, health sciences, and law. The librarians at the main and health sciences libraries are working together to improve current services and develop new services for researchers. A recent survey of research resources on campus and on the University websit... | Data curation services; Development; Research data life cycle; Data repositories; Data management plans | 2012 |
| 166 |
 |
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 |
| 167 |
 |
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 |
| 168 |
 |
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 |
| 169 |
 |
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 | |
| 170 |
 |
Miller, Jan D. | A new cone beam X-ray microtomography facility for 3D analysis of multiphase materials | Three-dimensional x-ray microtomography offers a unique imaging capability. Spatial resolution on the order of ten microns can be achieved with the use of microfocus x-ray generators. Recently, a state-of-the-art, flexible cone beam x-ray microtomography system has been installed at the University o... | 2001-01-01 | |
| 171 |
 |
Swalberg, AJa | A new denazinemys (baenid turtle) specimen from the upper cretaceous wahweap formation | 2012-04-18 | ||
| 172 |
 |
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 | |
| 173 |
 |
Gerig, Guido | A new framework for analyzing white matter maturation in early brain development | The trajectory of early brain development is marked by rapid growth presented by volume but also by tissue property changes. Capturing regional characteristics of axonal structuring and myelination via neuroimaging requires analysis of longitudinal image data with multiple modalities. Complementary ... | 2010-01-01 | |
| 174 |
 |
Chamberlin, Ralph V. | A new genus in the family agelenidae | Mr. J. H. Emerton in 1911 described a new species of spiders under the name Liocranum calcaratum, mistakenly placing it in the family Clubionidae (Trans. Conn. Acad. Arts and Sci., vol. X V I , p. 402, pi. V, ff. 4 -4 f ) . This disposition o f the species was natural in view of its resemblance to c... | 1933-07 | |
| 175 |
 |
Chamberlin, Ralph V. | A new genus of theridiid spiders in which the male develops only one palpus | The discovery of the male of Theridion fordum Keyserling, reveals characteristics for that species which set it off as genericallv different, from Theridion proper. The erection of a new genus is thus found necessary for this species; and several other species which are closely related to it natural... | 1934-04 | |
| 176 |
 |
Durrant, Stephen D. | A new gopher from Antelope Island, Great Salt Lake, Utah | The present paper presents the results of a study of a series of specimens taken around the Great Salt Lake and on Antelope Island in this lake, the series forming part of the collection of the University of Utah. The form from Antelope Island differs sufficiently from the described subspecies of Th... | 1936-10 | |
| 177 |
 |
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 |
| 178 |
 |
A new look for CONENTdm: a user-centered approach | CONTENTdm Western Users Group, June 3 2010. | 2010-06-03 | ||
| 179 |
 |
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 | |
| 180 |
 |
Durrant, Stephen D. | A new pocket gopher from the Oquirrh Mountains, Utah | Continued studies of the pocket gophers of the talpoides group from Utah have disclosed the existence of an hitherto undescribed race indigenous to the Oquirrh Mountains, which are located in Utah, Tooele and Salt Lake Counties. | 1939-10-24 | |
| 181 |
 |
Durrant, Stephen D. | A new pocket gopher of the thomomys quadratus group from the Northern Great Basin Region | Critical examination of specimens of Thomomys quadratus from Utah has brought to light the existence of an hitherto unnamed race from the Raft River region in the northwest corner of the state and contiguous areas of Idaho and Nevada. Extensive material from northeastern Nevada in the collection of ... | 1939-02-28 | |
| 182 |
 |
Brenckle, J. F. | A new polygonum from Garfield County, Utah | The plant described below was collected 6 miles north of Escalante, Garfield Co., Utah, by W . P. Cottam, Sept. 17, 1935. It was found growing in great abundance along sandy ravines on the rocky Navajo sandstone spur which projects southward from the Aquarius Plateau. The type specimen, No. 65 0 7 ,... | 1940-06-27 | |
| 183 |
 |
Cottam, Walter P. | A new violet from Utah | A beautiful violet strikingly different from any species heretofore reported from Utah was discovered by the writer growing 011 vacant property on the outskirts of Salt Lake City at the corner of 13th South and 17th E as t streets, April 17, 1937.*' This property and neighboring areas to the east ha... | 1939-06-28 | |
| 184 |
 |
Warner, Homer R. | A Non-Stready-State Kinetic Evaluation of the Mechanism of Cortisone-Induced Granulocytosis | Biomedical Informatics | 1968 | |
| 185 |
 |
Wunderlich, Adam James | A nonparametric procedure for comparing the areas under correlated LROC curves | In contrast to the receiver operating characteristic (ROC) assessment paradigm, localization ROC (LROC) analysis provides a means to jointly assess the accuracy of localization and detection in an observer study. In a typical multireader, multicase (MRMC) evaluation, the data sets are paired so that... | 2012-01-01 | |
| 186 |
 |
Pryor, T. Allan | A Note on Filtering Electrocardiograms | Biomedical Informatics | 1971 | |
| 187 |
 |
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 |
| 188 |
 |
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 |
| 189 |
 |
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 | |
| 190 |
 |
Dale, Colin | A novel human-infection-derived bacterium provides insights into the evolutionary origins of mutualistic insect-bacterial symbioses | Despite extensive study, little is known about the origins of the mutualistic bacterial endosymbionts that inhabit approximately 10% of the world's insects. In this study, we characterized a novel opportunistic human pathogen, designated ‘‘strain HS,'' and found that it is a close relative of th... | 2012-01-01 | |
| 191 |
 |
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 |
| 192 |
 |
Morse, Michael David | A pair potentials study of matrix-isolated atomic zinc. II. Intersystem crossing in rare-gas clusters and matrices | The mechanism of 4p 1P1?4p 3PJ intersystem crossing (ISC) following excitation of the 4p 1P1 level of matrix-isolated atomic zinc is investigated using a pair potentials approach. This is achieved by extending earlier ISC calculations on the Zn?RG2 and Zn?RG3 complexes to the square planar Zn?RG4 ... | 1998 | |
| 193 |
 |
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 |
| 194 |
 |
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 |
| 195 |
 |
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 | |
| 196 |
 |
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 |
| 197 |
 |
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 |
| 198 |
 |
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 |
| 199 |
 |
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 | |
| 200 |
 |
Suchy, Yana | A picture is worth a thousand words: effects of emotional distracters on executive task performance | 2011-04-20 |