BEARdocs Home
→
School of Engineering & Computer Science
→
Browsing School of Engineering & Computer Science by Title

Browsing School of Engineering & Computer Science by Title

Now showing items 67-86 of 106

A linked-plane obstacle-set algorithm for modeling broad muscle paths : application to the deltoid muscle.

Xu, Bo, 1984-

Computer modeling is commonly used to simulate muscle paths for the study of human biomechanics. Because some muscles, such as broad muscles, have complex morphology, modeling the paths of these muscles can be challenging. ...
A low-cost pulsed Fourier transform network analyzer.

Herrera, Brandon J. (, )

Characterizing the frequency response of a material or device over microwave frequencies is a common practice for an RF engineer. New industrial and consumer applications are being developed based on the measurement of the ...
Metamorphic programming

Maurer, Peter M.

Metamorphic programming is an effective tool for creating efficient and elegant solutions to many programming problems, at least once you get over the shock of seeing code that violates many of the accepted rules of good ...
MKWHAT: A Compiler-Development Tool for Fast Keyword Recognition

Maurer, Peter M.

Although compiler keywords can be recognized directly in LEX (or flex) these tools are rather slow. MKWHAT is a tool that can be used to generate a keyword recognizer that will recognize key words using a minimal number ...
Modeling of flexible fiber motion and prediction of material properties.

Zhang, Cong, 1986- (, )

This work employs the rod chain model of Wang et al. (2006) to study the motion of discrete flexible fibers. Results are presented for both individual fibers and a stochastic distribution of fibers to study the variations ...
MovieOracle System

Yao, Yao

The detailed design document covers the basic theory, related technique, and implementation details of the MovieOracle system. It first provides a high-level system overview. Then it discusses the usage of Twitter API, ...
MultiKarma : a fully decentralized virtual multi-currency.

Allen, Jon D. (Jon Douglas) (, )

Participant-based technologies enable users to contribute resources to a shared pool that in the aggregate provides valuable services, such as social networks, massive multiplayer online games, file exchange, etc. Such ...
A new modality for microwave tomographic maging: transit time tomography.

Trumbo, Matthew Lee.

A new method for tomographic imaging using time delay of microwaves as they pass through objects of varying dielectric is presented. To obtain this delay measurement, recording of transmitted waveforms is performed when ...
Non-deterministic modeling of the bulk thermal and electrical conductivity for dense thin film carbon nanotube networks.

Ashtekar, Nikhil A.

Thin films composed of single-walled carbon nanotubes, enjoy very high thermal and electrical conductivities, well beyond that of polymer matrix composites, and are very light in weight. Before these materials can experience ...
An OCL-based verification approach to analyzing static properties of a UML model.

Sun, Wuliang.

There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) tool supports verification of invariants, ...
Optimization of muscle physiological parameters for a computer model of the human shoulder girdle.

White, Joel D.

The shoulder girdle serves as the platform for all human upper extremity movement and plays an integral role in providing the large range of motion of the shoulder joint. However, computer models representing human ...
Optimizing multi-agent dynamics for underwater tactical applications.

Yu, Albert R.

Large groups of autonomous agents, or swarms, can exhibit complex emergent behaviors that are difficult to predict and characterize from their low-level interactions. These emergent behaviors can have hidden implications ...
The Parallel Technique Software Package

Maurer, Peter M.

This is the software described in the technical report “Two New Techniques for Unit-Delay Compiled Simulation” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
The PC-Set Method Software Package

Maurer, Peter M.

This is the software described in the technical report “Two New Techniques for Unit-Delay Compiled Simulation” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
PG-means: learning the number of clusters in data.

Feng, Yu.

We present a novel algorithm called PG-means in this thesis. This algorithm is able to determine the number of clusters in a classical Gaussian mixture model automatically. PG-means uses efficient statistical hypothesis ...
Principal component and neural network calibration of a microwave frequency composition measurement sensor.

Maule, Charles Stephen.

Microwave sensors are becoming more prevalent throughout a variety of industries. While providing an effective form of measurement, microwave sensors are difficult to calibrate and provide results which can be difficult ...
A Quick Algorithm for Identifying Conjugate Groups in GF(2)

Maurer, Peter M.

This report gives the details an algorithm for determining whether two matrix groups are conjugate to one another. Each group is designated by a pair of matrices that generate the group. The algorithm is able to determine ...
Remotely sensed hyperspectral image unmixing.

Yang, Zhuocheng.

Estimating abundance fractions of materials in hyperspectral images is an important area of study in the field of remote sensing. The need for liner unmixing in remotely sensed imagery arises from the fact that the sampling ...
Response of passive surface hairs in steady and unsteady Falkner-Skan boundary layers.

Case, Lance C. (, )

Arrays of biologically inspired artificial hair sensors for flow detection are being considered to provide small unmanned aerial vehicles greater platform stability through gust mitigation. Analytical models of hair sensor ...
Review-by-Few or Review-by-Many?

Maurer, Peter

It’s clear that traditional forms of academic publication are rapidly becoming obsolete. It’s also clear that peer review is a seriously flawed process that could be much improved upon by modern methods of communication. ...