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 |