Engineering Commons^™

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

2d Gaussian Object Motion Detection, Miguel Angel Chaidez

Open Access Theses & Dissertations

Dr. John Moya, and associated research assistants, have previously created an image-change recognition algorithm (JESSE) to mark changes within an image. The focus of this thesis is to present a physical application and modification of this algorithm in order to detect a surgeon's hand and verify chip placement on a printed circuit board.

There are different techniques in implementing visual recognition and motion detection with smart systems but the high cost and complicated calibration of these systems make them impractical. The goal was to create a system that is simple, inexpensive and applicable to multiple applications that will allow the …

Collaborative And Distributed Algorithms For Localization In Wireless Sensor Networks Based On The Solution Of Spatially Constrained Local And Sub-Local Problems, Juan De Dios Cota

Open Access Theses & Dissertations

In this research we present algorithms for the distributed and collaborative localization of nodes for applications in wireless sensor networks. The algorithms are distributed in the sense that each node can estimate its own position using only range information and position estimates from neighboring nodes. The algorithms aim at achieving good accuracy with low computational complexity and low energy consumption. We consider the full localization process consisting of an initialization stage followed by a refinement stage.

For initialization, we propose a \emph{bilateration} algorithm where each node uses a set of anchors and their respective ranges to solve a set of …

Software And Hardware Techniques To Aid In Automating And Troubleshooting Hybrid Systems That Fabricate Three-Dimensional Electronics, Mohammed Alawneh

Open Access Theses & Dissertations

Various issues in automating the fabrication of three dimensional electronics were addressed in this thesis. The three dimensional electronics were fabricated by a stereolithoraphy and direct print hybrid system. Hardware and software limitations were discussed and possible solutions were implemented. Various automation software tools were developed, specifically a computer aided design to printed electronics conversion software compatible with various stages.

Utepcam: A Scalable Wireless Vision Sensor Architecture For Computational, Power And Bandwidth Constrained Scenarios, Ricardo Zepeda

Open Access Theses & Dissertations

UTEPcam is a low cost and power vision sensor node system. UTEPcam is composed of an Atmel atmega32 8-bit microcontroller, a CY7C09099V static RAM chip, an OV6620 CMOS image sensor, a XBEE transceiver and a SD Flash memory card, and four logic gates. UTEPcam's simple yet efficiently architecture enables it to capture video at one frame per second. At its absolute highest, it is estimated that UTEPcam consumes only 1.321 Amps. When in standby, UTEPcam consumes 21 microamps. Furthermore, UTEPcam's program takes up only 1Kbyte of memory space.

UTEPcam's CPU, a simple 8-bit MCU, is unlike most vision sensor node …

Development Of Load Balancing Algorithm Based On Analysis Of Multi-Core Architecture On Beowulf Cluster, Damian Valles

Open Access Theses & Dissertations

In this work, analysis, and modeling were employed to improve the Linux Scheduler for HPC use. The performance throughput of a single compute-node of the 23 node Beowulf cluster, Virgo 2.0, was analyzed to find bottlenecks and limitations that affected performance in the processing hardware where each compute-node consisted of two quad-core processors with eight gigabytes of memory. The analysis was performed using the High Performance Linpack (HPL) benchmark.

In addition, the processing hardware of the compute-node was modeled using an Instruction per Cycle (IPC) metric that was estimated using linear regression. Modeling data was obtained by using the Tuning …

Effects Of The Usage Of Parallel Hardware Architectures In The Simulation Of Artificial Neural Networks Training Process, Carlos Beas

Open Access Theses & Dissertations

Long training times and non-ideal performance have been a big impediment in further continuing the use of Artificial Neural Networks for real world applications. Current research is currently focused on two areas of study that aim to address this problem. The first approach seeks to overcome large training times by devising faster learning algorithms where a set of interconnection weights for which the network produces negligible error takes a less amount of computation to find [Sun98]. The second approach aims to address the impediment by implementing existing training algorithms but on parallel hardware architectures.

While both approaches provide promising advances …

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 …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

A Survey Of Contemporary Enterprise Storage Technologies From A Digital Forensics Perspective, Gregory H. Carlton, Joseph Matsumoto

Journal of Digital Forensics, Security and Law

As the proliferation of digital computational systems continue to expand, increasingly complex technologies emerge, including those regarding large, enterprise-wide, information storage and retrieval systems. Within this study, we examine four contemporary enterprise storage technologies. Our examination of these technologies is presented with an overview of the technological features of each offering and then followed with a discussion of the impact of these technologies on digital forensics methods, particularly regarding forensic data acquisition. We offer a general opinion concerning a recommended data acquisition method when faced with the task of obtaining a forensic image of data contained within these technologies, we …

Legal Issues Regarding Digital Forensic Examiners Third Party Consent To Search, Thomas Lonardo, Doug White, Tricia P. Martland, Alan Rea

Journal of Digital Forensics, Security and Law

This paper focuses on Federal law as it relates to consent to search relating to Fourth Amendment privacy in the practice of Digital Forensics. In particular, Digital Examiners should be aware of how decisions in Federal Court may impact their ability to acquire evidence in both civil and criminal settings. Digital Forensics, being a relatively new field, is particularly subject to change as cases and appeals are decided. This paper provides an overview of relevant case law relating to issues in Digital Forensics. More importantly, our research provides Digital Forensic Examiners (DFE), as defined by Lonardo, White, and Rea (2008, …

Exploring The Iphone Backup Made By Itunes, Mario Piccinelli, Paolo Gubian

Journal of Digital Forensics, Security and Law

Apple’s™ iPhone™ is one of the widest selling mobile on the market, thanks to its simple and user-friendly interface and ever growing pool of available high quality applications for both personal and business use. The increasing use of the iPhone leads forensics practitioners towards the need for tools to access and analyze the information stored in the device. This research aims at describing the process to forensically analyze a logical backup of an iPhone made by the Apple iTunes™ utility, understanding the backup’s structure, and creating a simple tool to automate the process of decoding and analyzing the data. In …

A Case Study In Forensic Analysis Of Control, Fred Cohen

Journal of Digital Forensics, Security and Law

This paper describes a case study in which a method for forensic analysis of control was applied to resolve probative technical issues in a legal action. It describes one instance in which the analysis was successfully applied without challenge, addresses the details of most of the different facets of the analysis method, and demonstrates how such analysis provides a systematic approach to using technical methods to address legal issues as a case study.

Extraction Of Electronic Evidence From Voip: Forensic Analysis Of A Virtual Hard Disk Vs Ram, David Irwin, Jill Slay, Arek Dadej, Malcolm Shore

Journal of Digital Forensics, Security and Law

The popularity of Voice over the Internet Protocol (VoIP) is increasing as the cost savings and ease of use is realised by a wide range of home and corporate users. However, the technology is also attractive to criminals. This is because VoIP is a global telephony service, in which it is difficult to verify the user’s identification. The security of placing such calls may also be appealing to criminals, as many implementations use strong encryption to secure both the voice payload as well as to control messages making monitoring such VoIP calls difficult since conventional methods such as wire-tapping is …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Book Review: Ios Forensic Analysis: For Iphone, Ipad And Ipod Touch, Christopher Schulte

Journal of Digital Forensics, Security and Law

As Digital Forensics practitioners, we know that our discipline is constantly evolving. Keeping abreast means we need to continually refine and broaden our knowledge pools through experience, education, research, peer exchange, and more. Mobile device forensics can be especially dynamic and challenging. With multiple standards in place at the hardware, operating system, and user interface levels, it can be daunting to preserve, analyze, search and report on these tiny yet ubiquitous hand-held computers. Apple Computer’s line of mobile products (iOS devices - iPhone, iPad, iPod Touch) is no exception to this rule.

Column: Every Last Byte, Simson Garfinkel

Journal of Digital Forensics, Security and Law

Inheritance powder is the name that was given to poisons, especially arsenic, that were commonly used in the 17th and early 18th centuries to hasten the death of the elderly. For most of the 17th century, arsenic was deadly but undetectable, making it nearly impossible to prove that someone had been poisoned. The first arsenic test produced a gas—hardly something that a scientist could show to a judge. Faced with a growing epidemic of poisonings, doctors and chemists spent decades searching for something better

Technology Corner: Brute Force Password Generation -- Basic Iterative And Recursive Algorithms, Nick V. Flor, Haile Shannon

Journal of Digital Forensics, Security and Law

Most information systems are secured at minimum by some form of password protection. For various reasons a password may be unavailable, requiring some form of password recovery procedure. One such procedure is software-based automated password recovery, where a program attempts to log into a system by repeatedly trying different password combinations. At the core of such software is a password generator. This article describes the basic iterative and recursive algorithms for generating all possible passwords of a given length, which is commonly referred to as brute-force password generation. The paper ends with a discussion of alternative password recovery procedures one …

Robotic Hand Evaluation Based On Task Specific Kinematic Requirements, Carlos Rafael Neninger

USF Tampa Graduate Theses and Dissertations

With the rise autonomous and robotic systems in field applications, the need for dexterous, highly adaptable end effectors has become a major research topic. Control mechanisms of robotics hands with a high number independent actuators is recognized as a complex, high dimensional problem, with exponentially complex algorithms. However, recent studies have shown that human hand motion possesses very high joint correlation which translates into a set of predefined postures, or synergies. The hand produces a motion using a complementing contribution of multiple joints, called synergies. The similarities place variables onto a common dimensional space, effectively reducing the number of independent …

Techniques For Enhancing Reliability In Vlsi Circuits, Ransford Morel Hyman Jr

USF Tampa Graduate Theses and Dissertations

Reliability is an important issue in very large scale integration(VLSI) circuits. In the absence of a focus on reliability in the design process, a circuit’s functionality can be compromised. Since chips are fabricated in bulk, if reliability issues are diagnosed during the manufacturing of the design, the faulty chips must be tossed, which reduces product yield and increases cost. Being aware of this situation, chip designers attempt to resolve as many issues dealing with reliability on the front-end of the design phase (architecture or systemlevel modeling) to minimize the cost of errors in the design which increases as the design …

Mercury Blastn Biosequence Similarity Search System: Technical Reference Guide, Jeremy Buhler

All Computer Science and Engineering Research

This guide documents the operation of the Mercury BLASTN system for hardware-accelerated DNA similarity search. It includes detailed information on the syntax and limitations of the system's component commands, as well as a description of the system's hardware platform suitable for administrators who need to maintain a Mercury BLASTN system. Mercury BLASTN is a product of the High Performance COmputational Biology Group at Washington University.

End-To-End Communication Delay Analysis In Wirelesshart Networks, Abusayeed Saifullah, You Xu, Chenyang Lu, Yixin Chen

All Computer Science and Engineering Research

WirelessHART is a new standard specifically designed for real-time and reliable communication between sensor and actuator devices for industrial process monitoring and control applications. End-to-end communication delay analysis for WirelessHART networks is required to determine the schedulability of real-time data flows from sensors to actuators for the purpose of acceptance test or workload adjustment in response to network dynamics. In this paper, we map the scheduling of real-time periodic data flows in a WirelessHART network to real-time multiprocessor scheduling. We then exploit the response time analysis for multiprocessor scheduling and propose a novel method for the delay analysis that establishes …

Asymmetric Passive Dynamic Walker Used To Examine Gait Rehabilitation Methods, John Sushko

USF Tampa Graduate Theses and Dissertations

Testing gait rehabilitation devices on humans can be a difficult task, due to the effects of the neurological controls of the human body. This thesis advances the use of a passive dynamic walker (PDW) tuned to have asymmetric gait patterns similar to those with physical impairments to test rehabilitation devices. A passive dynamic walker is a multipendulum system that has a stable gait pattern when walking down a slope without any energy inputs except the forces due to gravity. A PDW model is better suited for testing rehabilitation devices because it has been shown to resemble human gait and separates …

Utilizing A Computational Model For The Design Of A Passive Dynamic Walker, Craig Alan Honeycutt

USF Tampa Graduate Theses and Dissertations

Recent interest in using passive dynamic walkers (PDWs) for gait rehabilitation studies has presented a need for a robust, easily built mechanism. Unfortunately, these passive robots are hypersensitive to many variables outside of the usual design considerations that are studied when constructing them. By accentuating previous failures instead of suppressing them, this thesis presents a number of problematic situations commonly experienced when testing and tuning a PDW.

Further, through a complete design of a 4-legged PDW with knees, simple design axioms brought about by myself and others are put into a practical context and applied directly to design. This thesis …

Nano-Electromechanical Zero-Dimensional Freestanding Nanogap Actuator, Jun Hyun Han, Norimasa Yoshimizu, T.J. Cheng, Michael Ziwisky, S.A. Bhave, A. Lal, Chung-Hoon Lee

Electrical and Computer Engineering Faculty Research and Publications

Micromachined free standing nanogap with metal electrodes is presented. The gap size is as small as 17 nm, and can be reduced further with electrostatic or piezoelectric actuation. The nanoscale gap is fabricated by industrial standard optical lithography and anisotropic wet chemical Si etching. Electron transport between the metal electrodes with optical stimulus enhancing photon-electron coupling (plasmon) is presented.

Accessible Rich Internet Applications: The Search Engine Challenge, Angela Kielthy

Conference papers

The perception that Rich Internet Applications (RIAs) and Accessible Rich Internet Applications (ARIAs) are inaccessible to search engines is perhaps one of the main factors that hinder their wider adoption by the web development community. Recent announcements that RIAs and ARIAs are becoming more search engine friendly is provoking web developers to look for further information and evidence that will support or refute these announcements.

This paper outlines research undertaken and tests performed to establish if RIAs and ARIAs developed using Adobe Flex are crawlable and indexable by the Google search engine by default.

The conclusion drawn from testing is …

Mining Event Structures From Web Videos, Xiao Wu, Yi-Jie Lu, Qiang Peng, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

The article is discussing the issues of mining event structures from Web video search results using text analysis, burst detection, and clustering as with the proliferation of social media, the volume of Web videos have grown exponentially.

Single View Modeling And View Synthesis, Miao Liao

University of Kentucky Doctoral Dissertations

This thesis develops new algorithms to produce 3D content from a single camera. Today, amateurs can use hand-held camcorders to capture and display the 3D world in 2D, using mature technologies. However, there is always a strong desire to record and re-explore the 3D world in 3D. To achieve this goal, current approaches usually make use of a camera array, which suffers from tedious setup and calibration processes, as well as lack of portability, limiting its application to lab experiments.

In this thesis, I try to produce the 3D contents using a single camera, making it as simple as shooting …

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 …