Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Artificial Intelligence (1)
- CAmkES (1)
- Collaborative filtering (1)
- Cyber security (1)
- Distributed graph process (1)
-
- Dynamic spectrum access (1)
- Explainability (1)
- Explanation (1)
- Knowledge graph (1)
- Machine learning (1)
- Matrix factorization (1)
- Model checking (1)
- Real-time graph embedding (1)
- Recommender system (1)
- Recommender systems (1)
- Recurrent neural networks (1)
- Representation learning (1)
- SeL4 (1)
- Semantic web (1)
- TLA+ (1)
- User cold start problem (1)
- Verification (1)
Articles 1 - 5 of 5
Full-Text Articles in Engineering
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 …
Cognitive Satellite Communications And Representation Learning For Streaming And Complex Graphs., Wenqi Liu
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 …
An Explainable Recommender System Based On Semantically-Aware Matrix Factorization., Mohammed Sanad Alshammari
An Explainable Recommender System Based On Semantically-Aware Matrix Factorization., Mohammed Sanad Alshammari
Electronic Theses and Dissertations
Collaborative Filtering techniques provide the ability to handle big and sparse data to predict the ratings for unseen items with high accuracy. Matrix factorization is an accurate collaborative filtering method used to predict user preferences. However, it is a black box system that recommends items to users without being able to explain why. This is due to the type of information these systems use to build models. Although rich in information, user ratings do not adequately satisfy the need for explanation in certain domains. White box systems, in contrast, can, by nature, easily generate explanations. However, their predictions are less …
Segmentation And Classification Of Lung Nodules From Thoracic Ct Scans : Methods Based On Dictionary Learning And Deep Convolutional Neural Networks., Mohammad Mehdi Farhangi
Segmentation And Classification Of Lung Nodules From Thoracic Ct Scans : Methods Based On Dictionary Learning And Deep Convolutional Neural Networks., Mohammad Mehdi Farhangi
Electronic Theses and Dissertations
Lung cancer is a leading cause of cancer death in the world. Key to survival of patients is early diagnosis. Studies have demonstrated that screening high risk patients with Low-dose Computed Tomography (CT) is invaluable for reducing morbidity and mortality. Computer Aided Diagnosis (CADx) systems can assist radiologists and care providers in reading and analyzing lung CT images to segment, classify, and keep track of nodules for signs of cancer. In this thesis, we propose a CADx system for this purpose. To predict lung nodule malignancy, we propose a new deep learning framework that combines Convolutional Neural Networks (CNN) and …
An Explainable Sequence-Based Deep Learning Predictor With Applications To Song Recommendation And Text Classification., Khalil Damak
An Explainable Sequence-Based Deep Learning Predictor With Applications To Song Recommendation And Text Classification., Khalil Damak
Electronic Theses and Dissertations
Streaming applications are now the predominant tools for listening to music. What makes the success of such software is the availability of songs and especially their ability to provide users with relevant personalized recommendations. State of the art music recommender systems mainly rely on either Matrix factorization-based collaborative filtering approaches or deep learning architectures. Deep learning models usually use metadata for content-based filtering or predict the next user interaction (listening to a song) using a memory-based deep learning structure that learns from temporal sequences of user actions. Despite advances in deep learning models for song recommendation systems, none has taken …