System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.

Music has consistently been documented as a manner to bring people together across cultures throughout the world. In this research, we propose that people use similar musical taste as a strong sign of potential social connection. To investigate this notion, we draw on literature examining how music merges the public/private self, the link to personality, and group identity, as well as how it is linked to romantic relationships. Thus, music can be a tool when wanting to get to know someone else and/or forge a platonic relationship. To test this hypothesis, we designed an experiment comparing music relative to another commonality (sharing a sports team in common) to see which factor is stronger in triggering an online social connection. We argue that people believe they have more in common with someone who shares similar music taste compared to other commonalities. We discuss implications for marketers on music streaming platforms.

Music has consistently been documented as a manner to bring people together across cultures throughout the world. In this research, we propose that people use similar musical tastes as a strong sign of potential social connection. To investigate this notion, we draw on literature examining how music merges the public/private self, the link to personality, and group identity, as well as how it is linked to romantic relationships. Thus, music can be a tool when wanting to get to know someone else and/or forge a platonic relationship. To test this hypothesis, we designed an experiment comparing music relative to another commonality (sharing a sports team in common) to see which factor is stronger in triggering an online social connection. We argue that people believe they have more in common with someone who shares similar music taste compared to other commonalities. We discuss implications for marketers on music streaming platforms.

The purpose of this creative project was to create a stereo sound system in a unique medium. As a team, we decided to integrate a Tesla Coil with a bluetooth audio source. These high frequency, high voltage systems can be configured to emit their electrical discharge in a manner that resembles playing tunes. Originally the idea was to split the audio into left and right, then to further segregate the signals to have a treble, mid, and base emitter for each side. Due to time, budget, and scope constraints, we decided to complete the project with only two coils.<br/><br/>For this project, the team decided to use a solid-state coil kit. This kit was purchased from OneTelsa and would help ensure everyone’s safety and the project’s success. The team developed our own interrupting or driving circuit through reverse-engineering the interrupter provided by oneTesla and discussing with other engineers. The custom interpreter was controlled by the PSoC5 LP and communicated with an audio source through the DFRobot Bluetooth module. Utilizing the left and right audio signals it can drive the two Tesla Coils in stereo to play the music.

The purpose of this creative project was to create a stereo sound system in a unique medium. As a team, we decided to integrate a Tesla Coil with a bluetooth audio source. These high frequency, high voltage systems can be configured to emit their electrical discharge in a manner that resembles playing tunes. Originally the idea was to split the audio into left and right, then to further segregate the signals to have a treble, mid, and base emitter for each side. Due to time, budget, and scope constraints, we decided to complete the project with only two coils.<br/><br/>For this project, the team decided to use a solid-state coil kit. This kit was purchased from OneTelsa and would help ensure everyone’s safety and the project’s success. The team developed our own interrupting or driving circuit through reverse-engineering the interrupter provided by oneTesla and discussing with other engineers. The custom interpreter was controlled by the PSoC5 LP and communicated with an audio source through the DFRobot Bluetooth module. Utilizing the left and right audio signals it can drive the two Tesla Coils in stereo to play the music.

Music streaming services have affected the music industry from both a financial and legal standpoint. Their current business model affects stakeholders such as artists, users, and investors. These services have been scrutinized recently for their imperfect royalty distribution model. Covid-19 has made these discussions even more relevant as touring income has come to a halt for musicians and the live entertainment industry. <br/>Under the current per-stream model, it is becoming exceedingly hard for artists to make a living off of streams. This forces artists to tour heavily as well as cut corners to create what is essentially “disposable art”. Rapidly releasing multiple projects a year has become the norm for many modern artists. This paper will examine the licensing framework, royalty payout issues, and propose a solution.

Electronic dance music (EDM) is a broad genre of music that, after gaining popularity, quickly became stigmatized. This study aimed to examine stigma associations of electronic dance music with substance abuse, cult-like devotion, and the inauthenticity of EDM fans. Further, this study intended to examine the positive aspects of tolerance, inclusivity, and authenticity associated with the electronic dance community. An online survey composed of 12 questions was administered to 876 students. The survey data was then analyzed and compared to the information gathered through a literature review. The major findings suggest that, when compared to other genres, there is a level of accuracy to the association of electronic dance music events with substance abuse, but not cult-like devotion or inauthenticity. The findings also suggest that there is no less inclusivity nor authenticity experienced at electronic dance music events compared to other genres. Another major finding is that the negative associations of electronic dance music were shared more often by those who have never attended such events. However, the positive associations were shared more often by those who have attended such events. These findings suggest that experiencing an electronic dance music event for oneself is important to understand the true nature of such events, for they have been shown to engender positive social values such as tolerance, inclusivity, and authenticity.

This project explores how modern mobile technology can be used to provide support for domestic violence victims. The goal of the project is to create a proof-of-concept iOS mobile application that maintains a discreet safety front and provides domestic violence victims with resources and safety planning. The design and implementation are disguised as a hair salon app to maintain a low profile on the user’s phone. The HairHelp app features quick exit navigation, a secure database to store a user’s private and personal documents in case of emergency, and a checklist of safety planning measures. The steps taken in this project serve as the foundation for a larger project in the long term.