Digital Commons Network^™

Toward Automated Abstraction For Protocols On Branching Networks, Michael D. Jones, Ganesh Gopalakrishnan

Faculty Publications

We have used various manual abstraction techniques to formally verify a transaction ordering property for an IO protocol over bus/bridge networks. In the context of network protocol verification, an abstraction is needed to reduce the unbounded number of network configurations to a small number of representative networks that can be checked using algorithmic methods. The manually derived abstraction was both brittle and difficult to validate. In this report, we discuss the need for abstraction techniques in the formal verification of protocols over networks and present our recent efforts to create an automatic abstraction technique for network protocols using predicate abstraction …

System Level Microwave Design: Radar-Based Laboratory Projects, Michael A. Jensen, David V. Arnold, Donald E. Crockett

Faculty Publications

Two laboratory projects-a Doppler radar and a synthetic aperture radar (SAR)-designed to augment traditional electromagnetics education are proposed. The projects introduce students to component and system level design and expose them to modern computer-aided design (CAD) tools, microstrip and surface mount fabrication technologies, and industry standard test equipment and procedures. Additionally, because the projects result in a working radar system, students gain new enthusiasm for the electromagnetics discipline and directly see its relevance in the engineering field. Implementation of these laboratories within the curriculum have proven to be highly motivational and educational and have even contributed to increased enrolments in …

Nonsteroidal Anti-Inflammatory Drugs, Acetaminophen, Cyclooxygenase 2, And Fever, Daniel L. Simmons, David Wagner, Kenneth Westover

Faculty Publications

Nonsteroidal anti-inflammatory drugs (NSAIDs) are frequently used antipyretic agents that most probably exert their antifever effect by inhibiting cyclooxygenase (COX)–2. Thus, COX-2–selective drugs or null mutation of the COX-2 gene reduce or prevent fever. Acetaminophen is antipyretic and analgesic, as are NSAIDs, but it lacks the anti-inflammatory and anticoagulatory properties of these drugs. This has led to the speculation that a COX variant exists that is inhibitable by acetaminophen. An acetaminophen-inhibitable enzyme is inducible in the mouse J774.2 monocyte cell line. Induction of acetaminophen-inhibitable prostaglandin E2 synthesis parallels induction of COX-2. Thus, inhibition of pharmacologically distinct COX-2 enzyme activity by …

A Descriptive Bibliography Of The Mormon Church: Volume One 1830-1847 Peter Crawley; Studies In Mormon History, 1830-1997: An Indexed Bibliography, With A Topical Guide To Published Social Science Literature On The Mormons James B. Allen, Ronald W. Walker, And David J. Whittaker, Larry W. Draper

BYU Studies

Peter Crawley. A Descriptive Bibliography of the Mormon Church: Volume Once, 1830-1847. Provo, Utah: Religious Studies Center, Brigham Young University, 1997. 477 pp. Illustrations, indexes. $55.00.

James B. Allen, Ronald W. Walker, and David J. Whittaker. Studies in Mormon History, 1830-1997: An Indexed Bibliography, with a Topical Guide to Published Social Science Literature on the Mormons [by] Armand L. Mauss and Dynette Ivie Reynolds. Urbana: University of Illinois Press in cooperation with the Joseph Fielding Smith Institute for LDS History, Brigham Young University, 2000. 1,152 pp. $100.00.

Optically Simulating A Quantum Associative Memory, Dan A. Ventura, John C. Howell, John A. Yeazell

Faculty Publications

This paper discusses the realization of a quantum associative memory using linear integrated optics. An associative memory produces a full pattern of bits when presented with only a partial pattern. Quantum computers have the potential to store large numbers of patterns and hence have the ability to far surpass any classical neural network realization of an associative memory. In this work two 3-qubit associative memories will be discussed using linear integrated optics. In addition, corrupted, invented and degenerate memories are discussed.

Cross-National Women's Economic Equality In 1993, Joshua Lloyd

Sigma: Journal of Political and International Studies

No abstract provided.

Biological Implications Of A Discrete Mathematical Model For Collagen Deposition And Alignment In Dermal Wound Repair, J. C. Dallon, J. A. Sherratt, P. K. Maini, M. W. Ferguson

Faculty Publications

We develop a novel mathematical model for collagen deposition and alignment during dermal wound healing. We focus on the interactions between fibroblasts, modelled as discrete entities, and a continuous extracellular matrix composed of collagen and a fibrin based blood clot. There are four basic interactions assumed in the model: fibroblasts orient the collagen matrix, fibroblasts produce and degrade collagen and fibrin and the matrix directs the fibroblasts and determines the speed of the cells. Several factors which influence the alignment of collagen are examined and related to current anti-scarring therapies using transforming growth factor " The most influential of these …

Allozyme Variability, Isolation, And Dispersal Of Eusattus Muricatus (Coleoptera: Tenebrionidae) Within Silver State Dune Complex, Great Basin, Western North America, Tammy M. Epps, Hugh B. Britten, Richard W. Rust

Western North American Naturalist

Genetics of Eusattus muricatus (Coleoptera: Tenebrionidae) populations within Silver State Dune Complex in the northern Great Basin of North America were assayed using allozyme electrophoresis. Hierarchical F-statistics showed no significant population subdivision among 3 valleys comprising Silver State Dune Complex. A regression of estimated pairwise gene flow (Nm) against pairwise geographic distance was not significant for populations within these valleys, but it was significant over larger distances. A neighbor-joining phenogram did not represent geographic relationships among populations in the 3 valleys but reflected the past geologic history of these dunes. Pairwise divergence times were low (<7000 yr) for populations within Silver State Dune Complex but were high (>18,000 …

Influence Of Substrate Size, Cladophora, And Caddisfly Pupal Cases On Colonization Of Macroinvertebrates In Sagehen Creek, California, Steven D. Ellsworth

Western North American Naturalist

Colonization of stream macroinvertebrates onto artificial substrates was examined in Sagehen Creek, California, during 1993. Substrate size and presence or absence of pupal cases of the caddisfly Anagapetus (Glossosomatidae) were examined as possible influences on macroinvertebrate colonization. Macroinvertebrates were collected from substrates after 60 d of incubation and identified to the lowest feasible taxonomic unit. Dry weight of the filamentous green alga Cladophora also was determined for each substrate.

A general linear model indicated a significant positive relationship between both substrate size and presence of pupal cases on richness (P < 0.001). There was no significant effect of cases on the E5 evenness index, which supports the passive sampling model as a mechanism giving rise to the effect of cases on richness. A multivariate general linear model indicated a significant positive effect of Anagapetus cases on Micrasema bactro, Epeorus, and …

Effects Of Habitat Fragmentation And Differing Mobility On The Population Structures Of A Great Basin Dragonfly (Sympetrum Corruptum) And Damselfly (Enallagma Carunculatum), Janice L. Simpkin, Hugh B. Britten, Peter F. Brussard

Western North American Naturalist

The population structure of 2 Great Basin odonate species was assessed using protein electrophoresis. Analyses included 7 populations of Sympetrum corruptum (suborder Anisoptera), a migratory and highly mobile dragonfly, and 8 populations of Enallagma carunculatum (suborder Zygoptera), a weak flier that is not known to migrate far from natal water sources. Though we expected the damselfly (E. carunculatum) to show greater genetic isolation than the dragonfly (S. corruptum), both species apparently had high levels of gene flow (theta = 0.0604 for S. corruptum, theta = 0.0485 for E. carunculatum) and showed no evidence for …

The Problematic Role Of Dna Testing In Unraveling Human History, John L. Sorenson

Journal of Book of Mormon Studies

Over the last century, new techniques of scientific analysis have been developed that have been applied with the intent to clarify the course of human history. Immediately after World War II, blood group data seemed to provide a magic key to open up the history of the world’s populations, but by the 1960s such studies were shown to be unrealistic and misleading. The new tool in human biology and anthropology is DNA analysis. Despite cautions from the best scientists about the limits the new findings have for interpreting human history, some enthusiasts continue to claim too much for DNA study.

The Inefficiency Of Batch Training For Large Training Sets, Tony R. Martinez, D. Randall Wilson

Faculty Publications

Multilayer perceptrons are often trained using error backpropagation (BP). BP training can be done in either a batch or continuous manner. Claims have frequently been made that batch training is faster and/or more "correct" than continuous training because it uses a better approximation of the true gradient for its weight updates. These claims are often supported by empirical evidence on very small data sets. These claims are untrue, however, for large training sets. This paper explains why batch training is much slower than continuous training for large training sets. Various levels of semi-batch training used on a 20,000-instance speech recognition …

Rescaling The Energy Function In Hopfield Networks, Tony R. Martinez, Xinchuan Zeng

Faculty Publications

In this paper we propose an approach that rescales the distance matrix of the energy function in the Hopfield network for solving optimization problems. We rescale the distance matrix by normalizing each row in the matrix and then adjusting the parameter for the distance term. This scheme has the capability of reducing the effects of clustering in data distributions, which is one of main reasons for the formation of invalid solutions. We evaluate this approach through a large number (20,000) simulations based on 200 randomly generated city distributions of the 10-city traveling salesman problem. The result shows that, compared to …

Plasma Oscillations And Expansion Of An Ultracold Neutral Plasma, Scott D. Bergeson, S. Kulin, T. C. Killian, S. L. Rolston

Faculty Publications

We report the observation of plasma oscillations in an ultracold neutral plasma. With this collective mode we probe the electron density distribution and study the expansion of the plasma as a function of time. For classical plasma conditions, i.e., weak Coulomb coupling, the expansion is dominated by the pressure of the electron gas and is described by a hydrodynamic model. Discrepancies between the model and observations at low temperature and high density may be due to strong coupling of the electrons.

Diversity Performance Of Dual-Antenna Handsets Near Operator Tissue, Michael A. Jensen, Bruce M. Green

Faculty Publications

This paper presents a computational and experimental study of the diversity performance of two dual-antenna handsets operating indoors in the 902-928 MHz industrial, scientific, and medical (ISM) band. Of particular interest is the effect of the operator tissue on the diversity operation. Key indicators of diversity gain such as branch mean effective gain (MEG) and envelope correlation coefficient are obtained from finite-difference time-domain (FDTD) method simulations as well as from experimental measurements in three different indoor environments. Diversity gain for the handsets is also measured directly. Reasonable agreement is observed between the experimental and simulated results, with both approaches indicating …

Electronic Structure Of Bas And Boride Iii-V Alloys, Gus L. W. Hart, Alex Zunger

Faculty Publications

Boron arsenide, the typically ignored member of the Group-III–V arsenide series BAs-AlAs-GaAs-InAs is found to resemble silicon electronically: its Γ conduction-band minimum is p-like (Γ15), not s-like (Γ1c), it has an X1c-like indirect band gap, and its bond charge is distributed almost equally on the two atoms in the unit cell, exhibiting nearly perfect covalency. The reasons for these are tracked down to the anomalously low atomic p orbital energy in the boron and to the unusually strong s–s repulsion in BAs relative to most other Group-III–V compounds. We find unexpected valence-band offsets of BAs with respect to GaAs and …

Fast Algorithm For Generating Sorted Contour Strings, Norman L. Jones, Michael J. Kennard, Alan K. Zundel

Faculty Publications

Automatic generation of contours for graphical display and map plotting has been studied extensively since the early days of computing. The individual segments making up a contour line are often determined by subdividing the object of interest into small triangles and computing the contours assuming a linear variation on each triangle. However, efficient storage of contour data and the need to place labels (automatically) or to smooth the contours require that the contours be generated in continuous strings of segments. A simple approach to generate such strings is to sort the randomly generated contour segments. Since sorting can be time-consuming, …

Statistical Continuum Theory For Large Plastic Deformation Of Polycrystalline Materials, Brent L. Adams, S. Ahzi, H. Garmestani, S. Lin

Faculty Publications

This paper focuses on the application of statistical continuum mechanics to the prediction of mechanical response of polycrystalline materials and microstructure evolution under large plastic deformations. A statistical continuum mechanics formulation is developed by applying a Green's function solution to the equations of stress equilibrium in an infinite domain. The distribution and morphology of grains (crystals) in polycrystalline materials is represented by a set of correlation functions that are described by the corresponding probability functions. The elastic deformation is neglected and a viscoplastic power law is employed for crystallographic slip in single crystals. In this formulation, two- and three-point probability …

Intelligent Selection Tools, William A. Barrett, Eric N. Mortensen, L. Jack Reese

Faculty Publications

Intelligent Scissors and Intelligent Paint are complementary interactive image segmentation tools that allow a user to quickly and accurately select objects of interest. This demonstration provides a means for participants to experience the dynamic nature of these tools.

A Gis Model To Predict The Location Of Fossil Packrat (Neotoma) Middens In Central Nevada, Scott A. Mensing, Robert G. Elston Jr., Gary L. Raines, Robin J. Tausch, Cheryl L. Nowak

Western North American Naturalist

Fossil packrat (Neotoma) middens provide an important source of paleoecologic data in the arid West. This study describes and tests a predictive GIS model that uses the eights-of-evidence method for determining areas with a high probability of containing fossil middens in central Nevada. Model variables included geology, elevation, and aspect. Geology was found to be the most important variable tested. We produced a map of 4 probability classes validated by field-checking 21 randomly selected 1-km² sites throughout the study area. Our high-probability category reduced the search area to only 3.5% of the total study area. Fossil middens …

Full Issue, Vol. 60 No. 2

Western North American Naturalist

No abstract provided.

Bounding Interval Rational Bézier Curves With Interval Polynomial Bézier Curves, Thomas W. Sederberg, Falai Chen, Wenping Lou

Faculty Publications

In this paper, we put forward and study the problem of bounding an interval rational Bézier curve with an interval polynomial Bézier curve. We propose three different methods—Hybrid Method, Perturbation Method and Linear Programming Method to solve this problem. Examples are illustrated to compare the three different methods. The empirical results show that the Perturbation Method and the Linear Programming Method produce much tighter bounds than the Hybrid Method, though they are computationally several times more expensive.

Peircean Patterns Of The Christ Story And The Analogous Manifestations In Popular Narrative, Jessica Young

Deseret Language and Linguistic Society Symposium

No abstract provided.

Romani Roots: A Lexicostatistical Analysis Of Romani, Hindustani, And Czech, Ryan Shosted

Deseret Language and Linguistic Society Symposium

No abstract provided.

Nl-Soar And Wordnet: Fitting The Lexicon Into A Cognitive Architecture, Anton Rytting

Deseret Language and Linguistic Society Symposium

No abstract provided.

Full Issue, Deseret Language And Linguistics Society

Deseret Language and Linguistic Society Symposium

No abstract provided.

Small Business Promotion And Microlending: A Comparative Assessment Of Jamaican And Israeli Ngos, Benson Honig

Journal of Microfinance / ESR Review

Loan programs in two different countries, Israel and Jamaica, are compared and contrasted, in order to identify common elements of project design, selection, and institutional norms. Utilizing agency theory, this article examines what types of borrowers successfully navigate the credit market and to what extent the bureaucratic processes employed by institutions influence and bias outcomes in unpredicted ways in organizations. Entrepreneurs are well recognized as coming from a wide range of backgrounds; indeed, it is the very heterogeneity of their origins that allows many to provide the newness of perspective so necessary for their activities. However, hidden or tacit institutional …

Invitation To An Enterprise: From Physics To World History To The Study Of Civilizations, Arthur Iberall, Frank Hassler, Harry Soodak, David Wilkinson

Comparative Civilizations Review

No abstract provided.

Fuel Optimization For Constrained Rotation Of Satellite Formations, Timothy Mclain, Randal W. Beard, Fred Y. Hadaegh

Faculty Publications

This paper considers the problem of reorienting a constellation of spacecraft such that the fuel distributed across the constellation is both conserved and expended uniformly. Results are derived for constellations with an arbitrary number of spacecraft, assuming that the constellation is in free space, that the spacecraft mass is time invariant, and that the thrusters can produce thrust in any direction. An open-loop control algorithm is derived by minimizing a cost function that trades off total fuel minimization and fuel equalization. The associated optimization problem is shown to be amenable to standard algorithms. Simulation results using a four-spacecraft constellation are …

Average Energy Flow Of Optical Pulses In Dispersive Media, Scott Glasgow, Michael Ware, Justin Peatross

Faculty Publications

The arrival time of a light pulse at a point in space is defined using a time expectation integral over the Poynting vector. The delay between pulse arrival times at two distinct points is shown to consist of two parts: a spectral superposition of group delays (inverse of group velocity) and a delay due to spectral reshaping via absorption or amplification. The result provides a context wherein group velocity is always meaningful even for broad band pulses and when the group velocity is superluminal or negative. The result imposes luminality on sharply defined pulses.