Digital Collections

Find results with:

You've searched:

All Collections

All fields: reduce

(7728 results)

Sort by: Relevance

Relevance

Title

Subject

Description

Display Options

...

387

Display: 20

100

200

- Modular Verification of Timed Circuits Using Automatic Abstraction
- The major barrier that prevents the application of formal verification to large designs is state explosion. This paper presents a new approach for verification of timed circuits using automatic abstraction. This approach partitions the design into...
- Institutional Repository
- Directable Weathering of Concave Rock Using Curvature Estimation
- We address the problem of directable weathering of exposed concave rock for use in computer-generated animation or games. Previous weathering models that admit concave surfaces are computationally inefficient and difficult to control. In nature,...
- Institutional Repository
- Using SSM Proxies to Provide Efficient Multiple-Source Multicast Delivery
- We consider the possibility that single-source multicast (SSM) will become a universal multicast service, enabling large-scale distribution of content from a few well-known sources to a general audience. Operating under this assumption, we explore...
- Institutional Repository
- Prioritized Multiplicative Schwarz Procedures for Solving Linear Systems
- We describe a new algorithm designed to quickly and robustly solve general linear problems of the form Ax = b. We describe both serial and parallel versions of the algorithm, which can be considered a prioritized version of an Alternating...
- Institutional Repository
- Vol. 23 No. 3 and 4 Pacific Studies
- Pacific Area--Periodicals; Oceania--Periodicals;
- Pacific Studies, Vol. 23 No. 3 and 4 (September, December 2000)
- Pacific Studies
- Vol. 14 No. 4 Pacific Studies
- Pacific Area--Periodicals; Oceania--Periodicals;
- Pacific Studies, Vol. 14 No. 4 (December 1991)
- Pacific Studies
- 2010-03-30 The Scroll Vol 124 No 12
- BYUI - The Scroll 3
- Acoustic Characteristics of English Lexical Stress Produced by Native Mandarin Speakers
- Native speakers of Mandarin Chinese have difficulty producing native-like English stress contrasts. Acoustically, English lexical stress is multidimensional, involving manipulation of fundamental frequency (F0), duration, intensity and vowel...
- Institutional Repository
- Deseret News 1860-04-11
- Church of Jesus Christ of Latter-day Saints—Periodicals; Salt Lake City (Utah)—Newspapers; Mormons—Utah—Newspapers;
- Deseret News 2
- Rigby Star 1933 08 31 Vol 31 No 40
- BYUI - Rigby Star Newspapers
- No. 098 Bulletin - Association for Asian Studies, inc., Committee on East Asian Libraries
- East Asia--Library resources--Periodicals; East Asian libraries--United States--Periodicals;
- Bulletin - Association for Asian Studies, inc., Committee on East Asian Libraries, No. 98 (February 1993)
- Journal of East Asian Libraries
- Coordinated UAV Target Assignment Using Distributed Calculation of Target-Task Tours
- uav, coordinated control, multiple agent, task allocation, path planning
- This thesis addresses the improvement of cooperative task allocation to vehicles in multiple-vehicle, multiple-target scenarios through the use of more effective preplanned tours. Effective allocation of vehicles to targets requires knowledge of...
- ETD
- Load Balancing Parallel Explicit State Model Checking
- load, balancing, computer, model, checking, verification, gde, speedup, error, states, queue, sizes
- 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...
- ETD
- Flexible machine tool control for direct, in-process dimensional part inspection
- PC-DMIS, CMM, CNC, DMAC, coordinate measuring machine, machine tool, software controller, machine tool controller, measurement, in-process inspection, DCI, direct control
- For some time now coordinate measuring machines have been an integral part of the shop floor. The goal has been to make coordinate measuring machines (CMMs) into tools that can easily be used by machinists to improve their manufacturing...
- ETD
- Improving Electromagnetic Bias Estimates
- EM bias, electromagnetic bias, physical optics, backscatter models, mean sea level, altimeter
- The electromagnetic (EM) bias is the largest source of error in the TOPEX/Poseidon and Jason-1 satellite sea surface height (SSH) estimates. Due to incomplete understanding of the physical processes which cause the bias, current operational...
- ETD
- IP Algorithm Applied to Proteomics Data
- Proteomics,hyper-dimensionality,Partial Least Squares,mass spectrometry, IP algorithm,Information Partition Function,classification, discrimination,ovarian cancer,grade of membership
- Mass spectrometry has been used extensively in recent years as a valuable tool in the study of proteomics. However, the data thus produced exhibits hyper-dimensionality. Reducing the dimensionality of the data often requires the imposition of...
- ETD
- Development of an Energy-Based Nearfield Acoustic Holography System
- nearfield acoustic holography, NAH, energy-based NAH
- Acoustical-based imaging techniques have found merit in determining the behavior of vibrating structures. These techniques are commonly used in numerous applications to obtain detailed noise source information and energy distributions on source...
- ETD
- Development of a Weatherproof Windscreen for a Microphone Array
- Microphone Array, Windscreen
- Microphone windscreens are typically used to reduce the noise associated with wind flowing over a microphone diaphragm by reducing the velocity of the airflow. While most windscreens are effective at reducing this noise, they do not protect the...
- ETD
- Incorporating Computational Fluid Dynamics Into The Preliminary Design Cycle
- CAD, CFD, CAX, Design Review Tool, Conceptual Design
- Industry is constantly looking for ways to bring new or derivative products to market in the shortest amount of time for the least amount of money. To accomplish this, Industry has adopted Computer Aided Engineering (CAX) tools that perform...
- ETD
- MPSA Effects on Copper Electrodeposition: Understanding Molecular Behavior at the Electrochemical Interface
- copper, ab initio, quantum mechanics, cluster, molecular simulation, molecular dynamics, rotating disk electrode, MPSA, SPS, chloride, surface, metal, sodium, cupric, cuprous, inhibition, acceleration, deposition
- In this work the structure of the electrochemical metal-liquid interface is determined through use of quantum mechanics, molecular simulation, and experiment. Herein are profiled the molecular dynamics details and results of solid-liquid...
- ETD