Computer Sciences Commons^™

The Complexity Of Pebbling In Diameter Two Graphs, Timothy Lewis, Daniel Simpson, Sam Taggart

11th Annual Celebration of Undergraduate Research and Creative Performance (2012)

Given a simple, connected graph, a pebbling configuration is a function from its vertex set to the nonnegative integers. A pebbling move between adjacent vertices removes two pebbles from one vertex and adds one pebble to the other. A vertex r is said to be reachable under a configuration if there exists a sequence of pebbling moves that places one pebble on r. A configuration is solvable if every vertex is reachable. We prove tight bounds on the number of vertices with two and three pebbles that can exist in an unsolvable configuration on a diameter two graph in terms …

Performance Evaluation Of Optimal Rate Allocation Models For Wireless Networks, Ryan Michael Padilla

Theses and Dissertations

Convex programming is used in wireless networks to optimize the sending or receiving rates of links or flows in a network. This kind of optimization problem is formulated into a rate allocation problem, where each node in the network will distributively solve the convex problem and all links or flows will converge to their optimal rate. The objective function and constraints of these problems are represented in a simplified model of contention, interference, and sending or receiving rates. The Partial Interference model is an optimal rate allocation model for use in wireless mesh networks that has been shown to be …

User Expectations Of Library Genealogy Databases V. What They Actually Get, Rosemary L. Meszaros, Katherine Pennavaria

DLPS Faculty Publications

An analysis and comparison of two genealogical databases: Ancestry.com and Heritagequest.com.

Computational Simulations Of Carbon Dioxide Flow In Porous Media For Carbon Sequestration Applications, Eduardo Cordero^, Jesus D. Ortega, Dustin Crandall, Grant Bromhal, Vinod Kumar*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Using Bioinformatics To Efficiently Organize And Analyze Significant Immunogenic Epitope Sequences In Various Stages Of Trypanosoma Cruzi, Karla Singh^, Andrea Wurm, Clemente Aguilar, Alexandre Marques, M-Y Leung*, Igor Almeida*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Geographic Information Systems And Cloud Computing, James Hearn

Undergraduate Research Conference

No abstract provided.

Electronic Device, Display And Touch-Sensitive User Interface, Michael E. Miller, Jerald J. Muszak, Michael J. Telek

AFIT Patents

Display devices and methods for operating the same are provided. In one embodiment, the display device has an electronic display having an active area for presenting visual content; a housing holding the electronic display and having an opening allowing a person to view a first portion of the active area; and a bezel about the opening, the bezel covering a second portion of the active area and providing a window through which at least a part of the second portion can be viewed. A sensor system senses when a person is close to touching the bezel or when a person …

Automated Fingertip Detection, Joseph G. Butler

Theses and Dissertations

One of the oldest biometrics that has been used to uniquely identify a person is their fingerprint. Recent developments in research on fingerprint collection have made it possible to collect fingerprint data from a stand-off digital image. Each of the techniques developed so far have relied on either a very controlled capture environment to ensure only a single fingertip is collected or manual cropping of the image down to the fingertip. The main body of the research focuses on extracting the fingerprint itself. If fingerprint collection via digital image is ever to be fielded in the real world on such …

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 …

An Object-Oriented Framework For Userland Filesystem Development, George K. Thiruvathukal, Joseph P. Kaylor, Konstantin Läufer

Computer Science: Faculty Publications and Other Works

Userland filesystems (also known as virtual/installable filesystems) represent a promising direction for interfacing the traditional filesystem concept to specific domain instances (e.g. finance, bioinformatics, astronomy, photo sharing services, etc.) One might initially be inclined to think of filesystems as “old school” or “so 1980s” but their use remains an established practice in computational science and in many business domains, owing to the stability of filesystems interfaces and the continued perception of having great overall performance. While the promise of building one’s own userland filesystems is great, the approach has seen little adoption, owing to the complexity of working with low-level …

Binding Efficacy Of Different Polyphenolic Phytochemicals With Β-Lactoglobulin And Human Serum Albumin: Implication For Therapeutics Against Neurodegenerative Diseases, Rene Duran^, Andres Ortiz^, Mahesh Narayan*, Vladik Kreinovich*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Derivation Of Hill's Equation From Scale Invariance, Andres Ortiz^, Vladik Kreinovich*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Wifu Transport: A User-Level Protocol Framework, Randall Jay Buck

Theses and Dissertations

It is well known that the transport layer protocol TCP has low throughput and is unfair in wireless mesh networks. Transport layer solutions for mesh networks have been primarily validated using simulations with simplified assumptions about the wireless network. The WiFu Transport framework complements simulator results by allowing developers to easily create and experiment with transport layer protocols on live networks. We provide a user-space solution that is flexible and promotes code reuse while maintaining high performance and scalability. To validate WiFu Transport we use it to build WiFu TCP, a decomposed Tahoe solution that preserves TCP semantics. Furthermore, we …

Generating Minimal Pair-Wise Covering Test Suites, Luis C. Gutierrez ^, Martine Ceberio *

COURI Symposium Abstracts, Spring 2012

Software is ubiquitous and needs to be reliable. Software testing therefore plays an important role in software development. Proper testing a software system informs about its quality and reliability so as to prevent unexpected behavior during system execution. One of the methods to prevent failures consists in testing a system under different input values, but when all possible input values are tested, an impractical number of test cases might result. In software testing, pair-wise testing is a combinatorial technique which uses combination of pair input values to generate test cases. Using pair-wise testing dramatically reduces the number of test cases, …

Supporting Developer-Onboarding With Enhanced Resource Finding And Visual Exploration, Jianguo Wang

School of Computing: Dissertations, Theses, and Student Research

Understanding the basic structure of a code base and a development team are essential to get new developers up to speed in a software development project. Developers do so through the process of early experimentation with code and the creation of mental models of technical and social structures in a project. However, getting up-to-speed in a new project can be challenging due to difficulties in: finding the right place to begin explorations, expanding the focus to determine relevant resources for tasks, and identifying dependencies across project elements to gain a high-level overview of project structures. In this thesis, I first …

Single Eye Or Camera With Depth Perception, Philipp Kornreich, Bart Farell

Electrical Engineering and Computer Science - Technical Reports

An imager that can measure the distance from each pixel to the point on the object that is in focus at the pixel is described here. This is accomplished by the use of short lightguide sections combined with each pixel light sensor. In the eye the rods and cones are the fiber like lightguide sections. The lens selects the object point who’s range is to be determined at the particular pixel. The lens reproduces the light pattern of the object point at the image point with the addition of a phase proportional to the distance from object point to image …

Code . Art: Code With An Art File Extension, Cole Wiley

Honors Capstones

No abstract provided.

Completion Time Scheduling And The Wsrpt Algorithm, Christine Chung, Bo Xiong

Computer Science Faculty Publications

No abstract provided.

Simplicity Is Worse Than Theft: A Constraint-Based Explanation Of A Seemingly Counter-Intuitive Russian Saying, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, simplified models, models that enable us to gauge the quality of different decisions reasonably well, lead to far-from-optimal situations when used in searching for an optimal decision. There is even an appropriate Russian saying: simplicity is worse than theft. In this paper, we provide a mathematical explanation of this phenomenon.

Modeling Latent Relationships In The Mygamma Network, Mauricio Sadinle, Mike Finegold, Stephen E. Fienberg, Ee-Peng Lim

LARC Research Publications

No abstract provided.

Section Abstracts: Computer Science

Virginia Journal of Science

Abstracts of the Computer Science Section for the 90th Annual Meeting of the Virginia Academy of Science, May 23-25, 2012, Norfolk State University, Norfolk, Virginia.

Algorithmics Of Checking Whether A Mapping Is Injective, Surjective, And/Or Bijective, E. Cabral Balreira, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many situations, we would like to check whether an algorithmically given mapping f:A --> B is injective, surjective, and/or bijective. These properties have a practical meaning: injectivity means that the events of the action f can be, in principle, reversed, while surjectivity means that every state b from the set B can appear as a result of the corresponding action. In this paper, we discuss when algorithms are possible for checking these properties.

Extending Java For Android Programming, Yoonsik Cheon

Departmental Technical Reports (CS)

Android is one of the most popular platforms for developing mobile applications. However, its framework relies on programming conventions and styles to implement framework-specific concepts like activities and intents, causing problems such as reliability, readability, understandability, and maintainability. We propose to extend Java to support Android framework concepts explicitly as built-in language features. Our extension called Android Java will allow Android programmers to express these concepts in a more reliable, natural, and succinct way.

Modal Intervals As A New Logical Interpretation Of The Usual Lattice Order Between Interval Truth Values, Francisco Zapata

Departmental Technical Reports (CS)

In the traditional fuzzy logic, we use numbers from the interval [0,1] to describe possible expert's degrees of belief in different statements. Comparing the resulting numbers is straightforward: if our degree of belief in a statement A is larger than our degree of belief in a statement B, this means that we have more confidence in the statement $A$ than in the statement B. It is known that to get a more adequate description of the expert's degree of belief, it is better to use not only numbers $a$ from the interval [0,1], but also subintervals [a1,a2] of this interval. …

How One Trade Could Change The World: High Frequency Trading And The Flash Crash Of 2010, Sarah Perlman

Honors Projects in Finance

Financial markets are controlled directly by a small population of people, but have direct effects on almost every aspect of the global community. Financial markets are now flooded with computerized algorithms that have drastically changed the face of trading. As with any advances in technology, there are always unforeseen events that create new challenges, and adjustments that need to be made. In our increasingly global and technological world, one wrong click of the mouse in New York could affect the stock markets in London, Tokyo, and Brazil. On May 6th, 2010, such a situation occurred and caused the Dow Jones …

Mobile Technology Update To Delone And Mclean Model Of Information Success, Jason Ryberg

Regis University Student Publications (comprehensive collection)

Senior managers are challenged to measure the success of their IT systems when justifying technology investments needed to meet the organization"â„¢s mission. Due to increasing implementation of mobile technology, enterprise adoption of smartphones is no exception. Traditionally, the DeLone and McLean Information Systems (IS) Success Model has been proven as a valid framework for measuring IS success. However, it has not been updated to address the success variables related to mobile technology. Many studies on mobile technology have reviewed mobile success, but none have attempted theoretical assimilation. This thesis attempts to correct this situation by examining the DeLone and McLean …

An Open Source Usability Maturity Model (Os-Umm), Luiz Fernando Capretz, Arif Raza, Faheem Ahmed

Electrical and Computer Engineering Publications

User satisfaction has always been a major factor in the success of software, regardless of whether it is closed proprietary or open source software (OSS). In open source projects, usability aspects cannot be improved unless there are ways to test and measure them. Hence, the increasing popularity of open source projects among novice and non-technical users necessitates a usability evaluation methodology. Consequently, this paper presents a usability maturity model specifically aimed at usability-related issues for open source projects. In particular, the model examines the degree of coordination between open source projects and their usability aspects. The measuring instrument of the …

Kinematic Spaces And De Vries Algebras: Towards Possible Physical Meaning Of De Vries Algebras, Olga Kosheleva, Francisco Zapata

Departmental Technical Reports (CS)

Traditionally, in physics, space-times are described by (pseudo-)Riemann spaces, i.e., by smooth manifolds with a tensor metric field. However, in several physically interesting situations smoothness is violated: near the Big Bang, at the black holes, and on the microlevel, when we take into account quantum effects. In all these situations, what remains is causality -- an ordering relation. To describe such situations, in the 1960s, geometers H. Busemann and R. Pimenov and physicists E. Kronheimer and R. Penrose developed a theory of kinematic spaces. Originally, kinematic spaces were formulated as topological ordered spaces, but it turned out that kinematic …

Image And Model Fusion: Unexpected Counterintuitive Behavior Of Traditional Statistical Techniques And Resulting Need For Expert Knowledge, Omar Ochoa, Aaron A. Velasco, Vladik Kreinovich

Departmental Technical Reports (CS)

In many real-life situations, we have different types of data. For example, in geosciences, we have seismic data, gravity data, magnetic data, etc. Ideally, we should jointly process all this data, but often, such a joint processing is not yet practically possible. In such situations, it is desirable to "fuse" models (images) corresponding to different types of data: e.g., to fuse an image corresponding to seismic data and an image corresponding to gravity data. At first glance, if we assume that all the approximation errors are independent and normally distributed, then we get a reasonably standard statistical problem which can …

Near-Optimal Scheduling And Decision-Making Models For Reactive And Proactive Fault Tolerance Mechanisms, Nichamon Naksinehaboon

Doctoral Dissertations

As High Performance Computing (HPC) systems increase in size to fulfill computational power demand, the chance of failure occurrences dramatically increases, resulting in potentially large amounts of lost computing time. Fault Tolerance (FT) mechanisms aim to mitigate the impact of failure occurrences to the running applications. However, the overhead of FT mechanisms increases proportionally to the HPC systems' size. Therefore, challenges arise in handling the expensive overhead of FT mechanisms while minimizing the large amount of lost computing time due to failure occurrences.

In this dissertation, a near-optimal scheduling model is built to determine when to invoke a hybrid checkpoint …