Computer Sciences Commons^™

Locating Mineral Exploration Targets Using A Geographical Information System, Finnian O'Connor

Conference papers

This paper outlines the research and development of a complete open source geographic information system (GIS) that offers real-time geoprocessing over the Internet. The premise of the geoprocessing is to locate mineral exploration targets that have high potential for success based on parameters chosen by the end-user of the system.

Components integrated in the system include a spatial database PostGIS, a GIS processing engine GRASS, a GIS server GeoServer, a web server Apache, and front-end technologies OpenLayers and GeoExt. Appropriate data was sourced from the Geological Survey of Ireland to be used for the geoprocessing.

With all the components of …

Feeling The Ambiance: Using Smart Ambiance To Increase Contextual Awareness In Game Agents, Colm Sloan, John D. Kelleher, Brian Mac Namee

Conference papers

The behaviour of non-player character game agents can be made more interesting and believable through the use of increased contextual awareness. In this paper, we present smart ambiance which allows information about the am- biance of an environment (determined by the environment itself, objects in the environment and recent events) to be used in agent plan generation. We demonstrate how this leads to contextually in uenced action selection and, in turn, more interesting and believable character behaviour.

Feasibility Study Of Utility-Directed Behaviour For Computer Game Agents, Colm Sloan, John D. Kelleher, Brian Mac Namee

Conference papers

Utility-based control (UBC) hasn’t been widely adopted for commercial game AI. Some of the reasons for this are that UBC is perceived to be: (1) resource intensive, (2) difficult to design complex behaviours with, and (3) difficult to scale for use in complex environments. This paper investigates these perceptions to see if UBC is suitable for controlling the behaviour of non-player characters in commercial games. The investigation compares agents using a UBC system against two control systems that are more frequently used in commercial games: finite state machines (FSMs), considered a simple control system, and goal-oriented action planning (GOAP), considered …

An Online Framework For Supporting The Evaluation Of Personalised Information Retrieval Systems, Catherine Mulwa, Luca Longo, Seamus Lawless, Mary Sharpe, Vincent Wade

Conference papers

Scope - Personalised Information Retrieval (PIR) has been gaining attention because it investigates intelligent ways for enhancing content delivery. Web users can have personalised services and more accurate information. Problem - Several PIR systems have been proposed in the literature; however, they have not been properly tested or evaluated. Proposal – The authors propose a generally applicable web-based interface, which provides PIR developers and evaluators with: i) implicit recommendations on how to evaluate a specific PIR system; ii) a repository containing studies on user-centred and layered evaluation studies; iii) recommendations on how to best combine different evaluation methods, metrics and …

Modeling And Quantitative Analysis Of White Matter Fiber Tracts In Diffusion Tensor Imaging, Xuwei Liang

University of Kentucky Doctoral Dissertations

Diffusion tensor imaging (DTI) is a structural magnetic resonance imaging (MRI) technique to record incoherent motion of water molecules and has been used to detect micro structural white matter alterations in clinical studies to explore certain brain disorders. A variety of DTI based techniques for detecting brain disorders and facilitating clinical group analysis have been developed in the past few years. However, there are two crucial issues that have great impacts on the performance of those algorithms. One is that brain neural pathways appear in complicated 3D structures which are inappropriate and inaccurate to be approximated by simple 2D structures, …

Cluster-Based Term Weighting And Document Ranking Models, Keerthiram Murugesan

University of Kentucky Master's Theses

A term weighting scheme measures the importance of a term in a collection. A document ranking model uses these term weights to find the rank or score of a document in a collection. We present a series of cluster-based term weighting and document ranking models based on the TF-IDF and Okapi BM25 models. These term weighting and document ranking models update the inter-cluster and intra-cluster frequency components based on the generated clusters. These inter-cluster and intra-cluster frequency components are used for weighting the importance of a term in addition to the term and document frequency components. In this thesis, we …

Natural Realizations Of Sparsity Matroids, Ileana Streinu, Louis Theran

Computer Science: Faculty Publications

A hypergraph G with n vertices and m hyperedges with d endpoints each is (k; ℓ)- sparse if for all sub-hypergraphs G′ on n′ vertices and m′ edges, m′ < kn′ - ℓ. For integers k and ℓ satisfying 0 ≤ ℓ ≤ dk - 1, this is known to be a linearly representable matroidal family. Motivated by problems in rigidity theory, we give a new linear representation theorem for the (k; ℓ)-sparse hypergraphs that is natural; i.e., the representing matrix captures the vertex-edge incidence structure of the underlying hypergraph G. Copyright © 2011 DMFA Slovenije.

Do Facework Behaviors Matter During Conflicts Among Online Discussion Team Members?, Jesus Herman Canelon

CGU Theses & Dissertations

According to researchers, face is an important possession carried by individuals into interactions with others. Face has been studied in diverse areas such as: politeness, compliance gaining, emotional discourse, negotiations, face-negotiation theory, and conflict. Perhaps because of its value, face can be vulnerable during conflict situations. Facework behaviors are the communicative strategies that people use during conflicts to protect face (theirs or others), threaten others' face, and to avoid or resolve conflicts. So far, studies about facework behaviors have focused on face-to-face interactions. Preliminary studies have shown: a. facework behaviors may affect the outcomes of online discussion teams, b. sex …

An Analysis And Comparison Of Predominant Word Sense Disambiguation Algorithms, David J. Craggs

Theses : Honours

This thesis investigates research performed in the area of natural language processing. It is the aim of this research to compare a selection of predominant word sense disambiguation algorithms, and also determine if they can be optimised by small changes to the parameters used by the algorithms. To perform this research, several word sense disambiguation algorithms will be implemented in Java, and run on a range of test corpora. The algorithms will be judged on metrics such as speed and accuracy, and any other results obtained; while an algorithm may be fast and accurate, there may be other factors making …

A Computational Tool For Estimating Off-Target Application Areas In Agricultural Fields, Rodrigo S. Zandonadi, Joe D. Luck, Timothy S. Stombaugh, Michael P. Sama, Scott A. Shearer

Biosystems and Agricultural Engineering Faculty Publications

A computational method for estimating off-target application areas based on the machine-controlled section width and the field shape was developed and implemented in software with a graphical user interface written in the MatLab environment. The program, which is called the Field Coverage Analysis Tool (FieldCAT), includes three modules: data import, data preparation, and coverage analysis. Nine field boundaries were evaluated to test the software using controlled section widths from 0.5 to 27 m and various swath orientations. The estimated off-target application area from the widest section width varied from 9% to 24% depending on the shape and size of the …

Adaptive High Level Context Reasoning In Pervasive Environments, Bridget B. Beamon

Computer Science and Engineering Dissertations - Archive

It is hard to believe that the Internet is now in its adolescent stage. This information age is replete with communication capable, intelligent, sensor equipped devices. Social networks, web services, and global information repositories make a wealth of information available instantly. There exist endless possibilities for creating useable knowledge. Much of what is considered useable knowledge is not directly observable from low level sensory devices. Abstract situations, relationships and activities must be inferred using a variety of techniques that fuse information from multivariate data sources. We refer to this useable knowledge as high level context. Social, physiological, environmental, computational, activity, …

A Machine-Learning Approach For Workflow Identification From Low-Level Monitoring Information, Thorsten Stein

Theses

Knowing which workflows are executed within Service Oriented Architectures (SOA) is essential for successful IT management. In many cases, SOAs grew out of previous existing IT architectures; existing components are used as single services and therefore as parts of newly created workflows. Since such workflows consist of newly developed and legacy services, traditional workflow management systems often cannot be applied. This thesis presents a method for gathering information about the executed workflows within such heterogeneous environments. An implementation of a framework is presented. This framework allows the training of machine-learning algorithms with workflow models and the mapping of low-level monitoring …

Three Dimensional Modeling And Animation Of Facial Expressions, Alice J. Lin

University of Kentucky Doctoral Dissertations

Facial expression and animation are important aspects of the 3D environment featuring human characters. These animations are frequently used in many kinds of applications and there have been many efforts to increase the realism. Three aspects are still stimulating active research: the detailed subtle facial expressions, the process of rigging a face, and the transfer of an expression from one person to another. This dissertation focuses on the above three aspects.

A system for freely designing and creating detailed, dynamic, and animated facial expressions is developed. The presented pattern functions produce detailed and animated facial expressions. The system produces realistic …

Water Quality Retrieval From Landsat Tm Imagery, Arun D. Kulkarni

Computer Science Faculty Publications and Presentations

In this paper, the utility of Landsat TM imagery for water quality studies in East Texas is investigated. Remote sensing has an important and effective role in water quality management. Remote sensing satellites measure the amount of solar radiation reflected by surface water and the reflectance of water depend upon the concentration and character of water quality parameters. Three water quality parameters namely the total suspended solids, chlorophyll-a, and turbidity are estimated in this study. In situ water quality parameter measurements from seven ground stations and the corresponding Landsat TM data were used to estimate the water quality parameters. Regression …

A New Approach To Algebraic Coding Theory Through The Applications Of Soft Sets, Florentin Smarandache, Mumtaz Ali

Branch Mathematics and Statistics Faculty and Staff Publications

Algebraic codes play a signifcant role in the minimisation of data corruption which caused by defects such as inference, noise channel, crosstalk, and packet loss. In this paper, we introduce soft codes (soft linear codes) through the application of soft sets which is an approximated collection of codes. We also discuss several types of soft codes such as type-1 soft codes, complete soft codes etc. Further, we construct the soft generator matrix and soft parity check matrix for the soft linear codes. Moreover, we develop two techniques for the decoding of soft codes.

Detecting Temporal Patterns Using Reconstructed Phase Space And Support Vector Machine In The Dynamic Data System, Wenjing Zhang, Xin Feng

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this paper we present a method for detecting dynamic temporal patterns that are characteristic and predictive of significant events in a dynamic data system. We employ the Gaussian Mixture Model (GMM) to cluster the data sequence into three categories of signals, e.g. normal, patterns and events. The data sequence is then embedded into a Reconstructed Phase Space (RPS) which is topologically equivalent to the dynamics of the original system. We apply a hybrid method using Support Vector Machines (SVM) and Maximum a Posterior (MAP) to classify temporal pattern signals based on the event function. We performed two experimental applications …

On The First-Order Expressibility Of Lattice Properties To Unicoherence In Continua, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

Many properties of compacta have “textbook” definitions which are phrased in lattice-theoretic terms that, ostensibly, apply only to the full closed-set lattice of a space. We provide a simple criterion for identifying such definitions that may be paraphrased in terms that apply to all lattice bases of the space, thereby making model-theoretic tools available to study the defined properties. In this note we are primarily interested in properties of continua related to unicoherence; i.e., properties that speak to the existence of “holes” in a continuum and in certain of its subcontinua.

Impact Of Curriculum Reform: Evidence Of Change In Classroom Instruction In The United States, John Moyer, Jinfa Cai, Ning Wang, Bikai Nie

Mathematics, Statistics and Computer Science Faculty Research and Publications

The purpose of the study reported in this article is to examine the impact of curriculum on instruction. Over a three-year period, we observed 579 algebra-related lessons in grades 6–8. Approximately half the lessons were taught in schools that had adopted a Standards-based mathematics curriculum called the Connected Mathematics Program (CMP), and the remainder of the lessons were taught in schools that used more traditional curricula (non-CMP). We found many significant differences between the CMP and non-CMP lessons. The CMP lessons, emphasized the conceptual aspects of instruction to a greater extent than the non-CMP lessons and the non-CMP lessons …

A Characterization Of Connected (1,2)-Domination Graphs Of Tournaments, Kim A. S. Factor, Larry J. Langley

Mathematics, Statistics and Computer Science Faculty Research and Publications

Recently. Hedetniemi et aI. introduced (1,2)-domination in graphs, and the authors extended that concept to (1, 2)-domination graphs of digraphs. Given vertices x and y in a digraph D, x and y form a (1,2)-dominating pair if and only if for every other vertex z in D, z is one step away from x or y and at most two steps away from the other. The (1,2)-dominating graph of D, dom_1,2 (D), is defined to be the graph G = (V, E ) , where V (G) = V (D), and xy is …

On The Distributions Of Certain Spacings, Gholamhossein Hamedani, Hans Volkmer

Mathematics, Statistics and Computer Science Faculty Research and Publications

A characterization of the uniform distribution based on distributions of spacings is presented which extends the existing result in this direction. Also, a result on the distribution of spacings for distributions close to the uniform one is discussed.

A Symbolic Approach Towards Constraint Based Software Verification, Shubhra Datta

Open Access Theses & Dissertations

Verification and validation (V&V) are two components of the software engineering process that are critical to achieve reliability that can account for up to 50% of the cost of software development. Numerous techniques ranging from formal proofs to testing methods exist to verify whether programs conform to their specifications. Recently, constraint programming techniques for V&V have emerged : they use the idea of proof by contradiction. They typically aim at proving that the code is inconsistent with the negation of the specification, which means that the software conforms to its specifications. Although the framework seems straightforward, the number of generated …

A Web Site-Level Implementation Of Owl Sameas Predicate In Drupal, Patricia Esparza

Open Access Theses & Dissertations

The Ontology Web Language (OWL) sameAs predicate states that if the predicate holds between two Uniform Resource Identifiers (URIs) A and B, then an object identified by A is the same object identified by B; its purpose is to enable machines to understand that both objects are the same although they may have distinct Web identifiers, i.e., URIs. The proliferation of the use of this predicate has brought several issues to the Web, e.g., high cost of manually creating sameAs statements, inconsistent use of the predicate leading to distinct objects to be identified as being a single object, and too …

Specification Of Data Properties To Identify Anomalies In Scientific Sensor Data, Irbis Gallegos

Open Access Theses & Dissertations

Environmental scientists use advanced sensor technology such as meteorological towers, wireless sensor networks and robotic trams equipped with sensors to perform data collection at remote research sites. Because the amount of environmental sensor data acquired by such instruments is increasing, the ability to evaluate the accuracy of the data at collection time and to check that the instrumentation is operating correctly become critical in order to not lose valuable time and information. The goal of the research is to define a solution, based on software-engineering techniques, to support the scientist's ability to specify data properties that can identify anomalies in …

Gpu Based Parallel Smoothing Of Seismic Tomography Models, Ivan Gris

Open Access Theses & Dissertations

Three-dimensional models of the velocity structure of the Earth's crust are an important and relevant factor for several types of analyses across disciplines. Crustal velocity models are also commonly used to analyze and search for different materials of interest or to determine and differentiate many aspects of life on Earth during different eras.

Seismic tomography techniques, both in two and three dimensions, perform image reconstruction of the crust of the Earth. Seismic tomography algorithms can calculate crustal velocity structure through inversion of traveltimes of seismic waves produced by natural events, such as earthquakes, or controlled source experiments, such as explosions. …

Decentralized Fault Tolerant Caching With Memcached, Bivas Das

Open Access Theses & Dissertations

Recent changes in web trends not only have increased popularity of web services, but also have vastly increased usage. Popular techniques, such as web-caching, used by content and service providers to provide faster content delivery at user end, is not enough to keep up, due to diversity and dynamic nature of web-contents.

Emerging ideas to cache on the server side, for faster content generation and delivery, is currently in use by popular web-service providers. One example of such caching system is Memcached. However, memcached, a distributed high performance caching system, is ineective in dynamic organization of itself and scaling when …

The Exploratory Value Of Agent-Based Models In Social Science, Ricardo Andress Rivera

Open Access Theses & Dissertations

N/A

Algorithms For Training Large-Scale Linear Programming Support Vector Regression And Classification, Pablo Rivas Perea

Open Access Theses & Dissertations

The main contribution of this dissertation is the development of a method to train a Support Vector Regression (SVR) model for the large-scale case where the number of training samples supersedes the computational resources. The proposed scheme consists of posing the SVR problem entirely as a Linear Programming (LP) problem and on the development of a sequential optimization method based on variables decomposition, constraints decomposition, and the use of primal-dual interior point methods. Experimental results demonstrate that the proposed approach has comparable performance with other SV-based classifiers. Particularly, experiments demonstrate that as the problem size increases, the sparser the solution …

Imbalanced Learning For Functional State Assessment, Feng Li, Frederick Mckenzie, Jiang Li, Guanfan Zhang, Roger Xu, Carl Richey, Tom Schnell, Thomas E. Pinelli (Ed.)

Electrical & Computer Engineering Faculty Publications

This paper presents results of several imbalanced learning techniques applied to operator functional state assessment where the data is highly imbalanced, i.e., some function states (majority classes) have much more training samples than other states (minority classes). Conventional machine learning techniques usually tend to classify all data samples into majority classis and perform poorly for minority classes. In this study, we implemented five imbalanced learning techniques, including random under-sampling, random over-sampling, synthetic minority over-sampling technique (SMOTE), borderline-SMOTE and adaptive synthetic sampling (ADASYN) to solve this problem. Experimental results on a benchmark driving test dataset show that accuracies for minority classes …

Enhancement Technique For Aerial Images, Sertan Erkanli, Ahmet Gungor Pakfiliz, Jiang Li

Electrical & Computer Engineering Faculty Publications

Recently, we proposed an enhancement technique for uniformly and non-uniformly illuminated dark images that provides high color accuracy and better balance between the luminance and the contrast in images to improve the visual representations of digital images. In this paper we define an improved version of the proposed algorithm to enhance aerial images in order to reduce the gap between direct observation of a scene and its recorded image.

Green Banking, Amy Kalloch, Bonnie Bachman

Business and Information Technology Faculty Research & Creative Works

Executive Summary Green banking is generally defined as promoting environmentally friendly practices that aid customers in reducing their carbon footprint through their banking operation activities. These practices include such things as online banking, statements, bill payments, and account opening. Banks also invest in internal initiatives to reduce their own carbon footprint. The majority of programs consist of energy efficiency, recycling, ride sharing, and environmentally friendly lending. Banks that support the local community and environment are seen as leaders in this movement. Many online banks and smaller community banks are seen as 'greener' than the large corporate financial institutions. One criticism …