Physical Sciences and Mathematics Commons^™

Enabling Remote Access To Personal Electronic Medical Records, James K. Archibald, Eric S. Hall, Charles D. Knutson, David K. Vawdrey

Faculty Publications

Millions of people suffer from medical conditions that should be made known to healthcare practitioners prior to treatment. Paramedics and emergency room doctors cannot provide optimal care without sufficient knowledge of a patient’s medical history. Lacking patient information such as allergies, current prescriptions, and preexisting conditions, medical professionals are often forced to either delay treatment or rely on instincts. Medical mistakes in situations like these kill thousands of people and cost an estimated US$37 billion each year in the United States [1]. With the advent of electronic medical records (EMRs), patient information can be stored in computer databases at hospitals …

Decay Of Trapped-Particle Asymmetry Modes In Non-Neutral Plasmas In A Malmberg-Penning Trap, Grant W. Mason

Faculty Publications

The mechanism for the strong damping of diocotron-like azimuthal trapped-particle asymmetry modes in a Malmberg-Penning trap is investigated with a detailed three-dimensional particle-in-cell computer simulation. The m = 1,kzis not equal to 0 modes are created by a voltage squeeze from a mid-detector ring followed by a displacement of trapped particles in opposite directions on either side of the ring. The voltage squeeze creates a population of particles confined to half the trap length (trapped) and a population of particles that move longitudinally along the full length of the cylinder (untrapped). The damping of the modes is found to be …

Model-Based Human-Centered Task Automation: A Case Study In Acc System Design, Michael A. Goodrich, Erwin R. Boer

Faculty Publications

Engineers, business managers, and governments are increasingly aware of the importance and difficulty of integrating technology and humans. The presence of technology can enhance human comfort, efficiency, and safety, but the absence of human factors analysis can lead to uncomfortable, inefficient, and unsafe systems. Systematic human-centered design requires a basic understanding of how humans generate and manage tasks. A very useful model of human behavior generation can be obtained by recognizing the task-specific role of mental models in not only guiding execution of skills but also managing initiation and termination of these skills. By identifying the human operator’s mental models …

Optically Oriented And Detected Electron Spin Resonance In A Lightly Doped N-Gaas Layer, John S. Colton, T. A. Kennedy, A. S. Bracker, D. Gammon, J. B. Miller

Faculty Publications

Spin resonance of localized electrons bound to donors in a specially designed n-GaAs layer has been performed at 236 MHz and 41 mT, using circular polarized light to polarize the electrons and photoluminescence to detect the electronic polarization. The polarization was diminished under the resonance condition. The electronic g factor obtained by this measurement is - 0.41 ± 0.01. The resonance linewidth of 2 mT corresponds to a spin lifetime of 28 ns. In order to observe the electronic spin resonance, nuclear effects were eliminated by application of rf fields to simultaneously resonate the nuclear spins.

Protecting Sensitive Credential Content During Trust Negotiation, Ryan D. Jarvis

Theses and Dissertations

Keeping sensitive information private in a public world is a common concern to users of digital credentials. A digital credential may contain sensitive attributes certifying characteristics about its owner. X.509v3, the most widely used certificate standard, includes support for certificate extensions that make it possible to bind multiple attributes to a public key contained in the certificate. This feature, although convenient, potentially exploits the certificate holder's private information contained in the certificate. There are currently no privacy considerations in place to protect the disclosure of attributes in a certificate. This thesis focuses on protecting sensitive credential content during trust negotiation …

Modes In A Non-Neutral Plasma Of Finite Length, M = 0,1, S. Neil Rasband, Ross L. Spencer

Faculty Publications

For realistic, cold equilibria of finite length representing a pure electron plasma confined in a cylindrical Malmberg–Penning trap, the mode spectrum for Trivelpiece–Gould, m=0, and for diocotron, m=1, modes is calculated numerically. A novel method involving finite elements is used to successfully compute eigenfrequencies and eigenfunctions for plasma equilibria shaped like pancakes, cigars, long cylinders, and all things in between. Mostly sharp-boundary density configurations are considered but also included in this study are diffuse density profiles including ones with peaks off axis leading to instabilities. In all cases the focus has been on elucidating the role of finite length in …

Sandwich Theorem And Calculation Of The Theta Function For Several Graphs, Marcia Ling Riddle

Theses and Dissertations

This paper includes some basic ideas about the computation of a function theta(G), the theta number of a graph G, which is known as the Lovasz number of G. theta(G^c) lies between two hard-to-compute graph numbers omega(G), the size of the largest lique in a graph G, and chi(G), the minimum number of colors need to properly color the vertices of G. Lovasz and Grotschel called this the "Sandwich Theorem". Donald E. Knuth gives four additional definitions of theta, theta_1, theta_2, theta_3, theta_4 and proves that they are all equal.

First I am going to describe the proof of the …

Inverse Multiplexing In Short-Range Multi-Transport Wireless Communications, Lichen Dai, Heidi R. Duffin, James C. Funk, Charles D. Knutson

Faculty Publications

This paper describes a mechanism for utilizing Inverse Multiplexing to significantly increase the bandwidth available to short-range wireless devices. Previous work with Inverse Multiplexing has focused on wired networks; its implementation with short-range wireless transports introduces heterogeneity in the links, which must be taken into account. A mathematical model for an Inverse Multiplexing system is derived for several scheduling algorithms. Both Process Limited and Transport Limited systems are examined. The validity of this model is shown by our implementation of an Inverse Multiplexing layer that uses IrDA and Bluetooth transports. Concepts related to Inverse Multiplexing such as usage models, negotiation, …

Transport Discovery In Wireless Multi-Transport Environments, Shannon B. Barnes, Charles D. Knutson, Ryan W. Woodings

Faculty Publications

In order to utilize multiple transports, devices must discover common mechanisms for communication, a procedure we call Multi-Transport Discovery. The Multi-Transport Discovery algorithm presented in this paper is a four-phase procedure (Transport Probing, Transport Querying, Address-to-Device Mapping, and Transport Accessibility) that can discover common transports within a multi-transport environment. Transport Probing uses a transport-dependent device discovery mechanism to discover an initial link. Transport Querying communicates over the probed link to query additional transports. Address-to-Device Mapping correctly correlates each transport to a remote device. Finally, Transport Accessibility periodically ascertains link availability during an application session.

Gaussian And Mean Curvatures Of Rational Bézier Patches, Thomas W. Sederberg, Jianmin Zheng

Faculty Publications

This note derives formulae for Gaussian and mean curvatures for tensor-product and triangular rational Bézier patches in terms of the respective control meshes. These formulae provide more geometric intuition than the generic formulae from differential geometry.

Ontology-Based Extraction Of Rdf Data From The World Wide Web, Timothy Adam Chartrand

Theses and Dissertations

The simplicity and proliferation of the World Wide Web (WWW) has taken the availability of information to an unprecedented level. The next generation of the Web, the Semantic Web, seeks to make information more usable by machines by introducing a more rigorous structure based on ontologies. One hinderance to the Semantic Web is the lack of existing semantically marked-up data. Until there is a critical mass of Semantic Web data, few people will develop and use Semantic Web applications. This project helps promote the Semantic Web by providing content. We apply existing information-extraction techniques, in particular, the BYU ontologybased data-extraction …

What The Universe Means To People Like Me, David D. Allred

Faculty Publications

When I picked up David's paper to read it, I had a pencil in my hand. Years of reading my students' and my own papers made it natural to edit as I read. However, I heard in my mind the voice of my mother advising me to put the pencil down. This wasn't time to edit but to hear and understand. Still, I kept the pencil in my hand for the first few pages and made a few notes before I put it down and just read. I could hear David's voice speaking the words I read. It was good …

Density Of States Simulations Of Proteins, Nitin Rathore, Thomas A. Knotts Iv, Juan J. De Pablo

Faculty Publications

A modified version of a recently introduced algorithm that calculates density of states by performing a random walk in energy space has been proposed and implemented to study protein folding in a continuum. A united atom representation and the CHARMM19 [B. R. Brooks, R. E. Bruccoleri, B. D. Olafson, D. J. States, S. Swaminathan, and M. Karplus, J. Comput. Chem. 4, 187 (1983)] force field are employed for these simulations. This method permits estimation of the density of states of a protein via a random walk in the energy space, thereby allowing the system to escape from local free-energy minima …

Neutral-Plasma Oscillations At Zero Temperature, Scott D. Bergeson, Ross L. Spencer

Faculty Publications

Cold plasma theory is used to calculate the response of an ultracold neutral plasma to an applied rf field. The free oscillation of the system has a continuous spectrum and an associated damped quasimode. This quasimode dominates the driven response and is resonant in the tail of the density distribution. Recent experiments used the plasma response to an applied rf field to determine the plasma density in an expanding ultracold plasma. The comparison between experiment and theory indicates that this method accurately determines the expansion velocity and underestimates the initial plasma density by a factor of 3 in weakly collisional …

Bounding The Number Of Graphs Containing Very Long Induced Paths, Steven Kay Butler

Theses and Dissertations

Induced graphs are used to describe the structure of a graph, one such type of induced graph that has been studied are long paths.

In this thesis we show a way to represent such graphs in terms of an array with two colors and a labeled graph. Using this representation and the techniques of Polya counting we will then be able to get upper and lower bounds for graphs containing a long path as an induced subgraph.

In particular, if we let P(n,k) be the number of graphs on n+k vertices which contains P_n, a path on n vertices, as …

Chemomechanical Surface Patterning And Functionalization Of Silicon Surfaces Using An Atomic Force Microscope, Brent A. Wascaser, Michael J. Maughan, Travis L. Niederhauser, Matthew R. Linford, Robert C. Davis, Ian A. Mowat

Faculty Publications

Surface modification and patterning at the nanoscale is a frontier in science with significant possible applications in biomedical technology and nanoelectronics. Here we show that an atomic force microscope (AFM) can be employed to simultaneously pattern and functionalize hydrogen-terminated silicon (111) surfaces. The AFM probe was used to break Si-H and Si-Si bonds in the presence of reactive molecules, which covalently bonded to the scribed Si surface. Functionalized patches and patterned lines of molecules were produced. Linewidths down to 30 nm were made by varying the force at the tip

Every Three-Point Set Is Zero Dimensional, David L. Fearnley, J. W. Lamoreaux, David L. Fearnley

Faculty Publications

This paper answers a question of Jan J. Dijkstra by giving a proof that all three-point sets are zero dimensional. It is known that all two-point sets are zero dimensional, and it is known that for all n > 3, there are n-point sets which are not zero dimensional, so this paper answers the question for the last remaining case.

Odd Perfect Numbers Have A Prime Factor Exceeding 10^7, Paul M. Jenkins

Faculty Publications

It is proved that every odd perfect number is divisible by a prime greater than 10^7.

Determination Of Home Techniques For Storing And Conserving Food In The Homes Of Cuambo And La Rinconada In Imbabura Province, 2001-2002, Marisol Caicedo Barrios

Theses and Dissertations

In Ecuador, there is a grave socioeconomic nutritional problem, and it is seen clearest in Imbabura province in the communities of Cuambo and La Rinconada. One of the biggest problems is inadequate food, due principally to the poor food storage and conservation habits. Considering this problem, it is necessary to deepen the knowledge of improved traditional techniques for storing and conserving food, through which families can store and manage their product better, controlling and avoiding losses due to insects, rodents, and climate, and guaranteeing conservation of the same. The investigation was oriented to implement alternative, improved storage and conservation technologies …

A Memory-Based Approach To Cantonese Tone Recognition, Deryle W. Lonsdale, Michael Emonts

Faculty Publications

This paper introduces memory-based learning as a viable approach for Cantonese tone recognition. The memorybased learning algorithm employed here outperforms other documented current approaches for this problem, which is based on neural networks. Various numbers of tones and features are modeled to find the best method for feature selection and extraction. To further optimize this approach, experiments are performed to isolate the best feature weighting method, the best class voting weights method, and the best number of k-values to implement. Results and possible future work are discussed.

Metrics For Evaluating Human-Robot Interactions, Michael A. Goodrich, Dan R. Olsen Jr.

Faculty Publications

Metrics for evaluating the quality of a human-robot interface are introduced. The autonomy of a robot is measured by its neglect time. The robot attention demand metric measures how much of the user’s attention is involved with instructing a robot. The free-time and fan-out metrics are two ways to measure this demand. Each of them leads to estimates of the interaction effort. Reducing interaction effort without diminishing task effectiveness is the goal of human-robot interaction design.

Level Oriented Formal Model For Asynchronous Circuit Verification And Its Efficient Analysis Method, Eric G. Mercer, Tomoya Kitai, Chris Myers, Yusuke Oguro, Tomohiro Yoneda

Faculty Publications

Using a level-oriented model for verification of asynchronous circuits helps users to easily construct formal models with high readability or to naturally model datapath circuits. On the other hand, in order to use such a model on large circuits, techniques to avoid the state explosion problem must be developed. This paper first introduces a level-oriented formal model based on time Petri nets, and then proposes its partial order reduction algorithm that prunes unnecessary state generation while guaranteeing the correctness of the verification.

Controlling Laser High-Order Harmonic Generation Using Weak Counter-Propagating Light, Sergei Leonidovich Voronov

Theses and Dissertations

Laser high-order harmonic generation in the presence of relatively weak interfering light is investigated. The interfering pulses intersect the primary harmonic-generating laser pulse at the laser focus. The interfering light creates a standing intensity and phase modulation on the field, which disrupts microscopic phase matching and shuts down local high harmonic production. Suppression of the 23rd harmonic (by two orders of magnitude) is observed when a counter-propagating interfering pulse of light is introduced. A sequence of counter-propagating pulses can be used to shut down harmonic production in out-of-phase zones of the generating volume to achieve quasi phase matching. Harmonic emission …

Biaxial Strain-Modified Valence And Conduction Band Offsets Of Zinc-Blende Gan, Gap, Gaas, Inn, Inp, And Inas, And Optical Bowing Of Strained Epitaxial Ingan Alloys, Gus L. W. Hart, P. R. C. Kent, Alex Zunger

Faculty Publications

Using density-functional calculations, we obtain the (001) biaxial strain dependence of the valence and conduction band energies of GaN, GaP, GaAs, InN, InP, and InAs. The results are fit to a convenient-to-use polynomial and the fits provided in tabular form. Using the calculated biaxial deformation potentials in large supercell empirical psuedopotential calculations, we demonstrate that epitaxial strain reduces the InGaN alloy bowing coefficient compared to relaxed bulk alloys.

Coordinated Target Assignment And Intercept For Unmanned Air Vehicles, Erik P. Anderson, Randal W. Beard, Michael A. Goodrich, Timothy W. Mclain

Faculty Publications

This paper presents an end-to-end solution to the cooperative control problem represented by the scenario where unmanned air vehicles (UAVs) are assigned to transition through known target locations in the presence of dynamic threats. The problem is decomposed into the subproblems of: 1) cooperative target assignment; 2) coordinated UAV intercept; 3) path planning; 4) feasible trajectory generation; and 5) asymptotic trajectory following. The design technique is based on a hierarchical approach to coordinated control. Simulation results are presented to demonstrate the effectiveness of the approach.

Statistical Cataloging Of Archival Data For Luminosity Class Iv-V Stars - Ii. The Epoch 2001 [Fe/H] Catalog, B. J. Taylor

Faculty Publications

This paper describes the derivation of an updated statistical catalog of metallicities. The stars for which those metallicities apply are of spectral types F, G, and K, and are on or near the main sequence. The input data for the catalog are values of [Fe/H] published before 2002 February and derived from lines of weak and moderate strength. The analyses used to derive the data have been based on one-dimensional LTE model atmospheres. Initial adjustments which are applied to the data include corrections to a uniform temperature scale which is given in a companion paper (see Taylor 2003). After correction, …

Statistical Cataloging Of Archival Data For Luminosity Class Iv-V Stars, B. J. Taylor

Faculty Publications

This paper is one of a pair in which temperatures and metallicity catalogs for class IV-V stars are considered. The temperature catalog described here is derived from a calibration based on stellar angular diameters. If published calibrations of this kind are compared by using color-index transformations, temperature-dependent differences among the calibrations are commonly found. However, such differences are minimized if attention is restricted to calibrations based on Johnson V-K. A calibration of this sort from Di Benedetto (1998) is therefore tested and adopted. That calibration is then applied to spectroscopic and photometric data, with the latter predominating. Cousins R-I photometry …

Modeling The Multicast Address Allocation Problem, Daniel Zappala, Chris Gauthierdickey, Virginia Lo

Faculty Publications

To support IP multicast, domains must assign a unique multicast address to each application from a limited, globally-shared address space. We examine the performance of several classes of address allocation algorithms withln the context of the MASC architecture. This study is the first of its kind to model the generalized multicast address allocation problem and consider non-contiguous allocation algorithms. We find that prefix-based allocation outperforms our non-contiguous algorithm, despite the apparent advantages of non-contiguous allocation. We also verify the benefits of using worst-fit for new allocations.

A Theoretical Framework For The Multicast Address Allocation Problem, Daniel Zappala, Chris Gauthierdickey, Virginia Lo, Timothy Singer

Faculty Publications

The multicast address allocation problem requires Internet domains to allocate unique addresses to multicast applications from a globally-shared space. We develop a theoretical framework for multicast allocation algorithms that is influenced by subcube allocation in hypercube computer systems. Based on this framework we derive complexity results for the address allocation problem and describe several new allocation algorithms that use a hypercube model for address representation.

Horizon Occlusion Culling For Real-Time Rendering Of Hierarchical Terrains, Parris K. Egbert, Brandon Lloyd

Faculty Publications

We present a technique to perform occlusion culling for hierarchical terrains at run-time. The algorithm is simple to implement and requires minimal pre-processing and additional storage, yet leads to 2-4 times improvement in framerate for views with high degrees of occlusion. Our method is based on the well-known occlusion horizon algorithm. We show how to adapt the algorithm for use with hierarchical terrains. The occlusion horizon is constructed as the terrain is traversed in an approximate front to back ordering. Regions of the terrain are compared to the horizon to determine when they are completely occluded from the viewpoint. Culling …