Now showing items 1-5 of 5
Experimental and numerical study on flow control using obliquely aligned elements.
The use of micro-electromechanical system devices (MEMS) have been studied extensively in literature for control of flow separation and transitioning to turbulent flow. However, there is limited information about how ...
Remotely sensed hyperspectral image unmixing.
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 ...
Studies of active information in search.
A search process is an attempt to locate a solution to a problem, such as an optimization problem, where the space is usually too large to exhaustively sample. In order to investigate this idea this work looks a three ...
Efficient M-fold Cross-validation Algorithm for KNearest Neighbors
This project investigates m-fold cross-validation algorithms for automatic selection of k with k-nearest neighbors problems. An algorithm taxonomy is used to identify different m-fold cross-validation algorithms. The ...
An OCL-based verification approach to analyzing static properties of a UML model.
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, ...