Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 31 - 48 of 48

Full-Text Articles in Physical Sciences and Mathematics

Consent Decrees, Fall/Winter 2017, Issue 35 Sep 2019

Consent Decrees, Fall/Winter 2017, Issue 35

Sustain Magazine

No abstract provided.


Human Ecology, Spring/Summer 2016, Issue 34 Sep 2019

Human Ecology, Spring/Summer 2016, Issue 34

Sustain Magazine

No abstract provided.


Citizen Science, Fall/Winter 2016, Issue 33 Sep 2019

Citizen Science, Fall/Winter 2016, Issue 33

Sustain Magazine

No abstract provided.


Urban Streams, Spring/Summer 2015, Issue 32 Sep 2019

Urban Streams, Spring/Summer 2015, Issue 32

Sustain Magazine

No abstract provided.


Unconventional Energy, Fall/Winter 2015, Issue 31 Sep 2019

Unconventional Energy, Fall/Winter 2015, Issue 31

Sustain Magazine

No abstract provided.


Carbon Neutral, Spring/Summer 2018, Issue 38 Sep 2019

Carbon Neutral, Spring/Summer 2018, Issue 38

Sustain Magazine

No abstract provided.


Political Will, Fall/Winter 2018, Issue 37 Sep 2019

Political Will, Fall/Winter 2018, Issue 37

Sustain Magazine

No abstract provided.


Our Envirome, Spring/Summer 2019, Issue 40 Aug 2019

Our Envirome, Spring/Summer 2019, Issue 40

Sustain Magazine

No abstract provided.


Plastic Pollution, Fall/Winter 2019, Issue 39.3 Aug 2019

Plastic Pollution, Fall/Winter 2019, Issue 39.3

Sustain Magazine

No abstract provided.


Plastic Pollution, Fall/Winter 2019, Issue 39.2 Aug 2019

Plastic Pollution, Fall/Winter 2019, Issue 39.2

Sustain Magazine

No abstract provided.


Plastic Pollution, Fall/Winter 2019, Issue 39 Aug 2019

Plastic Pollution, Fall/Winter 2019, Issue 39

Sustain Magazine

No abstract provided.


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

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 …


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

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

Faculty 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 …


Debiasing The Human-Recommender System Feedback Loop In Collaborative Filtering, Wenlong Sun, Sami Khenissi, Olfa Nasraoui, Patrick Shafto May 2019

Debiasing The Human-Recommender System Feedback Loop In Collaborative Filtering, Wenlong Sun, Sami Khenissi, Olfa Nasraoui, Patrick Shafto

Faculty Scholarship

Recommender Systems (RSs) are widely used to help online users discover products, books, news, music, movies, courses, restaurants,etc. Because a traditional recommendation strategy always shows the most relevant items (thus with highest predicted rating), traditional RS’s are expected to make popular items become even more popular and non-popular items become even less popular which in turn further divides the haves (popular) from the have-nots (un-popular). Therefore, a major problem with RSs is that they may introduce biases affecting the exposure of items, thus creating a popularity divide of items during the feedback loop that occurs with users, and this may …


Lithium Molybdate-Sulfur Battery., Ruchira Ravinath Dharmasena May 2019

Lithium Molybdate-Sulfur Battery., Ruchira Ravinath Dharmasena

Electronic Theses and Dissertations

Rechargeable energy storage systems play a vital role in today’s automobile industry with the emergence of electric vehicles (EVs). In order to meet the targets set by the department of energy (DOE), there is an immediate need of new battery chemistries with higher energy density than the current Li- ion technology. Lithium–sulfur (Li–S) batteries have attracted enormous attention in the energy-storage, due to their high specific energy density of 2600 Wh kg-1 and operational voltage of 2.0 V. Despite the promising electrochemical characteristics, Li-S batteries suffer from serious technical challenges such as dissolution of polysulfides Li2Sx …


An Explainable Sequence-Based Deep Learning Predictor With Applications To Song Recommendation And Text Classification., Khalil Damak May 2019

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 …


Personal Universes: A Solution To The Multi-Agent Value Alignment Problem, Roman V. Yampolskiy Jan 2019

Personal Universes: A Solution To The Multi-Agent Value Alignment Problem, Roman V. Yampolskiy

Faculty Scholarship

AI Safety researchers attempting to align values of highly capable intelligent systems with those of humanity face a number of challenges including personal value extraction, multi-agent value merger and finally in-silico encoding. State-of-the-art research in value alignment shows difficulties in every stage in this process, but merger of incompatible preferences is a particularly difficult challenge to overcome. In this paper we assume that the value extraction problem will be solved and propose a possible way to implement an AI solution which optimally aligns with individual preferences of each user. We conclude by analyzing benefits and limitations of the proposed approach.


An Explainable Autoencoder For Collaborative Filtering Recommendation, Pegah Sagheb Haghighi, Olurotimi Seton, Olfa Nasraoui Jan 2019

An Explainable Autoencoder For Collaborative Filtering Recommendation, Pegah Sagheb Haghighi, Olurotimi Seton, Olfa Nasraoui

Faculty Scholarship

Autoencoders are a common building block of Deep Learning architectures, where they are mainly used for representation learning. They have also been successfully used in Collaborative Filtering (CF) recommender systems to predict missing ratings. Unfortunately, like all black box machine learning models, they are unable to explain their outputs. Hence, while predictions from an Autoencoderbased recommender system might be accurate, it might not be clear to the user why a recommendation was generated. In this work, we design an explainable recommendation system using an Autoencoder model whose predictions can be explained using the neighborhood based explanation style. Our preliminary work …