Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network

Open Access. Powered by Scholars. Published by Universities.®

Articles 31 - 60 of 127

Full-Text Articles in Entire DC Network

Improving Error Discovery Using Guided Model Checking, Neha Shyam Rungta Sep 2006

Improving Error Discovery Using Guided Model Checking, Neha Shyam Rungta

Theses and Dissertations

State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue. Distance heuristic functions rank states based on the number of transitions needed to move the current program state into an error location. Lack of calling context information causes the heuristic function to underestimate the true distance to the error; however, inlining functions at call sites in the control flow graph to capture calling context leads to exponential growth in the computation. This paper presents a new algorithm that implicitly inlines functions at call sites to …


Detection Of A Landslide Glide Plane Using Seismic Reflection Methods: Investigation At Little Valley Landslide In Draper, Utah, Brady E. Tingey Sep 2006

Detection Of A Landslide Glide Plane Using Seismic Reflection Methods: Investigation At Little Valley Landslide In Draper, Utah, Brady E. Tingey

Theses and Dissertations

An integration of geological and geophysical techniques has been used to characterize the internal structure of the Little Valley Landslide in Draper, Utah, USA. The Little Valley Landslide is a pre-historic landslide as old as 13ka B.P. It is found to consist of chaotic and disturbed weathered volcanic units derived from Tertiary age volcanics that comprise a great portion of the Wasatch Range. Geotechnical investigations that were integrated with the geophysical results included excavation of trenches and drilling of boreholes. Geophysical methods, in particular high-resolution seismic data, were used to provide a framework for interpreting the geotechnical observations. High-resolution seismic …


Digital Roots Of Human Relations: Enabling Technologies For Family History And Genealogical Research, William A. Barrett Sep 2006

Digital Roots Of Human Relations: Enabling Technologies For Family History And Genealogical Research, William A. Barrett

Faculty Publications

Flowing out of a Computer Science research lab on the third floor of the Talmage Building is a wellspring of enabling technologies for family history and genealogical research. Here, computer science students, working under the direction of Dr. Tom Sederberg and Dr. Bill Barrett are creating software tools to help individuals with their family history research so that people everywhere can seek out their ancestors and perform vital ordinances in their behalf, as desired. These tools include visualization of an entire pedigree on a single (large) sheet of paper, the ability to automatically calculate if and how two or more …


Fourier Spectroscopy Of Ultrashort Laser Pulses, Scott D. Bergeson, Justin Peatross Sep 2006

Fourier Spectroscopy Of Ultrashort Laser Pulses, Scott D. Bergeson, Justin Peatross

Faculty Publications

We describe a Fourier-transform spectrometer appropriate for use in an undergraduate optics laboratory. The modular design, which uses off-the-shelf equipment, is suitable for determining the spectra of ultrashort pulsed and continuous light sources. The spectrometer does not require equal step sizes for the motion of the mirror. An algorithm interpolates the phase of both a reference and an unknown light beam at equal intervals before performing the Fourier transform. The interferometer scan and the phase and spectral analysis are performed in a few seconds, making the apparatus a useful tool for teaching concepts of temporal coherence and Fourier spectroscopy.


Detection Of Proteins By Two-Photon Excitation Of Native Fluorescence, Li Li Aug 2006

Detection Of Proteins By Two-Photon Excitation Of Native Fluorescence, Li Li

Theses and Dissertations

Proteins are of primary importance to the structure and function of all living cells. Study of proteins relies on the ability to separate a complex mixture so that individual proteins can be more easily processed by other techniques. Since protein samples often exist at low concentration in a small volume, the trend in chemical analysis is toward micro total analysis systems (µTAS) or lab-on-a-chip devices. Among µTAS separation methods, the relatively new electric field gradient focusing (EFGF) technique has shown potential. It focuses and separates analytes based on their electrophoretic migration in an opposing hydrodynamic flow. The detection principles that …


Sound Absorption And Sound Power Measurements In Reverberation Chambers Using Energy Density Methods, David B. Nutter Aug 2006

Sound Absorption And Sound Power Measurements In Reverberation Chambers Using Energy Density Methods, David B. Nutter

Theses and Dissertations

Measurements in a reverberation chamber use spatially averaged squared pressure to calculate sound absorption, sound power, and other sound measurements. While a reverberation chamber provides an approximation of a diffuse sound field, variations in the measurements introduce uncertainty in measurement results. Room qualification procedures require a sufficient number of source-receiver locations to obtain suitable measurements. The total acoustic energy density provides greater spatial uniformity than squared pressure, which requires fewer source-receiver positions to produce similar or better accuracy in measurement results. This paper explores the possibility of using energy density in place of squared pressure, using methods outlined in current …


Feedback Applications In Active Noise Control For Small Axial Cooling Fans, Matthew J. Green Aug 2006

Feedback Applications In Active Noise Control For Small Axial Cooling Fans, Matthew J. Green

Theses and Dissertations

Feedback active noise control (ANC) has been applied as a means of attenuating broadband noise from a small axial cooling fan. Such fans are used to maintain thermal stability inside of computers, projectors, and other office equipment and home appliances. The type of low-level noise radiated from axial cooling fans has been classified as harmful to productivity and human well being. Previous research has successfully implemented feed-forward ANC, targeting specific narrow-band fan noise content related to the blade passage frequency (BPF) of the fan. The reference signal required for a feed-forward algorithm limits its ability to attenuate much of the …


Mesoscopic Domain Average Engineering Simulations Of Ferroelectric Perovskites Compared With Multidomain Group Theoretical Predictions, Brandon J. Keith, Dorian M. Hatch Aug 2006

Mesoscopic Domain Average Engineering Simulations Of Ferroelectric Perovskites Compared With Multidomain Group Theoretical Predictions, Brandon J. Keith, Dorian M. Hatch

Faculty Publications

Engineered, multidomain ferroelectrics are of current interest for mechatronic and optical applications. Previously [D. M. Hatch et al., J. Appl. Phys. 94, 5220 (2003)], we presented a set of tables/symmetry rules showing all possible domain average engineered multidomain structures arising from [100]-, [110]-, and [111]-ordering ferroelectric transitions from a Pm[overline 3]m perovskite structure. In this work we test those predictions against three-dimensional mesoscopic fast quench simulations under various electric/stress field combinations and find excellent agreement with multidomain group theory. These simulations use a Langevin strain-displacement/polarization evolution strategy and are important to developing processing conditions for materials with precise domain structures.


Vision-Based Rendering: Using Computational Stereo To Actualize Ibr View Synthesis, Kevin L. Steele Aug 2006

Vision-Based Rendering: Using Computational Stereo To Actualize Ibr View Synthesis, Kevin L. Steele

Theses and Dissertations

Computer graphics imagery (CGI) has enabled many useful applications in training, defense, and entertainment. One such application, CGI simulation, is a real-time system that allows users to navigate through and interact with a virtual rendition of an existing environment. Creating such systems is difficult, but particularly burdensome is the task of designing and constructing the internal representation of the simulation content. Authoring this content on a computer usually requires great expertise and many man-hours of labor. Computational stereo and image-based rendering offer possibilities to automatically create simulation content without user assistance. However, these technologies have largely been limited to creating …


Understanding Dc-Bias Sputtered Thorium Oxide Thin Films Useful In Euv Optics, William R. Evans, Sarah C. Barton, Michael Clemens, David D. Allred Aug 2006

Understanding Dc-Bias Sputtered Thorium Oxide Thin Films Useful In Euv Optics, William R. Evans, Sarah C. Barton, Michael Clemens, David D. Allred

Faculty Publications

We use spectroscopic ellipsometry to determine the optical constants of seven thin-film ThO2 samples deposited by radio-frequency sputtering, thickness ranging between 24 and 578 nm, for the spectral range of 1.2 to 6.5. We used a hollow-cathode light source and vacuum monochromator to measure constants at 10.2 eV. None of the deposition parameters studied including DC-bias voltages successfully increased the n of (that is, densify) thoria films. The value of n at 3.0 eV is 1.86 ± 0.04. We find compelling evidence to conclude that the direct bad gap is at ~5.9 eV, clarifying the results of others, some of …


Sources Of Variability In A Proteomic Experiment, Scott Daniel Crawford Aug 2006

Sources Of Variability In A Proteomic Experiment, Scott Daniel Crawford

Theses and Dissertations

The study of proteomics holds the hope for detecting serious diseases earlier than is currently possible by analyzing blood samples in a mass spectrometer. Unfortunately, the statistics involved in comparing a control group to a diseased group are not trivial, and these difficulties have led others to incorrect decisions in the past. This paper considers a nested design that was used to quantify and identify the sources of variation in the mass spectrometer at BYU, so that correct conclusions can be drawn from blood samples analyzed in proteomics. Algorithms were developed which detect, align, correct, and cluster the peaks in …


Ferritin: Mechanistic Studies And Electron Transfer Properties, Bo Zhang Aug 2006

Ferritin: Mechanistic Studies And Electron Transfer Properties, Bo Zhang

Theses and Dissertations

Ferritins are ubiquitous iron storage proteins in living systems. Although much is known about the iron deposition process in ferritin and a mechanism has been developed, several important issues still remain unknown. One lingering question is the less than stoichiometric quantities of hydrogen peroxide detected in previous studies on animal ferritins. Extensive experimental data on identifying the species in competition for peroxide equivalents point to a surprising conclusion that H2O2 generated in the ferroxidase reaction is consumed by amine buffers that are commonly employed in in vitro ferritin studies, while non-nitrogen containing buffers, such as acetate, phosphate, and carbonate, do …


A Constructive Incremental Learning Algorithm For Binary Classification Tasks, Christophe G. Giraud-Carrier, Tony R. Martinez Jul 2006

A Constructive Incremental Learning Algorithm For Binary Classification Tasks, Christophe G. Giraud-Carrier, Tony R. Martinez

Faculty Publications

This paper presents i-AA1*, a constructive, incremental learning algorithm for a special class of weightless, self-organizing networks. In i-AA1*, learning consists of adapting the nodes’ functions and the network’s overall topology as each new training pattern is presented. Provided the training data is consistent, computational complexity is low and prior factual knowledge may be used to “prime” the network and improve its predictive accuracy. Empirical generalization results on both toy problems and more realistic tasks demonstrate promise.


Structure-Activity Studies Of Glycosphingolipids As Antigens Of Natural Killer T Cells, Randal Donald Goff Jul 2006

Structure-Activity Studies Of Glycosphingolipids As Antigens Of Natural Killer T Cells, Randal Donald Goff

Theses and Dissertations

Glycosphingolipids (GSLs), composed of a polar saccharide head and a lipophilic ceramide tail, are ubiquitous components of the plasma membrane of eukaryotic cells. They serve in many regulatory capacities and have antigenic properties towards natural killer T (NKT) cells of the innate immune system. Critical to the recognition of glycosylceramides by NKT cells are antigen presenting cells (APC), such as dendritic cells, which are responsible for binding, processing, and delivery of ligands to these lymphocytes. This event is mediated by CD1d, a major histocompatibility complex-like protein expressed on the surface of APCs, which binds GSL antigens by the ceramide moiety …


The Provenance Of Eocene Tuff Beds In The Fossil Butte Member Of The Green River Formation Of Wyoming: Relation To The Absaroka And Challis Volcanic Fields, Matthew R. Chandler Jul 2006

The Provenance Of Eocene Tuff Beds In The Fossil Butte Member Of The Green River Formation Of Wyoming: Relation To The Absaroka And Challis Volcanic Fields, Matthew R. Chandler

Theses and Dissertations

The Green River Formation was deposited between 53.5 and 48.5 Ma. The Angelo, Fossil Butte, and Lower members of the Green River Formation at Fossil Basin, preserve ash fall tuffs deposited in ancient Fossil Lake. 40Ar/39Ar dating of sanidine yielded eruptive ages of 51.29 ± 1.29 Ma and 52.20 ± 3.08 Ma for two of the tuff beds within Fossil Basin. Immobile element and mineral compositions of Fossil Basin tuffs indicate that most tuffs erupted from a subduction zone originally as rhyolites and dacites. X-ray diffraction analyses reveal that the tuffs' glassy matrices have been altered to illite, calcite, clinoptilolite, …


Vectorization Of Raster Images Using B-Spline Surfaces, Curtis A. Armstrong Jul 2006

Vectorization Of Raster Images Using B-Spline Surfaces, Curtis A. Armstrong

Theses and Dissertations

A system has been developed for converting raster images into vector images. Raster images are made of pixels, while vector images are made of smoother shapes. The image is first segmented, and the segments are layered. The boundary of each segment is approximated with a periodic B-Spline curve. This curve is then used to create a B-Spline surface to approximate the interior of the segment. The algorithm fits each B-Spline to the colors of the image using least-squares approximation. The color and shape of each B-Spline surface are extrapolated into regions behind other segments. The result is a vector image …


Optimization Of Active Noise Control For Small Axial Cooling Fans, Brian B. Monson Jul 2006

Optimization Of Active Noise Control For Small Axial Cooling Fans, Brian B. Monson

Theses and Dissertations

Previous work has shown that active noise control is a feasible solution to attenuate tonal noise radiated by small axial cooling fans, such as those found in desktop computers. One such control system reduced noise levels of a baffled 80-mm fan in the free field with four small loudspeakers surrounding the fan. Due to industry specified spatial constraints, a smaller fan and speaker configuration was desirable. The smaller configuration maintains similar control performance, further facilitating practical implementation of the control system. The smaller control system employs a smaller fan running at a higher speed. Different loudspeaker configurations for control exist …


Characterizing Dynamic Power And Data Rate Policies For Wirelessusb Networks, Jeffrey L. Barlow Jul 2006

Characterizing Dynamic Power And Data Rate Policies For Wirelessusb Networks, Jeffrey L. Barlow

Theses and Dissertations

Wireless communication is increasingly ubiquitous. However, mobility depends intrinsically on battery life. Power can be conserved at the Media Access Control (MAC) layer by intelligently adjusting transmission power level and data rate encoding. WirelessUSB is a low-power, low-latency wireless technology developed by Cypress Semiconductor Corporation for human interface devices such as keyboards and mice. WirelessUSB devices conserve power by employing power-efficient hardware, dynamic power level adjustment and dynamic data rate adjustment. We characterize the effects on power consumption of dynamically adjusting node power using two dynamic power negotiation techniques as well as two reactive techniques. We also characterize the effects …


The Effect Of Protein Dielectric Coefficient On The Ionic Selectivity Of A Calcium Channel, Douglas Henderson, Dezso Boda, Monika Valisko, Bob Eisenberg, Wolfgang Nonner, Dirk Gillespie Jul 2006

The Effect Of Protein Dielectric Coefficient On The Ionic Selectivity Of A Calcium Channel, Douglas Henderson, Dezso Boda, Monika Valisko, Bob Eisenberg, Wolfgang Nonner, Dirk Gillespie

Faculty Publications

Calcium-selective ion channels are known to have carboxylate-rich selectivity filters, a common motif that is primarily responsible for their high Ca2+ affinity. Different Ca2+ affinities ranging from micromolar (the L-type Ca channel) to millimolar (the ryanodine receptor channel) are closely related to the different physiological functions of these channels. To understand the physical mechanism for this range of affinities given similar amino acids in their selectivity filters, we use grand canonical Monte Carlo simulations to assess the binding of monovalent and divalent ions in the selectivity filter of a model Ca channel. We use a reduced model where the electrolyte …


Cooperation-Based Clustering For Profit-Maximizing Organizational Design, Christophe G. Giraud-Carrier, Kevin Seppi, Nghia Tran, Sean C. Warnick Jul 2006

Cooperation-Based Clustering For Profit-Maximizing Organizational Design, Christophe G. Giraud-Carrier, Kevin Seppi, Nghia Tran, Sean C. Warnick

Faculty Publications

This paper shows how the notion of value of cooperation, a measure of the percentage of a firm’s profits due strictly to the cooperative effects among the goods it sells, can be used to analyze the relative economic advantage afforded by various organizational structures. The value of cooperation is computed from transactions data by solving a regression problem to fit the parameters of the consumer demand function, and then simulating the resulting profit-maximizing dynamic system under various organizational structures. A hierarchical agglomerative clustering algorithm can be applied to reveal the optimal organizational substructure.


Particle Swarm Optimization In Dynamic Pricing, Christopher K. Monson, Patrick B. Mullen, Kevin Seppi, Sean C. Warnick Jul 2006

Particle Swarm Optimization In Dynamic Pricing, Christopher K. Monson, Patrick B. Mullen, Kevin Seppi, Sean C. Warnick

Faculty Publications

Dynamic pricing is a real-time machine learning problem with scarce prior data and a concrete learning cost. While the Kalman Filter can be employed to track hidden demand parameters and extensions to it can facilitate exploration for faster learning, the exploratory nature of Particle Swarm Optimization makes it a natural choice for the dynamic pricing problem. We compare both the Kalman Filter and existing particle swarm adaptations for dynamic and/or noisy environments with a novel approach that time-decays each particle's previous best value; this new strategy provides more graceful and effective transitions between exploitation and exploration, a necessity in the …


On The N-Body Problem, Zhifu Xie Jul 2006

On The N-Body Problem, Zhifu Xie

Theses and Dissertations

In this thesis, central configurations, regularization of Simultaneous binary collision, linear stability of Kepler orbits, and index theory for symplectic path are studied. The history of their study is summarized in section 1. Section 2 deals with the following problem: given a collinear configuration of 4 bodies, under what conditions is it possible to choose positive masses which make it central. It is always possible to choose three positive masses such that the given three positions with the masses form a central configuration. However, for an arbitrary configuration of 4 bodies, it is not always possible to find positive masses …


Knots Not For Naught, Sharleen Adrienne Roberts Jul 2006

Knots Not For Naught, Sharleen Adrienne Roberts

Theses and Dissertations

The goal of this paper is to find the Homfly polynomial for each knot in a specific family of knots. This family of knots is generated from placing the Whitehead link into a solid torus, slicing the torus at a spot where the Whitehead has no crossings and then twisting the torus 360 degrees in either direction an integral number of times. Let L(n) denote the knot obtained by twisting the torus 360 degrees, n times. Note that n is an integer. Let the twists be towards the center of the torus for positive n and away from the center …


Local Url Resolution Protocol, Joseph Clark Ekstrom Jul 2006

Local Url Resolution Protocol, Joseph Clark Ekstrom

Theses and Dissertations

DOGMA is a resource management system designed to create a supercomputer like system from unused desktop computers. Scalability is one of the challenges faced by DOGMA because it uses a strict client/server architecture. Distributing large files over a client server architecture is problematic since available network bandwidth is limited. The Local URL Resolution Protocol(LURP) addresses this problem for environments where there are high node densities. LURP implements a locality aware Peer-to-Peer file distribution model to increase the speed of file distribution while reducing the overall network congestion.


A Microformatted Registry Alternative, Thomas R. Warne Jul 2006

A Microformatted Registry Alternative, Thomas R. Warne

Theses and Dissertations

To effectively use Web services, providers and consumers need to be connected by a registry. Several registry solutions exist today, including UDDI and WSIL. Also, many organizations simply use Web pages to list available Web services and their descriptions. This research describes a microformat for representing Web service description documents. These microformatted documents can be converted back to the original format for use by machines. They can also contain additional information, making them more useful to people. A registry, allowing indexing and searching of microformatted service descriptions, is also described. The benefits of this solution include: using existing standards; allowing …


Conjugacy Classes Of The Piecewise Linear Group, Matthew L. Housley Jul 2006

Conjugacy Classes Of The Piecewise Linear Group, Matthew L. Housley

Theses and Dissertations

The piecewise linear group is the set of all piecewise linear orientation preserving homeomorphisms from the interval to itself under the operation of composition. We present here a complete set of invariants to classify the conjugacy classes of this group. Our approach to this problem relies on the factorization of elements into elements having only a single breakpoint.


Understanding Brigham Young University's Technology Teacher Education Program's Sucess In Attracting And Retaining Female Students, Katrina M. Cox Jul 2006

Understanding Brigham Young University's Technology Teacher Education Program's Sucess In Attracting And Retaining Female Students, Katrina M. Cox

Theses and Dissertations

The purpose of the study was to attempt to understand why Brigham Young University Technology Teacher Education program has attracted and retained a high number of females. This was done through a self-created survey composed of four forced responses, distributed among the Winter 2006 semester students. Likert-scale questions were outlined according to the five theoretical influences on women in technology, as established by Welty and Puck (2001) and two of the three relationships of academia, as established by Haynie III (1999), as well as three free response questions regarding retention and attraction within the major. Findings suggested strong positive polarity …


Topics On The Spectral Theory Of Automorphic Forms, Dustin David Belt Jul 2006

Topics On The Spectral Theory Of Automorphic Forms, Dustin David Belt

Theses and Dissertations

We study the analytic properties of the Eisenstein Series of $frac {1}{2}$-integral weight associated with the Hecke congruence subgroup $Gamma_0(4)$. Using these properties we obtain asymptotics for sums of certain Dirichlet $L$-series. We also obtain a formula reducing the study of Selberg's Eigenvalue Conjecture to the study of the nonvanishing of the Eisenstein Series $E(z,s)$ for Hecke congruence subgroups $Gamma_0(N)$ at $s=frac {1+i}{2}$.


Improving Record Linkage Through Pedigrees, Burdette N. Pixton Jul 2006

Improving Record Linkage Through Pedigrees, Burdette N. Pixton

Theses and Dissertations

Record linkage, in a genealogical context, is the process of identifying individuals from multiple sources which refer to the same real-world entity. Current solutions focus on the individuals in question and on complex rules developed by human experts. Genealogical databases are highly-structured with relationships existing between the individuals and other instances. These relationships can be utilized and human involvement greatly minimized by using a filtered structured neural network. These neural networks, using traditional back-propagation methods, are biased in a way to make the network human readable. The results show an increase in precision and recall when pedigree data is available …


Jumpstarting Phylogenetic Searches, Jesse Lewis Mecham Jul 2006

Jumpstarting Phylogenetic Searches, Jesse Lewis Mecham

Theses and Dissertations

Phylogenetic analysis is a central tool in studies of comparative genomics. When a new region of DNA is isolated and sequenced, researchers are often forced to throw away months of computation on an existing phylogeny of homologous sequences in order to incorporate this new sequence. The previously constructed trees are often discarded, and the researcher begins the search again from scratch. The jumpstarting algorithm uses trees from the prior search as a starting point for a new phylogenetic search. This technique drastically decreases search time for large data sets. This kind of analysis is necessary as researchers analyze tree of …