Computer Sciences Commons^™

The Basic Dualism In The World: Object-Oriented Ontology And Systems Theory, Martin Zwick

Complex Systems Faculty Publications and Presentations

Graham Harman writes that the “basic dualism in the world lies…between things in their intimate reality and things as confronted by other things.” However, dualism implies irreconcilable difference; what Harman points to is better expressed as a dyad, where the two components imply one another and interact. This article shows that systems theory has long asserted the fundamental character of Harman’s dyad, expressing it as the union of internal structure and external function, which correspond exactly to what Levi Bryant, characterizing Harman’s views, refers to as the intra-ontic and the inter-ontic, respectively. After interpreting Harman’s dyad in terms of the …

Story Of Your Lazy Function's Life: A Bidirectional Demand Semantics For Mechanized Cost Analysis Of Lazy Programs, Li-Yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

Computer Science Faculty Publications and Presentations

Lazy evaluation is a powerful tool that enables better compositionality and potentially better performance in functional programming, but it is challenging to analyze its computation cost. Existing works either require manually annotating sharing, or rely on separation logic to reason about heaps of mutable cells. In this paper, we propose a bidirectional demand semantics that allows for extrinsic reasoning about the computation cost of lazy programs without relying on special program logics. To show the effectiveness of our approach, we apply the demand semantics to a variety of case studies including insertion sort, selection sort, Okasaki's banker's queue, and the …

Concolic Testing For Scripting Languages, Zhe Li

Dissertations and Theses

Scripting languages, such as JavaScript and Lua, are becoming more and more popular. They are typically easy to learn and use, making them accessible to a wide range of developers, even those with limited programming experience. Lua, for instance, is a lightweight, efficient, and versatile scripting language. It is designed to be easy to integrate into other systems and is often used as an embedded scripting language in larger applications such as NMap, which is a network scanning tool.

As another example, web front-end development with JavaScript (JS) is a popular choice for developers due to its ability to add …

True Contraction Decomposition And Almost Eth-Tight Bipartization For Unit-Disk Graphs, Sayan Bandyapadhyay, William Lochet, Daniel Lokshtanov, Saket Saurabh, Jie Xue

Computer Science Faculty Publications and Presentations

We prove a structural theorem for unit-disk graphs, which (roughly) states that given a set D of n unit disks inducing a unit-disk graph ...

Henna Chatbot Capstone Review, Kobe Norcross

University Honors Theses

This thesis reviews the development of the Henna Chatbot, an AI-powered DEI consultant designed to provide personalized feedback to organizations. Sponsored by DEI consultant Arsh Haque, the project aims to address gaps in current DEI software, which often lacks team-specific feedback. The Henna Chatbot leverages GPT-3.5 Turbo to create an affordable SaaS platform where organizations can train Henna with their DEI values, and Henna will help organizations stay aligned with those values. The project spanned twenty weeks and was completed by a team of eight computer science students at Portland State University. The development process followed Agile methodologies, emphasizing effective …

Mapping Mental Models Through An Improved Method For Identifying Causal Structures In Qualitative Data, Erin S. Kenzie, Wayne Wakeland, Antonie Jetter, Kristen Hassmiller Lich, Mellodie Seater, Melinda M. Davis

Complex Systems Faculty Publications and Presentations

Qualitative data are commonly used in the development of system dynamicsmodels, but methods for systematically identifying causal structures in qualita-tive data have not been widely established. This article presents a modifiedprocess for identifying causal structures (e.g., feedback loops) that are commu-nicated implicitly or explicitly and utilizes software to make coding, tracking,and model rendering more efficient. This approach draws from existingmethods, system dynamics best practice, and qualitative data analysis tech-niques. Steps of this method are presented along with a description of causalstructures for an audience new to system dynamics. The method is applied to aset of interviews describing mental models of …

The Institutional Challenges Of A Quantified Self Study: An Attempt To Ascertain How Data Collected From A Mobile Device Can Be An Indicator Of Personal Mental Health Over Time, Julian Lazaras

University Honors Theses

The adoption of an application of new technology always comes with a bias, this is never more true for the case of human behavioral analytics within higher education. While movements such as the quantified self movement make strides to reinterpret the realm of data analytics, psychology, and computer science, there are inevitably limitations to the adoption and application of such approaches within the standard realm of research. Herein is presented a case where an effort to evaluate the prospect of use of mobile phone data as secondary indicators of personal mental health through the lens of data analysis was put …

Cards With Class: Formalizing A Simplified Collectible Card Game, Dan Ha

University Honors Theses

Collectible card games (CCGs) have been a wildly popular game genre since the release of Wizards of the Coast's Magic: The Gathering. These games revolve around their thousands of cards and the hundreds of thousands of interactions they can create with their many effects. For designers, it is an incredibly demanding task to ensure that every single card works properly and that each card's text unambiguously conveys its intended behavior in all cases. The task only grows more difficult over time as the number of cards in the game grows and card effects become more complex or experimental. If the …

Artificial Intelligence As The Next Front In The Class War, Christopher Hill

Dissertations and Theses

For many years, artificial intelligence has been confined to the realm of science fiction, and while the technology has been in development, predicting the effects AI will have on our society has been a challenging endeavor. The release of ChatGPT in 2022, the subsequent mass adoption of the AI chatbot, and the response by other private firms in the field announced AI's permanent entrance into the public sphere. These recent strides made in the field of artificial intelligence reveal that the pace of technological development has outstripped the rate at which we are able to politically examine and understand these …

Resource-Constrained 2d Scene Recovery With Single-Photon Cameras, Daphne Ariadne Kurzenhauser

Dissertations and Theses

The modern world is built of images. However, in our goal to photograph and replicate what the human eye is capable of seeing, we are throttled by the restrictions of conventional imaging sensors in high- and low-illumination environments. Single-photon cameras (SPCs) have recently emerged as a promising alternative to conventional camera sensors for capturing images in challenging conditions such as high-dynamic range and fast scene motion. Compared to traditional CMOS cameras, SPCs exploit the arrival of individual photons rather than using an aggregate photon count to compute the brightness of pixels. However, SPCs are extremely resource-intensive, making them inconvenient for …

On Coresets For Fair Clustering In Metric And Euclidean Spaces And Their Applications, Sayan Bandyapadhyay, Fedor V. Fomin, Kirill Simonov

Computer Science Faculty Publications and Presentations

Fair clustering is a constrained clustering problem where we need to partition a set of colored points. The fraction of points of each color in every cluster should be more or less equal to the fraction of points of this color in the dataset. The problem was recently introduced by Chierichetti et al. (2017) [1]. We propose a new construction of coresets for fair clustering for Euclidean and general metrics based on random sampling. For the Euclidean space Rd, we provide the first coreset whose size does not depend exponentially on the dimension d. The question of whether such constructions …

Auditory Ace Mobile Application Capstone Review, Layla Smith

University Honors Theses

This paper describes the development process and outcomes of my 2023-2024 Capstone Project, Auditory Ace, a self-directed auditory training mobile application for individuals with cochlear implants. Recognizing the limitations of current market offerings, Dr. Timothy Anderson created a Capstone project proposal to develop an accessible auditory training mobile application. The Capstone team that took on this proposal consisted of Darya Haines, Dustin Huynh, Jordan Nguyen, Nihar Koppolu, Scott Thorkelson, Sienna Day, and myself, Layla Smith. This paper is structured to follow the Agile software development methodology, which we used to develop Auditory Ace, reviewing in detail every major choice we …

The Cascading Effects Of Database Design, Liam Mccracken

University Honors Theses

This paper details how a relational database influenced the design of the rest of a software project. The software project in question is WonderTix, an open-source ticketing and donation platform for the use of Portland Playhouse under continuous development by teams of Portland State students as their computer science capstone project. The paper, a capstone review thesis, examines WonderTix as an instantiation of the Model-View-Controller design pattern, noting how the model, a relational database based on the SQL standard, influenced the design of the view and controller components. This influence is explored from three angles. First, when the implementation of …

Virtual Field Environments Capstone Software Review, Ashton Sawyer

University Honors Theses

This is a review of the Virtual Field Environments computer science capstone project, sponsored by geology professor Rick Hugo. The tool aims to create and render VFEs, interactable 360° environments hosted on the web that are used as virtual field trips for K-12 students. This essay discusses the development process, including understanding requirements, tool and technology selection, problem-solving, and decision-making strategies. It also highlights the differences between the capstone and the other core computer science courses, and how those differences help to prepare students for the workforce. The project was completed over the course of twenty weeks by a team …

Lang2views Capstone: The Importance Of A Conscientious Team Lead, Joseph Wornath

University Honors Theses

This review essay reflects the Lang2views capstone project from the perspective of a team lead. The Lang2views capstone project was a web-based user interface designed to simplify how the Lang2views corporation localizes videos into other languages for their clients. Our capstone group was split into three subgroups: front-end, back-end, and DevOps. The strategy for completing the project went through a major change midway through development wherein we changed our software development methodology from a more rigid Waterfall-type approach to a more flexible Agile methodology. Because of this, many of the initially planned features had to be reevaluated as out of …

Enhancing Robustness Of Machine Learning Models Against Adversarial Attacks, Ronak Guliani

University Honors Theses

Machine learning models are integral for numerous applications, but they remain increasingly vulnerable to adversarial attacks. These attacks involve subtle manipulation of input data to deceive models, presenting a critical threat to their dependability and security. This thesis addresses the need for strengthening these models against such adversarial attacks. Prior research has primarily focused on identifying specific types of adversarial attacks on a limited range of ML algorithms. However, there is a gap in the evaluation of model resilience across algorithms and in the development of effective defense mechanisms. To bridge this gap, this work adopts a two-phase approach. First, …

Automatic Measurement Of Dialogue Engagingness In Multilingual Settings, Amila Ferron

Dissertations and Theses

Expansive use of large language models (LLMs) as dialogue systems brings increased importance to the evaluation of the responses they generate. Although evaluation of qualities such as coherence and fluency are readily possible with well-established automatic metrics, engagingness is often measured with human evaluation -- a process that can be costly and slows the pace of development. Existing automatic metrics for engagingness have low to moderate correlation with human annotations, evaluate the response without the conversation history, are complicated to implement, or are designed for a specific dataset. Moreover, they have been tested exclusively on English conversations. Given that dialogue …

A Systems Theoretic View Of Speculative Realism, Martin Zwick

Complex Systems Faculty Publications and Presentations

Recent developments in Continental philosophy have included the emergence of a school of “speculative realism,” which rejects the human-centered orientation that has long dominated Continental thought. Proponents of speculative realism differ on several issues, but many agree on the need for an object-oriented ontology. Some speculative realists identify realism with materialism, while others accord equal reality to objects that are non-material, even fictional. Several thinkers retain a focus on difference, a well-established theme in Continental thought. This paper looks at speculative realism from the perspective of systems theory. Many of the tenets of speculative realism have long been features of …

A Deep Learning Framework For Blockage Mitigation In Mmwave Wireless, Ahmed Hazaa Almutairi

Dissertations and Theses

Millimeter-Wave (mmWave) communication is a key technology to enable next generation wireless systems. However, mmWave systems are highly susceptible to blockages, which can lead to a substantial decrease in signal strength at the receiver. Identifying blockages and mitigating them is thus a key challenge to achieve next generation wireless technology goals, such as enhanced mobile broadband (eMBB) and Ultra-Reliable and Low-Latency Communication (URLLC). This thesis proposes several deep learning (DL) frameworks for mmWave wireless blockage detection, mitigation, and duration prediction. First, we propose a DL framework to address the problem of identifying whether the mmWave wireless channel between two devices …

Accord: Constraint-Driven Mediation Of Multi-User Conflicts In Cloud Services, Abhiroop Tippavajjula, Primal Pappachan, Anna Squicciarini, Jose Such

Computer Science Faculty Publications and Presentations

When multiple users adopt collaborative cloud services like Google Drive to work on a shared resource, incorrect or missing permis- sions may cause conflicting or inconsistent access or use privileges. These issues (or conflicts) compromise resources confidentiality, integrity, or availability leading to a lack of trust in cloud services. An example conflict is when a user with editor permissions changes the permissions on a shared resource without consent from the orig- inal resource owner. In this demonstration, we introduce ACCORD, a web application built on top of Google Drive able to detect and resolve multi-user conflicts. ACCORD employs a simulator …

Fea Simulations For Thermal Distributions Of Large Scale 3dic Packages, Suxia Chen, Qiang Wu, Wayne Xun, Jiachen Zhang, Jianping Xun

Computer Science Faculty Publications and Presentations

As the market increases for Artificial Intelligence and High-Performance Computing applications, the geometry of 3-Dimensional Integrated Circuit packages becomes more complicated; therefore, predicting the thermal distributions of the structures becomes not only more important but also more challenging. The physics governing the thermal distribution is a 3-dimensional partial differential equation. In order to predict the thermal distributions, various approaches such as the layer modeling method have been invented. While practical, these approaches solve a simplified version of the differential equation placing an inherent limitation on their capabilities which may be improved upon. In this research we solve the actual differential …

Improving Tattle-Tale K-Deniability, Nicholas G.E. Morales

Student Research Symposium

Ensuring privacy for databases is an ongoing struggle. While the majority of work has focused on using access control lists to protect sensitive data these methods are vulnerable to inference attacks. A set of algorithms, referred to as Tattle-Tale, was developed that could protect sensitive data from being inferred however its runtime performance wasn’t suitable for production code. This set of algorithms contained two main subsets, Full Deniability and K-Deniability. My research focused on improving the runtime or utility of the K-Deniability algorithms. I investigated the runtime of the K-Deniability algorithms to identify what was slowing the process down. Aside …

Integration Of Agent Models And Meta Reinforcement Learning (Meta-Rl) Algorithms For Car Racing Experiment, Vidyavarshini Holenarasipur Jayashankar

Student Research Symposium

Introduction: Achieving optimal performance in 2D racing games presents unique challenges, requiring adaptive strategies and advanced learning algorithms. This research explores the integration of sophisticated agent models with Meta Reinforcement Learning (Meta-RL) techniques, specifically Model-Agnostic Meta-Learning (MAML) and Proximal Policy Optimization (PPO), to enhance decision-making and adaptability within these simulated environments. We hypothesize that this innovative approach will lead to marked improvements in game performance and learning efficiency.

Methods: In our experimental setup, we applied MAML for its rapid adaptation capabilities and PPO for optimizing the agents' policy decisions within a 2D racing game simulator. The objective was …

A Novel Caching Algorithm For Efficient Fine-Grained Access Control In Database Management Systems, Anadi Shakya

Student Research Symposium

Fine-grained access Control (FGAC) in DBMS is vital for restricting user access to authorized data and enhancing security. FGAC policies govern how users are granted access to specific resources based on detailed criteria, ensuring security and privacy measures. Traditional methods struggle with scaling policies to thousands, causing delays in query responses. This paper introduces a novel caching algorithm designed to address this challenge by accelerating query processing and ensuring compliance with FGAC policies. In our approach, we create a circular hashmap and employ different replacement techniques to efficiently manage the cache, prioritizing entries that are visited more frequently. To evaluate …

Securing The Internet Of Things At Scale, Steven L. Willoughby

Student Research Symposium

The world of the connected “Internet of Things” (IoT), including the "Industrial Internet of Things" (IIoT) is expanding to include more devices which observe and influence our daily lives, routines, locations, and even our state of health. But have the underlying protocols by which they communicate this data kept pace with the need to protect our privacy and security?

My talk will introduce my research into an approach to better secure this information flow using appropriate access controls without sacrificing performance. I will assess the historical challenges and simple access controls applied to IoT networking protocols and how they can …

Story Of Your Lazy Function’S Life: A Bidirectional Demand Semantics For Mechanized Cost Analysis Of Lazy Programs, Laura Israel, Nicholas Coltharp

Student Research Symposium

Lazy evaluation is a powerful tool that enables better compositionality and potentially better performance in functional programming, but it is challenging to analyze its computation cost. Existing works either require manually annotating sharing, or rely on separation logic to reason about heaps of mutable cells. In this paper, we propose a bidirectional demand semantics that allows for reasoning about the computation cost of lazy programs without relying on special program logics. To show the effectiveness of our approach, we apply the demand semantics to a variety of case studies including insertion sort, selection sort, Okasaki's banker's queue, and the push …

Systematic Comparison Of Reservoir Computing Frameworks, Nihar S. Koppolu, Christof Teuscher

Student Research Symposium

In this poster, we present a systematic evaluation and comparison of five Reservoir computing (RC) software simulation frameworks, namely reservoirpy, RcTorch, pyRCN, pytorch-esn, and ReservoirComputing.jl. RC is a specific machine learning approach that leverages fixed, nonlinear systems to map signals into higher dimensions. Its unique strength lies in training only the readout layer, which reduces the training complexity. RC excels in temporal signal processing and is also well suited for various physical implementations. The increasing interest in RC has led to the proliferation of various RC simulation frameworks. Our RC simulation framework evaluation focuses on a feature comparison, documentation quality, …

Behavioral Intention For Ai Usage In Higher Education, Isaac A. Odai, Elliot Wiley

Student Research Symposium

This study sought to further understand the cognitive factors that influence undergraduate students' behavioral intention to use generative AI. Generative AI's presence in academic spaces opens the door for ethical and pedagogical questions. This study surveyed 51 undergraduate communication students to measure their attitudes, subjective norms, self efficacy and their behavioral intention to use GenAI for school work. The results of this study showed behavioral intent had a positive relationship with attitudes and subjective norms. The implications of these findings show that personal beliefs and the perceived beliefs of others are correlated to undergraduate students’ intent to use GenAI for …

Static Reflective Surfaces For Improved Terahertz Coverage, Thanh Le, Suresh Singh

Computer Science Faculty Publications and Presentations

LoS (Line of Sight) MIMO (Multiple Input Multiple Output) is considered the best way to deliver high capacity channels for terahertz communications due to the severe attenuation suffered by reflected components. Unfortunately, terahertz links are easily blocked by any obstruction resulting in link breakage. Therefore, it is necessary to provide alternative paths via reflectors. A problem shared by LoS paths and reflected paths (via polished reflectors) is that the channel matrix is rank 1 in the far-field. As a result, the achieved capacity is lower than what can theoretically be achieved in a rich multi-path environment. In this work, we …

Designing For Deployable, Secure, And Generic Machine Learning Systems, Li-Yun Wang

Dissertations and Theses

Machine learning systems have catalyzed numerous image-centric applications owing to the significant achievements of machine learning algorithms and models. While these systems have showcased the efficacy of machine learning models, certain challenges persist, such as machine learning system design and security vulnerabilities inherent in deep neural networks. Moreover, the deployment of deep neural network models remains a significant hurdle. This dissertation introduces a multimedia prototyping framework tailored for visual analytical applications, improving the reusability of video analysis software tools with minimal performance overhead. Furthermore, we present novel image-processing techniques designed to bolster the robustness of deep neural networks and propose …