Computer Sciences Commons^™

Modeling State Transitions With Automata, Egor Dolzhenko

USF Tampa Graduate Theses and Dissertations

Models based on various types of automata are ubiquitous in modern science. These models allow reasoning about deep theoretical questions and provide a basis for the development of efficient algorithms to solve related computational problems. This work discusses several types of automata used in such models, including cellular automata and mandatory results automata.

The first part of this work is dedicated to cellular automata. These automata form an important class of discrete dynamical systems widely used to model physical, biological, and chemical processes. Here we discuss a way to study the dynamics of one-dimensional cellular automata through the theory of …

Do Personality Tests Have A Place In Academic Preparation Of Undergradute Hospitality Students, Gunce Malan

USF Tampa Graduate Theses and Dissertations

This is a descriptive study that poses the questions and discussion regarding use of personality tests in prediction of future job performance of the current undergraduate hospitality students. A gap exists between the perception of the skills and competencies of high performers and the perception of hospitality students (Berezina et al., 2011; Malan, Berezina & Cobanoglu, 2012). The purpose of this study is to investigate if personality tests will help in predicting the success of students in their preferred job setting as compared to current high performers (managers).

The use of personality tests increased substantially after 1988, when the government …

Dynamic Processes In Network Goods: Modeling, Analysis And Applications, Arnut Paothong

USF Tampa Graduate Theses and Dissertations

The network externality function plays a very important role in the study of economic network industries. Moreover, the consumer group dynamic interactions coupled with network externality concept is going to play a dominant role in the network goods in the 21st century. The existing literature is stemmed on a choice of externality function with certain quantitative properties. The utility function coupled with the network externality function is used to investigate static properties of rational equilibrium. The aim of this work is to systematically initiate a development of quantitative effects of the concept of network externality and its influence on the …

Computational Approaches For Structure Based Drug Design And Protein Structure-Function Prediction, Sai Lakshmana Kumar Vankayala

USF Tampa Graduate Theses and Dissertations

This dissertation thesis consists of a series of chapters that are interwoven by solving interesting biological problems, employing various computational methodologies. These techniques provide meaningful physical insights to promote the scientific fields of interest. Focus of chapter 1 concerns, the importance of computational tools like docking studies in advancing structure based drug design processes. This chapter also addresses the prime concerns like scoring functions, sampling algorithms and flexible docking studies that hamper the docking successes. Information about the different kinds of flexible dockings in terms of accuracy, time limitations and success studies are presented. Later the importance of Induced fit …

Applications Of Agent Based Approaches In Business: A Three Essay Dissertation, Shankar Prawesh

USF Tampa Graduate Theses and Dissertations

The goal of this dissertation is to investigate the enabling role that agent based simulation plays in business and policy. The aforementioned issue has been addressed in this dissertation through three distinct, but related essays. The first essay is a literature review of different research applications of agent based simulation in various business disciplines, such as finance, economics, information systems, management, marketing and accounting. Various agent based simulation tools to develop computational models are discussed. The second essay uses an agent-based simulation approach to study important properties of the widely used most popular news recommender systems (NRS). This essay highlights …

Playing In Trelis Weyr: Investigating Collaborative Practices In A Dragons Of Pern Role-Play-Game Forum, Kathleen Marie Alley

USF Tampa Graduate Theses and Dissertations

This descriptive case study examined adolescents' and emerging adults' literate and social practices within the context of a role-play-game (RPG) forum, investigating the ways participants read and collaboratively composed within this space. As a researcher, I was interested in how this space functioned and how the interactions between members impacted their composing processes, with particular attention to the role of online spaces and popular culture in adolescents' motivation to engage in this forum. This study was guided by three research questions: (1) In what ways is Trelis Weyr, an RPG forum, organized as a virtual environment?; (2) In what ways, …

Human Intention Recognition Based Assisted Telerobotic Grasping Of Objects In An Unstructured Environment, Karan Hariharan Khokar

USF Tampa Graduate Theses and Dissertations

In this dissertation work, a methodology is proposed to enable a robot to identify an object to be grasped and its intended grasp configuration while a human is teleoperating a robot towards the desired object. Based on the detected object and grasp configuration, the human is assisted in the teleoperation task. The environment is unstructured and consists of a number of objects, each with various possible grasp configurations. The identification of the object and the grasp configuration is carried out in real time, by recognizing the intention of the human motion. Simultaneously, the human user is assisted to preshape over …

Effects Of Virtual Reality On The Cognitive Memory And Handgun Accuracy Development Of Law Enforcement Neophytes, Richard A. Wright

USF Tampa Graduate Theses and Dissertations

Abstract

The purpose of this research was to investigate the effects of virtual reality training on the development of cognitive memory and handgun accuracy by law enforcement neophytes. One hundred and six academy students from 6 different academy classes were divided into two groups, experimental and control. The experimental group was exposed to virtual reality training for a period of 8 hours. The control group was exposed to the traditional, non-interactive training that occurred on a gun range, also for a period of 8 hours. After exposing the groups to their respective training, a counter-balance technique was utilized to expose …

On The Automatic Recognition Of Human Activities Using Heterogeneous Wearable Sensors, Oscar David Lara Yejas

USF Tampa Graduate Theses and Dissertations

Delivering accurate and opportune information on people's activities and behaviors has become one of the most important tasks within pervasive computing. Its wide spectrum of potential applications in medical, entertainment, and tactical scenarios, motivates further

research and development of new strategies to improve accuracy, pervasiveness, and eciency.

This dissertation addresses the recognition of human activities (HAR) with wearable sensors in three main regards: In the rst place, physiological signals have been incorporated as a new source of information to improve the recognition accuracy achieved by conventional approaches, which rely on accelerometer signals solely. A new HAR system, Centinela, was born …

A Location-Aware Architecture Supporting Intelligent Real-Time Mobile Applications, Sean J. Barbeau

USF Tampa Graduate Theses and Dissertations

This dissertation presents LAISYC, a modular location-aware architecture for intelligent real-time mobile applications that is fully-implementable by third party mobile app developers and supports high-precision and high-accuracy positioning systems such as GPS. LAISYC significantly improves device battery life, provides location data authenticity, ensures security of location data, and significantly reduces the amount of data transferred between the phone and server. The design, implementation, and evaluation of LAISYC using real mobile phones include the following modules: the GPS Auto-Sleep module saves battery energy when using GPS, maintaining acceptable movement tracking (approximately 89% accuracy) with an approximate average doubling of battery life. …

A Location-Based Incentive Mechanism For Participatory Sensing Systems With Budget Constraints, Luis Gabriel Jaimes

USF Tampa Graduate Theses and Dissertations

Participatory Sensing (PS) systems rely on the willingness of mobile users to participate in the collection and reporting of data using a variety of sensors either embedded or integrated in their

cellular phones. Users agree to use their cellular phone resources to sense and transmit the data of interest because these data will be used to address a collective problem that otherwise would

be very difficult to assess and solve. However, this new data collection paradigm has not been very successful yet mainly because of the lack of incentives for participation and privacy concerns. Without adequate incentive and privacy guaranteeing …

A Framework For Participatory Sensing Systems, Diego Mendez Chaves

USF Tampa Graduate Theses and Dissertations

Participatory sensing (PS) systems are a new emerging sensing paradigm based on the participation of cellular users in a cooperative way. Due to the spatio-temporal granularity that a PS system can provide, it is now possible to detect and analyze events that occur at different scales, at a low cost. While PS systems present interesting characteristics, they also create new problems. Since the measuring devices are cheaper and they are in the hands of the users, PS systems face several design challenges related to the poor accuracy and high failure rate of the sensors, the possibility of malicious users tampering …

On The Design Of Socially-Aware Distributed Systems, Nicolas Kourtellis

USF Tampa Graduate Theses and Dissertations

Social media services and applications enable billions of users to share an unprecedented amount of social information, which is further augmented by location and collocation information from mobile phones, and can be aggregated to provide an accurate digital representation of the social world. This dissertation argues that extracted social knowledge from this wealth of information can be embedded in the design of novel distributed, socially-aware applications and services, consequently improving system response time, availability and resilience to attacks, and reducing system overhead. To support this thesis, two research avenues are explored.

First, this dissertation presents Prometheus, a socially-aware peer-to-peer service …

A Spatially Explicit Agent Based Model Of Muscovy Duck Home Range Behavior, James Howard Anderson

USF Tampa Graduate Theses and Dissertations

ABSTRACT

Research in GIScience has identified agent-based simulation methodologies as effective in the study of complex adaptive spatial systems (CASS). CASS are characterized by the emergent nature of their spatial expressions and by the changing relationships between their constituent variables and how those variables act on the system's spatial expression over time. Here, emergence refers to a CASS property where small-scale, individual action results in macroscopic or system-level patterns over time. This research develops and executes a spatially-explicit agent based model of Muscovy Duck home range behavior. Muscovy duck home range behavior is regarded as a complex adaptive spatial system …

Algorithms For Visual Maritime Surveillance With Rapidly Moving Camera, Sergiy Fefilatyev

USF Tampa Graduate Theses and Dissertations

Visual surveillance in the maritime domain has been explored for more than a decade. Although it has produced a number of working systems and resulted in a mature technology, surveillance has been restricted to the port facilities or areas close to the coastline assuming a fixed-camera scenario. This dissertation presents several contributions in the domain of maritime surveillance. First, a novel algorithm for open-sea visual maritime surveillance is introduced. We explore a challenging situation with a camera mounted on a buoy or other floating platform. The developed algorithm detects, localizes, and tracks ships in the field of view of the …

Detecting Surface Oil Using Unsupervised Learning Techniques On Modis Satellite Data, Joshua Kidd

USF Tampa Graduate Theses and Dissertations

The release of crude oil or other petroleum based products into marine habitats can have a devastating impact on the environment as well as the local economies that rely on these waters for commercial fishing and tourism. The Deepwater Horizon catastrophe that started on April 20th 2010 leaked an estimated 4.4 million barrels of crude oil into the Gulf of Mexico over a 3 month period threatening thousands of species and crippling the gulf coast. The National Oceanic and Atmospheric Administration (NOAA) used several satellite remote sensing technologies to manually track and predict the extent and location of oil on …

A Principled Approach To Policy Composition For Runtime Enforcement Mechanisms, Zachary Negual Carter

USF Tampa Graduate Theses and Dissertations

Runtime enforcement mechanisms are an important and well-employed method for ensuring an execution only exhibits acceptable behavior, as dictated by a security policy. Wherever interaction occurs between two or more parties that do not completely trust each other, it is most often the case that a runtime enforcement mechanism is between them in some form, monitoring the exchange. Considering the ubiquity of such scenarios in the computing world, there has been an increased effort to build formal models of runtime monitors that closely capture their capabilities so that their effectiveness can be analysed more precisely. While models have grown more …

Developing Predictive Models For Lung Tumor Analysis, Satrajit Basu

USF Tampa Graduate Theses and Dissertations

A CT-scan of lungs has become ubiquitous as a thoracic diagnostic tool. Thus, using CT-scan images in developing predictive models for tumor types and survival time of patients afflicted with Non-Small Cell Lung Cancer (NSCLC) would provide a novel approach to non-invasive tumor analysis. It can provide an alternative to histopathological techniques such as needle biopsy. Two major tumor analysis problems were addressed in course of this study, tumor type classification and survival time prediction. CT-scan images of 109 patients with NSCLC were used in this study. The first involved classifying tumor types into two major classes of non-small cell …

Overcoming Limitations Of Serial Audio Search, Isabela Cordeiro Ribeiro Moura Hidalgo

USF Tampa Graduate Theses and Dissertations

The typical approach for finding audio recordings, such as music and sound effects, in a database is to enter some textual information into a search field. The results appear summarized in a list of textual descriptions of the audio files along with a function for playing back the recordings. Exploring such a list sequentially is a time-consuming and tedious way to search for sounds. This research evaluates whether searching for audio information can become more effective with a user interface capable of presenting multiple audio streams simultaneously.

A prototype audio player was developed with a user interface suitable for both …

Extraction Of Text Objects In Image And Video Documents, Jing Zhang

USF Tampa Graduate Theses and Dissertations

The popularity of digital image and video is increasing rapidly. To help users navigate libraries of image and video, Content Based Information Retrieval (CBIR) system that can automatically index image and video documents are needed. However, due to the semantic gap between low-level machine descriptors and high-level semantic descriptors, the existing CBIR systems are still far from perfect. Text embedded in multi-media data, as a well-defined model of concepts for humans' communication, contains much semantic information related to the content. This text information can provide a much truer form of content-based access to the image and video documents if it …

Basal Graph Structures For Geometry Based Organization Of Wide-Baseline Image Collections, Aveek Shankar Brahmachari

USF Tampa Graduate Theses and Dissertations

We propose algorithms for organization of images in wide-area sparse-view datasets. In such datasets, if the images overlap in scene content, they are related by wide-baseline geometric transformations. The challenge is to identify these relations even if the images sparingly overlap in their content. The images in a dataset are then grouped into sets of related images with the relations captured in each set as a basal (minimal and foundational) graph structures. Images form the vertices in the graph structure and the edges define the geometric relations between the images. We use these basal graphs for geometric walkthroughs and detection …

Methods And Algorithms For Scalable Verification Of Asynchronous Designs, Haiqiong Yao

USF Tampa Graduate Theses and Dissertations

Concurrent systems are getting more complex with the advent of multi-core processors and the support of concurrent programs. However, errors of concurrent systems are too subtle to detect with the traditional testing and simulation. Model checking is an effective method to verify concurrent systems by exhaustively searching the complete state space exhibited by a system. However, the main challenge for model checking is state explosion, that is the state space of a concurrent system grows exponentially in the number of components of the system. The state space explosion problem prevents model checking from being applied to systems in realistic size. …

Economic Culture And Trading Behaviors In Information Markets, Khalid Nasser Alhayyan

USF Tampa Graduate Theses and Dissertations

There are four main components for influencing traders' behaviors in an information market context: trader characteristics, organizational characteristics, market design, and external information. This dissertation focuses on investigating the impact of individual trader characteristics on trading behaviors. Two newly-developed constructs, highly relevant to information market contexts, were identified to increase our understanding about trading behaviors: trader's economic culture and trader independence. The theory of planned behavior is used as the theoretical basis to postulate hypotheses for empirical testing. Data collected from subjects through a series of web-based experiments shows that trader participation can be fostered through recruiting individuals who are …

Tagline: Information Extraction For Semi-Structured Text Elements In Medical Progress Notes, Dezon K. Finch

USF Tampa Graduate Theses and Dissertations

Text analysis has become an important research activity in the Department of Veterans Affairs (VA). Statistical text mining and natural language processing have been shown to be very effective for extracting useful information from medical documents. However, neither of these techniques is effective at extracting the information stored in semi-structure text elements. A prototype system (TagLine) was developed as a method for extracting information from the semi-structured portions of text using machine learning. Features for the learning machine were suggested by prior work, as well as by examining the text, and selecting those attributes that help distinguish the various classes …

Investigating The Role Of The Internet In Women And Minority Stem Participation: A Case Study Of Two Florida Engineering Programs, Arland Nguema Ndong

USF Tampa Graduate Theses and Dissertations

Despite our awareness of the fascination modern humans have with the Internet, little is known about how and why colleges and universities create and maintain Websites. At the most general level, in this case study, I hypothesize that university Websites serve as communication and marketing tools in attracting students. At the most specific level, I postulate that civil engineering programs with Web pages depicting images of women and minorities would be more successful in recruiting and retaining women and students of color than civil engineering programs with Web pages displaying fewer or no images of women and minorities. The primary …

An Architecture For Global Ubiquitous Sensing, Alfredo Jose Perez

USF Tampa Graduate Theses and Dissertations

A new class of wireless sensor networks has recently appeared due to the pervasiness of cellular phones with embedded sensors, mobile Internet connectivity, and location technologies. This mobile wireless sensor network has the potential to address large-scale societal problems and improve the people's quality of life in a better, faster and less expensive fashion than current solutions based on static wireless sensor networks. Ubiquitous Sensing is the umbrella term used in this dissertation that encompasses location-based services, human-centric, and participatory sensing applications. At the same time, ubiquitous sensing applications are bringing a new series of challenging problems.

This dissertation proposes …

Knowledge Guided Non-Uniform Rational B-Spline (Nurbs) For Supporting Design Intent In Computer Aided Design (Cad) Modeling, Khairan Rajab

USF Tampa Graduate Theses and Dissertations

For many years, incompatible computer-aided design (CAD) packages that are based on Non-uniform Rational B-Spline (NURBS) technology carried out the exchange of models and data through either neutral file formats (IGES or STEP) or proprietary formats that have been accepted as quasi industry standards. Although it is the only available solution at the current time, the exchange process most often produces unsatisfactory results. Models that are impeccable in the original modeling system usually end up with gaps or intersections between surfaces on another incompatible system. Issues such as loss of information, change of data accuracy, inconsistent tolerance, and misinterpretation of …

Mining Associations Using Directed Hypergraphs, Ramanuja N. Simha

USF Tampa Graduate Theses and Dissertations

This thesis proposes a novel directed hypergraph based model for any database. We introduce the notion of association rules for multi-valued attributes, which is an adaptation of the definition of quantitative association rules known in the literature. The association rules for multi-valued attributes are integrated in building the directed hypergraph model. This model allows to capture attribute-level associations and their strength. Basing on this model, we provide association-based similarity notions between any two attributes and present a method for finding clusters of similar attributes. We then propose algorithms to identify a subset of attributes known as a leading indicator that …

A Dynamic Hierarchical Web-Based Portal, Matthew James Spaulding

USF Tampa Graduate Theses and Dissertations

A dynamic hierarchical web-based portal was created to house a suite of web-based supply chain management applications. The portal was designed in a hierarchical manner to match the structure of large companies. Administrators of the the portal have the ability to form the portal in such a way to mimic the existing structure of their company. Access rights to the applications in the portal may be granted or denied per division and the users of the portal are placed in these divisions based on their duty in the company. In addition, users are granted roles which dictate their ability to …

Heterogeneous Modeling Of Medical Image Data Using B-Spline Functions, Olya Grove

USF Tampa Graduate Theses and Dissertations

Ongoing developments in the field of medical imaging modalities have pushed the frontiers of modern medicine and biomedical engineering, prompting the need for new applications to improve diagnosis, treatment and prevention of diseases.

Biomedical data visualization and modeling rely predominately on manual processing and utilization of voxel and facet based homogeneous models. Biological structures are naturally heterogeneous and in order to accurately design and biomimic biological structures, properties such as chemical composition, size and shape of biological constituents need to be incorporated in the computational biological models.

Our proposed approach involves generating a density point cloud based on the intensity …