Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Artificial intelligence (1)
- CAmkES (1)
- Chinese cyber policies (1)
- Civil engineering (1)
- Computer Science (1)
-
- Cyber security (1)
- Cybersecurity policy (1)
- Daniel Felix Ritchie School of Engineering and Computer Science (1)
- Explainability (1)
- Matrix factorization (1)
- Model checking (1)
- Recommender systems (1)
- Recurrent neural networks (1)
- SeL4 (1)
- TLA+ (1)
- United States (1)
- User cold start problem (1)
- Verification (1)
Articles 1 - 6 of 6
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 …
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 …
Instance Segmentation And Object Detection In Road Scenes Using Inverse Perspective Mapping Of 3d Point Clouds And 2d Images, Chungyup Lee
Instance Segmentation And Object Detection In Road Scenes Using Inverse Perspective Mapping Of 3d Point Clouds And 2d Images, Chungyup Lee
Electronic Theses and Dissertations
The instance segmentation and object detection are important tasks in smart car applications. Recently, a variety of neural network-based approaches have been proposed. One of the challenges is that there are various scales of objects in a scene, and it requires the neural network to have a large receptive field to deal with the scale variations. In other words, the neural network must have deep architectures which slow down computation. In smart car applications, the accuracy of detection and segmentation of vehicle and pedestrian is hugely critical. Besides, 2D images do not have distance information but enough visual appearance. On …
A Policy Mechanism For Federal Recommendation Of Security Standards For Mobile Devices That Conduct Transactions, Ariel Huckabay
A Policy Mechanism For Federal Recommendation Of Security Standards For Mobile Devices That Conduct Transactions, Ariel Huckabay
Electronic Theses and Dissertations
The proliferation of mobile devices in the BRIC countries has prompted them to develop policies to manage the security of these devices. In China, mobile devices are a primary tool for payments. As a result, China instituted in 2017 a cyber security policy that applies to mobile devices giving China broad authority to manage cyber threats. The United States has a similar need for a cyber policy. Mobile devices are likely to become a primary payment tool in the United States soon. DHS has also identified a need for more effective security policy in mobile devices for government operations. This …
A Study Of Perceptions On Incident Response Exercises, Information Sharing, Situational Awareness, And Incident Response Planning In Power Grid Utilities, Joseph Garmon
Electronic Theses and Dissertations
The power grid is facing increasing risks from a cybersecurity attack. Attacks that shut off electricity in Ukraine have already occurred, and successful compromises of the power grid that did not shut off electricity to customers have been privately disclosed in North America. The objective of this study is to identify how perceptions of various factors emphasized in the electric sector affect incident response planning. Methods used include a survey of 229 power grid personnel and the use of partial least squares structural equation modeling to identify causal relationships. This study reveals the relationships between perceptions by personnel responsible for …
Optimizing The Performance Of Complex Engineering Systems Aided By Artificial Neural Networks, Khalil Qatu
Optimizing The Performance Of Complex Engineering Systems Aided By Artificial Neural Networks, Khalil Qatu
Electronic Theses and Dissertations
In the first problem Polyetherimide graphene nanoplatelets papers (PEIGNP) were tested with different graphene loadings varying from 0-97 weight percent (WT%). The resulting stress-strain curves were utilized to develop two ANN models. Stress-controlled and strain-controlled models. Both models shoan excellent correlation to the experimental. Several Mechanical properties were calculated from the predicted stress-strain curves namely; toughness maximum strength maximum strain and maximum tangent modulus. Both models captured the same overall behavior of the PEIGNP composite. However the strain-controlled model was found to predict lower stress than the stress-controlled model. Finally a Graphical User Interface (GUI) was developed to aid in …