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

Digital Commons Network™

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

Brigham Young University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 6721 - 6750 of 8046

Full-Text Articles in Entire DC Network

Load Balancing Parallel Explicit State Model Checking, Rahul Kumar Jun 2004

Load Balancing Parallel Explicit State Model Checking, Rahul Kumar

Theses and Dissertations

This research first identifies some of the key concerns about the techniques and algorithms developed for distributed and parallel model checking; specifically, the inherent problem with load balancing and large queue sizes resultant in a static partition algorithm. This research then presents a load balancing algorithm to improve the run time performance in distributed model checking, reduce maximum queue size, and reduce the number of states expanded before error discovery. The load balancing algorithm is based on Generalized Dimension Exchange (GDE). This research presents an empirical analysis of the GDE based load balancing algorithm on three different supercomputing architectures---distributed memory …


Mechanism Governing The Cellular Susceptibility To Secretory Phospholipase A2, Lauren Blackburn Jensen Jun 2004

Mechanism Governing The Cellular Susceptibility To Secretory Phospholipase A2, Lauren Blackburn Jensen

Theses and Dissertations

Secretory phospholipase A2 (sPLA2) is an important part of apoptosis and disposal of damaged and dying cells. However, healthy cells are not susceptible to attack by sPLA2. Recent studies have focused on membrane properties necessary to induce susceptibility in both artificial and biological membranes. Hydrolysis of phospholipids by sPLA2 requires at least two preliminary steps: first, adsorption of the enzyme to the cellular membrane, and second, movement of a phospholipid into the active site of the enzyme. We determined the effects of susceptibility on each of the two steps and determined the contributions changing the equilibrium constants have on susceptibility. …


Experimental And Numerical Investigation Of Turbulent Flow Induced Pipe Vibration In Fully Developed Flow, Matthew T. Pittard, R. Daniel Maynes, Jonathan D. Blotter, Robert P. Evans Jun 2004

Experimental And Numerical Investigation Of Turbulent Flow Induced Pipe Vibration In Fully Developed Flow, Matthew T. Pittard, R. Daniel Maynes, Jonathan D. Blotter, Robert P. Evans

Faculty Publications

Flow-induced pipe vibration caused by fully developed pipe flow has been observed but not fully investigated when turbulent flow prevails. This article presents experimental results that indicate a strong correlation between the volume flow rate and a measure of the pipe vibration. In this work, the standard deviation of the frequency-averaged time-series signal, measured using an accelerometer attached to the pipe, is used as the measure of pipe vibration. A numerical, fluid-structure interaction (FSI) model used to investigate the relationship between pipe wall vibration and the physical characteristics of turbulent flow is also presented. This numerical FSI approach, unlike commercial …


Platinum Group Element Mineralization In "Ballrooms" Of The J-M Reef Of The Stillwater Complex, Montana, Matthew P. Harper Jun 2004

Platinum Group Element Mineralization In "Ballrooms" Of The J-M Reef Of The Stillwater Complex, Montana, Matthew P. Harper

Theses and Dissertations

The J-M Reef of the Stillwater Complex, Montana (a large layered mafic intrusion), is one of the highest grade platinum group element (PGE) deposits known in the world, producing primarily palladium and platinum in a 3.4:1 ratio. "Ballrooms" of the Stillwater Complex are anomalously wide areas within or stratigraphically below the J-M Reef that host platinum group element mineralization. Ballrooms have two typical morphologies (type 1 and type 2); the first is an abrupt thickening of the mineralization that extends below the Reef Package and the second is a gentle widening of the Reef Package and associated reef mineralization to …


A New Approach To Lie Symmetry Groups Of Minimal Surfaces, Robert D. Berry Jun 2004

A New Approach To Lie Symmetry Groups Of Minimal Surfaces, Robert D. Berry

Theses and Dissertations

The Lie symmetry groups of minimal surfaces by way of planar harmonic functions are determined. It is shown that a symmetry group acting on the minimal surfaces is isomorphic with H × H^2 — the analytic functions and the harmonic functions. A subgroup of this gives a generalization of the associated family which is examined.


Solving Large Mdps Quickly With Partitioned Value Iteration, David Wingate Jun 2004

Solving Large Mdps Quickly With Partitioned Value Iteration, David Wingate

Theses and Dissertations

Value iteration is not typically considered a viable algorithm for solving large-scale MDPs because it converges too slowly. However, its performance can be dramatically improved by eliminating redundant or useless backups, and by backing up states in the right order. We present several methods designed to help structure value dependency, and present a systematic study of companion prioritization techniques which focus computation in useful regions of the state space. In order to scale to solve ever larger problems, we evaluate all enhancements and methods in the context of parallelizability. Using the enhancements, we discover that in many instances the limiting …


An Exploration In Critical Methodology: Critiquing A Critique, Brant A. Gardner Jun 2004

An Exploration In Critical Methodology: Critiquing A Critique, Brant A. Gardner

Review of Books on the Book of Mormon 1989–2011

Review of Earl M. Wunderli. “Critique of a Limited Geography for Book of Mormon Events.” Dialogue 35/3 (2002): 161–97.


The Big Bang: What Does It Mean For Us?, Hollis R. Johnson Jun 2004

The Big Bang: What Does It Mean For Us?, Hollis R. Johnson

Review of Books on the Book of Mormon 1989–2011

Review of Paul Copan and William Lane Craig. “Craftsman or Creator? An Examination of the Mormon Doctrine of Creation and a Defense of Creatio ex nihilo.” In The New Mormon Challenge: Responding to the Latest Defenses of a Fast-Growing Movement,


Correlation And Covariance Of Satellite Scatterometer Measurements, David G. Long, Peter K. Yoho Jun 2004

Correlation And Covariance Of Satellite Scatterometer Measurements, David G. Long, Peter K. Yoho

Faculty Publications

Capable scatterometer designs have been developed that seek improved resolution through the use of higher pulse sampling rates. The high sampling rates bring the traditional scatterometry assumption of measurement independence into question. This paper uses fundamental scattering theory to derive general expressions for correlation and covariance between scatterometer measurements and provides practical analysis using current and future instruments as examples. The paper derives expressions for the measurement variance parameter Kp when measurement correlation due to Rayleigh fading effects is present and relates Kp to the statistics of multiple pulse measurements. A function of the transmit signal modulation and receive processing, …


Empirical Analysis Of Computational And Accuracy Tradeoffs Using Compactly Supported Radial Basis Functions For Surface Reconstruction, Weiming Liu, Bryan S. Morse, Lauralea Otis Jun 2004

Empirical Analysis Of Computational And Accuracy Tradeoffs Using Compactly Supported Radial Basis Functions For Surface Reconstruction, Weiming Liu, Bryan S. Morse, Lauralea Otis

Faculty Publications

Implicit surfaces can be constructed from scattered surface points using radial basis functions (RBFs) to interpolate the surface’s embedding function. Many researchers have used thin-plate spline RBFs for this because of their desirable smoothness properties. Others have used compactly supported RBFs, leading to a sparse matrix solution with lower computational complexity and better conditioning. However, the limited radius of support introduces a free parameter that leads to varying solutions as well as varying computational requirements: a larger radius of support leads to smoother and more accurate solutions but requires more computation. This paper presents an empirical analysis of this radius …


Responding To Policies At Runtime In Trustbuilder, Michael D. Jones, Kent E. Seamons, Bryan Smith Jun 2004

Responding To Policies At Runtime In Trustbuilder, Michael D. Jones, Kent E. Seamons, Bryan Smith

Faculty Publications

To preview my talk, I will first give a brief overview of trust negotiation and policy exchange. Third, I will discuss the limitations of current compliance checkers and adaptations needed for trust negotiation. Finally, I will outline the contributions of this research.


Velocity And Temperature Characterization Of The First Vacuum Stage Expansion In An Inductively Coupled Plasma - Mass Spectrometer, William Neil Radicic May 2004

Velocity And Temperature Characterization Of The First Vacuum Stage Expansion In An Inductively Coupled Plasma - Mass Spectrometer, William Neil Radicic

Theses and Dissertations

The inductively coupled plasma - mass spectrometer (ICP-MS) is the analytical instrument of choice for trace element detection and quantification. Despite the popularity of ICP-MS, significant degradation in sensitivity and precision occurs as the result of matrix and instrument-induced effects. The sources of these effects are not well understood, characterized, or correlated to particular plasma operating condition settings or matrix compositions and involve both neutral and charged species. The purpose of this study is to characterize the behavior of metastable Ar (I) atom and Ca (II) ion through the measurement of Doppler velocities and fluorescence line width "temperatures."

For the …


N9 Alkylation And Glycosylation Of Purines; A Practical Synthesis Of 2-Chloro-2'-Deoxyadenosine, Minghong Zhong May 2004

N9 Alkylation And Glycosylation Of Purines; A Practical Synthesis Of 2-Chloro-2'-Deoxyadenosine, Minghong Zhong

Theses and Dissertations

(a) The Robins reagent [2-acetamido-6-O-(diphenylcarbamoyl)purine] was utilized for glycosylation under Lewis acid conditions. Regioselectivity of glycosylation depends on the glycosyl donor and its 2-O- or 2-N-protecting group. Regioselective N9 glycosylation of 2-acetamido-6-O-(diphenylcarbamoyl)purine with problematic glucosamine has been accomplished by protecting the amino function as a phthalimido group with consequent stabilization of the oxocarbenium cation, and lowering the activation energy by introduction of trichloroacetimidate at the anomeric carbon.

(b) 6-Heteroaryl functions [6-(1,2,4-triazol-4-yl) and 6-(imidazol-1-yl)] were introduced into purine derivatives for regioselective N9 alkylation. The regiospecificity of alkylation mainly results from steric effects due to the coplanar conformation of the two linked …


Developing An Instrument For Determining Teacher Beliefs Or Orientations Of Secondary School Spanish Language Teachers, Lori Virginia Cox May 2004

Developing An Instrument For Determining Teacher Beliefs Or Orientations Of Secondary School Spanish Language Teachers, Lori Virginia Cox

Theses and Dissertations

This study was designed to further the development of an instrument for use in investigating the ideas or beliefs that Spanish language teachers possess about the teaching of a foreign language. It was also the intent of the study to survey Spanish language teachers and use their responses as an aid in the development of the instrument. A questionnaire detailing possible teacher behaviors was sent out to 220 Spanish language secondary school teachers in the state of Utah. Three teacher orientations emerged and were significantly related to gender and years of teaching experience. Seven questions from the questionnaire emerged as …


Performance Of The Kenward-Project When The Covariance Structure Is Selected Using Aic And Bic, Elisa Valderas Gomez May 2004

Performance Of The Kenward-Project When The Covariance Structure Is Selected Using Aic And Bic, Elisa Valderas Gomez

Theses and Dissertations

Linear mixed models are frequently used to analyze data with random effects and/or repeated measures. A common approach to such analyses requires choosing a covariance structure. Information criteria, such as AIC and BIC, are often used by statisticians to help with this task. However, these criteria do not always point to the true covariance structure and therefore the wrong covariance structure is sometimes chosen. Once this step is complete, Wald statistics are used to test fixed effects. Degrees of freedom for these statistics are not known. However, there are approximation methods, such as Kenward and Roger (KR) and Satterthwaite (SW) …


The "Fair" Triathlon: Equating Standard Deviations Using Non-Linear Bayesian Models, Steven Mckay Curtis May 2004

The "Fair" Triathlon: Equating Standard Deviations Using Non-Linear Bayesian Models, Steven Mckay Curtis

Theses and Dissertations

The Ironman triathlon was created in 1978 by combining events with the longest distances for races then contested in Hawaii in swimming, cycling, and running. The Half Ironman triathlon was formed using half the distances of each of the events in the Ironman. The Olympic distance triathlon was created by combining events with the longest distances for races sanctioned by the major federations for swimming, cycling, and running. The relative importance of each event in overall race outcome was not given consideration when determining the distances of each of the races in modern triathlons. Thus, there is a general belief …


Validation Of Criteria Used To Predict Warfarin Dosing Decisions, Nicole Thomas May 2004

Validation Of Criteria Used To Predict Warfarin Dosing Decisions, Nicole Thomas

Theses and Dissertations

People at risk for blood clots are often treated with anticoagulants, warfarin is such an anticoagulant. The dose's effect is measured by comparing the time for blood to clot to a control time called an INR value. Previous anticoagulant studies have addressed agreement between fingerstick (POC) devices and the standard laboratory, however these studies rely on mathematical formulas as criteria for clinical evaluations, i.e. clinical evaluation vs. precision and bias. Fourteen such criteria were found in the literature. There exists little consistency among these criteria for assessing clinical agreement, furthermore whether these methods of assessing agreement are reasonable estimates of …


Margaret Cavendish And Scientific Discourse In Seventeenth-Century England, Alisa Curtis Bolander May 2004

Margaret Cavendish And Scientific Discourse In Seventeenth-Century England, Alisa Curtis Bolander

Theses and Dissertations

Although the natural philosophy of Margaret Cavendish is eclectic and uncustomary, it offers an important critique of contemporary scientific methods, especially mechanism and experimentalism. As presented in Observations upon Experimental Philosophy and Blazing World, Cavendish's natural philosophy incorporates rationalistic and subjective elements, urging contemporary natural philosophers to recognize that pure objectivity is unattainable through any method of inquiry and that reason is essential in making sense and use of scientific observation.

In addition to its scientific implications, Cavendish's three-tiered model of matter presents interesting sociopolitical associations. Through her own use of metaphor and her theoretical fusion of matter and motion, …


Ultraconnected And Critical Graphs, Jason Nicholas Grout May 2004

Ultraconnected And Critical Graphs, Jason Nicholas Grout

Theses and Dissertations

We investigate the ultraconnectivity condition on graphs, and provide further connections between critical and ultraconnected graphs in the positive definite partial matrix completion problem. We completely characterize when the join of graphs is ultraconnected, and prove that ultraconnectivity is preserved by Cartesian products. We completely characterize when adding a vertex to an ultraconnected graph preserves ultraconnectivity. We also derive bounds on the number of vertices which guarantee ultraconnectivity of certain classes of regular graphs. We give results from our exhaustive enumeration of ultraconnected graphs up to 11 vertices. Using techniques involving the Lovász theta parameter for graphs, we prove certain …


Influence Of Black-Tailed Prairie Dog Towns (Cynomys Ludovicianus) On Carnivore Distributions In The Oklahoma Pandhandle, Michael J. Shaughnessy Jr., Richard L. Cifelli Apr 2004

Influence Of Black-Tailed Prairie Dog Towns (Cynomys Ludovicianus) On Carnivore Distributions In The Oklahoma Pandhandle, Michael J. Shaughnessy Jr., Richard L. Cifelli

Western North American Naturalist

Carnivores were recorded at prairie dog towns and non-prairie dog town paired sites in the Oklahoma Panhandle over 4 sampling sessions from October 1995 to February 1997. We established carnivore presence through the use of baited tracking plates dusted with chalk and matched with infrared-triggered cameras. Five carnivore species were recorded at both prairie dog towns and paired sites across the Oklahoma Panhandle. Of these, 4 were recorded with sufficient regularity to permit analyses. Carnivores were analyzed at prairie dog towns across the entire Panhandle and in the Panhandle's westernmost county (Cimarron County) only. Canids showed no significant preference for …


Identification Of An Il-17-Producing Nk1.1neg Inkt Cell Population Involved In Airway Neutrophilia, Paul B. Savage, Marie-Laure Michel, Alexandre Castro Keller, Christophe Paget, Masakazu Fujio, Francois Trottein, Chi-Huey Wong, Elke Schneider, Michael Dy, Maria C. Leite-De-Moraes Apr 2004

Identification Of An Il-17-Producing Nk1.1neg Inkt Cell Population Involved In Airway Neutrophilia, Paul B. Savage, Marie-Laure Michel, Alexandre Castro Keller, Christophe Paget, Masakazu Fujio, Francois Trottein, Chi-Huey Wong, Elke Schneider, Michael Dy, Maria C. Leite-De-Moraes

Faculty Publications

Invariant natural killer T (iNKT) cells are an important source of both T helper type 1 (Th1) and Th2 cytokines, through which they can exert beneficial, as well as deleterious, effects in a variety of inflammatory diseases. This functional heterogeneity raises the question of how far phenotypically distinct subpopulations are responsible for such contrasting activities. In this study, we identify a particular set of iNKT cells that lack the NK1.1 marker (NK1.1neg) and secrete high amounts of interleukin (IL)-17 and low levels of interferon (IFN)-{gamma} and IL-4. NK1.1neg iNKT cells produce IL-17 upon synthetic ({alpha}-galactosylceramide [{alpha}-GalCer] or PBS-57), as well …


Removing Surface Contaminants From Silicon Wafers To Facilitate Euv Optical Characterization, Richard L. Sandberg, David D. Allred, A. L. Jackson, J. E. Johnson, W. Evans, T. Doughty, A. E. Baker, K. Adamson, A. Jacquier, R. E. Robinson Apr 2004

Removing Surface Contaminants From Silicon Wafers To Facilitate Euv Optical Characterization, Richard L. Sandberg, David D. Allred, A. L. Jackson, J. E. Johnson, W. Evans, T. Doughty, A. E. Baker, K. Adamson, A. Jacquier, R. E. Robinson

Faculty Publications

The extreme ultraviolet (EUV) is becoming increasingly important. Principal applications include orbital space-based astronomy and lithography for integrated circuit computer chips. A main impediment to further development of efficient mirrors is the lack of reliable optical constants for various materials in this region of the electromagnetic spectrum. One reason for the unreliability of the optical constants is that the sample surfaces are often contaminated with foreign material, especially organic compounds, when exposed to laboratory air. Several cleaning techniques were evaluated, namely: 1) strippable solid optical cleaner (Opticlean®); 2) oxygen plasma etch; 3) high energy UV light/ozone; 4) strippable coating followed …


Numerical Modeling Of Friction Stir Welding: A Comparison Of Alegra And Forge3, Alma H. Oliphant Apr 2004

Numerical Modeling Of Friction Stir Welding: A Comparison Of Alegra And Forge3, Alma H. Oliphant

Theses and Dissertations

The objective of this research was to evaluate the capabilities of ALEGRA, a Sandia National Labs hydrocode, and Forge3, a Transvalor S.A. product, to accurately model the Friction Stir Welding Process. ALEGRA and Forge3 are discussed in light of the inherent challenges of modeling Friction Stir Welding, and a rotational boundary condition is added to ALEGRA. Results are presented from Friction Stir Welding modeling outputs from both ALEGRA and Forge3. ALEGRA is shown to be incapable of modeling the Friction Stir Welding process, in large part due to its focus on shock propagation, which causes extremely small time steps. Forge3 …


Fluorescence Detectors For Proteins And Toxic Heavy Metals, Uchenna Prince Paul Apr 2004

Fluorescence Detectors For Proteins And Toxic Heavy Metals, Uchenna Prince Paul

Theses and Dissertations

An inexpensive detector for proteins is described. The detection technique was based on two-photon excitation intrinsic protein fluorescence using a visible 532 nm diode-pumped nano laser as the excitation source. Proteins that exhibit intrinsic fluorescence must contain at least one tryptophan, tyrosine, or phenylalanine residue in their amino acid sequences. The detector was characterized and was found to have a detection limit of 4 micro-molar for tryptophan, 22 micro-molar for tyrosine and 500 micro-molar for phenylalanine. Bovine serum albumin, a serum protein with 3 tryptophan residues in its amino acid sequence was also used to characterize the detector. It was …


Gradient-Based Non-Linear Microstructure Design, Brent L. Adams, M. Lyon Apr 2004

Gradient-Based Non-Linear Microstructure Design, Brent L. Adams, M. Lyon

Faculty Publications

The support of this research by the Army Research Office is gratefully acknowledged. M. Lyon is supported by a National Science Foundation Graduate Research Fellowship. Fourier analysis is implemented on the orientation distribution of a polycrystalline microstructure. The linearity and convexity of the Fourier space, with respect to orientation, allows one to consider all possible distributions by considering all linear combinations of single-grain orientations. The limits of the Fourier space are therefore defined by the solutions to a set of linear programming problems. A unique approach to the linear programming, similar to the Krylov subspace methods for obtaining solutions to …


Responding To Policies At Runtime In Trustbuilder, Bryan J. Smith Apr 2004

Responding To Policies At Runtime In Trustbuilder, Bryan J. Smith

Theses and Dissertations

Automated trust negotiation is the process of establishing trust between entities with no prior relationship through the iterative disclosure of digital credentials. One approach to negotiating trust is for the participants to exchange access control policies to inform each other of the requirements for establishing trust. When a policy is received at runtime, a compliance checker determines which credentials satisfy the policy so they can be disclosed. In situations where several sets of credentials satisfy a policy and some of the credentials are sensitive, a compliance checker that generates all the sets is necessary to insure that the negotiation succeeds …


Analysis Of Clinically Important Compounds Using Electrophoretic Separation Techniques Coupled To Time-Of-Flight Mass Spectrometry, Zlatuse Durda Peterson Apr 2004

Analysis Of Clinically Important Compounds Using Electrophoretic Separation Techniques Coupled To Time-Of-Flight Mass Spectrometry, Zlatuse Durda Peterson

Theses and Dissertations

Capillary electrophoretic (CE) separations were successfully coupled to time-of-flight mass spectrometric (TOFMS) detection for the analysis of three families of biological compounds that act as mediators and/or indicators of disease, namely, catecholamines (dopamine, epinephrine, norepinephrine) and their O-methoxylated metabolites (3-methoxytyramine, norepinephrine, and normetanephrine), indolamines (serotonin, tryptophan, and 5-hydroxytryptophan), and angiotensin peptides. While electrophoretic separation techniques provided high separation efficiency, mass spectrometric detection afforded specificity unsurpassed by other types of detectors.

Both catecholamines and indolamines are present in body fluids at concentrations that make it possible for them to be determined by capillary zone electrophoresis coupled to TOFMS without employing any …


Query Rewriting For Extracting Data Behind Html Forms, Xueqi Chen Apr 2004

Query Rewriting For Extracting Data Behind Html Forms, Xueqi Chen

Theses and Dissertations

Much of the information on the Web is stored in specialized searchable databases and can only be accessed by interacting with a form or a series of forms. As a result, enabling automated agents and Web crawlers to interact with form-based interfaces designed primarily for humans is of great value. This thesis describes a system that can fill out Web forms automatically according to a given user query against a global schema for an application domain and, to the extent possible, extract just the relevant data behind these Web forms. Experimental results on two application domains show that the approach …


Front Matter, Comparative Civilizations Review Apr 2004

Front Matter, Comparative Civilizations Review

Comparative Civilizations Review

No abstract provided.


Does Chiasmus Appear In The Book Of Mormon By Chance?, Boyd F. Edwards, W. Farrell Edwards Apr 2004

Does Chiasmus Appear In The Book Of Mormon By Chance?, Boyd F. Edwards, W. Farrell Edwards

BYU Studies

Chiasmus in an inverted-parallel literary form that was employed by ancient Hebrew biblical writers, among others. An instance of this form, called a "chiasm," presents two or more literary elements, and then restates them in reverse order. For example, Matthew 10:39 is a two-element chiasm:

EXAMPLE 1

He that (a) findeth his life shall (b) lose it:

And he that (b) loseth his life for my sake shall (a) find it.