UScholar Works
 
Filters: Collection: "ir_uspace" Type: "Image" Format: "application/pdf"
126 - 150 of 195
Number of results to display per page
CreatorTitleDescriptionSubjectDate
126 Gopalakrishnan, Ganesh; Humphrey, Alan Parker; Derrick, Christopher GladeAn integration of dynamic MPI formal verification within eclipse PTPOur research goals were to verify practical MPI programs for deadlocks, resource leaks, and assertion violations at the push of a button and be able to easily visualize the results. We also sought to integrate these capabilities with the Eclipse IDE via an Eclipse plug-in for the Parallel Tools Plat...Verification; Graphical User Interfaces; Dynamic Interleaving Reduction; Message Passing; MPI; Multi-core; Eclipse Parallel Tools Platform; Trapeze Interactive Poster2010-03-15
127 Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael IiPUG : A Symbolic Verifier of GPU ProgramsPUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for Data Races, Barrier mismatches, Totally wrong results, and Weak memory model related bugs. SMT-based correctness checking methods for these error are often more scalable, general and modular.2010-10-06
128 Taylor, Linda JoEmeritus alumni scholarship: enpowering refugee students to go to college2011-04-27
129 Furse, Cynthia M.Utah's engineers: a statewide initiative for growthImagine finding a place where inventors gather to create their inventions. Envision getting a sneak peek at the latest technological innovations in engineering and computer science. Can you see yourself as an inventor? Join us on February 20 for Meet an Inventor Day sponsored by the students of...2010-10-06
130 Adamczyk, Abby LaurenRe-evaluate your Library Website using card sortsPoster explaining how members of the Web Content Team used card sorts to evaluate the current organization of the library website. Responses from the participants helped us make adjustments to the site's hierarch, improving its usability.website usability, card sort, website evaluation, website organization, intuitive navigation,2011-09-12
131 Forster, Richard R.QuickSCAT derived snow accumulation estimates in the dry snow, percolation and wet snow zones of the Greenland ice sheet2011
132 Keiter, Linda S.Promoting unrequired reading in an academic libraryThe Unrequired Reading Group (URG) was established at the University of Utah, Marriott Library in 1998 to promote reading beyond the boundaries of the curriculum. A student's time spent at a college or university is one of discovery and searching, and much learning may take place outside the classr...Trapeze Interactive Poster2010
133 Li, MinqiThe structure of trade in the United States and China2011
134 Hayes, Bradley T.Immediate effects of muscular fatigue on postural stability and motoneuron pool excitability in healthy adults2011-04-27
135 Narus, Scott P.; Hales, Joseph W.; Poynton, Mollie Rebecca; Evans, R. ScottEnhancing continuity of care through an emergency medical card at Intermountain Healthcare: using the continuity of care record standardComplex and fragmented healthcare systems hamper provision of effective care where it is needed most. 1 In most instances, continuity of care is rarely considered during referral, transfer, or discharge of patients from one caregiver to another. 2,3 The dearth of pertinent current and historical hea...Continuity of care; Emergency medical card; Trapeze Interactive Poster2009
136 DuVall, Scott L.Identifying data set specific duplicate patient recordsProbabilistic models are commonly used in the identification of duplicate records. These methods are usually more accurate than deterministic methods, but are exponentially more computationally complex. Thus to make them computationally feasible, they rely on deterministic blocking strategies. Th...Probabilistic models; Duplicate records; Duplicate patient records; Trapeze Interactive Poster2009
137 Chatterjee, Niladrish; Balasubramonian, Rajeev; Davis, Alan L.Rethinking DRAM design and organization for energy-constrained multicoresDRAM vendors have traditionally optimized for low cost and high performance, often making design decisions that incur energy penalties. For example, a single conventional DRAM access activates thousands of bitlines in many chips, to return a single cache line to the CPU. The other bits may be access...DRAM power consumption; Data-center power; Multicore memory; Trapeze Interactive Poster2010-03-15
138 Nguyen, Tuyet Le Thanh; Gowen, Sean Michael; Hughen, Ronald; Light, Alan R.RNA amplification of dorsal root ganglion neurons retrogradely labeled with Di-I signaling chronic pain and fatigueIn muscles, there are neurons of groups III and IV that correspond to two kinds of afferents or nerves. In previous studies regarding the responses of these afferents in skeletal muscle, singe mechanical stimuli evoked responses. Chemical stimuli are equally important, as they are responsible for ...RNA amplification; DRG neurons; Di-I; Chronic fatigue; Trapeze Interactive poster2010-03-15
139 Johnson, Robert R.Patterns of patternsPurpose of this Poster is to demonstrate that it takes the patterns of values in all the many dimensions to place each patient in the final patterns shown in each of the 5 charts. The final patterns determine the ability of each technology to identify or distinguish patients in each class. It is p...Gene patterns; Colon cancer; Trapeze Interactive poster2010-03-15
140 Kasera, Sneha K.; Patwari, NealMobility Assisted Secret Key GenerationSignature Based Key Generation. Wireless link signature; multiple paths caused by radio waves; their measurements are good signatures of links; link signatures measured almost symmetrically at two ends of wireless link, but cannot be measured from another location; use for secret key establishment;...
141 Bonella, Barrett Albert TroyPodcasts in higher educationTechnology is increasingly becoming a part of everyday life. Some technologies traditionally used for entertainment are now becoming the center of focus in academic circles. One such technology is the podcast, an audio file that is typically free and consists of individuals speaking on different t...TA Scholars; podcasts; Trapeze Interactive Poster2010-05-27
142 Kentor, Jeffrey D.Position in the World Economy 1820-20072011
143 Jenson, Justin Michael; Bock, Susan C.Mitigating spinal cord injuryHow would your life change if you became one of the 15,000 Americans to suffer a spinal cord injury this year? Trauma to the spinal cord causes immediate loss of function below the level of the injury. Then, in the hours and days after the accident, the body's secondary injury response may extend ...Trapeze Interactive Poster2010-03-15
144 Joshi, Sarang; Venkatasubramanian, SureshMatching shapes using the current distanceCurrent Distance: It was introduced by Vaillant and Glaunès as a way of comparing shapes (point sets, curves, surfaces). This distance measure is defined by viewing a shape as a linear operator on a k-form field, and constructing a (dual) norm on the space of shapes. Shape Matching: Given two s...
145 Ecsedy, Kathryn Lyn; Harvey, Ian R.The artistic applications of M.E.M.S.: gallery on a chipOur research explored the crossroads between art and science to create tiny devices known as MEMS (Micro Electrical Mechanical Systems). These artistic devices are powered by micro charge-pumped actuation of electrons in a scanning electron microscope, utilizing a phenomenon once considered an irri...Artistic applications; MEMS; Micro Electrical Mechanical Systems; Kinetic micro sculpture; Micro charge pump actuation; Trapeze Interactive Poster2010-03-15
146 Li, Peng; Regehr, JohnT-check: bug finding for sensor networksA safety property is true if something bad never happens. If any state in an execution violates the safety property, the entire execution violates that property. A liveness property holds if something good will eventually happen. An execution satisfies a liveness property if the execution will en...2010-02-26
147 Regehr, John; Pagariya, Rohit PannalaljiDirect equivalence testingTesting embedded software is difficult. • Further complicated by presence of memory and type safety errors in software. • Compiler contain various known bugs. Developers are skeptical to upgrade the compilers. • Is your embedded software affected by memory safety and compilation erro...
148 Collins, Zachary J.; Poelzing, StevenCharacterization of a four-camera ratiometric optical mapping systemElectrical activity precedes calcium mediated heart contractions. Optical mapping takes advantage of minimally invasive fluorescent molecular probes to image both electrical and calcium activity. These molecular probes allow for ratiometric imaging. We characterize a four camera system capable of...Optical mapping; Ratiometric imaging; Di-4-ANEPPS; Indo-1; Trapeze Interactive Poster2010-03-15
149 Wei, Y. H. DennisMulti-scale regional inequality in Guangdong, China2011
150 Sansone, CarolThe relationship between motivation & Engagement in online lessions: the role of performance goals
126 - 150 of 195