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

Physical Sciences and Mathematics Commons

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

Brigham Young University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1951 - 1980 of 2906

Full-Text Articles in Physical Sciences and Mathematics

Ecological Interfaces For Improving Mobile Robot Teleoperation, Michael A. Goodrich, Curtis W. Nielsen, Robert W. Ricks Oct 2007

Ecological Interfaces For Improving Mobile Robot Teleoperation, Michael A. Goodrich, Curtis W. Nielsen, Robert W. Ricks

Faculty Publications

Navigation is an essential element of many remote robot operations including search and rescue, reconnaissance, and space exploration. Previous reports on using remote mobile robots suggest that navigation is difficult due to poor situation awareness. It has been recommended by experts in human–robot interaction that interfaces between humans and robots provide more spatial information and better situational context in order to improve an operator’s situation awareness. This paper presents an ecological interface paradigm that combines video, map, and robotpose information into a 3-D mixed-reality display. The ecological paradigm is validated in planar worlds by comparing it against the standard interface …


Psoda: Better Tasting And Less Filling Than Paup, Hyrum Carroll, Mark J. Clement, Mark Ebbert, Quinn O. Snell Oct 2007

Psoda: Better Tasting And Less Filling Than Paup, Hyrum Carroll, Mark J. Clement, Mark Ebbert, Quinn O. Snell

Faculty Publications

PSODA is an open-source phylogenetic search application that implements traditional parsimony and likelihood search techniques as well as advanced search algorithms. PSODA is compatible with PAUP and the search algorithms are competitive with those in PAUP. PSODA also adds a basic scripting language to the PAUP block, making it possible to easily create advanced meta-searches. Additionally, PSODA provides a user-friendly GUI with real-time graphing visualizations and phylogeny viewer, and a multiple sequence alignment algorithm PSODA is freely available from the PSODA web site: http://csl.cs.byu.edu/psoda.


Psodascript: Applying Advanced Language Constructs To Open-Source Phylogenetic Search, Hyrum Carroll, Mark J. Clement, Jonathan Krein, Quinn O. Snell, Adam R. Teichert Oct 2007

Psodascript: Applying Advanced Language Constructs To Open-Source Phylogenetic Search, Hyrum Carroll, Mark J. Clement, Jonathan Krein, Quinn O. Snell, Adam R. Teichert

Faculty Publications

Due to the immensity of phylogenetic tree space for large data sets, researches must rely on heuristic searches to infer reasonable phylogenies. By designing meta-searches which appropriately combine a variety of heuristics and parameter settings, researchers can significantly improve the performance of heuristic searches. Advanced language constructs in the open-source PSODA project—including variables, mathematical and logical expressions, conditional statements, and user-defined commands—give researchers a better framework for the exploration and exploitation of phylogenetic meta-search algorithms. PSODA’s approach to scripting meta-search algorithms is unique among open-source packages and addresses several limitations of other phylogenetic applications.


Limitations And Extensions Of The Wolf-Phc Algorithm, Philip R. Cook Sep 2007

Limitations And Extensions Of The Wolf-Phc Algorithm, Philip R. Cook

Theses and Dissertations

Policy Hill Climbing (PHC) is a reinforcement learning algorithm that extends Q-learning to learn probabilistic policies for multi-agent games. WoLF-PHC extends PHC with the "win or learn fast" principle. A proof that PHC will diverge in self-play when playing Shapley's game is given, and WoLF-PHC is shown empirically to diverge as well. Various WoLF-PHC based modifications were created, evaluated, and compared in an attempt to obtain convergence to the single shot Nash equilibrium when playing Shapley's game in self-play without using more information than WoLF-PHC uses. Partial Commitment WoLF-PHC (PCWoLF-PHC), which performs best on Shapley's game, is tested on other …


Using A Mini-Uav To Support Wilderness Search And Rescue: Practices For Human-Robot Teaming, Julie A. Adams, Brian G. Buss, Joseph L. Cooper, Michael A. Goodrich, Curtis Humphrey, Ron Zeeman Sep 2007

Using A Mini-Uav To Support Wilderness Search And Rescue: Practices For Human-Robot Teaming, Julie A. Adams, Brian G. Buss, Joseph L. Cooper, Michael A. Goodrich, Curtis Humphrey, Ron Zeeman

Faculty Publications

Wilderness Search and Rescue can benefit from aerial imagery of the search area. Mini Unmanned Aerial Vehicles can potentially provide such imagery, provided that the autonomy, search algorithms, and operator control unit are designed to support coordinated human-robot search teams. Using results from formal analyses of the WiSAR problem domain, we summarize and discuss information flow requirements for WiSAR with an eye toward the efficient use of mUAVs to support search. We then identify and discuss three different operational paradigms for performing field searches, and identify influences that affect which human-robot team paradigm is best. Since the likely location of …


A Utile Function Optimizer, James Carroll, Christopher K. Monson, Kevin Seppi Sep 2007

A Utile Function Optimizer, James Carroll, Christopher K. Monson, Kevin Seppi

Faculty Publications

We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasive issues in optimization, including the traditionally difficult problem of selecting an algorithm that is most appropriate for a given task. This is accomplished by placing a prior distribution over the expected class of functions, then employing inference and intuitively defined utilities and costs to transform the evolutionary optimization problem into one of active sampling. This allows us to pose an approach to optimization that is optimal for each expressly stated function class. The resulting solution methodology …


Parallel Pso Using Mapreduce, Andrew Mcnabb, Christopher K. Monson, Kevin Seppi Sep 2007

Parallel Pso Using Mapreduce, Andrew Mcnabb, Christopher K. Monson, Kevin Seppi

Faculty Publications

In optimization problems involving large amounts of data, such as web content, commercial transaction information, or bioinformatics data, individual function evaluations may take minutes or even hours. Particle Swarm Optimization (PSO) must be parallelized for such functions. However, large-scale parallel programs must communicate efficiently, balance work across all processors, and address problems such as failed nodes. We present MapReduce Particle Swarm Optimization (MRPSO), a PSO implementation based on the MapReduce parallel programming model. We describe MapReduce and show how PSO can be naturally expressed in this model, without explicitly addressing any of the details of parallelization. We present a benchmark …


Development Of A Method For Calculating Delta Scuti Rotational Velocities And Hydrogen Beta Color Indices, Tabitha Christi Buehler Sep 2007

Development Of A Method For Calculating Delta Scuti Rotational Velocities And Hydrogen Beta Color Indices, Tabitha Christi Buehler

Theses and Dissertations

To add to the understanding of the structure and evolution of Delta Scuti stars, 167 Delta Scutis north of -01 degrees declination and brighter than 13th magnitude have been observed spectroscopically. A method for calculating rotational velocity values and Hydrogen-Beta color indices for the stars in the data set with no previously published values is developed, using the stars in the data set brighter than 7th magnitude. Rotational velocity values for four stars with previously unknown values and Hydrogen-Beta index values for five stars with previously unknown values are calculated.


Novel Perturbation Approach For The Structure Factor Of The Attractive Hard-Core Yukawa Fluid, Andrij Trokhymchuk, Roman Melnyk, Filip Moucka, Ivo Nezbeda Sep 2007

Novel Perturbation Approach For The Structure Factor Of The Attractive Hard-Core Yukawa Fluid, Andrij Trokhymchuk, Roman Melnyk, Filip Moucka, Ivo Nezbeda

Faculty Publications

A novel perturbation approach for the structure factor S(k) of the Lennard-Jones-type Yukawa fluid with z=1.8 is presented. An approach is based on a new reference system, that is, the short-range Yukawa model with z0 > z=1.8. By choosing for the reference system the value z0=6, it is shown that (i) the proposed approach for S(k) performs much better than the traditional hard-sphere reference perturbation method does; (ii) the use of an approximate mean spherical (MSA) description of the reference structure factor provides the results for S(k) that are more accurate as those obtained from the direct MSA computations; and (iii) …


Improving Neural Network Classification Training, Michael Edwin Rimer Sep 2007

Improving Neural Network Classification Training, Michael Edwin Rimer

Theses and Dissertations

The following work presents a new set of general methods for improving neural network accuracy on classification tasks, grouped under the label of classification-based methods. The central theme of these approaches is to provide problem representations and error functions that more directly improve classification accuracy than conventional learning and error functions. The CB1 algorithm attempts to maximize classification accuracy by selectively backpropagating error only on misclassified training patterns. CB2 incorporates a sliding error threshold to the CB1 algorithm, interpolating between the behavior of CB1 and standard error backpropagation as training progresses in order to avoid prematurely saturated network weights. CB3 …


Hardness For Explicit State Software Model Checking Benchmarks, Eric G. Mercer, Neha Rungta Sep 2007

Hardness For Explicit State Software Model Checking Benchmarks, Eric G. Mercer, Neha Rungta

Faculty Publications

Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their performance gains. Recent work characterizes the hardness of models used in the analysis as an estimated number of paths in the model that contain an error. This hardness metric is computed using a stateless random walk. We show that this is not a good hardness metric because models labeled hard with a stateless random walk metric have easily discoverable errors with a stateful randomized search. We present an analysis which shows that a hardness metric based …


Poisson Disk Point Sets By Hierarchical Dart Throwing, David Cline, Parris K. Egbert, Kenric B. White Sep 2007

Poisson Disk Point Sets By Hierarchical Dart Throwing, David Cline, Parris K. Egbert, Kenric B. White

Faculty Publications

Poisson disk point sets are “ideally” generated through a process of dart throwing. The naive dart throwing algorithm is extremely expensive if a maximal set is desired, however. In this paper we present a hierarchical dart throwing procedure which produces point sets that are equivalent to naive dart throwing, but is very fast. The procedure works by intelligently excluding areas known to be fully covered by existing samples. By excluding covered regions, the probability of accepting a thrown dart is greatly increased. Our algorithm is conceptually simple, performs dart throwing in O(N) time and memory, and produces a maximal point …


Image-Based Color Schemes, Bryan S. Morse, Daniel Thornton, Qing Xia, John Uibel Sep 2007

Image-Based Color Schemes, Bryan S. Morse, Daniel Thornton, Qing Xia, John Uibel

Faculty Publications

This paper presents a novel method for generating color schemes based on images intended to anchor color designs. This has wide applicability for web pages, printed materials, or other applications where images are used as a key part of the overall design. Unlike methods that are variants of color quantization and try to pixel-wise approximate the image, this method draws on graphic-design principles by emphasizing hue selection first, weighting effects of color by saturation, and considering the local spatial coherency in order to determine the overall visual impact of a color. Results demonstrate that the method generalizes to a wide …


Optimization Of Control Source And Error Sensor Locations In Free Field Active Noise Control, Connor Raymond Duke Aug 2007

Optimization Of Control Source And Error Sensor Locations In Free Field Active Noise Control, Connor Raymond Duke

Theses and Dissertations

Previous work has shown that active noise control (ANC) can be applied to axial cooling fans. Optimization of the control source and error sensor placement is desired to maximize the attenuation using ANC. A genetic algorithm was developed to find the optimal placement of control sources for a given primary source. The optimal configuration of control sources around a single primary source was shown to be a linear arrangement of the sources. This holds true for both two-dimensional as well as three-dimensional configurations. The higher-order radiation of the linear arrangement has also been verified experimentally, but the improvement in the …


Using Fuzzy-Word Correlation Factors To Compute Document Similarity Based On Phrase Matching, Jun Won Lee, Yiu-Kai D. Ng Aug 2007

Using Fuzzy-Word Correlation Factors To Compute Document Similarity Based On Phrase Matching, Jun Won Lee, Yiu-Kai D. Ng

Faculty Publications

One of the Web information Retrieval (IR) problems these days is to identify redundant information that exist in (replicated) Web documents. These documents can easily be found in several forms, such as documents in different versions, small documents combined with others to form a larger document, etc. As the Web is becoming more and more popular, the number of documents on the Web is increasing on a daily basis, and filtering redundant ones among this huge number of documents becomes a more difficult and an urgent task. As one of the solutions to this problem, we present a new method …


Development Of A New Ca Ii H And K Spectrophotometric Temperature Index, Kathleen Elizabeth Moncrieff Aug 2007

Development Of A New Ca Ii H And K Spectrophotometric Temperature Index, Kathleen Elizabeth Moncrieff

Theses and Dissertations

We are developing a new spectrophotometric temperature index based on the Ca II H and K lines. Because these lines are present even in very cool stars and because the Ca II H line is blended with the H-epsilon line in hot stars, this index should cover a very broad range of spectral types. Our data set consisted of 95 stars with spectral types ranging from O9 to M1. We examined five different indices based on the Ca II H + H-epsilon and K lines, as well as single-wavelength indices centered on each of the H-delta and H-gamma lines, which …


Ontology Aware Software Service Agents: Meeting Ordinary User Needs On The Semantic Web, Muhammed Jassem Al Muhammed Aug 2007

Ontology Aware Software Service Agents: Meeting Ordinary User Needs On The Semantic Web, Muhammed Jassem Al Muhammed

Theses and Dissertations

To achieve the dream of the semantic web, it must be possible for ordinary users to invoke services. It is clear that users need simple-to-invoke-and-use services. This dissertation offers an ontological approach to declaratively create services that users can invoke using free-form, natural-language-like specifications. Our approach uses task ontologies as foundational knowledge. A task ontology consists of a domain ontology and a process ontology. The domain ontology encodes domain information such as possible constraints and instances in terms of object sets, relationship sets among these object sets, and operations over values in object sets and relationship sets. The process ontology …


Constructing Subdivision Rules From Rational Maps, J. W. Cannon, W. J. Floyd, W. R. Parry Aug 2007

Constructing Subdivision Rules From Rational Maps, J. W. Cannon, W. J. Floyd, W. R. Parry

Faculty Publications

This paper deepens the connections between critically finite rational maps and finite subdivision rules. The main theorem is that if f is a critically finite rational map with no periodic critical points, then for any sufficiently large integer n the iterate f is the subdivision map of a finite subdivision rule. This enables one to give essentially combinatorial models for the dynamics of such iterates.


The Effect Of Nonlinear Propagation On Near-Field Acoustical Holography, Micah Raymond Shepherd Aug 2007

The Effect Of Nonlinear Propagation On Near-Field Acoustical Holography, Micah Raymond Shepherd

Theses and Dissertations

Near-field acoustical holography (NAH) has been used extensively for acoustical imaging of infinitesimal-amplitude (or small-amplitude) sources. However, recent interests are in the application of NAH to image finite-amplitude (or high-amplitude) sources such as jets and rockets. Since NAH is based on linear equations and finite-amplitude sources imply nonlinear effects, which cause shock formation and consequently an altered spectral shape, a feasibility study is carried out to determine the effect of nonlinear propagation on NAH. Jet and rocket sources typically have a distinct spectral shape resembling a ‘haystack’ and center frequencies varying from 30 to 300 Hz. To test the effect …


The Spillable Environment: Expanding A Handheld Device's Screen Real Estate And Interactive Capabilities, Jeffrey S. Clement Aug 2007

The Spillable Environment: Expanding A Handheld Device's Screen Real Estate And Interactive Capabilities, Jeffrey S. Clement

Theses and Dissertations

Handheld devices have a limited amount of screen real estate. If a handheld device could take advantage of larger screens, it would create a more powerful user interface and environment. As time progresses, Moore's law predicts that the computational power of handheld devices will increase dramatically in the future, promoting the interaction with a larger screen. Users can then use their peripheral vision to recognize spatial relationships between objects and solve problems more easily with this integrated system. In the spillable environment, the handheld device uses a DiamondTouch Table, a large, touch-sensitive horizontal table, to enhance the viewing environment. When …


An Adaptive Bayesian Approach To Bernoulli-Response Clinical Trials, Andrew W. Stacey Aug 2007

An Adaptive Bayesian Approach To Bernoulli-Response Clinical Trials, Andrew W. Stacey

Theses and Dissertations

Traditional clinical trials have been inefficient in their methods of dose finding and dose allocation. In this paper a four-parameter logistic equation is used to model the outcome of Bernoulli-response clinical trials. A Bayesian adaptive design is used to fit the logistic equation to the dose-response curve of Phase II and Phase III clinical trials. Because of inherent restrictions in the logistic model, symmetric candidate densities cannot be used, thereby creating asymmetric jumping rules inside the Markov chain Monte Carlo algorithm. An order restricted Metropolis-Hastings algorithm is implemented to account for these limitations. Modeling clinical trials in a Bayesian framework …


Compartmentalization Of Hiv-1 In The Secondary Lymphoid Tissues, James Peter Gregson Aug 2007

Compartmentalization Of Hiv-1 In The Secondary Lymphoid Tissues, James Peter Gregson

Theses and Dissertations

Follicular dendritic cells (FDCs) reside in the lymphoid follicles of the secondary lymphoid tissues (sLTs). Following the infection of an individual with human immunodeficiency virus type 1 (HIV-1), viral particles are trapped in massive quantities on the surfaces of FDCs. HIV-1 viral compartments are cell types or tissues between which there is a restriction of virus flow. Compartmentalization of HIV-1 creates numerous sites within the body in which the virus can undergo independent evolution, giving rise to a more diverse total viral population. Given the sessile nature of the FDC, I hypothesized that contrary to common assumptions, FDC-trapped HIV-1 is …


Text Identification By Example, Daniel Joseph Preece Aug 2007

Text Identification By Example, Daniel Joseph Preece

Theses and Dissertations

The World-Wide Web contains a lot of information and reading through the web pages to collect this information is tedious, time consuming and error prone. Users need an automated solution for extracting or highlighting the data that they are interested in. Building a regular expression to match the text they are interested in will automate the process, but regular expressions are hard to create and certainly are not feasible for non-programmers to construct. Text Identification by Example (TIBE) makes it easier for end-users to harvest information from the web and other text documents. With TIBE, training text classifiers from user-selected …


Sampling Methods In Ray-Based Global Illumination, David Cline Jul 2007

Sampling Methods In Ray-Based Global Illumination, David Cline

Theses and Dissertations

In computer graphics, algorithms that attempt to create photographic images by simulating light transport are collectively known as Global Illumination methods. The most versatile of these are based on ray tracing (following ray paths through a scene), and numerical integration using random or quasi-random sampling. While ray tracing and sampling methods in global illumination have progressed much in the last two decades, the goal of fast and accurate simulation of light transport remains elusive. This dissertation presents a number of new sampling methods that attempt to address some of the shortcomings of existing global illumination algorithms. The first part of …


On Stability And Evolution Of Solutions In General Relativity, Stephen M. Taylor Jul 2007

On Stability And Evolution Of Solutions In General Relativity, Stephen M. Taylor

Theses and Dissertations

This thesis is concerned with several problems in general relativity and low energy string theory that are pertinent to the time evolution of the gravitational field. We present a formulation of the Einstein field equations in terms of variational techniques borrowed from geometric analysis. These equations yield the evolution equations for the Cauchy problems of both general relativity and low energy string theory. We then proceed to investigate the evolutionary linear stability of Schwarzschild-like solutions in higher dimensional relativity called black strings. These objects are determined to be linearly unstable. This motivates a further stability analysis of the charged p-brane …


Development Of Informative Priors In Microarray Studies, Kassandra M. Fronczyk Jul 2007

Development Of Informative Priors In Microarray Studies, Kassandra M. Fronczyk

Theses and Dissertations

Microarrays measure the abundance of DNA transcripts for thousands of gene sequences, simultaneously facilitating genomic comparisons across tissue types or disease status. These experiments are used to understand fundamental aspects of growth and development and to explore the underlying genetic causes of many diseases. The data from most microarray studies are found in open-access online databases. Bayesian models are ideal for the analysis of microarray data because of their ability to integrate prior information; however, most current Bayesian analyses use empirical or flat priors. We present a Perl script to build an informative prior by mining online databases for similar …


Seismic And Well Log Attribute Analysis Of The Jurassic Entrada/Curtis Interval Within The North Hill Creek 3d Seismic Survey, Uinta Basin, Utah, A Case History, Ryan J. Oneal Jul 2007

Seismic And Well Log Attribute Analysis Of The Jurassic Entrada/Curtis Interval Within The North Hill Creek 3d Seismic Survey, Uinta Basin, Utah, A Case History, Ryan J. Oneal

Theses and Dissertations

3D seismic attribute analysis of the Jurassic Entrada/Curtis interval within the North Hill Creek (NHC) survey has been useful in delineating reservoir quality eolian-influenced dune complexes. Amplitude, average reflection strength and spectral decomposition appear to be most useful in locating reservoir quality dune complexes, outlining their geometry and possibly displaying lateral changes in thickness. Cross sectional views displaying toplap features likely indicate an unconformity between Entrada clinoforms below and Curtis planar beds above. This relationship may aid the explorationist in discovering this important seismic interval. Seismic and well log attribute values were cross plotted and have revealed associations between these …


Development Of Chemomechanical Functionalization And Nanografting On Silicon Surfaces, Michael Vernon Lee Jul 2007

Development Of Chemomechanical Functionalization And Nanografting On Silicon Surfaces, Michael Vernon Lee

Theses and Dissertations

Progress in chemomechanical functionalization was made by investigating the binding of molecules and surface coverage on the silicon surface, demonstrating functionalization of silicon with gases by chemomechanical means, analyzing atomic force microscopy probe tip wear in atomic force microscopy (AFM) chemomechanical nanografting, combining chemomechanical functionalization and nanografting to pattern silicon with an atomic force microscope, and extending chemomechanical nanografting to silicon dioxide. Molecular mechanics of alkenes and alkynes bound to Si(001)-2x1 as a model of chemomechanically functionalized surfaces indicated that complete coverage is energetically favorable and becomes more favorable for longer chain species. Scribing a silicon surface in the presence …


The Minimum Rank Problem Over Finite Fields, Jason Nicholas Grout Jul 2007

The Minimum Rank Problem Over Finite Fields, Jason Nicholas Grout

Theses and Dissertations

We have two main results. Our first main result is a sharp bound for the number of vertices in a minimal forbidden subgraph for the graphs having minimum rank at most 3 over the finite field of order 2. We also list all 62 such minimal forbidden subgraphs and show that many of these are minimal forbidden subgraphs for any field. Our second main result is a structural characterization of all graphs having minimum rank at most k for any k over any finite field. This characterization leads to a very strong connection to projective geometry and we apply projective …


Microfacies Analysis, Sedimentary Petrology, And Reservoir Characterization Of The Sinbad Limestone Based Upon Surface Exposures In The San Rafael Swell, Utah, Caleb R. Osborn Jul 2007

Microfacies Analysis, Sedimentary Petrology, And Reservoir Characterization Of The Sinbad Limestone Based Upon Surface Exposures In The San Rafael Swell, Utah, Caleb R. Osborn

Theses and Dissertations

The Lower Triassic Sinbad Limestone Member of the Moenkopi Formation has produced minor amounts of oil in the Grassy Trail Creek field near Green River, Utah and is present below much of central Utah including the recently discovered Covenant field. Superb outcrops of this thin (15 m), mixed carbonate-silicilastic unit in the San Rafael Swell permit detailed analysis of its vertical and lateral reservoir heterogeneity. Vertically, the Sinbad Limestone comprises three facies associations: (A) a basal storm-dominated, well-circulated skeletal-oolitic-peloidal limestone association, (B) a storm-dominated, poorly-circulated hummocky cross-stratified siliciclastic/peloidal association, and (C) a capping peritidal cross-bedded oolitic dolograinstone association. Eleven microfacies …