The Electoral College, the current electoral system in the U.S., operates on a Winner-Take-All or First Past the Post (FPTP) principle, where the candidate with the most votes wins. Despite the Electoral College being the current system, it is problematic. According to Lani Guinier in Tyranny of the Majority, “the winner-take-all principle invariably wastes some votes” (121). This means that the majority group gets all of the power in an election while the votes of the minority groups are completely wasted and hold little to no significance. Additionally, FPTP systems reinforce a two-party system in which neither candidate could satisfy the majority of the electorate’s needs and issues, yet forces them to choose between the two dominant parties. Moreover, voting for a third party candidate only hurts the voter since it takes votes away from the party they might otherwise support and gives the victory to the party they prefer the least, ensuring that the two party system is inescapable. Therefore, a winner-take-all system does not provide the electorate with fair or proportional representation and creates voter disenfranchisement: it offers them very few choices that appeal to their needs and forces them to choose a candidate they dislike. There are, however, alternative voting systems that remedy these issues, such as a Ranked voting system, in which voters can rank their candidate choices in the order they prefer them, or a Proportional voting system, in which a political party acquires a number of seats based on the proportion of votes they receive from the voter base. Given these alternatives, we will implement a software simulation of one of these systems to demonstrate how they work in contrast to FPTP systems, and therefore provide evidence of how these alternative systems could work in practice and in place of the current electoral system.

Partisan politics has created an increasingly polarized political climate in the United States. Despite the divisive political climate, women’s representation in politics has also increased drastically over the years. I began this project to see if there is a partisan rivalry between women in politics or a sense of shared “womanhood.” This thesis explores the role political parties play for women in office by examining how they vote on bills, what type of bills they propose, and whether or not they work collaboratively with their female counterparts at the Arizona State Legislature. My main goals for this project are to see how strong or weak political parties are in shaping political behavior at the Arizona State Legislature and to determine if there is a sense of “womanhood” despite different political affiliations. I also explore the role party affiliation plays within women legislators at the Arizona State Legislature.

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 market for searching for food online is exploding. According to one expert at Google, “there are over 1 billion restaurant searches on Google every month” (Kelso, 2020). To capture this market and ride the general digital trend of internet personalization (as evidenced by Google search results, ads, YouTube and social media algorithms, etc), we created Munch to be an algorithm meant to help people find food they’ll love. <br/><br/>Munch offers the ability to search for food by restaurant or even as specific as a menu item (ex: search for the best Pad Thai). The best part? It is customized to your preferences based on a quiz you take when you open the app and from that point continuously learns from your behavior.<br/><br/>This thesis documents the journey of the team who founded Munch, what progress we made and the reasoning behind our decisions, where this idea fits in a competitive marketplace, how much it could be worth, branding, and our recommendations for a successful app in the future.

The purpose of this study is to create and establish an efficient and cost-effective solution to decrease the effects of sedentarism in pregnant women. Our team was given a propelling question, from which we had to narrow down our scope and conduct primary and secondary research to determine our ideal customers. The design of our study intends to imitate the development of a startup where ideas are created from scratch and the final deliverable is a business model plan that shows some sort of traction. Our first major finding is that a sedentary lifestyle can be treated without major challenges in low risk pregnancies. We determined that uncertainty and lack of concise and clear information is one of the main causes of an increased level of sedentary behavior in low risk pregnancies. A significant driver for women to do some sort of activity or exercise stems from feeling supported, which doesn’t necessarily come from their partner or couple, but instead from other women that are going to a similar process as them. There are apps in the market that intend to serve pregnant women; however, there is not one that incorporates a social aspect to achieve their goal. In conclusion, there is opportunity in the market for a socially integrated pregnancy fitness app. The Gleam concept has been consciously developed to decrease sedentary behavior through concise, clear, and reliable information and by encouraging women through a socialization platform.

Coverage of Black soccer players by Italian media outlets perpetuate narratives rooted in anti-Black racism. These narratives reflect the country’s changing attitude toward immigration. Historically a country from which citizens emigrated, it is now a recipient of immigrants from Africa. These changing demographics have also caused a shift in the focus of racism in Italy, from discrimination against southern Italians to anti-Black racism. As the country has explored what defines a unified Italian identity, Afro-Italians have been excluded. This study evaluates how these perceptions of Afro-Italian soccer players manifest according to various racial frames, and the frequency with which they do so in three Italian sports dailies: La Gazzetta dello Sport, Corriere dello Sport – Stadio, and Tuttosport. In this context, Afro-Italian refers to an Italian citizen of African descent, and anti-Black racism denotes any form of discrimination, stereotyping, or racism that specifically impacts those of African descent. For this study, a representative sample was collected consisting of website coverage published by the three sports dailies: articles devoted to Mario Balotelli that appeared between 2007 and 2014, and articles devoted to Moise Kean between 2016 and 2019. Three coders recorded the content of the sample articles on a spreadsheet organized by the type of racial frame applied to Black athletes. The analysis reveals that the players were frequently portrayed as being incapable of self-determination and of having an innate, natural athletic capability, rather than one honed through practice. The coders noted that in addition to explicit racial framing, there were also instances of implicit and subtle ways these racial frames manifest. In future research, the coding procedure will need to be adapted to account for these more layered and nuanced manifestations of anti-Black racism.

The Arizona Teachers Academy is a program that was first designed and implemented by Governor Doug Ducey in 2017 with a simple concept: to cover the tuition and fees of Arizona higher education students learning to teach in exchange for fulfilling a commitment to teach at an Arizona public school following graduation. The academy has evolved quite rapidly in its short history, going from an unfunded mandate that Arizona universities could not afford to be funded to a voter-approved tax, and seeing its student enrollment numbers increase by over tenfold. This paper seeks to be an overview and process evaluation of the program, as well as an outlook into the program’s future. As a process evaluation, the thesis includes examinations of the program’s presumed logic model, that model’s assumptions, and relevant stakeholders. I used a multi-method approach: statutory and financial data were collected from web research and agency archival collections, and a series of interviews were conducted to ask analytical questions to key stakeholders and program directors about the program’s internal operations and data findings. These stakeholders and program directors consist of staff at the Arizona Board of Regents, the Arizona Department of Education, all three major Arizona public universities (Arizona State University, Northern Arizona University, and the University of Arizona), as well as multiple elected officials and political advocacy groups that have impacted the program through legislation and ballot initiative. This thesis finds that the Arizona Teachers Academy does not have a stated logic model, which in turn led to program assumptions that fail to meet the needs of Arizona public schools and did not allow for all key stakeholders to be involved in the process.

CubeSats can encounter a myriad of difficulties in space like cosmic rays, temperature<br/>issues, and loss of control. By creating better, more reliable software, these problems can be<br/>mitigated and increase the chance of success for the mission. This research sets out to answer the<br/>question: how do we create reliable flight software for CubeSats? by providing a concentrated<br/>list of the best flight software development practices. The CubeSat used in this research is the<br/>Deployable Optical Receiver Aperture (DORA) CubeSat, which is a 3U CubeSat that seeks to<br/>demonstrate optical communication data rates of 1 Gbps over long distances. We present an<br/>analysis over many of the flight software development practices currently in use in the industry,<br/>from industry leads NASA, and identify three key flight software development areas of focus:<br/>memory, concurrency, and error handling. Within each of these areas, the best practices were<br/>defined for how to approach the area. These practices were also developed using experience<br/>from the creation of flight software for the DORA CubeSat in order to drive the design and<br/>testing of the system. We analyze DORA’s effectiveness in the three areas of focus, as well as<br/>discuss how following the best practices identified helped to create a more reliable flight<br/>software system for the DORA CubeSat.

In the United States, clinical testing is monitored by the federal and state governments, held to standards to ensure the safety and efficacy of these tests, as well as maintaining privacy for patients receiving a test. In order for the ABCTL to lawfully operate in the state of Arizona, it had to meet various legal criteria. These major legal considerations, in no particular order, are: Clinical Laboratory Improvement Amendments compliance; FDA Emergency Use Authorization (EUA); Health Insurance Portability and Accountability Act compliance; state licensure; patient, state, and federal result reporting; and liability. <br/>In this paper, the EUA pathway will be examined and contextualized in relation to the ABCTL. This will include an examination of the FDA regulations and policies that affect the laboratory during its operations, as well as a look at the different authorization pathways for diagnostic tests present during the COVID-19 pandemic.

From exploring coffee plantations with an old Irishman in the mountains of Colombia to watching the sun set over the Strait of Gibraltar from the terrace of an ancient Moroccan cafe, this thesis sent Charles and Zane on an elaborate cafe-crawl across ten countries, with stops at a few of the world’s most interesting coffee houses. Some of these cafes, such as the world-renowned Caffé Florian (opened in 1720) and Caffé Greco (1760), are built on long-standing traditions. Others are led by innovators championing high-quality boutique shops, challenging mass production chains such as Starbucks and Tim Hortons. These newer cafes fuel a movement classified as the “Third Wave”. With a foundation gained from specialized courses with Patrick O’Malley, North America’s leading voice in coffee, Zane and Charles conducted first-hand research into the unique coffee preferences of multiple cultures, the emergence and impact of the Third Wave in these countries, and what the future may hold for coffee lovers.