Theory and Algorithms Commons^™

Towards A Computational Analysis Of Probabilistic Argumentation Frameworks, Pierpaolo Dondio

Articles

In this paper we analyze probabilistic argumentation frameworks (PAFs), defined as an extension of Dung abstract argumentation frameworks in which each argument n is asserted with a probability p(n). The debate around PAFs has so far centered on their theoretical definition and basic properties. This work contributes to their computational analysis by proposing a first recursive algorithm to compute the probability of acceptance of each argument under grounded and preferred semantics, and by studying the behavior of PAFs with respect to reinstatement, cycles and changes in argument structure. The computational tools proposed may provide strategic information for agents selecting the …

Constructing Carmichael Numbers Through Improved Subset-Product Algorithms, W.R. Alford, Jon Grantham, Steven Hayman, Andrew Shallue

Scholarship

style="color: rgb(51, 51, 51); font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px;">We have constructed a Carmichael number with 10,333,229,505 prime factors, and have also constructed Carmichael numbers with style="color: rgb(51, 51, 51); font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px;"> prime factors for every style="color: rgb(51, 51, 51); font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px;"> between 3 and 19,565,220. These computations are the product of implementations of two new algorithms for the subset product problem that exploit the non-uniform distribution of primes style="color: rgb(51, 51, 51); font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px;">with the property that …

Hybrid Intelligent Model For Software Maintenance Prediction, Abdulrahman Ahmed Bobakr Baqais, Mohammad Alshayeb, Zubair A. Baig

Research outputs 2014 to 2021

Maintenance is an important activity in the software life cycle. No software product can do without undergoing the process of maintenance. Estimating a software’s maintainability effort and cost is not an easy task considering the various factors that influence the proposed measurement. Hence, Artificial Intelligence (AI) techniques have been used extensively to find optimized and more accurate maintenance estimations. In this paper, we propose an Evolutionary Neural Network (NN) model to predict software maintainability. The proposed model is based on a hybrid intelligent technique wherein a neural network is trained for prediction and a genetic algorithm (GA) implementation is used …

A Genetic Algorithm-Based Feature Selection, Oluleye H. Babatunde, Leisa Armstrong, Jinsong Leng, Dean Diepeveen

Research outputs 2014 to 2021

This article details the exploration and application of Genetic Algorithm (GA) for feature selection. Particularly a binary GA was used for dimensionality reduction to enhance the performance of the concerned classifiers. In this work, hundred (100) features were extracted from set of images found in the Flavia dataset (a publicly available dataset). The extracted features are Zernike Moments (ZM), Fourier Descriptors (FD), Lengendre Moments (LM), Hu 7 Moments (Hu7M), Texture Properties (TP) and Geometrical Properties (GP). The main contributions of this article are (1) detailed documentation of the GA Toolbox in MATLAB and (2) the development of a GA-based feature …

Genetic Algorithm With Logistic Regression For Prediction Of Progression To Alzheimer's Disease, Piers Johnson, Luke Vandewater, William Wilson, Paul Maruff, Greg Savage, Petra Graham, Lance S. Macaulay, Kathryn A. Ellis, Cassandra Szoeke, Ralph N. Martins, Christopher Rowe, Colin L. Masters, David Ames, Ping Zhang

Research outputs 2014 to 2021

Assessment of risk and early diagnosis of Alzheimer's disease (AD) is a key to its prevention or slowing the progression of the disease. Previous research on risk factors for AD typically utilizes statistical comparison tests or stepwise selection with regression models. Outcomes of these methods tend to emphasize single risk factors rather than a combination of risk factors. However, a combination of factors, rather than any one alone, is likely to affect disease development. Genetic algorithms (GA) can be useful and efficient for searching a combination of variables for the best achievement (eg. accuracy of diagnosis), especially when the search …

Colormoo: An Algorithmic Approach To Generating Color Palettes, Joshua Rael

CMC Senior Theses

Selecting one color can be done with relative ease, but this task becomes more difficult with each subsequent color. Colormoo is an online tool aimed at solving this problem. We implement three algorithms for generating color palettes based off of a starting color. Data is collected for each palette that is generated. Our analysis reveals two of the algorithms are preferred, but under different circumstances. Furthermore, we find that users prefer palettes containing colors that are compatible, but not too similar. With refined heuristics, we believe these techniques can be extended and applied beyond the field of graphic design alone.

Neutrosophic Logic Approaches Applied To ”Rabot” Real Time Control, Alexandru Gal, Luige Vladareanu, Florentin Smarandache, Hongnian Yu, Mincong Deng

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present a way of deciding which control law should operate at a time for a mobile walking robot. The proposed deciding method is based on the new research field, called Neutrosophic Logic. The results are presented as a simulated system for which the output is related to the inputs according to the Neutrosophic Logic.

Zernike Moments And Genetic Algorithm : Tutorial And Application, Oluleye H. Babatunde, Leisa Armstrong, Jinsong Leng, Dean Diepeveen

Research outputs 2014 to 2021

Aims/ objectives: To demontrate effectiveness of Zernike Moments for Image Classification. Zernike moment(ZM) is an excellent region-based moment which has attracted the attentions of many image processing researchers since its first application to image analysis. Many papers have been published on several works done on ZM but no single paper ever give a detailed information of how the computation of ZM is done from the time the image is captured to the computation of ZM. This work showed how to effectively apply ZM on RGB images. We have demonstrated the effectiveness of Zernike moment in image classification system. A neuro-genetic …

Novel Image-Dependent Quality Assessment Measures, Asaad Hashim, Zahir Hussain

Research outputs 2014 to 2021

The image is a 2D signal whose pixels are highly correlated in a 2D manner. Hence, using pixel by pixel error what we called previously Mean-Square Error, (MSE) is not an efficient way to compare two similar images (e.g., an original image and a compressed version of it). Due to this correlation, image comparison needs a correlative quality measure. It is clear that correlation between two signals gives an idea about the relation between samples of the two signals. Generally speaking, correlation is a measure of similarity between the two signals. An important step in image similarity was introduced by …

Using Acl2 To Verify Loop Pipelining In Behavioral Synthesis, Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Civil and Environmental Engineering Faculty Publications and Presentations

Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its RegisterTransfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis. Certifying the loop pipelining algorithm is challenging because there is a huge semantic gap between the input sequential design and the output pipelined implementation making it infeasible to verify their equivalence with automated sequential equivalence checking techniques. We discuss our ongoing effort using ACL2 to certify loop pipelining transformation. The completion of the proof is work in progress. However, some of the insights developed so far may already be of …

Detection Of Seagrass Scars Using Sparse Coding And Morphological Filter, Ender Oguslu, Sertan Erkanli, Victoria J. Hill, W. Paul Bissett, Richard C. Zimmerman, Jiang Li, Charles R. Bostater Jr. (Ed.), Stelios P. Mertikas (Ed.), Xavier Neyt (Ed.)

OES Faculty Publications

We present a two-step algorithm for the detection of seafloor propeller seagrass scars in shallow water using panchromatic images. The first step is to classify image pixels into scar and non-scar categories based on a sparse coding algorithm. The first step produces an initial scar map in which false positive scar pixels may be present. In the second step, local orientation of each detected scar pixel is computed using the morphological directional profile, which is defined as outputs of a directional filter with a varying orientation parameter. The profile is then utilized to eliminate false positives and generate the final …

Classification With Hidden Markov Model, Badreddine Benyacoub, Souad Elbernoussi, Abdelhak Zoglat, Ismail El Moudden

Research and Infrastructure Service Enterprise (RISE) Faculty Publications

Classification and statistical learning by hidden markov model has achieved remarkable progress in the past decade. They have been applied in many areas like speech recognition and handwriting recognition. However, learning by Hidden Markov Model (HMM) is still restricted to supervised problems. In this paper, we propose a new learning method based on HMM techniques estimations, to built a model for classification. The approach consists of evaluation of the probability to belonging in one group, given the observations by a linear classifier. Our developed algorithm is based on discrete states and discrete observations cases of HMM. Experimental results show that …

A Hybrid Approach To Music Recommendation: Exploiting Collaborative Music Tags And Acoustic Features, Jaime C. Kaufman

UNF Graduate Theses and Dissertations

Recommendation systems make it easier for an individual to navigate through large datasets by recommending information relevant to the user. Companies such as Facebook, LinkedIn, Twitter, Netflix, Amazon, Pandora, and others utilize these types of systems in order to increase revenue by providing personalized recommendations. Recommendation systems generally use one of the two techniques: collaborative filtering (i.e., collective intelligence) and content-based filtering.

Systems using collaborative filtering recommend items based on a community of users, their preferences, and their browsing or shopping behavior. Examples include Netflix, Amazon shopping, and Last.fm. This approach has been proven effective due to increased popularity, and …