Matching Items (462)
Filtering by

Clear all filters

148109-Thumbnail Image.png
Description

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

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.

ContributorsAnderson, Jacob (Author) / Fainekos, Georgios (Thesis director) / Yezhou, Yang (Committee member) / Computer Science and Engineering Program (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
Description

Soiled: An Environmental Podcast is a six episode series that addresses common environmental topics and debunks myths that surround those topics.

ContributorsTurner, Natalie Ann (Co-author) / Kuta, Tiffany (Co-author) / Jones, Cassity (Co-author) / Boyer, Mackenzie (Thesis director) / Ward, Kristen (Committee member) / Materials Science and Engineering Program (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147998-Thumbnail Image.png
Description

For this Creative Project, I decided to explore the elements that set novellas apart from other genres and then experiment writing in the form. In doing so, I took into account three main categories: Plot Structure, Character Development, Style/Format, and then used my findings to write 45 pages of a

For this Creative Project, I decided to explore the elements that set novellas apart from other genres and then experiment writing in the form. In doing so, I took into account three main categories: Plot Structure, Character Development, Style/Format, and then used my findings to write 45 pages of a novella titled Emmy and Me.

ContributorsBingham, Roxanne Marie (Author) / Irish, Jennifer (Thesis director) / Danielson, Jonathan (Committee member) / Department of English (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
Description

Filmmakers seek to create story pieces that are visually beautiful and engage the full attention of their audience. They typically abide by a 3-step process moving through pre-production, production, and post-production. Within each step, there are a series of tasks that need to be accomplished in order to reach the

Filmmakers seek to create story pieces that are visually beautiful and engage the full attention of their audience. They typically abide by a 3-step process moving through pre-production, production, and post-production. Within each step, there are a series of tasks that need to be accomplished in order to reach the completed film. A successful film requires careful planning and strategy in pre-production, timely and decisive execution in production, and minimal unforeseen retouching in post-production.<br/><br/>Even though filmmakers have continued to follow the same formula throughout the decades, the filmmaking process has remained largely inefficient. It is extremely common for pre-production planning to be undercut, for production filming to run far too long, and for post-production VFX and editing to send the project over budget. These instances can cause major issues as the project is being finalized. In many scenarios portions of the project need to be reshot, the box office revenue isn’t enough to make up for extensive VFX retouching, or the project may never even come to fruition. <br/><br/>The reason for this recurring theme of films being over budget and out of time is quite simply that technology has made filmmakers lazy. “Fix it in post” is a disgustingly common phrase used in the film industry. It describes the utter abuse of computer retouching in the post-production phase of filmmaking. Despite working in an industry that seeks to entertain the human eye, filmmakers have become blind to all of the small mistakes that could cost them hundreds of hours and millions of dollars in the long run.

ContributorsKlewicki, Tallee Jo (Author) / Shin, Dosun (Thesis director) / Eliciana, Nascimento (Committee member) / The Design School (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147924-Thumbnail Image.png
Description

My project is designed to provide art education to incarcerated youth in Arizona. This project will address two current issues in Arizona; the underfunding of art programs and high rates of incarceration. As of 2021, there are no state-funded art programs in Arizona. Arizona is tied with Texas for the

My project is designed to provide art education to incarcerated youth in Arizona. This project will address two current issues in Arizona; the underfunding of art programs and high rates of incarceration. As of 2021, there are no state-funded art programs in Arizona. Arizona is tied with Texas for the eighth highest rate of incarceration in the country. In Arizona, 750 out of every 100,000 people are incarcerated. This project is an art course for incarcerated youth. The project includes a packet detailing the course content and assignment details, a class syllabus, a course flyer, and a certificate of completion. The course is intended to be taught at the Adobe Mountain School facility. The course is designed so that it can be implemented in other facilities in the future. The class will be taught by volunteers with a background in studio art, design, or art education. Each student will receive a course packet that they can use to keep track of information and assignments. Instructors will use the course packet to teach the class. The course focuses on drawing with charcoal and oil pastel, which will build a foundation in drawing skills. The course covers a twelve-week semester. The course content packet includes a week-by-week breakdown of the teaching material and project descriptions. The course consists of two main projects and preparatory work. The preparatory work includes vocabulary terms, art concepts, drawing guides, brainstorming activities, and drawing activities. The two main prompts are designed for students to explore the materials and to encourage self-reflection. The class is curated so that students can create art in a low-risk, non-judgemental environment. The course will also focus on establishing problem-solving and critical thinking skills through engaging activities.

ContributorsSheppard, Eve (Author) / Cornelia, Wells (Thesis director) / Jennifer, Nelson (Committee member) / School of Art (Contributor) / Department of Psychology (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
Description

Soiled: An Environmental Podcast is a six episode series where common environmental topics are discussed and misconceptions surrounding these topics are debunked.

ContributorsKuta, Tiffany T (Co-author) / Jones, Cassity (Co-author) / Turner, Natalie (Co-author) / Boyer, Mackenzie (Thesis director) / Ward, Kristen (Committee member) / Civil, Environmental and Sustainable Eng Program (Contributor) / School of Sustainability (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
Description

Soiled: An Environmental Podcast is a six episode series where common environmental topics are discussed and misconceptions surrounding these topics are debunked.

ContributorsJones, Cassity Rachelle (Co-author) / Kuta, Tiffany (Co-author) / Turner, Natalie (Co-author) / Boyer, Mackenzie (Thesis director) / Ward, Kristen (Committee member) / School of Life Sciences (Contributor) / School of Human Evolution & Social Change (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148217-Thumbnail Image.png
Description

The COVID-19 Pandemic has provided a challenge for educators to create virtual learning materials that are engaging and impactful during times of high stress and isolation. In this creative project, I explore the variety of virtual tools and web applications from Esri by creating a Story Map on the Verde

The COVID-19 Pandemic has provided a challenge for educators to create virtual learning materials that are engaging and impactful during times of high stress and isolation. In this creative project, I explore the variety of virtual tools and web applications from Esri by creating a Story Map on the Verde River Watershed. This Story Map is intended for an audience of students in late middle school and early high school but can be a resource to teachers for a wider age range. The integration of interactive technology and virtual tools in educational practices is likely to continue past the immediate circumstances of the COVID-19 pandemic. The purpose of this Story Map is to showcase one of the many uses for geospatial web applications beyond the immediate realm of GIS.

ContributorsTueller, Margaret (Author) / Frazier, Amy (Thesis director) / Dorn, Ron (Committee member) / School of Geographical Sciences and Urban Planning (Contributor, Contributor, Contributor) / Division of Teacher Preparation (Contributor) / The Design School (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
137202-Thumbnail Image.png
Description
Zoos are doing amazing projects to help wildlife globally and locally. A lot of people aren't aware of what goes on with these conservation projects because much of it happens behind the scenes. So I decided to make a film to explain how zoos facilitate our world's wildlife. My film

Zoos are doing amazing projects to help wildlife globally and locally. A lot of people aren't aware of what goes on with these conservation projects because much of it happens behind the scenes. So I decided to make a film to explain how zoos facilitate our world's wildlife. My film can be viewed at this link: https://www.youtube.com/watch?v=_JmLGf138zY
ContributorsRossman, Chloe June (Author) / Sandler, Kevin (Thesis director) / Wells, Stuart (Committee member) / Barrett, The Honors College (Contributor) / School of Life Sciences (Contributor) / School of Film, Dance and Theatre (Contributor)
Created2014-05
151275-Thumbnail Image.png
Description
The pay-as-you-go economic model of cloud computing increases the visibility, traceability, and verifiability of software costs. Application developers must understand how their software uses resources when running in the cloud in order to stay within budgeted costs and/or produce expected profits. Cloud computing's unique economic model also leads naturally to

The pay-as-you-go economic model of cloud computing increases the visibility, traceability, and verifiability of software costs. Application developers must understand how their software uses resources when running in the cloud in order to stay within budgeted costs and/or produce expected profits. Cloud computing's unique economic model also leads naturally to an earn-as-you-go profit model for many cloud based applications. These applications can benefit from low level analyses for cost optimization and verification. Testing cloud applications to ensure they meet monetary cost objectives has not been well explored in the current literature. When considering revenues and costs for cloud applications, the resource economic model can be scaled down to the transaction level in order to associate source code with costs incurred while running in the cloud. Both static and dynamic analysis techniques can be developed and applied to understand how and where cloud applications incur costs. Such analyses can help optimize (i.e. minimize) costs and verify that they stay within expected tolerances. An adaptation of Worst Case Execution Time (WCET) analysis is presented here to statically determine worst case monetary costs of cloud applications. This analysis is used to produce an algorithm for determining control flow paths within an application that can exceed a given cost threshold. The corresponding results are used to identify path sections that contribute most to cost excess. A hybrid approach for determining cost excesses is also presented that is comprised mostly of dynamic measurements but that also incorporates calculations that are based on the static analysis approach. This approach uses operational profiles to increase the precision and usefulness of the calculations.
ContributorsBuell, Kevin, Ph.D (Author) / Collofello, James (Thesis advisor) / Davulcu, Hasan (Committee member) / Lindquist, Timothy (Committee member) / Sen, Arunabha (Committee member) / Arizona State University (Publisher)
Created2012