Physical Sciences and Mathematics Commons^™

Secret Sharing And Its Variants, Matroids,Combinatorics., Shion Samadder Chaudhury Dr.

Doctoral Theses

The main focus of this thesis is secret sharing. Secret Sharing is a very basic and fundamental cryptographic primitive. It is a method to share a secret by a dealer among different parties in such a way that only certain predetermined subsets of parties can together reconstruct the secret while some of the remaining subsets of parties can have no information about the secret. Secret sharing was introduced independently by Shamir [139] and Blakely [20]. What they introduced is called a threshold secret sharing scheme. In such a secret sharing scheme the subsets of parties that can reconstruct a secret …

Teaching Computer Science Csc 222, Harrison Dekker

Library Impact Statements

No abstract provided.

Messiness: Automating Iot Data Streaming Spatial Analysis, Christopher White, Atilio Barreda Ii

Publications and Research

The spaces we live in go through many transformations over the course of a year, a month, or a day; My room has seen tremendous clutter and pristine order within the span of a few hours. My goal is to discover patterns within my space and formulate an understanding of the changes that occur. This insight will provide actionable direction for maintaining a cleaner environment, as well as provide some information about the optimal times for productivity and energy preservation.

Using a Raspberry Pi, I will set up automated image capture in a room in my home. These images will …

Chicago Alliance For Equity In Computer Science, Steven Mcgee, Lucia Dettori, Ronald I. Greenberg, Andrew M. Rasmussen, Dale F. Reed, Don Yanek

Computer Science: Faculty Publications and Other Works

CAFECS is committed to ensuring that all students in Chicago participate in engaging, relevant, and rigorous computing experiences by addressing problems of practice through research and development that increases opportunities for all students to pursue computing pathways and prepares all students for the future of work.

Introduction To Malware Analysis, Harrison Dekker

Library Impact Statements

No abstract provided.

Some Nonparametric Hybrid Predictive Models : Asymptotic Properties And Applications., Tanujit Chakraborty Dr.

Doctoral Theses

Prediction problems like classification, regression, and time series forecasting have always attracted both the statisticians and computer scientists worldwide to take up the challenges of data science and implementation of complicated models using modern computing facilities. But most traditional statistical and machine learning models assume the available data to be well-behaved in terms of the presence of a full set of essential features, equal size of classes, and stationary data structures in all data instances, etc. Practical data sets from the domain of business analytics, process and quality control, software reliability, and macroeconomics, to name a few, suffer from various …

Crash Course: Student Team Uses Statistical Modeling And Bigelow Partnership To Map Moose-Car "Hot Zones", Gerry Boyle, Max Slomiak

Colby Magazine

The project began in 2004 when Alex Jospe ’06, a Nordic skier who traveled Maine roads to meets, decided to use skills learned in a GIS class taught by Associate Professor of Environmental Studies Philip Nyhus. Jospe used data supplied by state transportation officials to map moose-collision hot zones. On a trip to Vermont, the map came in handy. “She came back all excited and said, ‘I saw a moose right where my map said I would,’” Nyhus recalled.

Accelerated Online Certificate In Quantum Computing, Joanna Burkhardt

Library Impact Statements

No abstract provided.

Space Science And Social Media: Automating Science Communication On Twitter, Maia Williams

Honors Projects

This project analyzes how social media is used to engage general audiences in astronomy and space science, as well as ways to improve engagement through automation. Tweets from five space science organizations were sampled. The engagement rate for each tweet was calculated from the number of interactions it received. Accounts that tweet more per day had more followers, and accounts with more followers received more interactions. This project also investigated how to build a Twitter bot to automate science communication. Using NASA Application Programming Interfaces, a Twitter bot was written in Python to tweet images taken by the NASA Mars …

Actors For The Internet Of Things, Arjun Shukla

Boise State University Theses and Dissertations

The actor model is a model for concurrent computation, centered around message passing between entities in a system. It is well suited for distributed programming, due to its semantics including very little guarantees or assumptions of reliability. Actor model implementations have grown more widespread in many languages.

The library Akka (written in Scala) is one of the most popular actor libraries. However, Akka is missing some key features. Our goal is to create our own actor library called Aurum, which not only has these features but exhibits higher performance. The new features include easy ways to forge references, configure and …

Dealing With Classification Irregularities In Real-World Scenarios., Payel Sadhukhan Dr.

Doctoral Theses

Data processing by the human sensory system comes naturally. This processing, commonly denoted as pattern recognition and analysis are carried out spontaneously by humans. In day to day life, in most cases, decision making by humans come without any conscious effort. From the middle of the past century, humans have shown interest to render their abstraction capabilities (pattern recognition and analysis) to the machine. The abstraction capability of the machine is ’machine intelligence’ or ’machine learning’ [87].The primary goal of machine learning methods is to extract some meaningful information from the ’data’. Data refers to the information or attributes that …

Gender Gap In Computer Science: An Invitational Rhetoric Study, Cindy Ramirez

Student Scholar Symposium Abstracts and Posters

This project will address the gender gap in computer science through a discourse analysis of materials used to attract young girls to the field. Applying Invitational Rhetoric, Foss and Griffin’s feminist rhetorical theory, I will determine how rhetoric is being used to attract or possibly dissuade young females from entering computer science. Women have contributed to the field of computer science beginning in the 19th century even though computers were not yet invented. Considered the world’s first programmer, Ada Lovelace helped pioneer the first modern computer science concepts, and many of the same ideas we use today, like variables and …

Studies On Diagnostic Coverage And X-Sensitivity In Logic Circuits., Manjari Pradhan Dr.

Doctoral Theses

Today’s integrated circuits comprise billions of interconnected transistors assembled on a tiny silicon chip, and testing them to ensure functional and timing correctness continues to be a major challenge to designers and test engineers with further downscaling of transistors. Although substantial progress has been witnessed during the last five decades in the area of algorithmic test generation and fault diagnosis, applications of combinatorial and machinelearning (ML) techniques to solve these problems remain largely unexplored till date. In this thesis, we study three problems in the context of digital logic test and diagnosis. The first problem is that of fault diagnosis …

Understanding God And His Redemptive Work In Computer Science, Mike Wallinga

Faculty Tenure Papers

Computer science as a discipline and computer scientists as a group tend to exhibit a technical, skills-focused disposition. Curriculum standards demand students acquire a long list of mathematical and programming abilities. Students both expect and are excited by the opportunity to learn the ins and outs of cutting-edge technology. Furthermore, programming a computer is an exercise in exactness and specificity. Is the semicolon in the right place? Are all of the parentheses matched? Does this Boolean logic or loop control statement contain an off-by-one error? Failing to state all of the required commands fully and exactly will result in a …

Making The Easy Accessibility Package, Aaron G. Trudeau

Honors Projects

The Easy Accessibility Package is a code package for Unity (a game engine bundled with game development software) that is meant to help video game developers quickly and easily make their games accessible to disabled gamers. The two main features I include in the project were remappable controls (changing which button performs which in-game action) and screen reader support (reading on screen text or game status aloud), both of which are vital to making games accessible.

The repository for the project at the time of submission can be found here: https://github.com/trudeaua21/EasyAccessibilityPackage/tree/v0.1-alpha

The up-to-date repository for the project can be found …

Investigating Pre-Service Teachers’ Perceptions Of The Virginia Computer Science Standards Of Learning: A Qualitative Multiple Case Study, Valerie Sledd Taylor

Educational Foundations & Leadership Theses & Dissertations

Computer science education is being recognized globally as necessary to better prepare students in all grade levels, K-12, for future success. As a result of this focus on computer science education in the United States and around the world, there is an increased demand for highly qualified teachers with content and pedagogical knowledge to successfully support student learning. As a result, there is a call to include and improve the computer science training offered to pre-service teachers in their educator preparation programs from methods courses to practicum and student teaching experiences. Thus, it is important to understand how pre-service teachers …

The Impact Of Twitter On The National Hockey League And Its Players, Benjamin Strauss

Honors Projects in Data Science

This study offers a new perspective on collecting and analyzing Twitter data surrounding the National Hockey League (NHL) to identify any trends or relationships between the data and overall performance during the 2021 abbreviated season. This paper provides and in-depth analysis by studying a sample of sixty of the top NHL players, specifically those who are typically top performers in the league, spanning over all thirty-one teams and all positions, this study was able to identify a deeper and broader perspective of what implications can be drawn from analyzing data from Twitter to both predict and reflect both individual player …

Essays In Social Choice Theory., Dipjyoti Majumdar Dr.

Doctoral Theses

The purpose of this thesis is to explore some issues in social choice theory and decision theory. Social choice theory provides the theoretical foundations for the field of public choice and welfare economics. It tries to bring together normative aspects like perspective value judgements and positive aspects, like strategic con- siderations. The second feature which is our focus, is closely related to the problem of providing appropriate incentives to agents, an issue of prime importance in eco- nomics.Consider for example, a set of agents who must elect one among a set of can- didates. These candidates may be physical agents …

Introduction To The Mathematical Analysis Of Data Ams 450, Harrison Dekker

Library Impact Statements

No abstract provided.

In Silicoidentification Of Toxins And Their Effect Onhost Pathways: Feature Extraction, Classificationand Pathway Prediction., Rishika Sen Dr.

Doctoral Theses

Identification of toxins, which are either proteins or small molecules, from pathogens is of paramount importance due to their crucial role as first-line invaders infiltrating a host, often leading to infection of the host. These toxins can affect specific proteins, like enzymes that catalyze metabolic pathways, affect metabolites that form the basis of metabolic reactions, and prevent the progression of those pathways, or more generally they may affect the regular functioning of other proteins in signaling pathways in the host. In this regard, the thesis addresses the problem of identification of toxins, and the effect of perturbations by toxins on …

Automated Test Generation For Validating Systemc Designs, Bin Lin

Dissertations and Theses

Modern system design involves integration of all components of a system on a single chip, namely System-on-a-Chip (SoC). The ever-increasing complexity of SoCs and rapidly decreasing time-to-market have pushed the design abstraction to the electronic system level (ESL), in order to increase design productivity. SystemC is a widely used ESL modeling language that plays a central role in modern SoCs design process. ESL SystemC designs usually serve as executable specifications for the subsequent SoCs design flow. Therefore, undetected bugs in ESL SystemC designs may propagate to low-level implementations or even final silicon products. In addition, modern SoCs design often involves …

Introduction To Computers And Programming Using Python: A Project-Based Approach, Esma Yildirim, Daniel Garbin, Mathieu Sassolas, Kwang Hyun Kim

Open Educational Resources

Welcome to the “Introduction to Computers and Programming using Python: A Project-based Approach”. This book is designed to teach basic programming skills to students who are new to the field of computing using a project-based learning approach. It has been designed to give freedom to the instructor, both in format and topics ultimately used throughout the course. While we provide 13 turnkey projects, it is only expected that 3 or 4 are used over the course of a semester, and all projects are provided both as textual instructions (the student version of this OER) and Jupyter Notebooks (one with and …

Sector: A Web-Based Data Management And Sharing System Secured By Blockchain, Matthew Grohotolski

Summer Scholarship, Creative Arts and Research Projects (SCARP)

Since the advent of technology, securely transferring data between two computers over the internet has been a difficult task. This is especially true for organizations and universities who want to take advantage of technology to securely transfer or share data. Although many file transfer services exist, none have achieved secure transfers while also offering a friendly and easy-to-use user interface. SECTOR uses an existing secure transfer service called Globus to conduct secure file transfers and has built a safe and secure user permissions system on top of their functionality. All data used by SECTOR is stored on a distributed ledger …

Inference Of Surface Velocities From Oblique Time Lapse Photos And Terrestrial Based Lidar At The Helheim Glacier, Franklyn T. Dunbar Ii

Graduate Student Theses, Dissertations, & Professional Papers

Using time dependent observations derived from terrestrial LiDAR and oblique
time-lapse imagery, we demonstrate that a Bayesian approach to glacial motion es-
timation provides a concise way to incorporate multiple data products into a single
motion estimation procedure effectively producing surface velocity estimates with
an associated uncertainty. This approach brings both improved computational effi-
ciency, and greater scalability across observational time-frames when compared to
existing methods. To gauge efficacy, we apply these methods to a set of observa-
tions from the Helheim Glacier, a critical actor in contemporary mass loss trends
observed in the Greenland Ice Sheet. We find that …

Analysis Of Subtelomeric Rextal Assemblies Using Quast, Tunazzina Islam, Desh Ranjan, Mohammad Zubair, Eleanor Young, Ming Xiao, Harold Riethman

Computer Science Faculty Publications

Genomic regions of high segmental duplication content and/or structural variation have led to gaps and misassemblies in the human reference sequence, and are refractory to assembly from whole-genome short-read datasets. Human subtelomere regions are highly enriched in both segmental duplication content and structural variations, and as a consequence are both impossible to assemble accurately and highly variable from individual to individual. Recently, we developed a pipeline for improved region-specific assembly called Regional Extension of Assemblies Using Linked-Reads (REXTAL). In this study, we evaluate REXTAL and genome-wide assembly (Supernova) approaches on 10X Genomics linked-reads data sets partitioned and barcoded using the …

Computational Simulation And Analysis Of Neuroplasticity, Madison E. Yancey

Browse all Theses and Dissertations

Homeostatic synaptic plasticity is the process by which neurons alter their activity in response to changes in network activity. Neuroscientists attempting to understand homeostatic synaptic plasticity have developed three different mathematical methods to analyze collections of event recordings from neurons acting as a proxy for neuronal activity. These collections of events are from control data and treatment data, referring to the treatment of neuron cultures with pharmacological agents that augment or inhibit network activity. If the distribution of control events can be functionally mapped to the distribution of treatment events, a better understanding of the biological processes underlying homeostatic synaptic …

Towards Formally Verified Compilation Of Tag-Based Policy Enforcement, Chr Chhak, Andrew Tolmach, Sean Anderson

Computer Science Faculty Publications and Presentations

Hardware-assisted reference monitoring is receiving increasing attention as a way to improve the security of existing software. One example is the PIPE architecture extension, which attaches metadata tags to register and memory values and executes tag-based rules at each machine instruction to enforce a software-defined security policy. To use PIPE effectively, engineers should be able to write security policies in terms of source-level concepts like functions, local variables, and structured control operators, which are not visible at machine level. It is the job of the compiler to generate PIPE-aware machine code that enforces these source-level policies. The compiler thus becomes …