Computer Sciences Commons^™

Synergistic Security: A Work System Case Study Of The Target Breach, Martha Nanette Harrell

Journal of Cybersecurity Education, Research and Practice

Recent publicized security breaches can be used to evaluate information security programs. The processes and procedures that allowed the event to occur can be examined in a case study and then be used to find methods for future mitigation of risk. The Target security breach is used in this study to examine the organization’s information security program using a macro-ergonomic model. This research posits that an information security program should consider the work system design, based in macro-ergonomics, to help mitigate information security risk to the organization and ensure an efficient and effective information security program. Based on a seminal …

The Official Rulebook For Choice In Video Games: An Examination Of Choice In Modern Narrative Games, Tyler Paulley

Undergraduate Theses

Film, drama, and novels are each capable of telling stories in a specialized way. This thesis makes the claim that video games are the newest means of storytelling and that they can tell stories in unique and engaging ways by using choice. The first goal of this thesis is to determine how and why choice is being used by game developers by examining several modern narrative games. After this examination, it is determined that the increase of choice-driven and narrative games have had an impact on the expectations of players, the goals of video games, and on game culture itself. …

Tensorviz: Visualizing The Training Of Convolutional Neural Network Using Paraview, Xinyu Chen, Qiang Guan, Xin Liang, Li-Ta Lo, Simon Su, Trilce Estrada, James Ahrens

Computer Science Faculty Research & Creative Works

Deep Convolutional Networks have been very successful in visual recognition tasks recently. Previous works visualize learned features at different layers o help people to understand how CNNs learn visual recognition tasks. However they do not help to accelerate the training process. We use Paraview to provides both qualitative and quantitative visualization that help understand the learning procedure, tune the learning parameters and direct merging and pruning of neural networks.

Accurate Determination And Application Of Local Strain For Studying Tissues With Gradients In Mechanical Properties, John Boyle

McKelvey School of Engineering Graduate Student Theses & Dissertations

Determination of the mechanical behavior of materials requires an understanding of deformation during loading. While this is traditionally accomplished in engineering by examining a force displacement curve for a whole sample, these techniques implicitly ignore local geometric complexities and local material inhomogeneities commonly found in biologic tissues. Techniques such as normalized cross correlation have been classically applied to address this issue and resolve deformation at the local level; however, these techniques have proven unreliable when deformations become large, if the sample undergoes a rotation, and/or if strain fields become incompatible (e.g. at or near failure).

Presented here is a toolbox …

A Spatio-Temporal Approach To Mitigate Automotive Radar Spoofing Attacks, Prateek Kapoor

Graduate Dissertations and Theses

Cyber-physical system (CPS) has become an integral part of human life, ranging from aircraft to health care systems. The security of these critical components ensures its wider acceptability. Traditionally, many works to secure cyber-physical system (CPS) has been done in the cyber domain, like securing inter/intra CPS communication, securing the exposed software, rebuilding control input derived from sensor data post-digitization, using sensor fusion. All of this security software suffers from a basic attack wherein an attacker compromises the physical/analog sensing system. Researchers have made some progress in mitigating such attacks on physical/analog signals of CPS, the current state of the …

Repairing Gaps In Kinari-2 For Large Scale Protein And Flexibility Analysis Applications, Magdalena Metlicka, Mojtaba Nouri Bygi, Ileana Streinu

Computer Science: Faculty Publications

Pebble game rigidity analysis is a combinatorial method, implemented in our free web server KinariWeb, for extracting protein rigidity and flexibility information without performing costly molecular dynamics simulations. Due to the idiosynchrasies of the data in the Protein Data Bank (PDB), Kinari succeeds only on a fraction of the available files. Motivated by large scale applications, aiming at processing almost all the PDB files, we have recently developed a faster and more robust version, the phased pebble game algorithm. It is specifically designed to take advantage of the sequential structure of biopolymers. However, the structural data available in the Protein …

Repairing Gaps In Kinari-2 For Large Scale Protein And Flexibility Analysis Applications, Magdalena Metlicka, Mojtaba Nouri Bygi, Ileana Streinu

Computer Science: Faculty Publications

Pebble game rigidity analysis is a combinatorial method, implemented in our free web server KinariWeb, for extracting protein rigidity and flexibility information without performing costly molecular dynamics simulations. Due to the idiosynchrasies of the data in the Protein Data Bank (PDB), Kinari succeeds only on a fraction of the available files. Motivated by large scale applications, aiming at processing almost all the PDB files, we have recently developed a faster and more robust version, the phased pebble game algorithm. It is specifically designed to take advantage of the sequential structure of biopolymers. However, the structural data available in the Protein …

Breadcrumbs: Privacy As A Privilege, Prachi Bhardwaj

Capstones

Breadcrumbs: Privacy as a Privilege Abstract

By: Prachi Bhardwaj

In 2017, the world saw more data breaches than in any year prior. The count was more than the all-time high record in 2016, which was 40 percent more than the year before that.

That’s because consumer data is incredibly valuable today. In the last three decades, data storage has gone from being stored physically to being stored almost entirely digitally, which means consumer data is more accessible and applicable to business strategies. As a result, companies are gathering data in ways previously unknown to the average consumer, and hackers are …

Locality-Aware Concurrency Platforms, Jordyn Chrystopher Raymond Maglalang

McKelvey School of Engineering Graduate Student Theses & Dissertations

Modern computing systems from all domains are becoming increasingly more parallel. Manufacturers are taking advantage of the increasing number of available transistors by packaging more and more computing resources together on a single chip or within a single system. These platforms generally contain many levels of private and shared caches in addition to physically distributed main memory. Therefore, some memory is more expensive to access than other and high-performance software must consider memory locality as one of the first level considerations.

Memory locality is often difficult for application developers to consider directly, however, since many of these NUMA affects are …

Tensorviz: Visualizing The Training Of Convolutional Neural Network Using Paraview (Poster), Xinyu Chen, Qiang Guan, Xin Liang, Li-Ta Lo, Simon Su, Trilce Estrada, James Ahrens

Computer Science Faculty Research & Creative Works

Deep Convolutional Networks have been very successful in visual recognition tasks recently. Lots of previous works aimed to help people to get senses of why those biology-inspired networks achieved such good performances. Deconvnet[1], Guided propagation[2] and a comprehensive visualization tool box[3] can help people to see features learned at different layers of the networks. These works in some extent provided understanding and support for the biology origin of how convolutional networks emulate visual recognition tasks. However, due to the complexity of searching in very high dimensional parameter space, the whole training remains in black-boxes. Normally a large network needs weeks …

Best Practices For Test Driven Development, Timothy Tacker

All Student Theses and Dissertations

In his award-winning book, Test-driven Development By Example, Kent Beck wrote, "Clean code that works...is the goal of Test-driven Development (TDD)." TDD is a style of software development that first begins with the creation of tests and then makes use short, iterative development cycles until all test requirements are fulfilled. In order to provide the reader with sufficient background to understand the concepts discussed, this thesis begins by presenting a detailed description of this style of development. TDD is then contrasted with other popular styles, with a focus toward highlighting the many benefits this style offers over the others. This …

Real-Time Indoor Assistive Localization With Mobile Omnidirectional Vision And Cloud Gpu Acceleration, Feng Hu, Zhigang Zhu, Jeury Mejia, Hao Tang

Publications and Research

In this paper we propose a real-time assistive localization approach to help blind and visually impaired people in navigating an indoor environment. The system consists of a mobile vision front end with a portable panoramic lens mounted on a smart phone, and a remote image feature-based database of the scene on a GPU-enabled server. Compact and elective omnidirectional image features are extracted and represented in the smart phone front end, and then transmitted to the server in the cloud. These features of a short video clip are used to search the database of the indoor environment via image-based indexing to …

The Ability Of Different Imputation Methods To Preserve The Significant Genes And Pathways In Cancer, Rosa Aghdam, Taban Baghfalaki, Pegah Khosravi, Elnaz Saberi Ansari

Publications and Research

Deciphering important genes and pathways from incomplete gene expression data could facilitate a better understanding of cancer. Different imputation methods can be applied to estimate the missing values. In our study, we evaluated various imputation methods for their performance in preserving significant genes and pathways. In the first step, 5% genes are considered in random for two types of ignorable and non-ignorable missingness mechanisms with various missing rates. Next, 10 well-known imputation methods were applied to the complete datasets. The significance analysis of microarrays (SAM) method was applied to detect the significant genes in rectal and lung cancers to showcase …

Understanding Sleep In Pediatric Patients With Sickle Cell Disease Admitted For Vaso-Occlusive Pain Crisis Through Objective Data, Kalindi Narine, Fan Yang, Tanvi Banerjee, Jude Jonassaint, Nirmish Shah

Computer Science and Engineering Faculty Publications

Sickle cell disease (SCD) is an inherited red cell disorder that leads to sickling of red blood cells, anemia and vaso-occlusion. The most common reason for hospitalization and morbidity in children is pain due to vaso-occlusive crisis (VOC). Importantly, poor sleep quality can lead to increased pain the subsequent day and nocturnal pain leads to reduced deep sleep, both which can then modify pain sensitivity. Studies using sleep diaries have shown this cyclical relationship between sleep and pain. Frequent occurrences of restless sleep are therefore believed to contribute to an increased severity and intensity of pain episodes. There is very …

College Of Engineering Senior Design Competition Fall 2017, University Of Nevada, Las Vegas

Fred and Harriet Cox Senior Design Competition Projects

Part of every UNLV engineering student’s academic experience, the senior design project stimulates engineering innovation and entrepreneurship. Each student in their senior year chooses, plans, designs, and prototypes a product in this required element of the curriculum. A capstone to the student’s educational career, the senior design project encourages the student to use everything learned in the engineering program to create a practical, real world solution to an engineering challenge. The senior design competition helps focus the senior students in increasing the quality and potential for commercial application for their design projects. Judges from local industry evaluate the projects on …

Designing In-Headset Authoring Tools For Virtual Reality Video, Cuong Nguyen

Dissertations and Theses

Virtual Reality (VR) video is emerging as a new art form. Viewing VR video requires wearing the VR headset to fully experience the immersive surrounding of the content. However, the novel viewing experience of VR video creates new challenges and requirements for conventional video authoring tools, which were designed mainly for working with normal video on a desktop display. Designing effective authoring tools for VR video requires intuitive video interfaces specific to VR.

This dissertation develops new workflows and systems that enable filmmakers to create and improve VR video while fully immersed in a VR headset. We introduce a series …

Severity Of Acute Infectious Mononucleosis Correlates With Cross- Reactive Influenza Cd8 T-Cell Receptor Repertoires, Nuray Aslan, Levi B. Watkin, Anna Gil, Rabinarayan Mishra, Fransenio G. Clark, Raymond M. Welsh, Dario Ghersi, Katherine Luzuriaga, Liisa K. Selin

Interdisciplinary Informatics Faculty Publications

Fifty years after the discovery of Epstein-Barr virus (EBV), it remains unclear how primary infection with this virus leads to massive CD8 T-cell expansion and acute infectious mononucleosis (AIM) in young adults. AIM can vary greatly in severity, from a mild transient influenza-like illness to a prolonged severe syndrome. We questioned whether expansion of a unique HLA-A2.01-restricted, cross-reactive CD8 T-cell response between influenza virus A-M158 (IAV-M1) and EBV BMLF1280 (EBV-BM) could modulate the immune response to EBV and play a role in determining the severity of AIM in 32 college students. Only ex vivo total IAV-M1 and IAV-M1+EBV-BM cross-reactive tetramer+ …

Statistical Analysis Of Momentum In Basketball, Mackenzi Stump

Honors Projects

The “hot hand” in sports has been debated for as long as sports have been around. The debate involves whether streaks and slumps in sports are true phenomena or just simply perceptions in the mind of the human viewer. This statistical analysis of momentum in basketball analyzes the distribution of time between scoring events for the BGSU Women’s Basketball team from 2011-2017. We discuss how the distribution of time between scoring events changes with normal game factors such as location of the game, game outcome, and several other factors. If scoring events during a game were always randomly distributed, or …

Why Rectified Linear Neurons Are Efficient: Symmetry-Based, Complexity-Based, And Fuzzy-Based Explanations, Olac Fuentes, Justin Parra, Elizabeth Y. Anthony, Vladik Kreinovich

Departmental Technical Reports (CS)

Traditionally, neural networks used a sigmoid activation function. Recently, it turned out that piecewise linear activation functions are much more efficient -- especially in deep learning applications. However, so far, there have been no convincing theoretical explanation for this empirical efficiency. In this paper, we show that, by using different uncertainty techniques, we can come up with several explanations for the efficiency of piecewise linear neural networks. The existence of several different explanations makes us even more confident in our results -- and thus, in the efficiency of piecewise linear activation functions.

How To Make A Proof Of Halting Problem More Convincing: A Pedagogical Remark, Benjamin W. Robertson, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

As an example of an algorithmically undecidable problem, most textbooks list the impossibility to check whether a given program halts on given data. A usual proof of this result is based on the assumption that the hypothetical halt-checker works for all programs. To show that a halt-checker is impossible, we design an auxiliary program for which the existence of such a halt-checker leads to a contradiction. However, this auxiliary program is usually very artificial. So, a natural question arises: what if we only require that the halt-checker work for reasonable programs? In this paper, we show that even with such …

Introduction To The Usu Library Of Solutions To The Einstein Field Equations, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This is a Maple worksheet providing an introduction to the USU Library of Solutions to the Einstein Field Equations. The library is part of the DifferentialGeometry software project and is a collection of symbolic data and metadata describing solutions to the Einstein equations.

An Analysis Of Operant Conditioning And Its Relationship With Video Game Addiction, Daniel Vu

ART 108: Introduction to Games Studies

A report published by the Entertainment Software Association revealed that in 2015, 155 million Americans play video games with an average of two gamers in each game-playing household (Entertainment Software Association, “Essential Facts about the Computer and Video Game Industry”). With this massive popularity that has sprung alongside video games, the question must be asked: how are video games affecting today's people? With the current way some video games are structured, the video game rewards players for achieving certain accomplishments. For example, competitive video games reward players who achieve victories by giving them a higher ranking or other games display …

Why Triangular Membership Functions Are Often Efficient In F-Transform Applications: Relation To Interval Uncertainty\\ And Haar Wavelets, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Fuzzy techniques describe expert opinions. At first glance, we would therefore expect that the more accurately the corresponding membership functions describe the expert's opinions, the better the corresponding results. In practice, however, contrary to these expectations, the simplest -- and not very accurate -- triangular membership functions often work the best. In this paper, on the example of the use of membership functions in F-transform techniques, we provide a possible theoretical explanation for this surprising empirical phenomenon.

How To Store Tensors In Computer Memory: An Observation, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In this paper, after explaining the need to use tensors in computing, we analyze the question of how to best store tensors in computer memory. Somewhat surprisingly, with respect to a natural optimality criterion, the standard way of storing tensors turns out to be one of the optimal ones.

Beyond Integration: A Symmetry-Based Approach To Reaching Stationarity In Economic Time Series, Songsak Sriboonchitta, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Many efficient data processing techniques assume that the corresponding process is stationary. However, in areas like economics, most processes are not stationery: with the exception of stagnation periods, economies usually grow. A known way to apply stationarity-based methods to such processes -- integration -- is based on the fact that often, while the process itself is not stationary, its first or second differences are stationary. This idea works when the trend polynomially depends on time. In practice, the trend is usually non-polynomial: it is often exponentially growing, with cycles added. In this paper, we shod how integration techniques can be …

Why Sparse?, Thongchai Dumrongpokaphan, Olga Kosheleva, Vladik Kreinovich, Aleksandra Belina

Departmental Technical Reports (CS)

In many situations, a solution to a practical problem is sparse, i.e., corresponds to the case when most of the parameters describing the solution are zeros, and only a few attain non-zero values. This surprising empirical phenomenon helps solve the corresponding problems -- but it remains unclear why this phenomenon happens. In this paper, we provide a possible theoretical explanation for this mysterious phenomenon.

Canines For Disabled Kids, Erin Jerrett, Margarita Mnatsakanyan, Colleen Reynolds, Yin Wang

School of Professional Studies

Canines for Disabled Kids have been working on behalf of children and their families to educate communities and promote service dog partnerships for almost twenty years. Their advocacy with local legislatures, business owners, and community leaders highlighted the difficulties encountered when differentiating service dogs from emotional support/comfort dogs. Service dogs are entitled to access by the Americans with Disabilities Act (ADA), while emotional support/comfort dogs are not protected under the federal statute or to the same rights. Canines for Disabled Kids proposed a study to obtain a current count of licensed service dogs in the Commonwealth and investigate the feasibility …

Random Numbers And Gaming, Sinjin Baglin

ART 108: Introduction to Games Studies

In Counter Strike: Global Offensive spray pattern control becomes a muscle memory to a player after long periods of playing. It’s a design choice that makes the gunplay between players more about instant crosshair placement with the faster player usually winning. This is very different from the gunplay of the current popular shooter Player Unknown’s Battlegrounds. Player Unknown’s Battleground’s spray pattern for the guns are random. So how does this affect the player experience? Well as opposed to Counter Strike: Global Offensive, the design choice makes gunplay between two players more about how a person can adapt faster …

Fighting Game Difficulty, Andrew Hon

ART 108: Introduction to Games Studies

Lowering difficulty in games has become a recent trend amongst gaming companies. The goal of this tactic is to provide a more welcoming platform for players that are new to the franchise. However, this trend has been met with criticism amongst more experienced veterans of their respective games. This essay will touch upon different games within the fighting game genre that have lowered their overall difficulty, and the positive/negative effects of it.

Z-Numbers: How They Describe Student Confidence And How They Can Explain (And Improve) Laplacian And Schroedinger Eigenmap Dimension Reduction In Data Analysis, Vladik Kreinovich, Olga Kosheleva, Michael Zakharevich

Departmental Technical Reports (CS)

Experts have different degrees of confidence in their statements. To describe these different degrees of confidence, Lotfi A. Zadeh proposed the notion of a Z-number: a fuzzy set (or other type of uncertainty) supplemented by a degree of confidence in the statement corresponding to fuzzy sets. In this chapter, we show that Z-numbers provide a natural formalization of the competence-vs-confidence dichotomy, which is especially important for educating low-income students. We also show that Z-numbers provide a natural theoretical explanation for several empirically heuristic techniques of dimension reduction in data analysis, such as Laplacian and Schroedinger eigenmaps, and, moreover, show how …