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.

This thesis identifies and explains two main problems students face during their internships. The first problem relates to feeling bored at internships due to the simplicity of projects or lack of work. From the interviews conducted, several strategies to avoid this boredom were created, including having employers design education plans for interns to further their knowledge in programs such as excel during their downtime. The second problem with internships discovered focuses on the gap between what is taught in schools versus what is expected of interns in practice. This thesis identifies several opportunities for improvement in education and strategies on how to handle feeling overwhelmed on intern projects due to lack of knowledge.

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.

Animals encounter information from different resources simultaneously, integrating input from multiple sensory systems before responding behaviorally. When different cues interact with one another, they may enhance, diminish, or have no impact on their responses. In this project, we test how the presence of chemical cues affect the perception of visual cues. Zebrafish (Danio rerio) often use both chemical cues and visual cues to communicate with shoal mates, to assess predation risk, and to locate food. For example, zebrafish rely on both olfactory cues and visual cues for kin recognition, and they frequently use both chemical and visual cues to search for and to capture prey. In zebrafish, the terminal nerve (TN) constitutes the olfacto-visual centrifugal pathway and connects the olfactory bulb with the retina, thus allowing olfactory perception also to activate visual receptors. Past studies have found that the presence of an olfactory cue can modulate visual sensitivity in zebrafish through the terminal nerve pathway. Alternatively, given that zebrafish are highly social, the presence of social chemical cues may distract individuals from responding to other visual cues, such as food and predator visual cues. Foraging and predator chemical cues, including chemical food cues and alarm cues, may also distract individuals from responding to non-essential visual cues. Here, we test whether the response to a visual cue either increases or decreases when presented in concert with alanine, an amino acid that represents the olfactory cues of zebrafish prey. We found that the presence of chemical cues did not affect whether zebrafish responded to visual cues, but that the fish took longer to respond to visual cues when chemical cues were also present. These findings suggest that different aspects of behavior could be affected by the interaction between sensory modalities. We also found that this impact of delayed response was significant only when the visual cue<br/>was weak compared to the strength of the chemical cue, suggesting that the salience of interacting cues may also have an influence on determining the outcomes of the interactions. Overall, the interactive effects of chemicals on an animal’s response to visual cues may also have wide-ranging impacts on behavior including foraging, mating, and evading predators, and the interaction of cues may affect different aspects of the same behavior.

In the past decade, a significant shift has emerged around immigration policy, as advocates and policymakers have made various efforts to pass state and local policies related to immigrant integration or restrictions. This thesis offers original insights into current dynamics in immigration federalism through interviews with lawmakers and community activists in Arizona, a leading state when it comes to restricting the lives of undocumented immigrants. Advancing a new framework that connects the lived experience of officials and activists to partisanship, policy, key events, demographics, and racializing events, this thesis bridges isolated bodies of scholarship on immigration and seeks to demonstrate how every person (not just immigrant) are part of America’s current challenges to become a more inclusive nation of immigrants.

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.

Exploratory Play is a universal experience that occurs throughout different kinds of childhoods. This study investigates how children’s vocabulary and exploratory play are influenced by how the caregiver responds to the child’s communicative bids. We hypothesize that if caregivers use more open-ended questions in response to their child’s communicative bids, children will show higher rates of exploration during free play.

Humans use emotions to communicate social cues to our peers on a daily basis. Are we able to identify context from facial expressions and match them to specific scenarios? This experiment found that people can effectively distinguish negative and positive emotions from each other from a short description. However, further research is needed to find out whether humans can learn to perceive emotions only from contextual explanations.

Something Like Human explores corporate social responsibility through a triple lens, providing a content analysis using previous literature and history as the standards for evaluation. Section I reviews the history of corporate social responsibility and how it is currently understood and employed today. Section II turns its focus to a specific socially conscious corporation, Lush Cosmetics, examining its practices considering the concepts provided in Section I and performing a close analysis of its promotional materials. Section III consists of a mock marketing campaign designed for Lush in light of their social commitments. By the end of this thesis, the goal for the reader is to ask: Can major corporations be something like human?

Within the last decade, it has become increasingly apparent that the effects of climate change are getting harder and harder to ignore. This fact has led to increased interest in sustainability and an increased pressure from consumers to have these ideals implemented into a variety of global industries. The fashion industry, in particular, has been facing this pressure toward the desire for sustainable products is the fashion industry. Over the last five years, sustainability has become a main focus within the fashion industry. Countless brands now include sustainability within their marketing tactics and a variety of fashion organizations release reports on the unsustainable practices that currently dominate fashion production. These misleading marketing tactics and enigmatic intensive reports lead to confusion on what sustainable fashion actually looks like for both consumers and suppliers alike.<br/> This report attempts to help tackle this problem by using sustainable fashion certifications as a tactic to prove sustainability within business procedures. To compare eight of the most common fashion certifications, this paper assumes a systems thinking approach to creating an assessment framework, which is then applied to said certifications. To back up the importance of the topic, this paper presents key points of the current issues related to this case, which then contribute to the integration of basic sustainability assessment criteria and case-specific factors into overarching core criteria. The application of this framework is utilized to determine which certifications cover certain aspects of the curated core criteria. This is then used to present consumers and manufacturers with a more accurate understanding of each of these certifications. This information is then followed up with a recommendation of certifications that align most within researched-based consumer and supplier desires.