Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (33)
- Earth Sciences (10)
- Geology (10)
- Biochemistry (8)
- Biochemistry, Biophysics, and Structural Biology (8)
-
- Chemistry (8)
- Life Sciences (8)
- Mathematics (8)
- Statistics and Probability (8)
- Astrophysics and Astronomy (7)
- Physics (7)
- Communication (1)
- Communication Technology and New Media (1)
- Databases and Information Systems (1)
- Engineering (1)
- Manufacturing (1)
- Mechanical Engineering (1)
- Social and Behavioral Sciences (1)
- Keyword
-
- Computer (3)
- Information retrieval (3)
- Internet (3)
- Peer-to-peer (3)
- Algorithm (2)
-
- Artificial intelligence (2)
- Authentication (2)
- BYU (2)
- Basin and Range (2)
- BitTorrent (2)
- Conceptual model (2)
- Energy density (2)
- Groundwater (2)
- Machine learning (2)
- Model checking (2)
- Ontology (2)
- Tropical (2)
- 3d models (1)
- ADtree (1)
- AI (1)
- ANC (1)
- APV (1)
- Ab initio (1)
- Absorption (1)
- Acoustic (1)
- Acoustics (1)
- Active Noise Control (1)
- Active learning (1)
- Active noise control (1)
- Active sound control (1)
Articles 31 - 60 of 74
Full-Text Articles in Physical Sciences and Mathematics
Lyapunov Exponents And Invariant Manifold For Random Dynamical Systems In A Banach Space, Zeng Lian
Lyapunov Exponents And Invariant Manifold For Random Dynamical Systems In A Banach Space, Zeng Lian
Theses and Dissertations
We study the Lyapunov exponents and their associated invariant subspaces for infinite dimensional random dynamical systems in a Banach space, which are generated by, for example, stochastic or random partial differential equations. We prove a multiplicative ergodic theorem. Then, we use this theorem to establish the stable and unstable manifold theorem for nonuniformly hyperbolic random invariant sets.
The Tropical Jacobian Of A Tropical Elliptic Curve Is S^1(Q), Darryl Gene Wade
The Tropical Jacobian Of A Tropical Elliptic Curve Is S^1(Q), Darryl Gene Wade
Theses and Dissertations
We establish consistent definitions for divisors, principal divisors, and Jacobians of a tropical elliptic curve and show that for a tropical elliptic cubic C , the associated Jacobian (or zero divisor class group) is the group S^1(Q).
Simple, Secure, Selective Delegation In Online Identify Systems, Bryant Gordon Cutler
Simple, Secure, Selective Delegation In Online Identify Systems, Bryant Gordon Cutler
Theses and Dissertations
The ability to delegate privileges to others is so important to users of online identity systems that users create ad hoc delegation systems by sharing authentication credentials if no other easy delegation mechanism is available. With the rise of internet-scale relationship-based single sign-on protocols like OpenID, the security risks of password sharing are unacceptable. We therefore propose SimpleAuth, a simple modification to relationship-based authentication protocols that gives users a secure way to selectively delegate subsets of their privileges, making identity systems more flexible and increasing user security. We also present a proof-of-concept implementation of the SimpleAuth pattern using the sSRP …
Predicting The Longevity Of Dvdr Media By Periodic Analysis Of Parity, Jitter, And Ecc Performance Parameters, Daniel Patrick Wells
Predicting The Longevity Of Dvdr Media By Periodic Analysis Of Parity, Jitter, And Ecc Performance Parameters, Daniel Patrick Wells
Theses and Dissertations
For the last ten years, DVD-R media have played an important role in the storage of large amounts of digital data throughout the world. During this time it was assumed that the DVD-R was as long-lasting and stable as its predecessor, the CD-R. Several reports have surfaced over the last few years questioning the DVD-R's ability to maintain many of its claims regarding archival quality life spans. These reports have shown a wide range of longevity between the different brands. While some DVD-Rs may last a while, others may result in an early and unexpected failure. Compounding this problem is …
Complete Tropical Bezout's Theorem And Intersection Theory In The Tropical Projective Plane, Gretchen Rimmasch
Complete Tropical Bezout's Theorem And Intersection Theory In The Tropical Projective Plane, Gretchen Rimmasch
Theses and Dissertations
In this dissertation we prove a version of the tropical Bezout's theorem which is applicable to all tropical projective plane curves. There is a version of tropical Bezout's theorem presented in other works which applies in special cases, but we provide a proof of the theorem for all tropical projective plane curves. We provide several different definitions of intersection multiplicity and show that they all agree. Finally, we will use a tropical resultant to determine the intersection multiplicity of points of intersection at infinite distance. Using these new definitions of intersection multiplicity we prove the complete tropical Bezout's theorem.
Genetic Analysis Of The Role Of Smpb In Establishing The Reading Frame On Tmrna, Talina Christensen Watts
Genetic Analysis Of The Role Of Smpb In Establishing The Reading Frame On Tmrna, Talina Christensen Watts
Theses and Dissertations
Ribosomes translate the genetic information encoded by mRNA into proteins. Defective mRNAs can cause stalling of translating ribosomes. The molecule tmRNA (transfer-messenger RNA) rescues stalled ribosomes in eubacteria. Together with its protein partner SmpB, tmRNA mimics a tRNA by entering the ribosomal A site and linking an alanine residue to the growing polypeptide chain. The ribosome then abandons the defective mRNA template and resumes translation on tmRNA, adding ten more amino acids to the nascent polypeptide. As a result of tmRNA action, stalled ribosomes are released and recycled, the defective mRNA is destroyed, and the aborted protein product is tagged …
Using Live Sequence Chart Specifications For Formal Verification, Rahul Kumar
Using Live Sequence Chart Specifications For Formal Verification, Rahul Kumar
Theses and Dissertations
Formal methods play an important part in the development as well as testing stages of software and hardware systems. A significant and often overlooked part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been used as the specification language, which has resulted in verbose and difficult to use specification documents that are usually abandoned during product development. This research focuses on investigating the use of Live Sequence Charts (LSCs), a graphical and intuitive language directly suited for expressing communication behaviors of a system as the specification language for a …
Ion Permeation Through Membrane Channels: Molecular Dynamics Simulations Studies, Morad Mustafa
Ion Permeation Through Membrane Channels: Molecular Dynamics Simulations Studies, Morad Mustafa
Theses and Dissertations
Molecular dynamics simulation was used to study ion permeation through different membrane proteins embedded in a lipid bilayer (DMPC) with different saline solutions. The potential of mean force (PMF) for ion transport was obtained by umbrella sampling simulations. A revised MacKerell force field for tryptophan residues was studied using gramicidin A (gA) channel as a test model. The revised force field contribution to the Na+ PMF was consonant with the prediction from the experimental results, but in stark contrast to the prediction of the CHARMM force field, version 22, for the tryptophan side-chain. A new grid-based correction map algorithm by …
Adapting Adtrees For Improved Performance On Large Datasets With High Arity Features, Robert D. Van Dam
Adapting Adtrees For Improved Performance On Large Datasets With High Arity Features, Robert D. Van Dam
Theses and Dissertations
The ADtree, a data structure useful for caching sufficient statistics, has been successfully adapted to grow lazily when memory is limited and to update sequentially with an incrementally updated dataset. However, even these modified forms of the ADtree still exhibit inefficiencies in terms of both space usage and query time, particularly on datasets with very high dimensionality and with high arity features. We propose five modifications to the ADtree, each of which can be used to improve size and query time under specific types of datasets and features. These modifications also provide an increased ability to precisely control how an …
Early Dynamics Of Ultracold Neutral Plasmas, Adam W. Denning
Early Dynamics Of Ultracold Neutral Plasmas, Adam W. Denning
Theses and Dissertations
We report new studies on the early-time dynamics of ultracold neutral plasmas. We use fluorescence spectroscopy to probe plasma dynamics on the nanosecond time scale. We determine the rms ion velocity during the initial plasma period. The initial ion acceleration is found as the time derivative of the ion velocity. We compare to a theoretical model. The experimental results agree with the model at low plasma densities. However, the ion acceleration is a factor of ten lower than the model at higher densities. The cause of this discrepancy is currently unknown.
Rational Schur Rings Over Abelian Groups, Brent L. Kerby
Rational Schur Rings Over Abelian Groups, Brent L. Kerby
Theses and Dissertations
In 1993, Muzychuk showed that the rational S-rings over a cyclic group Z_n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z_n. This idea is easily extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational S-rings over G in a natural way. Our main result is that any finite group may be represented as the automorphism group of such a rational S-ring over an abelian p-group. In order to show this, we first …
Arbitrary Degree T-Splines, Gordon Thomas Finnigan
Arbitrary Degree T-Splines, Gordon Thomas Finnigan
Theses and Dissertations
T-Splines is a freeform surface type similar to NURBS, that allows partial rows of control points. Up until now, T-Splines have only been formally defined for the degree three case. This paper extends the definition to support all odd, even, and mixed degree T-Spline surfaces, making T-Splines a proper superset of all standard NURBS surfaces.
Ordinal Regression To Evaluate Student Ratings Data, Emily Brooke Bell
Ordinal Regression To Evaluate Student Ratings Data, Emily Brooke Bell
Theses and Dissertations
Student evaluations are the most common and often the only method used to evaluate teachers. In these evaluations, which typically occur at the end of every term, students rate their instructors on criteria accepted as constituting exceptional instruction in addition to an overall assessment. This presentation explores factors that influence student evaluations using the teacher ratings data of Brigham Young University from Fall 2001 to Fall 2006. This project uses ordinal regression to model the probability of an instructor receiving a good, average, or poor rating. Student grade, instructor status, class level, student gender, total enrollment, term, GE class status, …
Homomorphisms Into The Fundamental Group Of One-Dimensional And Planar Peano Continua, Curtis Andrew Kent
Homomorphisms Into The Fundamental Group Of One-Dimensional And Planar Peano Continua, Curtis Andrew Kent
Theses and Dissertations
Let X be a planar or one-dimensional Peano continuum. Let E be a Hawaiian Earring with fundamental group H. We show that every homomorphism from H to the fundamental group of X is conjugate to a homomorphism which is induced by a continuous function.
Fusion Of Character Tables And Schur Rings Of Dihedral Groups, Long Pham Bao Nguyen
Fusion Of Character Tables And Schur Rings Of Dihedral Groups, Long Pham Bao Nguyen
Theses and Dissertations
A finite group H is said to fuse to a finite group G if the class algebra of G is isomorphic to an S-ring over H which is a subalgebra of the class algebra of H. We will also say that G fuses from H. In this case, the classes and characters of H can fuse to give the character table of G. We investigate the case where H is the dihedral group. In many cases, G can be completely determined. In general, G can be proven to have many interesting properties. The theory is developed in terms of S-ring …
Reducing Seed Load In The Bittorrent File Sharing System, Brian T. Sanderson
Reducing Seed Load In The Bittorrent File Sharing System, Brian T. Sanderson
Theses and Dissertations
BitTorrent is an attractive peer-to-peer technology that attempts to reduce load on file sharers by allowing downloaders to share content between themselves. BitTorrent's current focus is to provide users with a fast download, which requires the file sharer to serve a disproportionate amount of the file. We present a modification to the BitTorrent seeding algorithm that reduces the load on BitTorrent file sharers. Essentially, if a block of a file is already available from a significant number of peers, the file sharer refuses to share that block, forcing peers to get it from each other. Using this modification, we show …
A Naive, Robust And Stable State Estimate, Todd Gordon Remund
A Naive, Robust And Stable State Estimate, Todd Gordon Remund
Theses and Dissertations
A naive approach to filtering for feedback control of dynamic systems that is robust and stable is proposed. Simulations are run on the filters presented to investigate the robustness properties of each filter. Each simulation with the comparison of the filters is carried out using the usual mean squared error. The filters to be included are the classic Kalman filter, Krein space Kalman, two adjustments to the Krein filter with input modeling and a second uncertainty parameter, a newly developed filter called the Naive filter, bias corrected Naive, exponentially weighted moving average (EWMA) Naive, and bias corrected EWMA Naive filter.
Geochemistry, Structure, And Tectonic Evolution Of The Eldivan Ophiolite, Ankara Melange, Central Turkey, Anne Dangerfield
Geochemistry, Structure, And Tectonic Evolution Of The Eldivan Ophiolite, Ankara Melange, Central Turkey, Anne Dangerfield
Theses and Dissertations
The Eldivan ophiolite, in the Ankara Mélange, represents the remnant of an ocean basin that developed in the İzmir-Ankara-Erzincan Ocean and collapsed the form the İzmir -Ankara-Erzincan suture zone (İAESZ) through continental block collision. Whole-rock and mineral geochemical evidence show supra-subduction zone tectonomagmatic affinity for the ophiolite, revealing this basin formed in the upper plate of an intra-oceanic subduction zone. Detrital zircon from the ophiolitic mélange sandstone and the overlying Karadağ Formation suggest the ophiolites maximum age is 143.2 (±2) Ma, and the overlying Karadağ Formation is 105.2 (±5) Ma. The angular unconformity between the ophiolite and Karadağ formation reveal …
Interactive Part Selection For Mesh And Point Models Using Hierarchical Graph-Cut Partitioning, Steven W. Brown
Interactive Part Selection For Mesh And Point Models Using Hierarchical Graph-Cut Partitioning, Steven W. Brown
Theses and Dissertations
This thesis presents a method for interactive part selection for mesh and point set surface models that combines scribble-based selection methods with hierarchically accelerated graph-cut segmentation. Using graph-cut segmentation to determine optimal intuitive part boundaries enables easy part selection on complex geometries and allows for a simple, scribble-based interface that focuses on selecting within visible parts instead of precisely defining part boundaries that may be in difficult or occluded regions. Hierarchical acceleration is used to maintain interactive speeds with large models and to determine connectivity when extending the technique to point set models.
Lifting Galois Representations In A Conjecture Of Figueiredo, Wayne Bennett Rosengren
Lifting Galois Representations In A Conjecture Of Figueiredo, Wayne Bennett Rosengren
Theses and Dissertations
In 1987, Jean-Pierre Serre gave a conjecture on the correspondence between degree 2 odd irreducible representations of the absolute Galois group of Q and modular forms. Letting M be an imaginary quadratic field, L.M. Figueiredo gave a related conjecture concerning degree 2 irreducible representations of the absolute Galois group of M and their correspondence to homology classes. He experimentally confirmed his conjecture for three representations arising from PSL(2,3)-polynomials, but only up to a sign because he did not lift them to SL(2,3)-polynomials. In this paper we compute explicit lifts and give further evidence that his conjecture is accurate.
Ranking Search Results For Translated Content, Brian Edwin Hawkins
Ranking Search Results For Translated Content, Brian Edwin Hawkins
Theses and Dissertations
Translation Memory (TM) is a valuable tool that helps human translators in doing their job. TM consists of a collection of previously translated texts, called translation units, that may prove useful in the translation of new text. The main problem faced by translators who wish to take advantage of TM is that, although search tools do exist, there is no standardized way of effectively ranking search results. This thesis proposes a method for ranking TM search results together with a novel approach to efficiently finding common substrings that is used in the ranking process.
Optimal Interest Rate For A Borrower With Estimated Default And Prepayment Risk, Scott T. Howard
Optimal Interest Rate For A Borrower With Estimated Default And Prepayment Risk, Scott T. Howard
Theses and Dissertations
Today's mortgage industry is constantly changing, with adjustable rate mortgages (ARM), loans originated to the so-called "subprime" market, and volatile interest rates. Amid the changes and controversy, lenders continue to originate loans because the interest paid over the loan lifetime is profitable. Measuring the profitability of those loans, along with return on investment to the lender is assessed using Actuarial Present Value (APV), which incorporates the uncertainty that exists in the mortgage industry today, with many loans defaulting and prepaying. The hazard function, or instantaneous failure rate, is used as a measure of probability of failure to make a payment. …
Modeling The Hydrolyzing Action Of Secretory Phospholipase A2 With Ordinary Differential Equations And Monte Carlo Methods, Zijun Lan Dozier
Modeling The Hydrolyzing Action Of Secretory Phospholipase A2 With Ordinary Differential Equations And Monte Carlo Methods, Zijun Lan Dozier
Theses and Dissertations
Although cell membranes normally resist the hydrolysis of secretory phospholipase A2, a series of current investigations demonstrated that the changes in lipid order caused by increased calcium has a relationship with the susceptibility to phospholipase A2. To further explore this relationship, we setup ordinary differential equations models, statistic models and stochastic models to compare the response of human erythrocytes to the hydrolyzing action of secretory phospholipase A2 and the relationship between the susceptibility of hydrolysis and the physical properties of secretory phospholipase A2. Furthermore, we use models to determine the ability of calcium ionophore to increased membrane susceptibility.
Machine Code Verification Using The Bogor Framework, Joseph R. Edelman
Machine Code Verification Using The Bogor Framework, Joseph R. Edelman
Theses and Dissertations
Verification and validation of embedded systems software is tedious and time consuming. Software model checking uses a tool-based approach automating this process. In order to more accurately model software it is necessary to provide hardware support that enables the execution of software as it should run on native hardware. Hardware support often requires the creation of model checking tools specific to the instruction set architecture. The creation of software model checking tools is non-trivial. We present a strategy for using an "off-the-shelf" model checking tool, Bogor, to provide support for multiple instruction set architectures. Our strategy supports key hardware features …
Contribution Of Recharge Along Regional Flow Paths To Discharge At Ash Meadows, Nevada, Michelle Bushman
Contribution Of Recharge Along Regional Flow Paths To Discharge At Ash Meadows, Nevada, Michelle Bushman
Theses and Dissertations
Springs in the Ash Meadows, Nevada wetland area are discharging groundwater at a high volume that cannot be sustained by local, present-day precipitation and associated recharge. Previous groundwater flow models for this region have required groundwater to flow through complex geology for long distances (160km) through fractures that, in the current stress field, should be closed in many instances in the presumed flow direction. This thesis examines several possible flow paths and evaluates each flow path using chemical and isotopic signatures in the water, as well as geologic and geophysical constraints, and determines that flow from beneath the Yucca Mountain …
Automating Mini-Ontology Generation From Canonical Tables, Stephen G. Lynn
Automating Mini-Ontology Generation From Canonical Tables, Stephen G. Lynn
Theses and Dissertations
In this thesis work we develop and test MOGO (a Mini-Ontology GeneratOr.) MOGO automates the generation of mini-ontologies from canonicalized tables of data. This will help anyone trying to organize large amounts of existing data into a more searchable and accessible form. By using a number of different heuristic rules for selecting, enhancing, and modifying ontology elements, MOGO allows users to automatically, semi-automatically, or manually generate conceptual mini-ontologies from canonicalized tables of data. Ideally, MOGO operates fully automatically while allowing users to intervene to direct and correct when necessary so that they can always satisfactorily complete the translation of canonicalized …
Geology Of The Phil Pico Mountain Quadrangle, Daggett County, Utah, And Sweetwater County, Wyoming, Alvin D. Anderson
Geology Of The Phil Pico Mountain Quadrangle, Daggett County, Utah, And Sweetwater County, Wyoming, Alvin D. Anderson
Theses and Dissertations
Geologic mapping in the Phil Pico Mountain quadrangle and analysis of the Carter Oil Company Carson Peak Unit 1 well have provided additional constraints on the erosional and uplift history of this section of the north flank of the Uinta Mountains. Phil Pico Mountain is largely composed of the conglomeratic facies of the early Eocene Wasatch and middle to late Eocene Bridger Formations. These formations are separated by the Henrys Fork fault which has thrust Wasatch Formation next to Bridger Formation. The Wasatch Formation is clearly synorogenic and contains an unroofing succession from the adjacent Uinta Mountains. On Phil Pico …
The Optimal Weighting Of Pre-Election Polling Data, Gregory K. Johnson
The Optimal Weighting Of Pre-Election Polling Data, Gregory K. Johnson
Theses and Dissertations
Pre-election polls are used to test the political landscape and predict election results. The relative weights for the state-level data from the 2006 U.S. senatorial races are considered based on the date on which the polls were conducted. Long- and short-memory weight functions are developed to specify the relative value of historical polling data. An optimal weight function is estimated by minimizing the discrepancy function between estimates from weighted polls and the election outcomes.
Improving Spreadsheets For Complex Problems, Brian C. Whitmer
Improving Spreadsheets For Complex Problems, Brian C. Whitmer
Theses and Dissertations
Spreadsheets are one of the most frequently used applications. They are used because they are easy to understand and values can be updated easily. However, many people try to use spreadsheets for problems beyond their intended scope and end up with errors and miscalculations. We present a new spreadsheet system which uses complex-values and equation code reuse to overcome the limitations of spreadsheets for complex problems. We also discuss the features necessary in order to make these enhancements useful and effective.
Generalized Constrained Interpolation, Jacob Porter Merrell
Generalized Constrained Interpolation, Jacob Porter Merrell
Theses and Dissertations
Interpolation is essential in digital image processing, especially magnification. Many different approaches to interpolation specific to magnification have been developed in an effort to overcome the shortcomings of bilinear and bicubic interpolation. One of these approaches, Constraint-Based Interpolation, produces an image that is free of jaggies and has less blurring than bilinear or bicubic interpolation. Although Constraint-Based Interpolation produces a visually pleasing image, there are user-chosen parameters that make the algorithm difficult to use. In this thesis we propose a method for automatic selection of those parameters and an extension of Constraint-Based Interpolation to other forms of image manipulation, such …