UScholar Works
 
Filters: Format Medium: "application/pdf" School Or College: "College of Engineering" Collection: "ir_uspace"
1 - 25 of 2,226
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Gopalakrishnan, GaneshThe 'test model-checking' approach to the verification of formal memory models of multiprocessorsWe 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; Checking1998
2 Gopalakrishnan, GaneshThe 'Test model-checking' approach to the verification of formal memory models of multiprocessorsWe 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; Verification1998
3 Liu, Feng(BAl12)Cs: a cluster-assembled solidFirst-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 clusters1997-06
4 Furse, Cynthia M.13 crazy, notorious things to do in an EM classThe 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; Fun2005-06
5 Sarofim, Adel F.; Pugmire, Ronald J.13C NMR analysis of soot produced from model compounds and a coalSoot 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 size2001
6 Smith, Grant D.; Borodin, Oleg; Bedrov, Dmitro13C NMR spin-lattice relaxation and conformational dynamics in a 1,4-polybutadiene meltWe 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 simulation2001
7 Rosen, Paul Andrew2D vector field simplification based on robustnessVector 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
8 Clark, James Henry3-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 animation1974-09
9 Bhanu, Bir3-D model building for computer visionThis 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 vision1985
10 Gooch, Amy A.; Gooch, Bruce; Willemsen, Peter; Kniss, Joe; Riesenfeld, Richard F.; Shirley, Peter S.3D Line textures and the visualization of confidence in ArchitectureThis 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 walkthroughs2007
11 Gerig, Guido3D of brain shape and volume after cranial vault remodeling surgery for craniosynostosis correction in infantsThe skull of young children is made up of bony plates that enable growth. Craniosynostosis is a birth defect that causes one or more sutures on an infant's skull to close prematurely. Corrective surgery focuses on cranial and orbital rim shaping to return the skull to a more normal shape. Functional...pediatric neuroimaging; plastic surgery; shape regression; volumetric analysis; shape analysis2013-01-01
12 Furse, Cynthia M.3D ray-tracing for intra-vehicle environmentsIn 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
13 Gerig, Guido3D tensor normalization for improved accuracy in DTI tensor registration methodsThis 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
14 Gerig, Guido4D active cut: an interactive tool for pathological anatomy modeling4D 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
15 Gerig, Guido4D modeling of infant brain growth in Down's Syndrome and controls from longitudinal MRIModeling 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...specifically2014-01-01
16 Khan, Faisal Habib5 kW multilevel DC-DC converter for hybrid electric and fuel cell automotive applicationsA 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
17 Blair, StevenA 3D glass optrode array for optical neural stimulationThis 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
18 Khan, Faisal HabibA 5 kW Bi-directional multilevel modular DC-DC converter (MMCCC) featuring built in power management for fuel cell and hybrid electric automobilesAbstract- 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
19 Mathews, V. JohnA baseband residual vector quantization algorithm for voiceband data signalsAbstract-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
20 Mathews, V. John; Schlegel, ChristianA blind adaptive projection receiver for CDMA systemsAbstract - 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
21 Mathews, V. John; Schlegel, ChristianA blind projection receiver for coded CDMA systemsABSTRACT 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
22 Poeppelmeier, Charles ChristianA boolean sum interpolation scheme to random data for computer aided geometric designThis 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 functions1975
23 Ziegenfuss, DonnaA Busy Professor's Guide to Sanely Flipping Your ClassroomThe 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 pedagogy2019
24 Furse, Cynthia M.A busy professors guide to sanely flipping your classroomThis 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
25 Balasubramonian, RajeevA case for increased operating system support in chip multi-processorsWe 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
1 - 25 of 2,226