Computer Engineering Commons^™

Compiling Collapsing Rules In Certain Constructor Systems, Sergio Antoy, Andy Jost

Computer Science Faculty Publications and Presentations

The implementation of functional logic languages by means of graph rewriting requires a special handling of collapsing rules. Recent advances about the notion of a needed step in some constructor systems offer a new approach to this problem. We present two results: a transformation of a certain class of constructor-based rewrite systems that eliminates collapsing rules, and a rewrite-like relation that takes advantage of the absence of collapsing rules. We formally state and prove the correctness of these results. When used together, these results simplify without any loss of efficiency an implementation of graph rewriting and consequently of functional logic …

Automatic Fault Injection For Driver Robustness Testing, Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

Computer Science Faculty Publications and Presentations

Robustness testing is a crucial stage in the device driver development cycle. To accelerate driver robustness testing, effective fault scenarios need to be generated and injected without requiring much time and human effort. In this pa- per, we present a practical approach to automatic runtime generation and injection of fault scenarios for driver robust- ness testing. We identify target functions that can fail from runtime execution traces, generate effective fault scenarios on these target functions using a bounded trace-based it- erative strategy, and inject the generated fault scenarios at runtime to test driver robustness using a permutation-based injection mechanism. We …

Secure Transmission And Retrieval Of Images In Conjunction With Steganography Using Chaos In Nonlinear Acousto-Optic Feedback, Monish Ranjan Chatterjee, Fares S. Almehmadi

Electrical and Computer Engineering Faculty Publications

Digital images are encrypted onto a chaotic carrier in a Bragg cell under hybrid nonlinear feedback and secure data is embedded into the system via steganography. System robustness (with and without channel noise) is analyzed vis-a-vis information security.

Management And Analysis Of Multi Class Traffic In Single And Multi-Band Systems, Husnu S. Narman, Shohrab Hossain, Mohammed Atiquzzaman

Computer Sciences and Electrical Engineering Faculty Research

A recent trend in Internet usage has seen large amounts of multimedia data due to increasingly large numbers of mobile users. To facilitate higher bandwidth, modern mobile routers are capable of supporting simultaneous multi-band, leading to less interference, higher capacity and better reliability. However, there exists neither previous work that attempts to maximize utilization of available bandwidth in order to increase performance of multi-band mobile routers through the sharing of traffic classes among different frequency bands of the multi-band mobile router by scheduling, nor that shows multi-band routers are better than single band routers in realistic scenarios. In this paper, …

Creating A Data-Based Facebook Engagement Plan For Chabad At Binghamton, Justin Hayet

Capstone Projects 2015-Present

Core Capstone Question: How does Chabad at Binghamton maximize its online Facebook Engagement in a fashion which mirrors the needs of its diverse online stakeholders?

Schmalzbauer (2013) calculated that two thirds of America’s 400,000 Jewish college students attend schools with a Chabad chapter” (p. 120). Binghamton University’s student population is thirty percent Jewish, that is, 3,500 Jewish students (Hillel, 2014). Chabad at Binghamton’s seven full time staff members and student leadership of eighty-seven designated positions seek to engage all 3,500 of those students through weekly programs, Shabbat dinners, large scale programs and individual meetings. Chabad at Binghamton has been serving …

Jsish, Ryan Grasell

Computer Science and Software Engineering

For my senior project, I implemented Professor Keen’s JSish spec in C++. JSish is a subset of Javascript with support for execution from the command line and files.

I chose this project because I wanted to reinforce my programing language skills, learn C++, and gain a deeper understanding of garbage collection.

I quickly grew familiar with C++. My prior experience with both C and Java was a good enough introduction to let me hit the ground running. The biggest hurdle for me was the lack of garbage collection built into C++. I understood the principles of manual memory management, but …

Object Tracking From Multiple Multi-Axis Platforms In Four Dimensions, Theodore A. Teates

Electrical & Computer Engineering Theses & Dissertations

Object handoff in free space requires a sound framework between at least two optical sensors and one object. Previous work developed an algorithm that can determine the ap­ propriate time to initiate handoff of object tracking responsibilities from one optical sensor with an object in view to another optical sensor with the same object in view. In order to maintain persistent tracking of objects in this work, gimbal movements of optical sensors are determined by calculations using the Lagrange method to determine the trackability measures between the moving object and the handoff cone for the appropriate optical sensor. The rotation …

Integrity Coded Databases (Icdb) - An Evaluation Of Efficiency, Performance, And Practicality, Jake Rodden, Jyh-Haw Yeh (Mentor), Elmer Duran, Dan Kondratyuk

Idaho Conference on Undergraduate Research

Recently, cloud database storage has become an inexpensive and convenient option to store information; however, this relatively new area of service can be vulnerable to security breaches. Storing data in a foreign location requires the owner to relinquish control of their information. This opens the possibility for internal, malicious attacks that can involve the manipulation, omission, or addition of data. Our research tests a potential solution for retaining data as it was intended to be stored (known as integrity) in these cloud-stored databases: by converting the original databases to Integrity-Coded Databases (ICDB). ICDBs utilize Integrity Codes: cryptographic codes created for …

Converting Medical Service Provider Data Into A Unified Format For Processing, Brandon Krugman

Master's Theses (2009 -)

Most organizations process flat files regularly. There are different options for processing files, including SQL Server Integration Services (SSIS), BizTalk, SQL import job, and other Extract, Transform, and Load (ETL) processes. All of these options have very strict requirements for file formats. If the format of the file changes, all of these options throw a catastrophic error, and implementing a fix to handle the new format is difficult. With each of the methods, the new format needs to be configured in the development environment, and the data flow must be modified to process all of the changes. Due to the …

Classification Of Digital Communication Signal Modulation Schemes In Multipath Environments Using Higher Order Statistics, Meena Sreekantamurthy

Electrical & Computer Engineering Theses & Dissertations

Automatic identification and classification of modulation schemes in communication signals and decoding of information from the captured signals has assumed great importance recently in the wireless communication industry. Advancements in communications have introduced a large variety of modulation schemes in the transmitted signals; consequently, reliable detection of the modulation scheme in the intercepted signal has become an important issue in communications. It is the aim of this thesis to address this issue of reliable detection. Therefore, this research is focused on modeling and simulation of an automatic modulation classifier and, in particular, on the development of algorithms to use higher …

Adaptive Controller Using Runtime Partial Hardware Reconfiguration For Unmanned Aerial Vehicles (Uavs), Nikhil Thomas

Graduate Theses and Dissertations

The goal of this thesis is to explore the feasibility of a multirotor controller system which can dynamically change the arm configuration of a multirotor. Currently most of the multirotor systems have to be powered down, rewired, and programmed with new firmware, to configure how many arms/motors they use to fly. The focus of our effort is to develop a Field Programmable Gate Array (FPGA) based hardware/software controller which uses dynamic partial hardware reconfiguration to switch the arm/motor configuration of a multirotor during operation. We believe that this will make a multirotor more fault tolerant and adaptive. This thesis explains …

Automatic User Profile Construction For A Personalized News Recommender System Using Twitter, Shiva Theja Reddy Gopidi

Graduate Theses and Dissertations

Modern society has now grown accustomed to reading online or digital news. However, the huge corpus of information available online poses a challenge to users when trying to find relevant articles. A hybrid system “Personalized News Recommender Using Twitter’ has been developed to recommend articles to a user based on the popularity of the articles and also the profile of the user. The hybrid system is a fusion of a collaborative recommender system developed using tweets from the “Twitter” public timeline and a content recommender system based the user’s past interests summarized in their conceptual user profile. In previous work, …

Reducing Multiple Access Interference In Broadband Multi-User Wireless Networks, Ali Nayef Alqatawneh

Graduate Theses and Dissertations

This dissertation is devoted to developing multiple access interference (MAI) reduction techniques for multi-carrier multi-user wireless communication networks.

In multi-carrier code division multiple access (MC-CDMA) systems, a full multipath diversity can be achieved by transmitting one symbol over multiple orthogonal subcarriers by means of spreading codes. However, in frequency selective fading channels, orthogonality among users can be destroyed leading to MAI. MAI represents the main obstacle to support large number of users in multi-user wireless systems. Consequently, MAI reduction becomes a main challenge when designing multi-carrier multi-user wireless networks. In this dissertation, first, we study MC-CDMA systems with different existing …

Characterization And Decoding Of Speech Representations From The Electrocorticogram, Shreya Chakrabarti

Electrical & Computer Engineering Theses & Dissertations

Millions of people worldwide suffer from various neuromuscular disorders such as amyotrophic lateral sclerosis (ALS), brainstem stroke, muscular dystrophy, cerebral palsy, and others, which adversely affect the neural control of muscles or the muscles themselves. The patients who are the most severely affected lose all voluntary muscle control and are completely locked-in," i.e., they are unable to communicate with the outside world in any manner. In the direction of developing neuro-rehabilitation techniques for these patients, several studies have used brain signals related to mental imagery and attention in order to control an external device, a technology known as a brain-computer …

Improving Engagement Assessment By Model Individualization And Deep Learning, Feng Li

Electrical & Computer Engineering Theses & Dissertations

This dissertation studies methods that improve engagement assessment for pilots. The major work addresses two challenging problems involved in the assessment: individual variation among pilots and the lack of labeled data for training assessment models.

Task engagement is usually assessed by analyzing physiological measurements collected from subjects who are performing a task. However, physiological measurements such as Electroencephalography (EEG) vary from subject to subject. An assessment model trained for one subject may not be applicable to other subjects. We proposed a dynamic classifier selection algorithm for model individualization and compared it to other two methods: base line normalization and similarity-based …

Detecting, Modeling, And Predicting User Temporal Intention, Hany M. Salaheldeen

Computer Science Theses & Dissertations

The content of social media has grown exponentially in the recent years and its role has evolved from narrating life events to actually shaping them. Unfortunately, content posted and shared in social networks is vulnerable and prone to loss or change, rendering the context associated with it (a tweet, post, status, or others) meaningless. There is an inherent value in maintaining the consistency of such social records as in some cases they take over the task of being the first draft of history as collections of these social posts narrate the pulse of the street during historic events, protest, riots, …

Vocal Classification Of Vocalizations Of A Pair Of Asian Small-Clawed Otters To Determine Stress, Peter M. Scheifele, Michael T. Johnson, Michelle Fry, Benjamin Hamel, Kathryn Laclede

Electrical and Computer Engineering Faculty Research and Publications

Asian Small-Clawed Otters (Aonyx cinerea) are a small, protected but threatened species living in freshwater. They are gregarious and live in monogamous pairs for their lifetimes, communicating via scent and acoustic vocalizations. This study utilized a hidden Markov model (HMM) to classify stress versus non-stress calls from a sibling pair under professional care. Vocalizations were expertly annotated by keepers into seven contextual categories. Four of these—aggression, separation anxiety, pain, and prefeeding—were identified as stressful contexts, and three of them—feeding, training, and play—were identified as non-stressful contexts. The vocalizations were segmented, manually categorized into broad vocal type call types, and analyzed …

Establishing The Relative Merits Of Interior And Spoke-Type Permanent-Magnet Machines With Ferrite Or Ndfeb Through Systematic Design Optimization, Peng Zhang, Gennadi Y. Sizov, Dan M. Ionel, Nabeel Demerdash

Electrical and Computer Engineering Faculty Research and Publications

In this paper, a multiobjective design optimization method combining design-of-experiments techniques and differential-evolution algorithms is presented. The method was implemented and utilized in order to provide practical engineering insights for the optimal design of interior and spoke-type permanent-magnet machines. Two combinations with 12 slots and 8 poles and 12 slots and 10 poles, respectively, have been studied in conjunction with rare-earth neodymium-iron-boron (NdFeB) and ferrites. As part of the optimization process, a computationally efficient finite-element electromagnetic analysis was employed for estimating the performance of thousands of candidate designs. Three optimization objectives were concurrently considered for minimum total material cost, power …

Collecting Multiple Data Points In A Thunderstorm Environment, Matthew Nelson

2017 Academic High Altitude Conference

Collecting multiple data points in adverse conditions such as a thunderstorm presents a number of challenges in collecting and relaying data. Wireless sensor mesh networks is a proven method for extracting and relaying data in radio environments that may either be roving, in adverse conditions or both. This paper explores using wireless sensor mesh networks to collect atmospheric data that is present in a thunderstorm system to enable researchers to learn more from these systems. A wireless sensor mesh network is ideal since it is well suited for both moving and sensor nodes that are in adverse RF conditions. A …

Generation Of Strategies For Environmental Deception In Two-Player Normal-Form Games, Howard E. Poston

Theses and Dissertations

Methods of performing and defending against deceptive actions are a popular field of study in game theory; however, the focus is mostly on action deception in turn-based games. This work focuses on developing strategies for performing environmental deception in two-player, strategic-form games. Environmental deception is defined as deception where one player has the ability to change the other's perception of the state of the game through modification of their perception of the game's payoff matrix, similar to the use of camouflage. The main contributions of this research are an expansion of the definition of the stability of a Nash equilibrium …