Digital Commons Network^™

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 …

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

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 …

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 …

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 …

How Can We Explain Empirical Formulas For Shrinkage Cracking Of Cement-Stabilized Pavement Layers, Edgar Daniel Rodriguez Velasquez, Vladik Kreinovich

Departmental Technical Reports (CS)

In pavement construction, one of the frequent defects is shrinkage cracking of the cement-stabilized pavement layer. To minimize this defect, it is important to be able to predict how this cracking depends on the quantities describing the pavement layer and the corresponding environment. Cracking is usually described by two parameters: the average width of the crack and the crack spacing. Empirical analysis shows that the dependence of the width on all related quantities is described by a power law. Power laws are ubiquitous in physics, they describe a frequent case when the dependence is scale-invariant -- i.e., does not change …

Monero: Powering Anonymous Digital Currency Transactions, Jake Braddy

Theses/Capstones/Creative Projects

Cryptocurrencies rely on a distributed public ledger (record of transactions) in order to perform their intended functions. However, the public’s ability to audit the network is both its greatest strength and greatest weakness: Anyone can see what address sent currency, and to whom the currency was sent. If cryptocurrency is ever going to take some of the responsibility of fiat currency, then there needs to be a certain level of confidentiality. Thus far, Monero has come out on top as the preferred currency for embodying the ideas of privacy and confidentiality. Through numerous cryptographic procedures, Monero is able to obfuscate …

Navigate The World Of Rfid: Diversity, Capabilities, And Constraints Of Readers And Tags, Rachana Pandey

2024 Spring Honors Capstone Projects - Archive

Radio-Frequency Identification (RFID) technology, a method for storing and retrieving data through electromagnetic transmission to an RFID tag, is revolutionizing inventory and asset management in various sectors, including healthcare. This research explores the applications of RFID in a medical setting. It assesses various RFID readers and tags, focusing on their functional capabilities, ranges, and limitations within a medical environment. Employing a comprehensive approach, the study integrates an extensive literature review, comparative analysis, and empirical data from both experimental simulations and real-world healthcare scenarios. The aim is to identify RFID solutions that optimize surgical equipment management, thereby enhancing both operational efficiency …

Using Dynamic Schemas For Query Optimization Over Json Data., Tomas Felipe Llano-Rios

Electronic Theses and Dissertations

Query optimization in document stores has traditionally relied on rule-based approaches, but recent research advocates for a shift towards cost-based optimization. However, this transition is hindered by the fragmented nature of existing approaches, stemming from the early development stage of cost-based query optimization for document databases. A key challenge lies in the absence of a standardized query language and semantics, exacerbated by the diverse and schema-less nature of JSON document collections. To tackle these challenges, the literature has proposed dynamic schemas, primarily utilized at parsing time. However, these schemas lack a formal foundation that describes meaningful semantics for query optimization. …

Multithreaded Applications On The Heterogeneous Research Computing Environment., Sungbo Jung

Electronic Theses and Dissertations

Bioinformatics is a domain that has experienced rapid research growth in recent years, as evidenced by the increasing number of articles in biomedical databases such as PubMed, which adds over a million publications every year. However, this also poses a challenge for researchers who need to find relevant citations for their work. Therefore, developing efficient indexing and searching methods for text data is crucial for Bioinformatics. One key technique for information retrieval is document inversion, which involves creating an inverted index to enable efficient searching through vast collections of text or documents. This Ph.D. research aims to design the research …

Proof-Of-Concept For Converging Beam Small Animal Irradiator, Benjamin Insley

Dissertations and Theses (Open Access)

The Monte Carlo particle simulator TOPAS, the multiphysics solver COMSOL., and

several analytical radiation transport methods were employed to perform an in-depth proof-ofconcept

for a high dose rate, high precision converging beam small animal irradiation platform.

In the first aim of this work, a novel carbon nanotube-based compact X-ray tube optimized for

high output and high directionality was designed and characterized. In the second aim, an

optimization algorithm was developed to customize a collimator geometry for this unique Xray

source to simultaneously maximize the irradiator’s intensity and precision. Then, a full

converging beam irradiator apparatus was fit with a multitude …