Computer Engineering Commons^™

Stamina: Stochastic Approximate Model-Checker For Infinite-State Analysis, Thakur Neupane

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Reliable operation of every day use computing system, from simple coffee machines to complex flight controller system in an aircraft, is necessary to save time, money, and in some cases lives. System testing can check for the presence of unwanted execution but cannot guarantee the absence of such. Probabilistic model checking techniques have demonstrated significant potential in verifying performance and reliability of various systems whose execution are defined with likelihood. However, its inability to scale limits its applicability in practice.

This thesis presents a new model checker, STAMINA, with efficient and scalable model truncation for probabilistic verification. STAMINA uses a …

Modeling Climate Driven Urban Migration In The United States, Julia Beckwith

REU Final Reports

Though research on climate driven migration has become more prevalent, the majority of recent studies model migration patterns in the Global South. While these inquiries are rightfully focused on populations that will be disproportionately affected by climate change, countries in the Global North are not impervious to these effects. As global population distributions shift, it will be necessary to know which urban areas in the United States might be best equipped to handle influxes of people. Drawing on existing climate-migration frameworks, the agent-based model detailed in this paper utilizes available demographic and climate data to simulate climate-driven migration between key …

Incremental Processing For Improving Conversational Grounding In A Chatbot, Aprajita Shukla

Boise State University Theses and Dissertations

Current Digital Personal Assistants can be quite efficient while performing routine tasks like setting up reminders and looking up information. However, they do not attempt to establish common ground–the process of establishing and building mutual understanding–and require a significant amount of initial data to learn how to understand user intent. In this thesis, an incremental processing framework is leveraged through a chatbot interface which updates its understanding state at each inputted word, asks the user to clarify input when the system is unsure and prompts user to give feedback several times during an interaction, all of which are instrumental in …

Minos: Unsupervised Netflow-Based Detection Of Infected And Attacked Hosts, And Attack Time In Large Networks, Mousume Bhowmick

Boise State University Theses and Dissertations

Monitoring large-scale networks for malicious activities is increasingly challenging: the amount and heterogeneity of traffic hinder the manual definition of IDS signatures and deep packet inspection. In this thesis, we propose MINOS, a novel fully unsupervised approach that generates an anomaly score for each host allowing us to classify with high accuracy each host as either infected (generating malicious activities), attacked (under attack), or clean (without any infection). The generated score of each hour is able to detect the time frame of being attacked for an infected or attacked host without any prior knowledge. MINOS automatically creates a personalized traffic …

Fake Review Detection Using Data Mining, Md Forhad Hossain

Graduate Theses/Dissertations

Online spam reviews are deceptive evaluations of products and services. They are often carried out as a deliberate manipulation strategy to deceive the readers. Recognizing such reviews is an important but challenging problem. In this work, I try to solve this problem by using different data mining techniques. I explore the strength and weakness of those data mining techniques in detecting fake review. I start with different supervised techniques such as Support Vector Ma- chine (SVM), Multinomial Naive Bayes (MNB), and Multilayer Perceptron. The results attest that all the above mentioned supervised techniques can successfully detect fake review with more …

Iot Ignorance Is Digital Forensics Research Bliss: A Survey To Understand Iot Forensics Definitions, Challenges And Future Research Directions, Tina Wu, Frank Breitinger, Ibrahim Baggili

Electrical & Computer Engineering and Computer Science Faculty Publications

Interactions with IoT devices generates vast amounts of personal data that can be used as a source of evidence in digital investigations. Currently, there are many challenges in IoT forensics such as the difficulty in acquiring and analysing IoT data/devices and the lack IoT forensic tools. Besides technical challenges, there are many concepts in IoT forensics that have yet to be explored such as definitions, experience and capability in the analysis of IoT data/devices and current/future challenges. A deeper understanding of these various concepts will help progress the field. To achieve this goal, we conducted a survey which received 70 …

Predicting Critical Warps In Near-Threshold Gpgpu Applications Using A Dynamic Choke Point Analysis, Sourav Sanyal

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

General purpose graphics processing units (GP-GPU), owing to their enormous thread-level parallelism, can significantly improve the power consumption at the near-threshold (NTC) operating region, while offering close to a super-threshold performance. However, process variation (PV) can drastically reduce the GPU performance at NTC. In this work, choke points—a unique device-level characteristic of PV at NTC—that can exacerbate the warp criticality problem in GPUs have been explored. It is shown that the modern warp schedulers cannot tackle the choke point induced critical warps in an NTC GPU. Additionally, Choke Point Aware Warp Speculator, a circuit-architectural solution is proposed to dynamically …

Shoal: Large-Scale Hierarchical Taxonomy Via Graph-Based Query Coalition In E-Commerce, Zhao Li, Xia Chen, Xuming Pan, Pengcheng Zou, Yuchen Li, Guoxian Yu

Research Collection School Of Computing and Information Systems

E-commerce taxonomy plays an essential role in online retail business. Existing taxonomy of e-commerce platformsorganizes items into an ontology structure. However, theontology-driven approach is subject to costly manual maintenance and often does not capture user’s search intention,particularly when user searches by her personalized needsrather than a universal definition of the items. Observingthat search queries can effectively express user’s intention,we present a novel large-Scale Hierarchical taxOnomy viagrAph based query coaLition (SHOAL) to bridge the gapbetween item taxonomy and user search intention. SHOALorganizes hundreds of millions of items into a hierarchicaltopic structure. Each topic that consists of a cluster of itemsdenotes a …

Low-Rank Sparse Subspace For Spectral Clustering, Xiaofeng Zhu, Shichao Zhang, Yonggang Li, Jilian Zhang, Lifeng Yang, Yue Fang

Research Collection School Of Computing and Information Systems

The current two-step clustering methods separately learn the similarity matrix and conduct k means clustering. Moreover, the similarity matrix is learnt from the original data, which usually contain noise. As a consequence, these clustering methods cannot achieve good clustering results. To address these issues, this paper proposes a new graph clustering methods (namely Low-rank Sparse Subspace clustering (LSS)) to simultaneously learn the similarity matrix and conduct the clustering from the low-dimensional feature space of the original data. Specifically, the proposed LSS integrates the learning of similarity matrix of the original feature space, the learning of similarity matrix of the low-dimensional …

Fqstat: A Parallel Architecture For Very High-Speed Assessment Of Sequencing Quality Metrics, Sree K. Chanumolu, Mustafa Albahrani, Hasan H. Otu

Department of Electrical and Computer Engineering: Faculty Publications

Background: High throughput DNA/RNA sequencing has revolutionized biological and clinical research. Sequencing is widely used, and generates very large amounts of data, mainly due to reduced cost and advanced technologies. Quickly assessing the quality of giga-to-tera base levels of sequencing data has become a routine but important task. Identification and elimination of low-quality sequence data is crucial for reliability of downstream analysis results. There is a need for a high-speed tool that uses optimized parallel programming for batch processing and simply gauges the quality of sequencing data from multiple datasets independent of any other processing steps.

Results: FQStat is a …

Exploring Eye Tracking Data On Source Code Via Dual Space Analysis, Li Zhang

School of Computing: Dissertations, Theses, and Student Research

Eye tracking is a frequently used technique to collect data capturing users' strategies and behaviors in processing information. Understanding how programmers navigate through a large number of classes and methods to find bugs is important to educators and practitioners in software engineering. However, the eye tracking data collected on realistic codebases is massive compared to traditional eye tracking data on one static page. The same content may appear in different areas on the screen with users scrolling in an Integrated Development Environment (IDE). Hierarchically structured content and fluid method position compose the two major challenges for visualization. We present a …

Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui

Electronic Theses and Dissertations

This dissertation describes progress in the state-of-the-art for developing and deploying formally verified cyber security devices in industrial control networks. It begins by detailing the unique struggles that are faced in industrial control networks and why concepts and technologies developed for securing traditional networks might not be appropriate. It uses these unique struggles and examples of contemporary cyber-attacks targeting control systems to argue that progress in securing control systems is best met with formal verification of systems, their specifications, and their security properties. This dissertation then presents a development process and identifies two technologies, TLA+ and seL4, that can be …

Cognitive Satellite Communications And Representation Learning For Streaming And Complex Graphs., Wenqi Liu

Electronic Theses and Dissertations

This dissertation includes two topics. The first topic studies a promising dynamic spectrum access algorithm (DSA) that improves the throughput of satellite communication (SATCOM) under the uncertainty. The other topic investigates distributed representation learning for streaming and complex networks. DSA allows a secondary user to access the spectrum that are not occupied by primary users. However, uncertainty in SATCOM causes more spectrum sensing errors. In this dissertation, the uncertainty has been addressed by formulating a DSA decision-making process as a Partially Observable Markov Decision Process (POMDP) model to optimally determine which channels to sense and access. Large-scale networks have attracted …

A Simulation Tool For Evaluating The Environmental Impacts Of Management Scenarios For Modern Broiler Production Systems, Martin Andrew Christie

Graduate Theses and Dissertations

The purpose of this work is to provide a simulation tool that allows broiler production practitioners and researchers to simulate the effects of farm design and management practices on resource consumption and environmental impacts. This tool allows the user to design unique farms and simulates on farm processes required to raise broiler chicks to a marketable age. The use can input data such as farm location, broiler breed, flock size, ration type, barn dimensions, and climate control equipment specifications. The algorithms used to simulate broiler breed specific feed intake, broiler weight gain, and other on farm processes such as heating, …

Cooperative Learning For The Consensus Of Multi-Agent Systems, Qishuai Liu

Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research

Due to a lot of attention for the multi-agent system in recent years, the consensus algorithm gained immense popularity for building fault-tolerant systems in system and control theory. Generally, the consensus algorithm drives the swarm of agents to work as a coherent group that can reach an agreement regarding a certain quantity of interest, which depends on the state of all agents themselves. The most common consensus algorithm is the average consensus, the final consensus value of which is equal to the average of the initial values. If we want the agents to find the best area of the particular …

Embedded System Design Of Robot Control Architectures For Unmanned Agricultural Ground Vehicles, Ryan Humphrey

Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research

Engineering technology has matured to the extent where accompanying methods for unmanned field management is now becoming a technologically achievable and economically viable solution to agricultural tasks that have been traditionally performed by humans or human operated machines. Additionally, the rapidly increasing world population and the daunting burden it places on farmers in regards to the food production and crop yield demands, only makes such advancements in the agriculture industry all the more imperative. Consequently, the sector is beginning to observe a noticeable shift, where there exist a number of scalable infrastructural changes that are in the process of slowly …

Mining Semantic Knowledge Graphs To Add Explainability To Black Box Recommender Systems, Mohammed Alshammari, Olfa Nasraoui, Scott Sanders

Faculty and Staff Scholarship

Recommender systems are being increasingly used to predict the preferences of users on online platforms and recommend relevant options that help them cope with information overload. In particular, modern model-based collaborative filtering algorithms, such as latent factor models, are considered state-of-the-art in recommendation systems. Unfortunately, these black box systems lack transparency, as they provide little information about the reasoning behind their predictions. White box systems, in contrast, can, by nature, easily generate explanations. However, their predictions are less accurate than sophisticated black box models. Recent research has demonstrated that explanations are an essential component in bringing the powerful predictions of …

An Optimized Encoding Algorithm For Systematic Polar Codes, Xiumin Wang, Zhihong Zhang, Jun Li, Yu Wang, Haiyan Cao, Zhengquan Li, Liang Shan

Publications and Research

Many different encoding algorithms for systematic polar codes (SPC) have been introduced since SPC was proposed in 2011. However, the number of the computing units of exclusive OR (XOR) has not been optimized yet. According to an iterative property of the generator matrix and particular lower triangular structure of the matrix, we propose an optimized encoding algorithm (OEA) of SPC that can reduce the number of XOR computing units compared with existing non-recursive algorithms. We also prove that this property of the generator matrix could extend to different code lengths and rates of the polar codes. Through the matrix segmentation …

Digital Marketing In The Artificial Intelligence And Machine Learning Age, Z. Ruan, Keng Siau

Research Collection School Of Computing and Information Systems

We are living in a period of profound change driven by digitization, information and communication technology, artificial intelligence, machine learning, and robotics (Gupta, Keen, Shah, and Verdier, 2017; Wang and Siau, 2019). Traditional marketing is shifting to digital marketing enabled by AI and machine learning. Customer consumption behavior has changed from traditional in-store shopping to online shopping (Thiraviyam, 2018). The large volume of transaction and demographic data enables business analytics, AI, and machine learning to analyze and predict customer behavior to improve customer satisfaction and enhance sales (Siau and Wang, 2018). For example, predictive analytics uses different algorithms to predict …

Asymptotic Orthogonal Space Shift Keying In Massive Mimo Systems, Won Mee Jang

Department of Electrical and Computer Engineering: Faculty Publications

We investigate space shift keying, which is a simple form of spatial modulation. The bit error rate performance of line-of-sight (LOS) multiple-input and multiple-output (MIMO) was obtained in the literature with orthogonal subchannels for indoor millimeter-wave (mmWave) communications. It is essential to impose a rigid restriction on the distance between the transmitter and the receiver and antenna spacing to maintain orthogonal subchannels. However, in wireless communications, it is not viable to meet the strict distance requirements since user equipment is portable. We propose asymptotic orthogonal space shift keying with mobile stations. The asymptotic orthogonal space shift keying approaches orthogonal subchannels …

Absorptive/Transmissive Frequency Selective Surface With Wide Absorption Band, Qingxin Guo, Jianxun Su, Zengrui Li, Lamar Y. Yang, Jiming Song

Department of Electrical and Computer Engineering: Faculty Publications

An absorptive/transmissive frequency selective surface (ATFSS) with absorption bands at both sides of a passband is presented. Equivalent circuits of the ATFSS that consists of a lossy frequency selective surface (FSS) and a lossless FSS were modeled. To improve the rejection at an undesired band, a transmission zero was introduced and controlled by loading the lossless FSS with four-legged loaded slots. The parasitic passband was suppressed when the cross structure in the lossless FSS was loaded with resistance. In order to expand the absorption band, loaded dipoles were utilized for the lossy FSS design. An ATFSS with wide absorption bands …

Dimensional Analysis Of Robot Software Without Developer Annotations, John-Paul W. Ore

School of Computing: Dissertations, Theses, and Student Research

Robot software risks the hazard of dimensional inconsistencies. These inconsistencies occur when a program incorrectly manipulates values representing real-world quantities. Incorrect manipulation has real-world consequences that range in severity from benign to catastrophic. Previous approaches detect dimensional inconsistencies in programs but require extra developer effort and technical complications. The extra effort involves developers creating type annotations for every variable representing a real-world quantity that has physical units, and the technical complications include toolchain burdens like specialized compilers or type libraries.

To overcome the limitations of previous approaches, this thesis presents novel methods to detect dimensional inconsistencies without developer annotations. We …

The Design And Implementation Of Aida: Ancient Inscription Database And Analytics System, M. Parvez Rashid

School of Computing: Dissertations, Theses, and Student Research

AIDA, the Ancient Inscription Database and Analytic system can be used to translate and analyze ancient Minoan language. The AIDA system currently stores three types of ancient Minoan inscriptions: Linear A, Cretan Hieroglyph and Phaistos Disk inscriptions. In addition, AIDA provides candidate syllabic values and translations of Minoan words and inscriptions into English. The AIDA system allows the users to change these candidate phonetic assignments to the Linear A, Cretan Hieroglyph and Phaistos symbols. Hence the AIDA system provides for various scholars not only a convenient online resource to browse Minoan inscriptions but also provides an analysis tool to explore …

Design Of Personnel Big Data Management System Based On Blockchain, Houbing Song, Jian Chen, Zhihan Lv

Publications

With the continuous development of information technology, enterprises, universities and governments are constantly stepping up the construction of electronic personnel information management system. The information of hundreds of thousands or even millions of people’s information are collected and stored into the system. So much information provides the cornerstone for the development of big data, if such data is tampered with or leaked, it will cause irreparable serious damage. However, in recent years, electronic archives have exposed a series of problems such as information leakage, information tampering, and information loss, which has made the reform of personnel information management more and …

Fiber Optic Bolometer, Ming Han, Matthew L. Reinke

Department of Electrical and Computer Engineering: Faculty Publications

The present disclosure is directed to a fiber optic bolometer device . In an implementation , a fiber optic bolometer device includes an optical fiber and a silicon layer that comprises a Fabry - Perot interferometer . The silicon layer includes a first surface and a second surface . The fiber optic bolometer device includes a reflective dielectric film disposed over the first surface of the silicon layer where the reflective dielec tric film is adjacent to an end face of the optical fiber . The fiber optic bolometer device also includes an absorptive coating disposed over the second surface …

A Path Loss Model For Through The Soil Wireless Communications In Digital Agriculture, Abdul Salam

Computer Information Technology Faculty Publications

In this paper, a path loss model is developed to predict the impact of soil type, soil moisture, operation frequency, distance, and burial depth of sensors for through-the-soil wireless communications channel. The soil specific model is developed based on empirical measurements in a testbed and field settings. The model can be used in different soils for a frequency range of 100MHz to 1GHz. The standard deviation between measured and predicted path loss is from 4-6dB in the silt loam, sandy, and silty clay loam soil types. The model leads to development of sensor-guided irrigation system in the field of digital …

A Comparison Of Path Loss Variations In Soil Using Planar And Dipole Antennas, Abdul Salam

Computer Information Technology Faculty Publications

In this paper, an empirical investigation of propagation path loss variations with frequency in sandy and silty clay loam soils has been done using planar and dipole antennas. The path loss experiments are conducted using vector network analyzer (VNA) in sandy soil testbed, and greenhouse outdoor silty clay loam testbed for different operation frequencies and communication distances. The results show that the planar antenna can be used for subsurface communications in a wide range of operation frequencies. The comparison paves the way for development of sensor-guided irrigation system in the field of digital agriculture.

Underground Soil Sensing Using Subsurface Radio Wave Propagation, Abdul Salam, Akhlaque Ahmad

Computer Information Technology Faculty Publications

Continuous sensing of soil moisture is essential for smart agriculture variable rate irrigation (VRI), real-time agricultural decision making, and water conservation. Therefore, development of simple techniques to measure the in-situ properties of soil is of vital importance. Moreover, permittivity estimation has applications in electromagnetic (EM) wave propagation analysis in the soil medium, depth analysis, subsurface imaging, and UG localization. Different methods for soil permittivity and moisture estimation are time-domain reflectometry (TDR), ground-penetrating radar (GPR) measurements, and remote sensing. One major bottleneck in the current laboratory-based permittivity estimation techniques is off-line measurement of the collected soil samples. At that, the remote …

Adaboost‑Based Security Level Classifcation Of Mobile Intelligent Terminals, Feng Wang, Houbing Song, Dingde Jiang, Hong Wen

Publications

With the rapid development of Internet of Things, massive mobile intelligent terminals are ready to access edge servers for real-time data calculation and interaction. However, the risk of private data leakage follows simultaneously. As the administrator of all intelligent terminals in a region, the edge server needs to clarify the ability of the managed intelligent terminals to defend against malicious attacks. Therefore, the security level classification for mobile intelligent terminals before accessing the network is indispensable. In this paper, we firstly propose a safety assessment method to detect the weakness of mobile intelligent terminals. Secondly, we match the evaluation results …

Personality And Technology: Big Five Personality Traits As Descriptors Of Universal Acceptance And Usage Of Technology Utaut., Shohar Bano, Ubaid Ullah Shah, Dr. Sabha Ali

Library Philosophy and Practice (e-journal)

Presently, information professionals are progressively dependent on information and communication technologies to complete their everyday tasks. As, result dependence on PC frameworks, programming and data innovation-related technologies are increasing for better working and providing quality services. Therefore, to understand, analyze and evaluate the acceptance and use of this technology several models of technology acceptance and use have been formulated in information science literature. Using eight such models, Venkatesh, Morris, Davis and Davis proposed a unified model called the Unified Theory of Acceptance and Use of Technology or (UTAUT) model. The UTAUT model has been studied and analyzed in various spheres …