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

Physical Sciences and Mathematics Commons

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

Articles 61 - 90 of 101

Full-Text Articles in Physical Sciences and Mathematics

Finding Termination And Time Improvement In Predicate Abstraction With Under-Approximation And Abstract Matching, Dritan Kudra Jun 2007

Finding Termination And Time Improvement In Predicate Abstraction With Under-Approximation And Abstract Matching, Dritan Kudra

Theses and Dissertations

The focus of current formal verification methods is mitigating the state explosion problem. One of these formal methods is predicate abstraction, which reduces concrete states of a system to bitvectors of true/false valuations of a set of predicates. Predicate abstraction comes in two flavors, over-approximation and under-approximation. A drawback of over-approximation is that it produces too many spurious errors for data-intensive applications. A more recent under-approximation technique which does not produce spurious errors, does abstract matching on concrete states (AMCS). AMCS adds behaviors to an abstract system by augmenting the set of initial predicates, making use of a theorem prover. …


Cognitive And Behavioral Model Ensembles For Autonomous Virtual Characters, Jeffrey S. Whiting Jun 2007

Cognitive And Behavioral Model Ensembles For Autonomous Virtual Characters, Jeffrey S. Whiting

Theses and Dissertations

Cognitive and behavioral models have become popular methods to create autonomous self-animating characters. Creating these models presents the following challenges: (1) Creating a cognitive or behavioral model is a time intensive and complex process that must be done by an expert programmer (2) The models are created to solve a specific problem in a given environment and because of their specific nature cannot be easily reused. Combining existing models together would allow an animator, without the need of a programmer, to create new characters in less time and would be able to leverage each model's strengths to increase the character's …


Mapping Middle Paleozoic Erosional And Karstic Patterns With 3-D Seismic Attributes And Well Data In The Arkoma Basin, Oklahoma, Alonzo R. Brinkerhoff Jun 2007

Mapping Middle Paleozoic Erosional And Karstic Patterns With 3-D Seismic Attributes And Well Data In The Arkoma Basin, Oklahoma, Alonzo R. Brinkerhoff

Theses and Dissertations

Newly available industry well data and seismic attribute analysis reveal that late Ordovician-early Devonian Hunton Group strata are more widespread (i.e., not removed by mid-Devonian erosion) in the central and southern portions of the Arkoma Basin in eastern Oklahoma than previously thought. This study demonstrates the value of applying seismic attribute analysis to problems of quantifying and mapping stratigraphic features caused by erosions and/or karstification. Well and seismic isochron data in the Red Oak petroleum field for the Viola-Woodford interval (the units that lie stratigraphically beneath and above, respectively, the Huton Group) show isolated ~40-m thick lenses of Hunton rocks, …


Vision-Based Control And Flight Optimization Of A Rotorcraft Uav, David Christian Hubbard Jun 2007

Vision-Based Control And Flight Optimization Of A Rotorcraft Uav, David Christian Hubbard

Theses and Dissertations

A Rotorcraft UAV provides an ideal experimental platform for vision-based navigation. This thesis describes the flight tests of the US Army PALACE pro ject, which implements Moravec's pseudo-normalized correlation tracking algorithm. The tracker uses the movement of the landing site in the camera, a laser range, and the aircraft attitude from an IMU to estimate the relative motion of the UAV. The position estimate functions as a GPS equivalent to enable the rotorcraft to maneuver without the aid of GPS. Flight tests were performed with obstacles and over concrete, asphalt, and grass in daylight conditions with a safe landing area …


Temporally Correlated Dirichlet Processes In Pollution Receptor Modeling, Matthew J. Heaton May 2007

Temporally Correlated Dirichlet Processes In Pollution Receptor Modeling, Matthew J. Heaton

Theses and Dissertations

Understanding the effect of human-induced pollution on the environment is an important precursor to promoting public health and environmental stability. One aspect of understanding pollution is understanding pollution sources. Various methods have been used and developed to understand pollution sources and the amount of pollution those sources emit. Multivariate receptor modeling seeks to estimate pollution source profiles and pollution emissions from concentrations of pollutants such as particulate matter (PM) in the air. Previous approaches to multivariate receptor modeling make the following two key assumptions: (1) PM measurements are independent and (2) source profiles are constant through time. Notwithstanding these assumptions, …


On Connections Between Univalent Harmonic Functions, Symmetry Groups, And Minimal Surfaces, Stephen M. Taylor May 2007

On Connections Between Univalent Harmonic Functions, Symmetry Groups, And Minimal Surfaces, Stephen M. Taylor

Theses and Dissertations

We survey standard topics in elementary differential geometry and complex analysis to build up the necessary theory for studying applications of univalent harmonic function theory to minimal surfaces. We then proceed to consider convex combination harmonic mappings of the form f=sf_1+(1-s) f_2 and give conditions on when f lifts to a one-parameter family of minimal surfaces via the Weierstrauss-Enneper representation formula. Finally, we demand two minimal surfaces M and M' be locally isometric, formulate a system of partial differential equations modeling this constraint, and calculate their symmetry group. The group elements generate transformations that when applied to a prescribed harmonic …


Asymmetric Dihydroxylation And Aziridination Of Allenes And Related Chemistry, Renmao Liu May 2007

Asymmetric Dihydroxylation And Aziridination Of Allenes And Related Chemistry, Renmao Liu

Theses and Dissertations

A novel method for asymmetric synthesis of α-hydroxy ketone with excellent regio- and stereoselectivity has been established by the systematic investigation of asymmetric dihydroxylation of allenes. The efficiency of kinetic resolution of racemic allenes was also investigated by using the AD reaction on both 1,3-disubstituted and trisubstituted allenes. Steric effects, electronic effects and allene substitution are also discussed. Aziridines were formed by copper-catalyzed intramolecular nitrene addition to alkenes. The carbamate group was used as the tether between the alkene and the nitrene. Subsequent nucleophilic attack of the aziridine was accomplished using RSH, R2NH, N3-,or ROH as the nucleophile. This addition …


Origin And Tectonic Evolution Of Gondwana Sequence Units Accreted To The Banda Arc: A Structural Transect Through Central East Timor, Elizabeth Anick Zobell May 2007

Origin And Tectonic Evolution Of Gondwana Sequence Units Accreted To The Banda Arc: A Structural Transect Through Central East Timor, Elizabeth Anick Zobell

Theses and Dissertations

Petrographic and age analysis of sandstones, detailed structural analysis and gravity modeling were conducted to investigate the origin of the Gondwana Sequence in the Timor Region, and to better constrain the tectonic evolution of the active Banda Arc. Our field studies and U/Pb zircon age analysis helped assign most units to either Asian or Australian affinity. Detrital zircon from uplifted Banda forearc units (Asian affinity) have U/Pb ages as young as 80 Ma (Standley and Harris, in press). In contrast, analysis of detrital zircon from Gondwana Sequence sandstones accreted to the Banda Arc from Savu to East Timor are no …


Towards Early State Disease Detection In Microdevices: Fabrication And Testing Of Micro Total Analysis Systems For Bioanalytical Applications, Tao Pan May 2007

Towards Early State Disease Detection In Microdevices: Fabrication And Testing Of Micro Total Analysis Systems For Bioanalytical Applications, Tao Pan

Theses and Dissertations

The past few years have seen a rapid expansion in interest in the characterization of the entire complement of proteins, or proteome. Micro total analysis systems (μTAS) are an emerging promising method, offering rapid, sensitive and low sample consumption separations. I have demonstrated microchip capillary electrophoresis (CE) devices made of CaF2. New methods have been developed for micromachining enclosed capillaries in CaF2. CE analysis of fluorescently labeled amino acids was used to illustrate bioanalytical applications of these microdevices. Initial on-chip infrared spectroscopy results for qualitative analyte identification were achieved in microfluidic CaF2 channels. I have also shown the evaluation of …


Manifold Sculpting, Michael S. Gashler Apr 2007

Manifold Sculpting, Michael S. Gashler

Theses and Dissertations

Manifold learning algorithms have been shown to be useful for many applications of numerical analysis. Unfortunately, existing algorithms often produce noisy results, do not scale well, and are unable to benefit from prior knowledge about the expected results. We propose a new algorithm that iteratively discovers manifolds by preserving the local structure among neighboring data points while scaling down the values in unwanted dimensions. This algorithm produces less noisy results than existing algorithms, and it scales better when the number of data points is much larger than the number of dimensions. Additionally, this algorithm is able to benefit from existing …


Coupling Down Converted Light Into Single Mode Fibers, David A. Niemi Apr 2007

Coupling Down Converted Light Into Single Mode Fibers, David A. Niemi

Theses and Dissertations

We investigate the influence of the pump and collection mode parameters on the collection efficiency of Type I down converted photons into single mode fibers. For best single and coincidence counting rates, we find that the mode sizes should be close to the same size and that the mode waists should be located near the down-conversion crystal. Larger collection waists give higher collection efficiencies, but lower singles counts.


Kinetic Studies Of 6-Halopurine Nucleoside In Snar Reactions; 6-(Azolyl, Alkylthio And Fluoro)-Purine Nucleosides As Substrates For Suzuki Reactions, Jiangqiong Liu Apr 2007

Kinetic Studies Of 6-Halopurine Nucleoside In Snar Reactions; 6-(Azolyl, Alkylthio And Fluoro)-Purine Nucleosides As Substrates For Suzuki Reactions, Jiangqiong Liu

Theses and Dissertations

In chapter 1, we describe development of a mild and efficient method for SNAr iodination of 6-chloropurine 2'-deoxynucleosides and nucleosides. Our studies demonstrate that 6-iodopurine nucleosides are excellent substrates for certain transition metal-catalyzed cross-coupling reactions. In chapter 2, we describe synthesis of protected 6-fluoro, 6-chloro, 6-bromo and 6-sulfonylpurine nucleosides. Comparisons among 6-fluoro-, 6-chloro-, 6-bromo, 6-iodo and 6-sulfonylpurine nucleosides for SNAr reactions with various N, O and S nucleophiles were investigated. Our results demonstrate that the 6-fluoropurine nucleoside is the best substrate for SNAr reactions among the four 6-halopurine nucleosides with oxygen, sulfur and aliphatic amine nucleophiles, and also with an …


Dna-Templated Nanomaterials, Hector Alejandro Becerril-Garcia Apr 2007

Dna-Templated Nanomaterials, Hector Alejandro Becerril-Garcia

Theses and Dissertations

Nanomaterials display interesting physical and chemical properties depending on their shape, size and composition. Self assembly is an intriguing route to producing nanomaterials with controllable compositions and morphologies. DNA has been used to guide the self assembly of materials, resulting in: (1) metal nanowires; (2) metal or semiconductor nanorods; (3) carbon nanotubes; and (4) semiconductor, metal or biological nanoparticles. My work expands the range of DNA templated nanomaterials and develops novel ways of using DNA to pattern nanostructures on surfaces. I have performed the first synthesis of silver nanorods on single stranded DNA, an attractive material for localizing DNA coupled …


Investigation Of Novel Microseparation Techniques, Yansheng Liu Apr 2007

Investigation Of Novel Microseparation Techniques, Yansheng Liu

Theses and Dissertations

Ultrahigh pressure liquid chromatography (UHPLC) makes it possible to use very small particles (< 2 µm) as packing materials to provide high column efficiencies. Results from a careful comparison of small porous and nonporous particles show that when the particle size is small enough (< 2 µm), both porous and nonporous particles give excellent performance, and the differences in column efficiencies between porous and nonporous particles become insignificant. Columns packed with bare diamond particles could separate small molecules, especially polar molecules, however, severe tailing occurred for less polar compounds. The polybutadiene coated diamond particles gave greater retention and better separation of small molecules compared to bare particles, although no improvement in column efficiency was observed. Changes in surface bonding of thermally hydrogenated diamond particles was achieved by chemical modification using various organic peroxides with or without reagents containing long carbon chain functional groups. It appears that the alkyl groups were attached onto the diamond surface with limited coverage. LC experiments did not demonstrate good separation; however, changes in LC behavior were observed. A repetitive solvent programming approach was successfully applied to the analysis of a continuous sample stream in microbore LC. Each analysis cycle consisted of three steps: pseudo-injection, elution and rinse. In the pseudo-injection step, elution with a non- or poor-eluting solvent produced a concentrated sample plug due to on-column focusing. Factors influencing peak symmetry, resolution and analysis cycle length were investigated. Quantitative analysis of a continuous sample stream is possible under certain operating conditions. Electric field gradient focusing (EFGF) devices with distributed resistor substrates could focus proteins in the separation channel, however, the focused bands were not stable, and the repeatability was poor due to the formation of bubbles and pH gradient in the separation channel. Both fiber-based and porous glass capillary-based planar EFGF devices with changing cross-sectional area (CCSA) channels were constructed and evaluated with the aid of a home-made scanning laser-induced fluorescence detection system. The fiber-based CCSA EFGF devices gave poorer performance compared with glass capillary based devices. Porous glass capillary-based EFGF devices could focus single proteins and separate mixtures of two to three proteins.


T-Spline Simplification, David L. Cardon Apr 2007

T-Spline Simplification, David L. Cardon

Theses and Dissertations

This work focuses on generating approximations of complex T-spline surfaces with similar but less complex T-splines. Two approaches to simplifying T-splines are proposed: a bottom-up approach that iteratively refines an over-simple T-spline to approximate a complex one, and a top-down approach that evaluates existing control points for removal in producing an approximations. This thesis develops and compares the two simplification methods, determining the simplification tasks to which each is best suited. In addition, this thesis documents supporting developments made to T-spline research as simplification was developed.


Hop-By-Hop Transport Control For Multi-Hop Wireless Networks, Daniel N. Scofield Apr 2007

Hop-By-Hop Transport Control For Multi-Hop Wireless Networks, Daniel N. Scofield

Theses and Dissertations

TCP can perform poorly in multi-hop wireless networks due to problems with contention and poor feedback from end-to-end control algorithms. This thesis explores the design of a hop-by-hop transport protocol (HxH). By allowing intermediate nodes to actively participate, the protocol can respond more quickly to changing network conditions and exploit the unique characteristics of wireless networks. Results indicate that hop-by-hop transport can achieve throughput rates that are double those of TCP, depending on the speed of the wireless links.


The Role Of Phosducin-Like Protein As A Co-Chaperone With The Cytosolic Chaperonin Complex In Assembly Of The G Protein Βγ Subunit Dimer, Paul Jayson Ludtke Mar 2007

The Role Of Phosducin-Like Protein As A Co-Chaperone With The Cytosolic Chaperonin Complex In Assembly Of The G Protein Βγ Subunit Dimer, Paul Jayson Ludtke

Theses and Dissertations

Phosducin-like protein (PhLP) has been shown to interact with the cytosolic chaperonin containing TCP-1 (CCT), and the βγ subunit dimer of heterotrimeric G proteins (Gβγ). Here we provide details obtained from cryo-electron microscopic and biochemical studies on the structure of the complex between the cytosolic chaperonin CCT and PhLP. Binding of PhLP to CCT occurs through only one of the two chaperonin rings, making multiple contacts with CCT through both its N- and C-terminal domains. In addition, we show that PhLP acts as a co-chaperonin along with CCT in mediating the assembly of the G protein βγ subunit and that …


On-The-Fly Dynamic Dead Variable Analysis, Joel P. Self Mar 2007

On-The-Fly Dynamic Dead Variable Analysis, Joel P. Self

Theses and Dissertations

State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model checking research into data abstraction as a way of mitigating state explosion has become more and more important. Data abstractions aim to reduce the effect of large input ranges. This work focuses on a static program analysis technique called dead variable analysis. The goal of dead variable analysis is to discover …


Separate And Joint Analysis Of Longitudinal And Survival Data, Deepthi Rajeev Mar 2007

Separate And Joint Analysis Of Longitudinal And Survival Data, Deepthi Rajeev

Theses and Dissertations

Chemotherapy is a method used to treat cancer but it has a number of side-effects. Research conducted by the Department of Chemical Engineering at BYU involves a new method of administering chemotherapy using ultrasound waves and water-soluble capsules. The goal is to reduce the side-effects by localizing the delivery of the medication. As part of this research, a two-factor experiment was conducted on rats to test if the water-soluble capsules and ultrasound waves by themselves have an effect on tumor growth or patient survival. Our project emphasizes the usage of Bayesian Hierarchical Models and Win-BUGS to jointly model the survival …


A Simulation-Based Approach For Evaluating Gene Expression Analyses, Carly Ruth Pendleton Mar 2007

A Simulation-Based Approach For Evaluating Gene Expression Analyses, Carly Ruth Pendleton

Theses and Dissertations

Microarrays enable biologists to measure differences in gene expression in thousands of genes simultaneously. The data produced by microarrays present a statistical challenge, one which has been met both by new modifications of existing methods and by completely new approaches. One of the difficulties with a new approach to microarray analysis is validating the method's power and sensitivity. A simulation study could provide such validation by simulating gene expression data and investigating the method's response to changes in the data; however, due to the complex dependencies and interactions found in gene expression data, such a simulation would be complicated and …


Pre-Historic Landslides On The Southeast Flank Of The Uinta Mountains, Utah: Character And Causes Of Slope Failure, Todd D. Bradfield Mar 2007

Pre-Historic Landslides On The Southeast Flank Of The Uinta Mountains, Utah: Character And Causes Of Slope Failure, Todd D. Bradfield

Theses and Dissertations

More than 100 landslides have been mapped along the southeast flank of the Uinta Mountains. Large landslide deposits are up to 4.6 kilometers long and have an area of approximately 5-9 km². Landslide types include multiple and successive rock slumps, debris slumps and debris flows. Most landslides have a main head scarp in the Bishop Conglomerate and the large landslides have many minor scarps. Multiple slump blocks are manifest by repeated transverse ridges and trenches in the head area of some landslides. Most body and toe areas are deeply incised by gully erosion (up to 91 meters deep) and drainages …


Solute Chemistry And Isotopic Investigation Of The Groundwater Flow Paths In Honey Lake Basin, Lassen County, California And Washoe County, Nevada, Rachel M. Henderson Mar 2007

Solute Chemistry And Isotopic Investigation Of The Groundwater Flow Paths In Honey Lake Basin, Lassen County, California And Washoe County, Nevada, Rachel M. Henderson

Theses and Dissertations

Honey Lake Basin is a large, hydrologically closed valley with two playa lakes that are separated by a low elevation sill. The Basin has a complex hydrogeologic setting, with numerous groundwater flow paths that interact with surface waters and three basic aquifers; shallow, deep, and geothermal. Thirteen flow paths; eleven cold and two thermal, are identified and the geochemical evolution of those paths are characterized by integrating solute chemistry and isotopic data. The chemical flow paths include recharge in either granitoid or volcanic terrains in the Sierra Nevada Range and the Modoc Plateau, respectively. The groundwater then flows through alluvial …


Structural Analysis Of Rock Canyon Near Provo, Utah, Laura Cardon Wald Mar 2007

Structural Analysis Of Rock Canyon Near Provo, Utah, Laura Cardon Wald

Theses and Dissertations

A detailed structural study of Rock Canyon (near Provo, Utah) provides insight into Wasatch Range tectonics and fold-thrust belt kinematics. Excellent exposures along the E-W trending canyon allow the use of digital photography in conjunction with traditional field methods for a thorough analysis of Rock Canyon's structural features. Detailed photomontages and geometric and kinematic analyses of some structural features help to pinpoint deformation mechanisms active during the canyon's tectonic history. Large-scale images and these structural data are synthesized in a balanced cross section, which is used to reconstruct the structural evolution of this portion of the range. Projection of surficial …


The Origins Of Four Paterae Of Malea Planum, Mars, Susan K. Larson Mar 2007

The Origins Of Four Paterae Of Malea Planum, Mars, Susan K. Larson

Theses and Dissertations

Malea Planum is a volcanic plain on the southern rim of Hellas Planitia, the largest impact basin on Mars. Four large circular structures on Malea Planum have traditionally been identified as paterae, or low relief, central vent volcanoes (Plescia and Saunders, 1979). A geologic map was constructed and new crater counts made to explore the ages and origins of the paterae. Amphitrites and Peneus Paterae have radial patterns of wrinkle ridges on their flanks and distinct summit calderas (95 km and 130 km across) with arcuate bounding scarps. In contrast, Malea and Pityusa Paterae are broad depressions with diameters greater …


Improving Machine Learning Through Oracle Learning, Joshua Ephraim Menke Mar 2007

Improving Machine Learning Through Oracle Learning, Joshua Ephraim Menke

Theses and Dissertations

The following dissertation presents a new paradigm for improving the training of machine learning algorithms, oracle learning. The main idea in oracle learning is that instead of training directly on a set of data, a learning model is trained to approximate a given oracle's behavior on a set of data. This can be beneficial in situations where it is easier to obtain an oracle than it is to use it at application time. It is shown that oracle learning can be applied to more effectively reduce the size of artificial neural networks, to more efficiently take advantage of domain experts …


Pyridinium Bis-Retinoids: Extraction, Synthesis, And Folate Coupling, Mary Allison Alvarez Mar 2007

Pyridinium Bis-Retinoids: Extraction, Synthesis, And Folate Coupling, Mary Allison Alvarez

Theses and Dissertations

This thesis is divided into two parts.Part I describes the organic extraction, separation, and liquid chromatographic-mass spectrometric analysis of chromophores from human and bovine retinal pigment epithelium. Flurorophores in the retinal pigment epithelium have been implicated in age related macular degeneration. In addition, the synthesis and characterization of a number of bis-retinoid type compounds that may potentially be found in such extracts, or that may be used for insight into pyridinium bis-retinoid reactivity, was accomplished.Part II describes a study of pyridinium bis-retinoid-folic acid coupling with respect to linker type, linker length, and nature of the linkage. Folic acid has been …


Obstacle Annotation By Demonstration, Michael David Clement Mar 2007

Obstacle Annotation By Demonstration, Michael David Clement

Theses and Dissertations

By observing human driving with a “digital head" (combined video camera and accelerometers) and taking a few hand annotations, we can automatically annotate regions in a robot's field of view that should be interpreted as obstacles to be avoided. This is accomplished by detecting the movement for a given frame in a video. Some hand annotations of video frames are necessary and they are used to create Probability Grids. Using the movement data and the Probability Grids, it is possible to annotate large amounts of video data quickly in an automated system.


The Effect Of Birth Order On Infant Injury, Heather L. Van Duker Mar 2007

The Effect Of Birth Order On Infant Injury, Heather L. Van Duker

Theses and Dissertations

Pediatric injury is both common and expensive. Finding ways to prevent pediatric injury is a major public health concern. Many studies have investigated various aspects of pediatric injury, and some suggest that birth order may be an important risk factor for pediatric injury. This study further examined the relationship of birth order with pediatric injury, specifically studying the association of birth order with emergency department-attended infant injury while adjusting for other important family and individual covariates. Data for analysis included Utah birth certificate, death certificate, and hospital emergency department datasets, which were probabilistically linked to obtain complete demographic and injury …


Development Of An H-Alpha Index For The Detection Of Pms Candidates In Young Open Clusters, Liberty Rae Evanko Mar 2007

Development Of An H-Alpha Index For The Detection Of Pms Candidates In Young Open Clusters, Liberty Rae Evanko

Theses and Dissertations

One phase of formation of medium- and low-mass stars is the optically visible phase known as the pre-main-sequence or PMS phase. In order to further the understanding of this phase, more of these PMS objects need to be identified and classified. Previous techniques have used photometry to identify possible PMS objects by their characteristic Hα emission. Once identified these objects can be studied spectroscopically yielding complete PMS classification. This study develops a method to locate these emission objects that overcomes two limitations of previous techniques. The first limitation is the need for the creation of reddening maps. It is eliminated …


Observational Studies Of Software Engineering Using Data From Software Repositories, Daniel Pierce Delorey Mar 2007

Observational Studies Of Software Engineering Using Data From Software Repositories, Daniel Pierce Delorey

Theses and Dissertations

Data for empirical studies of software engineering can be difficult to obtain. Extrapolations from small controlled experiments to large development environments are tenuous and observation tends to change the behavior of the subjects. In this thesis we propose the use of data gathered from software repositories in observational studies of software engineering. We present tools we have developed to extract data from CVS repositories and the SourceForge Research Archive. We use these tools to gather data from 9,999 Open Source projects. By analyzing these data we are able to provide insights into the structure of Open Source projects. For example, …