Browsing School of Engineering & Computer Science by Title
Now showing items 114133 of 157

An OCLbased verification approach to analyzing static properties of a UML model.
(20100623)There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UMLbased Specification Environment (USE) tool supports verification of invariants, ... 
Optimization of muscle physiological parameters for a computer model of the human shoulder girdle.
(20110512)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 multiagent dynamics for underwater tactical applications.
(20110512)Large groups of autonomous agents, or swarms, can exhibit complex emergent behaviors that are difficult to predict and characterize from their lowlevel interactions. These emergent behaviors can have hidden implications ... 
The Parallel Technique Software Package
(20091113)This is the software described in the technical report “Two New Techniques for UnitDelay Compiled Simulation” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory. 
The PCSet Method Software Package
(20091113)This is the software described in the technical report “Two New Techniques for UnitDelay Compiled Simulation” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory. 
Performance improvements to peertopeer file transfers using network coding.
(, 20130916)A common peertopeer approach to large data distribution is to divide the data into blocks. Peers will gather blocks from other peers in parallel. Problems with this approach are that each peer must know which blocks ... 
PGmeans: learning the number of clusters in data.
(20070319)We present a novel algorithm called PGmeans in this thesis. This algorithm is able to determine the number of clusters in a classical Gaussian mixture model automatically. PGmeans uses efficient statistical hypothesis ... 
Primitive Polynomials for the Field GF(2): Degree 2 through Degree 16
(20130920)This report lists the primitive polynomials over GF(2) of degree 2 through 16. These polynomials were generated using a new matrixbased technique I invented. 
Primitive Polynomials for the Field GF(3): Degree 2 through Degree 11
(20130920)This report lists the primitive polynomials over GF(3) of degree 2 through 11. These polynomials were generated using a new matrixbased technique I invented. 
Principal component and neural network calibration of a microwave frequency composition measurement sensor.
(20080303)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)
(20090218)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 ... 
Recommendations Made Easy
(20140623)Fueled by evergrowing data, the need to provide recommendations for consumers, and the considerable domain knowledge required to implement distributed large scale graph solutions we sought to provide recommendations for ... 
Remotely sensed hyperspectral image unmixing.
(20101008)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 ... 
The Representations of GF(8) in GL3(2)
(20130920)This report gives one subgroup of each of the conjugacy classes of the subgroups of S7. 
The Representations of GF(8) in GL3(2)
(20130920)As is well known (or should be well known) the finite field GF(2^k) can be represented in the general linear group of kxk matrices over GF(2). There are many such representations. This report gives the 8 representations ... 
Response of passive surface hairs in steady and unsteady FalknerSkan boundary layers.
(, 20121129)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 ... 
ReviewbyFew or ReviewbyMany?
(20110513)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. ... 
Robust geolocation techniques for multiple receiver systems.
(20110512)The purpose of this thesis is to investigate signal processing algorithms that allow multiple moving receivers to locate a stationary emitter. This problem has received considerable attention over the past 50 years, yet ... 
A Search Strategy Using a HammingDistance Oracle
(20090804)The objective of the algorithm described in this report is to optimally guess a hidden binary string based on queries to an oracle where the length of the string is known beforehand. A C++ version of the algorithm is given ... 
The Shadow Algorithm Software Package
(20091113)This is the software described in the technical report “The Shadow Algorithm: …” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.