Computer Engineering Commons^™

Pvdf-Trfe Electroactive Polymer Mechanical-To-Electrical Energy Harvesting Experimental Bimorph Structure, William G. Kaval, Robert A. Lake, Ronald A. Coutu Jr.

Electrical and Computer Engineering Faculty Research and Publications

Research of electrostrictive polymers has generated new opportunities for harvesting energy from the surrounding environment and converting it into usable electrical energy. Electroactive polymer (EAP) research is one of the new opportunities for harvesting energy from the natural environment and converting it into usable electrical energy. Piezoelectric ceramic based energy harvesting devices tend to be unsuitable for low-frequency mechanical excitations such as human movement. Organic polymers are typically softer and more flexible therefore translated electrical energy output is considerably higher under the same mechanical force. In addition, cantilever geometry is one of the most used structures in piezoelectric energy harvesters, …

Cmos Approach To Compressed-Domain Image Acquisition, Javad Ghasemi, Manish Bhattarai, Glauco R.C. Fiorante, Payman Zarkesh-Ha, Sanjay Krishna, Majeed M. Hayat

Electrical and Computer Engineering Faculty Research and Publications

A hardware implementation of a real-time compressed-domain image acquisition system is demonstrated. The system performs front-end computational imaging, whereby the inner product between an image and an arbitrarily-specified mask is implemented in silicon. The acquisition system is based on an intelligent readout integrated circuit (iROIC) that is capable of providing independent bias voltages to individual detectors, which enables implementation of spatial multiplication with any prescribed mask through a bias-controlled response-modulation mechanism. The modulated pixels are summed up in the image grabber to generate the compressed samples, namely aperture-coded coefficients, of an image. A rigorous bias-selection algorithm is presented to the …

Detection Theory For Accurate And Non-Invasive Skin Cancer Diagnosis Using Dynamic Thermal Imaging, Sebastian E. Godoy, Majeed M. Hayat, David A. Ramirez, Stephen A. Myers, R. Steven Padilla, Sanjay Krishna

Electrical and Computer Engineering Faculty Research and Publications

Skin cancer is the most common cancer in the United States with over 3.5M annual cases. Presently, visual inspection by a dermatologist has good sensitivity (> 90%) but poor specificity (< 10%), especially for melanoma, which leads to a high number of unnecessary biopsies. Here we use dynamic thermal imaging (DTI) to demonstrate a rapid, accurate and non-invasive imaging system for detection of skin cancer. In DTI, the lesion is cooled down and the thermal recovery is recorded using infrared imaging. The thermal recovery curves of the suspected lesions are then utilized in the context of continuous-time detection theory in order to define an optimal statistical decision rule such that the sensitivity of the algorithm is guaranteed to be at a maximum for every prescribed false-alarm probability. The proposed methodology was tested in a pilot study including 140 human subjects demonstrating a sensitivity in excess of 99% for a prescribed specificity in excess of 99% for detection of skin cancer. To the best of our knowledge, this is the highest reported accuracy for any non-invasive skin cancer diagnosis method.

Foreword: Special Issue On Coalgebraic Logic, Alexander Kurz

Engineering Faculty Articles and Research

The second Dagstuhl seminar on coalgebraic logics took place from October 7-12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.

Quasivarieties And Varieties Of Ordered Algebras: Regularity And Exactness, Alexander Kurz

Engineering Faculty Articles and Research

We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets.

We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).

The Positivication Of Coalgebraic Logics, Fredrik Dahlqvist, Alexander Kurz

Engineering Faculty Articles and Research

We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing a endofunctor T': Pos->Pos from an endofunctor T: Set->Set, in a procedure previously defined by the second author et alii called posetification. On the syntax side, it involves canonically computing a syntax-building functor L': DL->DL from a syntax-building functor L: BA->BA, in a dual procedure which we call positivication. These operations are interesting in their own right and we explicitly compute posetifications and positivications in the case …

Features Of Agent-Based Models, Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown

Engineering Faculty Articles and Research

The design of agent-based models (ABMs) is often ad-hoc when it comes to defining their scope. In order for the inclusion of features such as network structure, location, or dynamic change to be justified, their role in a model should be systematically analysed. We propose a mechanism to compare and assess the impact of such features. In particular we are using techniques from software engineering and semantics to support the development and assessment of ABMs, such as graph transformations as semantic representations for agent-based models, feature diagrams to identify ingredients under consideration, and extension relations between graph transformation systems to …

Impact Of Trucking Network Flow On Preferred Biorefinery Locations In The Southern United States, Timothy M. Young, Lee D. Han, James H. Perdue, Stephanie R. Hargrove, Frank M. Guess, Xia Huang, Chung-Hao Chen

Electrical & Computer Engineering Faculty Publications

The impact of the trucking transportation network flow was modeled for the southern United States. The study addresses a gap in existing research by applying a Bayesian logistic regression and Geographic Information System (GIS) geospatial analysis to predict biorefinery site locations. A one-way trucking cost assuming a 128.8 km (80-mile) haul distance was estimated by the Biomass Site Assessment model. The "median family income," "timberland annual growth-to-removal ratio," and "transportation delays" were significant in determining mill location. Transportation delays that directly impacted the costs of trucking are presented. A logistic model with Bayesian inference was used to identify preferred site …

Deep Models For Engagement Assessment With Scarce Label Information, Feng Li, Guangfan Zhang, Wei Wang, Roger Xu, Tom Schnell, Jonathan Wen, Frederic Mckenzie, Jiang Li

Electrical & Computer Engineering Faculty Publications

Task engagement is defined as loadings on energetic arousal (affect), task motivation, and concentration (cognition) [1]. It is usually challenging and expensive to label cognitive state data, and traditional computational models trained with limited label information for engagement assessment do not perform well because of overfitting. In this paper, we proposed two deep models (i.e., a deep classifier and a deep autoencoder) for engagement assessment with scarce label information. We recruited 15 pilots to conduct a 4-h flight simulation from Seattle to Chicago and recorded their electroencephalograph (EEG) signals during the simulation. Experts carefully examined the EEG signals and labeled …

A Sound Idea: An Investigation Into Accessible Video Game Design For The Deaf And Hard Of Hearing, Luke James Brook

Theses: Doctorates and Masters

A widely accepted, and incorrect, assumption towards hearing accessibility in video games is that deaf and hard of hearing (DHH) users are those who encounter the least barriers and are generally well catered for. Rapid advancement in video game technology has seen video game sound evolve from simple blips generated by internal circuitry to fully realised digital audio used to convey critical information. To accommodate the DHH, this information needs to be conveyed in an alternative manner. However, evidence suggests existing accessible design solutions for the DHH lack specificity and are insufficient. Thus, the inability to hear, or hear well, …

Blind Change Point Detection And Regime Segmentation Using Gaussian Process Regression, Sourav Das

Theses and Dissertations

Time-series analysis is used heavily in modeling and forecasting weather, economics, medical data as well as in various other fields. Change point detection (CPD) means finding abrupt changes in the time-series when the statistical property of a certain part of it starts to differ. CPD has attracted a lot of attention in the artificial intelligence, machine learning and data mining communities. In this thesis, a novel CPD algorithm is introduced for segmenting multivariate time-series data. The proposed algorithm is a general pipeline to process any high dimensional multivariate time-series data using nonlinear non-parametric dynamic system. It consists of manifold learning …

Mobile Application For Shipping Goods For Individuals And Truckers In India, Sendurr Selvaraj

Theses and Dissertations

India is a vast country with majority of its cities and towns connected through roads. Road transportation contributes to 86% share of the freight transport of the country with trucking companies dominating the entire space. With growing economy and demands raising, the quality of service of the trucking company remains poor. The major reasons are unorganized practice and lack of transparency. Moreover, limited access for customers to reach out to truckers to transport their goods.

This thesis aims to create a platform for customers and truckers to realize their needs with a help of a mobile application. Customers can search …

A Testbed Design For Monitoring The Long-Term Spatial-Temporal Dynamics Of Underwater Acoustic Channels, Krishna Chaitanya Poduru

Dissertations, Master's Theses and Master's Reports

The underwater acoustic network testbed helps to validate the theoretical results and bridge the gap between experimental results. Characterizing and modeling the spatial-temporal dynamics of underwater acoustic channels is essential to developing efficient and effective physical-layer communication algorithms and network protocols. This work dedicates to designing a testbed system to measure the spatial-temporal dynamics of underwater acoustic channels. The collected measurements will shed insights into the spatial-temporal correlation of underwater acoustic channels and will be used to evaluate the theoretical algorithms that are designed to model the spatial-temporal dynamics and to exploit the spatial-temporal dynamics for more efficient and effective …

Collaboration In Virtual Worlds: Impact Of Task Complexity On Team Trust And Satisfaction, Fiona Fui-Hoon Nah, Shu Schiller, Brian E. Mennecke, Keng Siau

Research Collection School Of Computing and Information Systems

Virtual worlds are three-dimensional, computer-generated worlds in which team collaboration can be facilitated through the use of shared virtual space and mediated using avatars. This article examines the effect of task complexity on team collaboration. A puzzle game in Second Life was used as the collaborative task and task complexity was manipulated by varying the number of pieces in the puzzle. The hypotheses are that task complexity influences team trust, and team trust influences team process satisfaction in virtual team collaboration. The experimental results indicate that task complexity has significant effects on team trust and team process satisfaction, and team …

Single Propeller Drone (Singrone): Inovasi Rancang Bangun Drone Single Propeller Sebagai Wahana Pemetaan Lahan Berbasis Unmaned Aerial Vehicle (Uav), Mohammad Giffari Anta Pradana

Elinvo (Electronics, Informatics, and Vocational Education)

Dewasa ini, teknologi sebagai faktor memberikan kontribusi yang signifikan dalam peningkatan
kualitas hidup manusia. Salah satu teknologi yang berkembang saat ini adalah drone. Drone adalah
pesawat tanpa awak yang dikendalikan dengan sebuah remote control , di lengkapi dengan GPS sebagai
navigasi, dan lock position. Pada umumnya drone digunakan untuk berbagai hal, seperti pemantauan lalu
lintas, pemetaan lahan, investigasi dan sebagainya. Namun penggunaan drone dengan menggunakan
banyak propeller merupakan salah satu masalah penggunaan drone. Semakin banyak propeller yang
digunakan, maka masa hidup drone di udara juga akan semakin berkurang. Hal ini diarenakan baterai
yang digunakan oleh wahana tersebut banyak digunakan untuk …

Sistem Monitoring Pencemaran Polutan Kendaraan Via Gadget Berbasis Arduino, Adibatul Ardianto

Elinvo (Electronics, Informatics, and Vocational Education)

Sumber polusi udara salah satunya adalah gas buang kendaraan bermotor, gas yang dihasilkan dari pembakaran bahan bakar terjadi pada mesin kendaraan. Tingkat deteksi aplikasi dari sistem pembuangan kendaraan bermotor yang dibuat digunakan untuk mendeteksi jumlah kadar gas H_2, gas EtOH dan gas CO dengan menggunakan sensor TGS2201. Data dari sensor diolah oleh arduino dan hasilnya ditampilkan pada PC melalui port serial, desain program aplikasi dengan menggunakan Bahasa C.

The Impact Of Sha-1 File Hash Collisions On Digital Forensic Imaging: A Follow-Up Experiment, Gary C. Kessler

Journal of Digital Forensics, Security and Law

A previous paper described an experiment showing that Message Digest 5 (MD5) hash collisions of files have no impact on integrity verification in the forensic imaging process. This paper describes a similar experiment applied when two files have a Secure Hash Algorithm (SHA-1) collision.

The 2016 Analysis Of Information Remaining On Computer Hard Disks Offered For Sale On The Second Hand Market In The Uae, Thomas Martin, Andy Jones, Mohammed Alzaabi

Journal of Digital Forensics, Security and Law

This research describes our survey of data remaining on computer hard disks sold on the second hand market in the United Arab Emirates (UAE). This is a repetition of the first survey conducted in 2012 (Jones, Martin, & Alzaabi, 2012). Similar studies have been carried over the last ten years in the United Kingdom, Australia, USA, Germany and France: (Jones, Mee, Meyler, & Gooch, 2005), (Jones, Valli, Sutherland, & Thomas, 2006), (Jones, Valli, Dardick, & Sutherland, 2008), (Jones, Valli, Dardick, & Sutherland, 2009). This research was undertaken to gain insight into the volumes of data found on second-hand disks purchased …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Bloom Filters Optimized Wu-Manber For Intrusion Detection, Monther Aldwairi, Koloud Al-Khamaiseh, Fatima Alharbi, Babar Shah

Journal of Digital Forensics, Security and Law

With increasing number and severity of attacks, monitoring ingress and egress network traffic is becoming essential everyday task. Intrusion detection systems are the main tools for capturing and searching network traffic for potential harm. Signature-based intrusion detection systems are the most widely used, and they simply use a pattern matching algorithms to locate attack signatures in intercepted network traffic. Pattern matching algorithms are very expensive in terms of running time and memory usage, leaving intrusion detection systems unable to detect attacks in real-time. We propose a Bloom filters optimized Wu-Manber pattern matching algorithm to speed up intrusion detection. The Bloom …