Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Chapman University (73)
- University of New Mexico (26)
- California Polytechnic State University, San Luis Obispo (16)
- Purdue University (13)
- Kennesaw State University (7)
-
- University of Arkansas, Fayetteville (6)
- Air Force Institute of Technology (5)
- Embry-Riddle Aeronautical University (5)
- Louisiana State University (5)
- University of Louisville (5)
- University of North Florida (5)
- LSU New Orleans (4)
- Old Dominion University (4)
- Southern Methodist University (4)
- University of Nebraska - Lincoln (4)
- West Virginia University (4)
- Clemson University (3)
- Florida Institute of Technology (3)
- The University of Southern Mississippi (3)
- University of Denver (3)
- University of South Alabama (3)
- University of South Florida (3)
- California State University, San Bernardino (2)
- Central Washington University (2)
- City University of New York (CUNY) (2)
- Michigan Technological University (2)
- New Jersey Institute of Technology (2)
- Rochester Institute of Technology (2)
- San Jose State University (2)
- The University of Akron (2)
- Keyword
-
- Machine Learning (14)
- Machine learning (14)
- Coalgebra (13)
- Deep learning (12)
- Cybersecurity (7)
-
- Deep Learning (6)
- Modal logic (6)
- DSmT (5)
- Empirical software engineering (5)
- Android (4)
- Artificial intelligence (4)
- Computer Science (4)
- Computer Vision (4)
- Data mining (4)
- Information fusion (4)
- Virtual reality (4)
- Academic -- UNF -- Master of Science in Computer and Information Sciences; Dissertations (3)
- Belief functions (3)
- Cloud computing (3)
- Coalgebraic logic (3)
- Coalgebras (3)
- Computer vision (3)
- Cyber security (3)
- Daniel Felix Ritchie School of Engineering and Computer Science (3)
- Display calculus (3)
- Electrical and Computer Engineering (3)
- Image segmentation (3)
- Java (3)
- Security (3)
- Thesis; University of North Florida; UNF; Dissertations (3)
- Publication Year
- Publication
-
- Engineering Faculty Articles and Research (67)
- Branch Mathematics and Statistics Faculty and Staff Publications (24)
- Computer Engineering (11)
- Theses and Dissertations (10)
- Department of Electrical and Computer Engineering Faculty Publications (8)
-
- Electronic Theses and Dissertations (7)
- UNF Graduate Theses and Dissertations (5)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (4)
- Journal of Cybersecurity Education, Research and Practice (4)
- LSU New Orleans Theses and Dissertations (4)
- Master's Theses (4)
- SMU Data Science Review (4)
- All Dissertations (3)
- Honors Theses (3)
- LSU Doctoral Dissertations (3)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (3)
- All Master's Theses (2)
- Computer Science ETDs (2)
- Computer Science Faculty Publications (2)
- Computer Science and Computer Engineering Undergraduate Honors Theses (2)
- Dissertations (2)
- Electronic Theses, Projects, and Dissertations (2)
- Journal of Digital Forensics, Security and Law (2)
- LSU Master's Theses (2)
- Library Philosophy and Practice (e-journal) (2)
- MODVIS Workshop (2)
- Military Cyber Affairs (2)
- Student Works (2020-2029) (2)
- The Summer Undergraduate Research Fellowship (SURF) Symposium (2)
- Theses (2)
- Publication Type
- File Type
Articles 91 - 120 of 256
Full-Text Articles in Other Computer Engineering
Mapping Renewal: How An Unexpected Interdisciplinary Collaboration Transformed A Digital Humanities Project, Elise Tanner, Geoffrey Joseph
Mapping Renewal: How An Unexpected Interdisciplinary Collaboration Transformed A Digital Humanities Project, Elise Tanner, Geoffrey Joseph
Digital Initiatives Symposium
Funded by a National Endowment for Humanities (NEH) Humanities Collections and Reference Resources Foundations Grant, the UA Little Rock Center for Arkansas History and Culture’s “Mapping Renewal” pilot project focused on creating access to and providing spatial context to archival materials related to racial segregation and urban renewal in the city of Little Rock, Arkansas, from 1954-1989. An unplanned interdisciplinary collaboration with the UA Little Rock Arkansas Economic Development Institute (AEDI) has proven to be an invaluable partnership. One team member from each department will demonstrate the Mapping Renewal website and discuss how the collaborative process has changed and shaped …
On-Device Deep Learning Inference For System-On-Chip (Soc) Architectures, Tom Springer, Elia Eiroa-Lledo, Elizabeth Stevens, Erik Linstead
On-Device Deep Learning Inference For System-On-Chip (Soc) Architectures, Tom Springer, Elia Eiroa-Lledo, Elizabeth Stevens, Erik Linstead
Engineering Faculty Articles and Research
As machine learning becomes ubiquitous, the need to deploy models on real-time, embedded systems will become increasingly critical. This is especially true for deep learning solutions, whose large models pose interesting challenges for target architectures at the “edge” that are resource-constrained. The realization of machine learning, and deep learning, is being driven by the availability of specialized hardware, such as system-on-chip solutions, which provide some alleviation of constraints. Equally important, however, are the operating systems that run on this hardware, and specifically the ability to leverage commercial real-time operating systems which, unlike general purpose operating systems such as Linux, can …
Integrating The First Person View And The Third Person View Using A Connected Vr-Mr System For Pilot Training, Chang-Geun Oh, Kwanghee Lee, Myunghoon Oh
Integrating The First Person View And The Third Person View Using A Connected Vr-Mr System For Pilot Training, Chang-Geun Oh, Kwanghee Lee, Myunghoon Oh
Journal of Aviation/Aerospace Education & Research
Virtual reality (VR)-based flight simulator provides pilots the enhanced reality from the first-person view. Mixed reality (MR) technology generates effective 3D graphics. The users who wear the MR headset can walk around the 3D graphics to see all its 360 degrees of vertical and horizontal aspects maintaining the consciousness of real space. A VR flight simulator and an MR application were connected to create the capability of both first-person view and third-person view for a comprehensive pilot training system. This system provided users the capability to monitor the aircraft progress along the planned path from the third-person view as well …
Visualization For Solving Non-Image Problems And Saliency Mapping, Divya Chandrika Kalla
Visualization For Solving Non-Image Problems And Saliency Mapping, Divya Chandrika Kalla
All Master's Theses
High-dimensional data play an important role in knowledge discovery and data science. Integration of visualization, visual analytics, machine learning (ML), and data mining (DM) are the key aspects of data science research for high-dimensional data. This thesis is to explore the efficiency of a new algorithm to convert non-images data into raster images by visualizing data using heatmap in the collocated paired coordinates (CPC). These images are called the CPC-R images and the algorithm that produces them is called the CPC-R algorithm. Powerful deep learning methods open an opportunity to solve non-image ML/DM problems by transforming non-image ML problems into …
Design Project: Smart Headband, John Michel, Jack Durkin, Noah Lewis
Design Project: Smart Headband, John Michel, Jack Durkin, Noah Lewis
Williams Honors College, Honors Research Projects
Concussion in sports is a prevalent medical issue. It can be difficult for medical professionals to diagnose concussions. With the fast pace nature of many sports, and the damaging effects of concussions, it is important that any concussion risks are assessed immediately. There is a growing trend of wearable technology that collects data such as steps and provides the wearer with in-depth information regarding their performance. The Smart Headband project created a wearable that can record impact data and provide the wearer with a detailed analysis on their risk of sustaining a concussion. The Smart Headband uses accelerometers and gyroscopes …
Predictive Maintenance Of Bearing Machinery Using Simulation- A Bibliometric Study, Karan Gulati Mr., Keshav Basandrai Mr., Shubham Tiwari Mr., Pooja Kamat Prof., Satish Kumar Dr.
Predictive Maintenance Of Bearing Machinery Using Simulation- A Bibliometric Study, Karan Gulati Mr., Keshav Basandrai Mr., Shubham Tiwari Mr., Pooja Kamat Prof., Satish Kumar Dr.
Library Philosophy and Practice (e-journal)
Modelling is a way of constructing a virtual representation of software and hardware that involves a real-world device. We will discover the behaviour of the system if the software elements of this model are guided by mathematical relationships. For testing conditions that may be difficult to replicate with hardware prototypes alone, modelling and simulation are particularly useful, especially in the early phase of the design process when hardware might not be available. Model-based approach in MATLAB-Simulink can be useful for predictive maintenance of machines as it can reduce unplanned downtimes and maintenance costs when industrial equipment breaks. Through this bibliometric …
Treated Hfo2 Based Rram Devices With Ru, Tan, Tin As Top Electrode For In-Memory Computing Hardware, Yuvraj Dineshkumar Patel
Treated Hfo2 Based Rram Devices With Ru, Tan, Tin As Top Electrode For In-Memory Computing Hardware, Yuvraj Dineshkumar Patel
Theses
The scalability and power efficiency of the conventional CMOS technology is steadily coming to a halt due to increasing problems and challenges in fabrication technology. Many non-volatile memory devices have emerged recently to meet the scaling challenges. Memory devices such as RRAMs or ReRAM (Resistive Random-Access Memory) have proved to be a promising candidate for analog in memory computing applications related to inference and learning in artificial intelligence. A RRAM cell has a MIM (Metal insulator metal) structure that exhibits reversible resistive switching on application of positive or negative voltage. But detailed studies on the power consumption, repeatability and retention …
Use Of Image Processing Algorithms For Mine Originating Waste Grain Size Determination, Sebastian Iwaszenko
Use Of Image Processing Algorithms For Mine Originating Waste Grain Size Determination, Sebastian Iwaszenko
Journal of Sustainable Mining
The utilization of mineral wastes from the mining industry is one of most challenging phases in the raw materials life cycle. In many countries, there are piles of mineral waste materials that date back to the previous century. There is also a constant stream of accompanying mineral matter excavated during everyday mine operation. This stream of waste matter is particularly notable for deep coal mining. Grain size composition of waste mineral matter is one of most important characteristics of coal originating waste material. This paper presents the use of image analysis for the determination of grain size composition of mineral …
Survey On Deep Neural Networks In Speech And Vision Systems, M. Alam, Manar D. Samad, Lasitha Vidyaratne, Alexander Glandon, Khan M. Iftekharuddin
Survey On Deep Neural Networks In Speech And Vision Systems, M. Alam, Manar D. Samad, Lasitha Vidyaratne, Alexander Glandon, Khan M. Iftekharuddin
Computer Science Faculty Research
This survey presents a review of state-of-the-art deep neural network architectures, algorithms, and systems in speech and vision applications. Recent advances in deep artificial neural network algorithms and architectures have spurred rapid innovation and development of intelligent speech and vision systems. With availability of vast amounts of sensor data and cloud computing for processing and training of deep neural networks, and with increased sophistication in mobile and embedded technology, the next-generation intelligent systems are poised to revolutionize personal and commercial computing. This survey begins by providing background and evolution of some of the most successful deep learning models for intelligent …
A Novel Energy-Efficient Sensor Cloud Model Using Data Prediction And Forecasting Techniques, Kalyan Das, Satyabrata Das, Aurobindo Mohapatra
A Novel Energy-Efficient Sensor Cloud Model Using Data Prediction And Forecasting Techniques, Kalyan Das, Satyabrata Das, Aurobindo Mohapatra
Karbala International Journal of Modern Science
An energy-efficient sensor cloud model is proposed based on the combination of prediction and forecasting methods. The prediction using Artificial Neural Network (ANN) with single activation function and forecasting using Autoregressive Integrated Moving Average (ARIMA) models use to reduce the communication of data. The requests of the users generate in every second. These requests must be transferred to the wireless sensor network (WSN) through the cloud system in the traditional model, which consumes extra energy. In our approach, instead of one second, the sensors generally communicate with the cloud every 24 hours, and most of the requests reply using the …
A Novel Framework Using Neutrosophy For Integrated Speech And Text Sentiment Analysis, Florentin Smarandache, Kritika Mishra, Ilanthenral Kandasamy, Vasantha Kandasamy W.B.
A Novel Framework Using Neutrosophy For Integrated Speech And Text Sentiment Analysis, Florentin Smarandache, Kritika Mishra, Ilanthenral Kandasamy, Vasantha Kandasamy W.B.
Branch Mathematics and Statistics Faculty and Staff Publications
With increasing data on the Internet, it is becoming difficult to analyze every bit and make sure it can be used efficiently for all the businesses. One useful technique using Natural Language Processing (NLP) is sentiment analysis. Various algorithms can be used to classify textual data based on various scales ranging from just positive-negative, positive-neutral-negative to a wide spectrum of emotions. While a lot of work has been done on text, only a lesser amount of research has been done on audio datasets. An audio file contains more features that can be extracted from its amplitude and frequency than a …
Forecasting Vegetation Health In The Mena Region By Predicting Vegetation Indicators With Machine Learning Models, Sachi Perera, Wenzhao Li, Erik Linstead, Hesham El-Askary
Forecasting Vegetation Health In The Mena Region By Predicting Vegetation Indicators With Machine Learning Models, Sachi Perera, Wenzhao Li, Erik Linstead, Hesham El-Askary
Mathematics, Physics, and Computer Science Faculty Articles and Research
Machine learning (ML) techniques can be applied to predict and monitor drought conditions due to climate change. Predicting future vegetation health indicators (such as EVI, NDVI, and LAI) is one approach to forecast drought events for hotspots (e.g. Middle East and North Africa (MENA) regions). Recently, ML models were implemented to predict EVI values using parameters such as land types, time series, historical vegetation indices, land surface temperature, soil moisture, evapotranspiration etc. In this work, we collected the MODIS atmospherically corrected surface spectral reflectance imagery with multiple vegetation related indices for modeling and evaluation of drought conditions in the MENA …
A Fortran-Keras Deep Learning Bridge For Scientific Computing, Jordan Ott, Mike Pritchard, Natalie Best, Erik Linstead, Milan Curcic, Pierre Baldi
A Fortran-Keras Deep Learning Bridge For Scientific Computing, Jordan Ott, Mike Pritchard, Natalie Best, Erik Linstead, Milan Curcic, Pierre Baldi
Engineering Faculty Articles and Research
Implementing artificial neural networks is commonly achieved via high-level programming languages such as Python and easy-to-use deep learning libraries such as Keras. These software libraries come preloaded with a variety of network architectures, provide autodifferentiation, and support GPUs for fast and efficient computation. As a result, a deep learning practitioner will favor training a neural network model in Python, where these tools are readily available. However, many large-scale scientific computation projects are written in Fortran, making it difficult to integrate with modern deep learning methods. To alleviate this problem, we introduce a software library, the Fortran-Keras Bridge (FKB). This two-way …
Exploring The Efficacy Of Transfer Learning In Mining Image‑Based Software Artifacts, Natalie Best, Jordan Ott, Erik J. Linstead
Exploring The Efficacy Of Transfer Learning In Mining Image‑Based Software Artifacts, Natalie Best, Jordan Ott, Erik J. Linstead
Engineering Faculty Articles and Research
Background
Transfer learning allows us to train deep architectures requiring a large number of learned parameters, even if the amount of available data is limited, by leveraging existing models previously trained for another task. In previous attempts to classify image-based software artifacts in the absence of big data, it was noted that standard off-the-shelf deep architectures such as VGG could not be utilized due to their large parameter space and therefore had to be replaced by customized architectures with fewer layers. This proves to be challenging to empirical software engineers who would like to make use of existing architectures without …
Emergency Department Systems Engineering: Modelling And Event Simulation, O Alharethi Salman Zayed
Emergency Department Systems Engineering: Modelling And Event Simulation, O Alharethi Salman Zayed
Student Works (2020-2029)
Emergency department systems are meant to ensure the timely delivery for essential healthcare services through complex systems. (ED) offers various services and have several components in its parts. Examined long previous research on system engineering and quality of healthcare resulting on these are influenced by operational management. Real time data are very helpful for decision making for any systems. Patient output feedback and satisfaction can be ensured with engineered management. EDs have become evident particularly in current scenario when the world is in the grip of the deadly COVID-19. All this implies that analysis is significant for improvement of services …
Ml-Medic: A Preliminary Study Of An Interactive Visual Analysis Tool Facilitating Clinical Applications Of Machine Learning For Precision Medicine, Laura Stevens, David Kao, Jennifer Hall, Carsten Görg, Kaitlyn Abdo, Erik Linstead
Ml-Medic: A Preliminary Study Of An Interactive Visual Analysis Tool Facilitating Clinical Applications Of Machine Learning For Precision Medicine, Laura Stevens, David Kao, Jennifer Hall, Carsten Görg, Kaitlyn Abdo, Erik Linstead
Engineering Faculty Articles and Research
Accessible interactive tools that integrate machine learning methods with clinical research and reduce the programming experience required are needed to move science forward. Here, we present Machine Learning for Medical Exploration and Data-Inspired Care (ML-MEDIC), a point-and-click, interactive tool with a visual interface for facilitating machine learning and statistical analyses in clinical research. We deployed ML-MEDIC in the American Heart Association (AHA) Precision Medicine Platform to provide secure internet access and facilitate collaboration. ML-MEDIC’s efficacy for facilitating the adoption of machine learning was evaluated through two case studies in collaboration with clinical domain experts. A domain expert review was also …
A Capacitive Sensing Gym Mat For Exercise Classification & Tracking, Adam Goertz
A Capacitive Sensing Gym Mat For Exercise Classification & Tracking, Adam Goertz
Computer Science and Computer Engineering Undergraduate Honors Theses
Effective monitoring of adherence to at-home exercise programs as prescribed by physiotherapy protocols is essential to promoting effective rehabilitation and therapeutic interventions. Currently physical therapists and other health professionals have no reliable means of tracking patients' progress in or adherence to a prescribed regimen. This project aims to develop a low-cost, privacy-conserving means of monitoring at-home exercise activity using a gym mat equipped with an array of capacitive sensors. The ability of the mat to classify different types of exercises was evaluated using several machine learning models trained on an existing dataset of physiotherapy exercises.
Short-Term Electricity Price Forecasting In Deregulated Electricity Market Based On Enhanced Artificial Intelligence Techniques, Pourdaryaei Alireza
Short-Term Electricity Price Forecasting In Deregulated Electricity Market Based On Enhanced Artificial Intelligence Techniques, Pourdaryaei Alireza
Student Works (2020-2029)
Electricity price forecasting is considered as one of prime factors for operation, planning and scheduling of price-setter market participants. However, possessing time variant, non-linear and non-stationary behaviors make the electricity price a complex signal. The main challenge in this area is providing highly accurate and efficient day-ahead price forecasting. A suitable feature selection technique, which is able to model the interacting features and nonlinearities of the forecast processes, is still required although researches have been performed for day-ahead forecasting. In this research, a hybrid electricity price forecasting methodology is proposed using two-stage feature selection method and optimization using adaptive neuro-fuzzy …
Topical Review Of Vulnerability Management For Local Hampton Roads Industry, Gregory W. Hubbard Jr., Matthew Eunice
Topical Review Of Vulnerability Management For Local Hampton Roads Industry, Gregory W. Hubbard Jr., Matthew Eunice
OUR Journal: ODU Undergraduate Research Journal
The progress towards an interconnected digital world offers an exciting level of advancement for humanity. Unfortunately, this “online” connection is not safe from the threats and dangers typically associated with physical operations. With the foundation of Cyber Command of DoD cyberspace, the United States Government is taking a prominent stance in cyberspace operations. Like the federal government, both industries and individuals are not immune and are oftentimes unknowingly at risk to cyberattack. This report hopes to bring awareness to common vulnerabilities in multi-user networks by describing a historical background on cyber security as well as outlining current methods of vulnerability …
A Direct Data-Cluster Analysis Method Based On Neutrosophic Set Implication, Florentin Smarandache, Sudan Jha, Gyanendra Prasad Joshi, Lewis Nkenyereya, Dae Wan Kim
A Direct Data-Cluster Analysis Method Based On Neutrosophic Set Implication, Florentin Smarandache, Sudan Jha, Gyanendra Prasad Joshi, Lewis Nkenyereya, Dae Wan Kim
Branch Mathematics and Statistics Faculty and Staff Publications
Raw data are classified using clustering techniques in a reasonable manner to create disjoint clusters. A lot of clustering algorithms based on specific parameters have been proposed to access a high volume of datasets. This paper focuses on cluster analysis based on neutrosophic set implication, i.e., a k-means algorithm with a threshold-based clustering technique. This algorithm addresses the shortcomings of the k-means clustering algorithm by overcoming the limitations of the threshold-based clustering algorithm. To evaluate the validity of the proposed method, several validity measures and validity indices are applied to the Iris dataset (from the University of California, Irvine, Machine …
A Probabilistic Machine Learning Framework For Cloud Resource Selection On The Cloud, Syeduzzaman Khan
A Probabilistic Machine Learning Framework For Cloud Resource Selection On The Cloud, Syeduzzaman Khan
University of the Pacific Theses and Dissertations
The execution of the scientific applications on the Cloud comes with great flexibility, scalability, cost-effectiveness, and substantial computing power. Market-leading Cloud service providers such as Amazon Web service (AWS), Azure, Google Cloud Platform (GCP) offer various general purposes, memory-intensive, and compute-intensive Cloud instances for the execution of scientific applications. The scientific community, especially small research institutions and undergraduate universities, face many hurdles while conducting high-performance computing research in the absence of large dedicated clusters. The Cloud provides a lucrative alternative to dedicated clusters, however a wide range of Cloud computing choices makes the instance selection for the end-users. This thesis …
A Saliency-Driven Video Magnifier For People With Low Vision, Ali Selman Aydin, Shirin Feiz, Iv Ramakrishnan, Vikas Ashok
A Saliency-Driven Video Magnifier For People With Low Vision, Ali Selman Aydin, Shirin Feiz, Iv Ramakrishnan, Vikas Ashok
Computer Science Faculty Publications
Consuming video content poses significant challenges for many screen magnifier users, which is the “go to” assistive technology for people with low vision. While screen magnifier software could be used to achieve a zoom factor that would make the content of the video visible to low-vision users, it is oftentimes a major challenge for these users to navigate through videos. Towards making videos more accessible for low-vision users, we have developed the SViM video magnifier system [6]. Specifically, SViM consists of three different magnifier interfaces with easy-to-use means of interactions. All three interfaces are driven by visual saliency as a …
Identifying Customer Churn In After-Market Operations Using Machine Learning Algorithms, Vitaly Briker, Richard Farrow, William Trevino, Brent Allen
Identifying Customer Churn In After-Market Operations Using Machine Learning Algorithms, Vitaly Briker, Richard Farrow, William Trevino, Brent Allen
SMU Data Science Review
This paper presents a comparative study on machine learning methods as they are applied to product associations, future purchase predictions, and predictions of customer churn in aftermarket operations. Association rules are used help to identify patterns across products and find correlations in customer purchase behaviour. Studying customer behaviour as it pertains to Recency, Frequency, and Monetary Value (RFM) helps inform customer segmentation and identifies customers with propensity to churn. Lastly, Flowserve’s customer purchase history enables the establishment of churn thresholds for each customer group and assists in constructing a model to predict future churners. The aim of this model is …
Work-In-Progress: Iot Device Signature Validation, Jeffrey Hemmes
Work-In-Progress: Iot Device Signature Validation, Jeffrey Hemmes
Regis University Faculty Publications
Device fingerprinting is an area of security that has received renewed attention in recent years, with a number of classification methods proposed that rely on characteristics unique to a particular vendor or device type. Current works are limited to determining device type for purposes of access control and MAC address spoof prevention. This work synthesizes multiple sources of information to verify device capabilities in a device profile, which can be used in a number of applications not limited to authentication and authorization. The approach proposed in this paper relies on existing protocols and methods proposed in the literature, using a …
Vrsensory: Designing Inclusive Virtual Games With Neurodiverse Children, Ben Wasserman, Derek Prate, Bryce Purnell, Alex Muse, Kaitlyn Abdo, Kendra Day, Louanne Boyd
Vrsensory: Designing Inclusive Virtual Games With Neurodiverse Children, Ben Wasserman, Derek Prate, Bryce Purnell, Alex Muse, Kaitlyn Abdo, Kendra Day, Louanne Boyd
Engineering Faculty Articles and Research
We explore virtual environments and accompanying interaction styles to enable inclusive play. In designing games for three neurodiverse children, we explore how designing for sensory diversity can be understood through a formal game design framework. Our process reveals that by using sensory processing needs as requirements we can make sensory and social accessible play spaces. We contribute empirical findings for accommodating sensory differences for neurodiverse children in a way that supports inclusive play. Specifically, we detail the sensory driven design choices that not only support the enjoyability of the leisure activities, but that also support the social inclusion of sensory-diverse …
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
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 …
Identifying Hourly Traffic Patterns With Python Deep Learning, Christopher L. Leavitt
Identifying Hourly Traffic Patterns With Python Deep Learning, Christopher L. Leavitt
Computer Engineering
This project was designed to explore and analyze the potential abilities and usefulness of applying machine learning models to data collected by parking sensors at a major metro shopping mall. By examining patterns in rates at which customer enter and exit parking garages on the campus of the Bellevue Collection shopping mall in Bellevue, Washington, a recurrent neural network will use data points from the previous hours will be trained to forecast future trends.
Labeling Paths With Convolutional Neural Networks, Sean Wallace, Kyle Wuerch
Labeling Paths With Convolutional Neural Networks, Sean Wallace, Kyle Wuerch
Computer Engineering
With the increasing development of autonomous vehicles, being able to detect driveable paths in arbitrary environments has become a prevalent problem in multiple industries. This project explores a technique which utilizes a discretized output map that is used to color an image based on the confidence that each block is a driveable path. This was done using a generalized convolutional neural network that was trained on a set of 3000 images taken from the perspective of a robot along with matching masks marking which portion of the image was a driveable path. The techniques used allowed for a labeling accuracy …
Reach - A Community Service Application, Samuel Noel Magana
Reach - A Community Service Application, Samuel Noel Magana
Computer Engineering
Communities are familiar threads that unite people through several shared attributes and interests. These commonalities are the core elements that link and bond us together. Many of us are part of multiple communities, moving in and out of them depending on our needs. These common threads allow us to support and advocate for each other when facing a common threat or difficult situation. Healthy and vibrant communities are fundamental to the operation of our society. These interactions within our communities define the way we as individuals interact with each other, and society at large. Being part of a community helps …
Grammar-Based Procedurally Generated Village Creation Tool, Kevin Matthew Graves
Grammar-Based Procedurally Generated Village Creation Tool, Kevin Matthew Graves
Computer Engineering
This project is a 3D village generator tool for Unity. It consists of three components: a building, mountain, and river generator. All of these generators use grammar-based procedural generation in order to create a unique and logical village and landscape each time the program is run.