Computer Sciences Commons^™

Star-Based Reachability Analysis Of Binary Neural Networks On Continuous Input, Mykhailo Ivashchenko

School of Computing: Dissertations, Theses, and Student Research

Deep Neural Networks (DNNs) have become a popular instrument for solving various real-world problems. DNNs’ sophisticated structure allows them to learn complex representations and features. However, architecture specifics and floating-point number usage result in increased computational operations complexity. For this reason, a more lightweight type of neural networks is widely used when it comes to edge devices, such as microcomputers or microcontrollers – Binary Neural Networks (BNNs). Like other DNNs, BNNs are vulnerable to adversarial attacks; even a small perturbation to the input set may lead to an errant output. Unfortunately, only a few approaches have been proposed for verifying …

Domination On Bipolar Fuzzy Graph Operations: Principles, Proofs, And Examples, Haifa Ahmed, Mohammed Alsharafi

Neutrosophic Systems with Applications

Bipolar fuzzy graphs, capable of capturing situations with both positive and negative memberships, have found diverse applications in various disciplines, including decision-making, computer science, and social network analysis. This study investigates the domain of domination and global domination numbers within bipolar fuzzy graphs, owing to their relevance in these aforementioned practical fields. In this study, we introduce certain operations on bipolar fuzzy graphs, such as intersection, join, and union of two graphs. Furthermore, we analyze the domination number and the global domination number for various operations on bipolar fuzzy graphs, including intersection, join, and union of fuzzy graphs and their …

Fixed Point Results In Complex Valued Neutrosophic B-Metric Spaces With Application, M. Pandiselvi, M. Jeyaraman

Neutrosophic Systems with Applications

In this manuscript, we introduce the idea of complex-valued Neutrosophic b-metric spaces along with numerous significant illustrations. We provide fixed-point results for contraction maps. To support the main result, we establish the existence and uniqueness of solutions for nonlinear integral equations after the work.

Software Reliability Model Estimation For An Indeterministic Crime Cluster Through Reinforcement Learning, Dileep Kumar Kadali, R.N.V. Jagan Mohan, M. Chandra Naik

Neutrosophic Systems with Applications

The software reliability model estimates the probability of data failure in a specific environment, significantly impacting reliability and trustworthiness. The paper study focuses on cluster crime data, i.e., indeterministic in Neutrosophic Logic, using a software reliability model. The study utilizes reinforcement learning, Neutrosophic logic, and non-homogeneous Poisson process crime data to estimate indeterministic cluster data in crime. The "Non-homogeneous Poisson Process with Neutrosophic Logic" technique performs well in evaluating and deterring crime based on crime data analysis. The crime cluster involving offenders correctly classified as failure to accomplish does better than uncertain cluster reliability estimation with least squares and logistic …

On Heptagonal Neutrosophic Semi-Open Sets In Heptagonal Neutrosophic Topological Spaces: Testing Proofs By Examples, Subasree R, Basarikodi K

Neutrosophic Systems with Applications

In terms of heptagonal neutrosophic topological spaces, the purpose of this paper is to present the idea of heptagonal neutrosophic semi-open sets. Additionally, we examine a few of its characterizations and heptagonal neutrosophic semi-interior and heptagonal neutrosophic semi-closure operators.

Simulacra And Historical Fidelity In Digital Recreation Of Lost Cultural Heritage: Reconstituting Period Materialities For The Period Eye, Trent Olsen, James Hutson, Charles O'Brien, Jeremiah Ratican

Faculty Scholarship

The advancement of digital technologies in art history has opened avenues for reconstructing lost or damaged cultural heritage, a need highlighted by the deteriorated state of many artworks from the 1785 Salon. Grounded in the concept of the “Period Eye” by art historian Michael Baxandall, which emphasizes understanding artworks within their original historical and cultural contexts, this study proposes a subfield focused on Reconstituting Period Materialities for the Period Eye. This methodology bridges comprehensive historical research with generative visual artificial intelligence (AI) technologies, facilitating the creation and immersive virtual reality viewing of artworks. Beyond mere visual replication, the approach aims …

Privacy Protection In Mobile Photography With Face Cloaking, Rithyka Heng

Computer Science and Computer Engineering Undergraduate Honors Theses

In a world of increasing connectivity, privacy is becoming ever-more difficult to maintain. People have little control over the capture of their image while in public and have even less control over the online sharing or posting of their image. This leaves many people vulnerable to being tracked or profiled via their image’s presence in other people’s photos. This thesis implements and evaluates an approach to privacy protection that involves the photographers protecting the privacy of bystanders. Because most photographs are now being taken by smartphones, a mobile application is decidedly the technology that would best achieve widespread adoption and …

Advancing Sentiment Analysis Through Emotionally-Agnostic Text Mining In Large Language Models (Llms), Jay Ratican, James Hutson

Faculty Scholarship

The conventional methodology for sentiment analysis within large language models (LLMs) has predominantly drawn upon human emotional frameworks, incorporating physiological cues that are inherently absent in text-only communication. This research proposes a paradigm shift towards an emotionallyagnostic approach to sentiment analysis in LLMs, which concentrates on purely textual expressions of sentiment, circumventing the confounding effects of human physiological responses. The aim is to refine sentiment analysis algorithms to discern and generate emotionally congruent responses strictly from text-based cues. This study presents a comprehensive framework for an emotionally-agnostic sentiment analysis model that systematically excludes physiological indicators whilst maintaining the analytical depth …

Academic Literature Review In Age Of Ai And Large Language Models​, Aaron Tay

Research Collection Library

Explore the evolving landscape of academic research with a focus on open data and AI advancements, particularly in natural language processing. Join us for a practical presentation on leveraging emerging tools for literature review. Discover platforms like Connected Papers, ResearchRabbit, and Litmaps, offering paper exploration and recommendations based on initial 'seed papers.' Dive into AI-enhanced search engines like Elicit, Scispace, Semantic Scholar, and Scite.ai, powered by Large Language Models such as BERT and GPT. Learn about the latest developments, strengths, and weaknesses of these tools, and how they reshape literature review methods, from tool selection to query input techniques.

Side Channel Detection Of Pc Rootkits Using Nonlinear Phase Space, Rebecca Clark

Poster Presentations

Cyberattacks are increasing in size and scope yearly, and the most effective and common means of attack is through malicious software executed on target devices of interest. Malware threats vary widely in terms of behavior and impact and, thus, effective methods of detection are constantly being sought from the academic research community to offset both volume and complexity. Rootkits are malware that represent a highly feared threat because they can change operating system integrity and alter otherwise normally functioning software. Although normal methods of detection that are based on signatures of known malware code are the standard line of defense, …

Using Machine Learning To Identify Hate Speech And Offensive Language On Twitter., Mayara Lorens, Thayene Lorens

BSc (Hons) in Computing in IT

The central theme of this project is the application of Machine Learning to identify both hate speech and offensive language on Twitter. We chose this topic for its ethical relevance in the technological environment and its business potential. This topic raises concerns such as cyberbullying and the existence of a hostile environment for users. For this reason, we sought to implement four different models to create an automated system capable of identifying and categorizing whether specific content is offensive, non-offensive or neutral.

Topics In The Study Of The Pragmatic Functions Of Phonetic Reduction In Dialog, Nigel G. Ward, Carlos A. Ortega

Departmental Technical Reports (CS)

Reduced articulatory precision is common in speech, but for dialog its acoustic properties and pragmatic functions have been little studied. We here try to remedy this gap. This technical report contains content that was omitted from the journal article (Ward et. al, submitted). Specifically, we here report 1) lessons learned about annotating for perceived reduction, 2) the finding that, unlike in read speech, the correlates of reduction in dialog include high pitch, wide pitch range, and intensity, and 3) a baseline model for predicting reduction in dialog, using simple acoustic/prosodic features, that achieves correlations with human perceptions of 0.24 for …

How To Make A Neural Network Learn From A Small Number Of Examples -- And Learn Fast: An Idea, Chitta Baral, Vladik Kreinovich

Departmental Technical Reports (CS)

Current deep learning techniques have led to spectacular results, but they still have limitations. One of them is that, in contrast to humans who can learn from a few examples and learn fast, modern deep learning techniques require a large amount of data to learn, and they take a long time to train. In this paper, we show that neural networks do have a potential to learn from a small number of examples -- and learn fast. We speculate that the corresponding idea may already be implicitly implemented in Large Language Models -- which may partially explain their (somewhat mysterious) …

Exploring Decentralized Computing Using Solid And Ipfs For Social Media Applications, Pranav Balasubramanian Natarajan

Computer Science and Computer Engineering Undergraduate Honors Theses

As traditional centralized social media platforms face growing concerns over data privacy, censorship, and lack of user control, there has been an increasing interest in decentralized alternatives. This thesis explores the design and implementation of a decentralized social media application by integrating two key technologies: Solid and the InterPlanetary File System (IPFS). Solid, led by Sir Tim Berners-Lee, enables users to store and manage their personal data in decentralized "Pods," giving them ownership over their digital identities. IPFS, a peer-to-peer hypermedia protocol, facilitates decentralized file storage and sharing, ensuring content availability and resilience against censorship. By leveraging these technologies, the …

Sustainable Accounting: The Benefits And Challenges Of Its Implementation, Collin Eckstein

University Honors College

This thesis is centered around the idea that sustainability is a necessary component within the world. Environmental, social, and governance (ESG) factors are key components of analyzing sustainable practices. Although accountants have historically focused on financial reporting, they now have the added function of sustainable accounting as environmental implications are an area of concern for companies. A substantial component of this thesis centers around analyzing how ESG factors contribute to an organization’s financial performance. It also observes how comprehensive sustainability reports impact investor decisions and examines the challenges that auditors face when providing assurance for sustainability initiatives. Furthermore, it examines …

Ai: Is The Future Robots?, Ruthanne Fischer

University Honors College

The goal of this thesis is to analyze how Artificial Intelligence is actively changing. The newly developed technology that is known as Artificial Intelligence can potentially have implications that are not yet known. Artificial Intelligence impacts the business world in many ways. Things such as ChatGPT and Deepfakes are some of the biggest forms of Artificial Intelligence today. It is important to know how Artificial Intelligence is changing every day because no one knows the true implications of a technology like this. It is crucial for companies to understand how this technology can potentially be harmful to their employees. Artificial …

No Sword, No Shield, No Problem: Ai In Pro Se Section 1983 Suits, Michaela Calhoun

University of Colorado Law Review Forum

Originating during the Reconstruction era, 42 U.S.C. 1983 emerged as a legislative tool to safeguard individuals’ constitutional rights and liberties. Initially designed to combat state-sanctioned violence, its efficacy has been eroded over time by subsequent judicial and legislative action. Unfortunately, the current state of Section 1983 falls short of this envisioned role, particularly for incarcerated individuals who find themselves navigating the complexities of the federal court system as pro se litigants.

Faced with a landscape devoid of resources, incarcerated individuals struggle to realize their constitutional rights, further perpetuating their collective status as a second-class citizenry—a status imposed by their own …

Satellite Image Analysis And Sidewalk Classification Using Deep Learning Models, Subeksha Khanal

Master's Theses

Lack of sidewalk pavement can contribute to pedestrian fatalities and injuries in the USA. Although many researchers have conducted research on sidewalk detection, there are not many publicly available datasets that we would work on for sidewalk classification. In this study, I conducted classification tasks using pretrained CNN models including VGG16 and ResNet50. I extended these models by adding custom layers at the top of pretrained layers, employing various techniques to improve the classification accuracy.

The dataset comprises 4,731 images of sidewalk based on occlusion levels, including images where the sidewalk is visible from overhead and instances where sidewalk is …

Detection Of Jamming Attacks In Vanets, Thomas Justice

Undergraduate Honors Theses

A vehicular network is a type of communication network that enables vehicles to communicate with each other and the roadside infrastructure. The roadside infrastructure consists of fixed nodes such as roadside units (RSUs), traffic lights, road signs, toll booths, and so on. RSUs are devices equipped with communication capabilities that allow vehicles to obtain and share real-time information about traffic conditions, weather, road hazards, and other relevant information. These infrastructures assist in traffic management, emergency response, smart parking, autonomous driving, and public transportation to improve roadside safety, reduce traffic congestion, and enhance the overall driving experience. However, communication between the …

Cultural Immersion In Gaming: Ethiopian Influences In Horizon Forbidden West, Henoch Tilahun

ART 108: Introduction to Games Studies

This paper examines the immersive incorporation of Ethiopian culture in the video game "Horizon Forbidden West," focusing on visual, narrative, and thematic themes. It explains how the game represents Ethiopian legacy and custom by examining architectural design, landscape portrayal, mythological integration, and character representation. The paper uses different academic works and gaming articles and emphasizes the game's ability to inspire empathy, curiosity, and enthusiasm for cultural diversity, as well as cross-cultural appreciation and understanding. It also investigates the importance of ethical and responsible game production approaches in ensuring accurate cultural portrayal. Finally, this paper examines the transformative power of cultural …

Scientific Frontiers In Game Studies, Prthvi Kapilavai

ART 108: Introduction to Games Studies

Video game studies as a dynamic field has benefited from this synthesis of the scientific method and critical theories that, together, enrich our understanding of video games as both technological artifacts and cultural products.(Girina and Jung, 2019). More than a mere shadow-boxing between disciplinary echo chambers, this kind of integration enriches our understanding of video game form and experience while projecting a more informed path forward into game design and game scholarship. It demonstrates how findings from psychology and cognitive science describe or explain video games’ enticement or their potential for learning, and how theories of media from the humanities …

An Exploration Of Procedural Methods In Game Level Design, Hector Salinas

Computer Science and Computer Engineering Undergraduate Honors Theses

Video games offer players immersive experiences within intricately crafted worlds, and the integration of procedural methods in game level designs extends this potential by introducing dynamic, algorithmically generated content that could stand on par with handcrafted environments. This research highlights the potential to provide players with engaging experiences through procedural level generation, while potentially reducing development time for game developers.

Through a focused exploration on two-dimensional cave generation techniques, this paper aims to provide efficient solutions tailored to this specific environment. This exploration encompasses several procedural generation methods, including Midpoint Displacement, Random Walk, Cellular Automata, Perlin Worms, and Binary Space …

Automatic Extraction Of Vulnerability Information For Security Operators Using Gpt Models, Waeland Elder

Computer Science and Computer Engineering Undergraduate Honors Theses

Artificial intelligence has progressed rapidly in recent years, greatly revolutionizing the world and helping to automate increasingly complex tasks. However, there are still some disciplines where the problem of automation has not yet been thoroughly tackled, such as in software vulnerability management. Vulnerability management is a critical component of cybersecurity for an organization. Until recently, learning about a vulnerability required a security operator to manually search and read through online information and security advisories to find needed information. Doing so is a significantly time-consuming task, as these advisories tend to be quite lengthy and packed with information about various technologies. …

The Quantitative Analysis And Visualization Of Nfl Passing Routes, Sandeep Chitturi

Computer Science and Computer Engineering Undergraduate Honors Theses

The strategic planning of offensive passing plays in the NFL incorporates numerous variables, including defensive coverages, player positioning, historical data, etc. This project develops an application using an analytical framework and an interactive model to simulate and visualize an NFL offense's passing strategy under varying conditions. Using R-programming and data management, the model dynamically represents potential passing routes in response to different defensive schemes. The system architecture integrates data from historical NFL league years to generate quantified route scores through designed mathematical equations. This allows for the prediction of potential passing routes for offensive skill players in response to the …

An In-Network Approach For Pmu Missing Data Recovery With Data Plane Programmability, Jack Norris

Computer Science and Computer Engineering Undergraduate Honors Theses

Phasor measurement unit (PMU) systems often experience unavoidable missing and erroneous measurements, which undermine power system observability and operational effectiveness. Traditional solutions for recovering missing PMU data employ a centralized approach at the control center, resulting in lengthy recovery times due to data transmission and aggregation. In this work, we leverage P4-based programmable networks to expedite missing data recovery. Our approach utilizes the data plane programmability offered by P4 to present an in-network solution for PMU data recovery. We establish a data-plane pipeline on P4 switches, featuring a customized PMU protocol parser, a missing data detection module, and an auto-regressive …

Magdm Model Using Single-Valued Neutrosophic Credibility Matrix Energy And Its Decision-Making Application, Jun Ye, Rui Yong, Wanlu Du

Neutrosophic Systems with Applications

This paper aims to develop a MAGDM model using single-valued neutrosophic credibility matrix (SVNCM) energy in a SVNCM scenario. To do it, first, SVNCM energy and its score function are presented as a conceptual extension of existing single-valued neutrosophic matrix (SVNM) energy. Then, a MAGDM model is developed in terms of SVNCM energy and its score function in a SVNCM scenario and also its decision algorithm is provided to solve MAGDM problems with SVNCMs. Finally, the developed MAGDM model is applied in the school site selection problem as an actual example, then the comparative investigation of the decision results in …

Ai And Advocacy: Maximizing Potential, Minimizing Risk, Matthew Salzano, Nicholas Fung, Ada Lin, Sofia Marchetta, Faith Colombo, Kaylah Davis, John Flynn, Carlos Fuentes, Fion Li, Malar Paavi Muthukumaran, Angelica Paramoshin, Chrisanne Pearce, Vianney Ramos, Charles St. Hilaire, Xi Zheng, Wei Zhuang

School of Communication and Journalism Faculty Publications

New Generative AI tools are revolutionizing writing and communication. This report focuses on AI and advocacy, the act of influencing public policy and resource allocation decisions within political, economic, and social systems and institutions. This report identifies three major opportunities and accompanying risks, plus one strong recommendation for advocates considering using AI. We argue that AI can be useful for advocates, but they must be careful to center human judgment and avoid risks that could distract from their important work or even contribute to societal harms.

Factors Influencing Performance Of Students In Software Automated Test Tools Course, Susmita Haldar, Mary Pierce, Luiz Fernando Capretz

Electrical and Computer Engineering Publications

Formal software testing education is important for building efficient QA professionals. Various aspects of quality assurance approaches are usually covered in courses for training software testing students. Automated Test Tools is one of the core courses in the software testing post-graduate curriculum due to the high demand for automated testers in the workforce. It is important to understand which factors are affecting student performance in the automated testing course to be able to assist the students early on based on their needs. Various metrics that are considered for predicting student performance in this testing course are student engagement, grades on …

A Little Loud And A Little Alone: A Phenomenology Of Leadership Identity Construction Among Women In Higher Education Technology, Amy Barry

Department of Teaching, Learning, and Teacher Education: Theses and Other Student Research

This qualitative study is an exploration of how women in higher education information technology (IT) positions navigate constructing their leadership identities. This includes the messy, personal, internal identity work that occurs prior to claiming their leadership identities on the public stage, followed by an examination of what the experience of attempting to claim and negotiate a leadership identity is like in the social context of their organizations. This educational and sociological study employs an Interpretative Phenomenological Analysis approach with a series of three interviews per participant that allowed the researcher to deeply explore the personal identity experiences of participants. Findings …

Murmurations And Root Numbers, Alexey Pozdnyakov

University Scholar Projects

We report on a machine learning investigation of large datasets of elliptic curves and L-functions. This leads to the discovery of murmurations, an unexpected correlation between the root numbers and Dirichlet coefficients of L-functions. We provide a formal definition of murmurations, describe the connection with 1-level density, and provide three examples for which the murmuration phenomenon has been rigorously proven. Using our understanding of murmurations, we then build new machine learning models in search of a polynomial time algorithm for predicting root numbers. Based on our models and several heuristic arguments, we conclude that it is unlikely for …