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.

The Covid-19 pandemic has made a significant impact on both the stock market and the<br/>global economy. The resulting volatility in stock prices has provided an opportunity to examine<br/>the Efficient Market Hypothesis. This study aims to gain insights into the efficiency of markets<br/>based on stock price performance in the Covid era. Specifically, it investigates the market’s<br/>ability to anticipate significant events during the Covid-19 timeline beginning November 1, 2019<br/><br/>and ending March 31, 2021. To examine the efficiency of markets, our team created a Stay-at-<br/>Home Portfolio, experiencing economic tailwinds from the Covid lockdowns, and a Pandemic<br/><br/>Loser Portfolio, experiencing economic headwinds from the Covid lockdowns. Cumulative<br/>returns of each portfolio are benchmarked to the cumulative returns of the S&P 500. The results<br/>showed that the Efficient Market Hypothesis is likely to be valid, although a definitive<br/>conclusion cannot be made based on the scope of the analysis. There are recommendations for<br/>further research surrounding key events that may be able to draw a more direct conclusion.

The depiction of female action heroes in modern blockbuster films has become more accurate throughout the years; however, the representation of women is still not as progressive as feminist scholars, actors, and viewers would like. This thesis explores two recent blockbuster films, Wonder Woman (2017) and Mad Max: Fury Road (2015), and how each film deals with the representation of women. While one could look to many cultural forms to explore such issues, films, “the most accessible representations of the past, present, and future of our society,” are particularly fertile ground for exploring gendered representations and stereotyping (Haskell, 1974). For much of Hollywood history, action films have used female protagonists as either passive, venerated symbols of perfect femininity, or objects of fascination and sexual pleasure for their male viewers. Or, if the female hero does have a degree of agency that allows her to push the plot forward, she is subject to moral scrutiny and frequently masculinized. In fact, the representation of women often falls into binary categories: the angelic damsel in distress, or the morally reprehensible, often masculinized, female villain. While the history of women’s representation in film more generally and action films more specifically is a long and complicated one that is beyond the scope of this project, recent action productions have exhibited notable shifts, both in terms of female characters’ box-office and narrative strength. However, both Wonder Woman and Mad Max: Fury Road, present viewers with examples of female representation that break through many of the misogynistic tropes that have dominated the genre for far too long. The key distinction between how both films destroy gendered stereotypes lies in the degrees to which the films allow their central female protagonists, and more minor female characters, to dominate the narrative and inhabit the composition of the screen. Wonder Woman tells the story of one powerful woman, whereas Fury Road utilizes a multitude of women in its story to defy gender stereotypes. While both films can be interpreted as empowering for female viewers, Wonder Woman gives its audience an easily digestible example of female agency; this is due to Wonder Woman allowing its famous comic book hero to comment and reject traditional women’s clothing, but also insists Diana be limited to hypersexualized battle armour and implicates that women cannot have love, power, and family. On the other hand, Fury Road presents viewers with a more radicalized gynocentric world in which, after considerable struggle and not without compromise, female characters not only have power, but wrest it away from the men who have abusively held onto control in the past. These two films also paved new ground for women in Hollywood production terms: giving women more power at the box-office and destroying the old-aged notion that female-centric films do not sell and make money at the same rate as male-centered ones do. Both Wonder Woman and Mad Max: Fury Road, in their own ways, depict that there is space for female action heroes to be more progressive and feminist in future blockbuster action films.

Sports analytics is a growing field that attempts to showcase interesting aspects of a sport with the use of modern technology and machine learning techniques. This thesis will demonstrate how the NBA has progressed in the past decade by comparing the performance have five teams (SAS, OKC, PHO, MIN, and SAC). It will also provide key insight on what an NBA team should focus on to build an optimized NBA team composition, which will better their performance in the league, which will improve their chances of making into the playoffs. These teams were chosen after conducting extensive analysis on all NBA teams. These five teams were chosen because of the variability in performance (two successful and three less successful teams). Two successful teams, SAS and OKC, and three less successful teams, PHO, MIN, and SAC, were chosen to exemplify the different approaches of teams in the NBA and to distinguish what an NBA team should consider build an optimized team composition to better their performance in the league stage.

Student academic performance has far-reaching implications not only on individual students but also the universities and colleges they attend. Student academic performance can affect their time in school as well as their future earning potential, and colleges and universities have a shared interest in the academic performance and retention of their students as many state and federal funding opportunities consider these metrics when allocating taxpayer dollars. To assist in the mutual desire for students to succeed, the Calm Connection start-up venture formed with the goal of integrating biofeedback therapy with a student’s unique education needs. For students, one of the largest barriers to effective learning is issues of focus and information retention, and the repeated use of biofeedback therapy trains students to overcome these focus issues and works in conjunction with our app’s study aid and scheduling ability.

When examining the average college campus, it becomes obvious that students feel rushed from one place to another as they try to participate in class, clubs, and extracurricular activities. One way that students can feel more comfortable and relaxed around campus is to introduce the aspect of gaming. Studies show that “Moderate videogame play has been found to contribute to emotional stability” (Jones, 2014). This demonstrates that the stress of college can be mitigated by introducing the ability to interact with video games. This same concept has been applied in the workplace, where studies have shown that “Gaming principles such as challenges, competition, rewards and personalization keep employees engaged and learning” (Clark, 2020). This means that if we manage to gamify the college experience, students will be more engaged which will increase and stabilize the retention rate of colleges which utilize this type of experience. Gaming allows students to connect with their peers in a casual environment while also allowing them to find resources around campus and find new places to eat and relax. We plan to gamify the college experience by introducing augmented reality in the form of an app. Augmented reality is “. . . a technology that combines virtual information with the real world” (Chen, 2019). College students will be able to utilize the resources and amenities available to them on campus while completing quests that help them within the application. This demonstrates the ability for video games to engage students using artificial tasks but real actions and experiences which help them feel more connected to campus. Our Founders Lab team has developed and tested an AR application that can be used to connect students with their campus and the resources available to them.