Matching Items (661)
150353-Thumbnail Image.png
Description
Advancements in computer vision and machine learning have added a new dimension to remote sensing applications with the aid of imagery analysis techniques. Applications such as autonomous navigation and terrain classification which make use of image classification techniques are challenging problems and research is still being carried out to find

Advancements in computer vision and machine learning have added a new dimension to remote sensing applications with the aid of imagery analysis techniques. Applications such as autonomous navigation and terrain classification which make use of image classification techniques are challenging problems and research is still being carried out to find better solutions. In this thesis, a novel method is proposed which uses image registration techniques to provide better image classification. This method reduces the error rate of classification by performing image registration of the images with the previously obtained images before performing classification. The motivation behind this is the fact that images that are obtained in the same region which need to be classified will not differ significantly in characteristics. Hence, registration will provide an image that matches closer to the previously obtained image, thus providing better classification. To illustrate that the proposed method works, naïve Bayes and iterative closest point (ICP) algorithms are used for the image classification and registration stages respectively. This implementation was tested extensively in simulation using synthetic images and using a real life data set called the Defense Advanced Research Project Agency (DARPA) Learning Applied to Ground Robots (LAGR) dataset. The results show that the ICP algorithm does help in better classification with Naïve Bayes by reducing the error rate by an average of about 10% in the synthetic data and by about 7% on the actual datasets used.
ContributorsMuralidhar, Ashwini (Author) / Saripalli, Srikanth (Thesis advisor) / Papandreou-Suppappola, Antonia (Committee member) / Turaga, Pavan (Committee member) / Arizona State University (Publisher)
Created2011
150359-Thumbnail Image.png
Description
S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic

S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic (MTL) to describe the user specifications for the hybrid systems. We then try to falsify the MTL specification using global minimization of robustness metric. Global minimization is carried out using stochastic optimization algorithms like Monte-Carlo (MC) and Extended Ant Colony Optimization (EACO) algorithms. Irrespective of the type of the model we provide as an input to S-Taliro, the user needs to specify the MTL specification, the initial conditions and the bounds on the inputs. S-Taliro then uses this information to generate test inputs which are used to simulate the system. The simulation trace is then provided as an input to Taliro which computes the robustness estimate of the MTL formula. Global minimization of this robustness metric is performed to generate new test inputs which again generate simulation traces which are closer to falsifying the MTL formula. Traces with negative robustness values indicate that the simulation trace falsified the MTL formula. Traces with positive robustness values are also of great importance because they indicate how robust the system is against the given specification. S-Taliro has been seamlessly integrated into the Matlab environment, which is extensively used for model-based development of control software. Moreover the toolbox has been developed in a modular fashion and therefore adding new optimization algorithms is easy and straightforward. In this work I present the architecture of S-Taliro and its working on a few benchmark problems.
ContributorsAnnapureddy, Yashwanth Singh Rahul (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Created2011
148107-Thumbnail Image.png
Description

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

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.

ContributorsSanson, Claudia Maria (Author) / Lennon, Tara (Thesis director) / Woodall, Gina (Committee member) / School of Public Affairs (Contributor) / Department of English (Contributor) / School of Politics and Global Studies (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
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
147842-Thumbnail Image.png
Description

Motor learning is the process of improving task execution according to some measure of performance. This can be divided into skill learning, a model-free process, and adaptation, a model-based process. Prior studies have indicated that adaptation results from two complementary learning systems with parallel organization. This report attempted to answer

Motor learning is the process of improving task execution according to some measure of performance. This can be divided into skill learning, a model-free process, and adaptation, a model-based process. Prior studies have indicated that adaptation results from two complementary learning systems with parallel organization. This report attempted to answer the question of whether a similar interaction leads to savings, a model-free process that is described as faster relearning when experiencing something familiar. This was tested in a two-week reaching task conducted on a robotic arm capable of perturbing movements. The task was designed so that the two sessions differed in their history of errors. By measuring the change in the learning rate, the savings was determined at various points. The results showed that the history of errors successfully modulated savings. Thus, this supports the notion that the two complementary systems interact to develop savings. Additionally, this report was part of a larger study that will explore the organizational structure of the complementary systems as well as the neural basis of this motor learning.

ContributorsRuta, Michael (Author) / Santello, Marco (Thesis director) / Blais, Chris (Committee member) / School of Mathematical and Statistical Sciences (Contributor) / School of Molecular Sciences (Contributor) / School of Human Evolution & Social Change (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147858-Thumbnail Image.png
Description

In recent years, immigration, especially concerning those individuals immigrating from Central America and Mexico, has become increasingly controversial. Within the last five presidents, policies concerning immigration have shifted. Under President Bill Clinton in 1997, the Flores Settlement, an agreement between immigration activist organizations and the government that created standards for

In recent years, immigration, especially concerning those individuals immigrating from Central America and Mexico, has become increasingly controversial. Within the last five presidents, policies concerning immigration have shifted. Under President Bill Clinton in 1997, the Flores Settlement, an agreement between immigration activist organizations and the government that created standards for detaining accompanied and unaccompanied minors was made. Following 9/11, in 2005, President George W. Bush increased the amount of money spent on immigration enforcement in an effort to deport more immigrants. President Barack Obama increased the number of deportations from President Bush during his first term. However, in 2014, an already imperfect immigration system was disrupted by an influx of child immigrants. As a result, detention centers were at capacity and unable to accommodate the increasing numbers of immigrants. Child migrants were placed in caged-areas, immigration lawyers and courts quickly became overwhelmed with cases, and children were alone and could barely communicate. This thesis explores the various relationships between accompanied and unaccompanied minors from Central America, the American legal system, and the media and broadcast news outlets’ rhetoric concerning child migrants. Focusing on the ways in which immigrant minors are objectified by the legal system and the framing of immigrants in the media, it is evident that their complex interaction allows for the oppression of the child migrants. Since the American legal system and the media influence and respond to each other, the responsibility of the child migrants’ dehumanization is on both the legal system and the rhetoric of the media and broadcast news outlets.

ContributorsValli-Doherty, Francesca (Author) / Soares, Rebecca (Thesis director) / Agruss, David (Committee member) / School of Public Affairs (Contributor) / Department of English (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148158-Thumbnail Image.png
Description

This project is a critical analysis of the works of 6 American war veterans and how they demonstrate trauma in their narratives. The texts covered here are Philip Red Eagle’s Red Earth (2007), John A. Williams’ Captain Blackman (1972), Roy Scranton’s War Porn (2016), Tim O’Brien’s The Things They

This project is a critical analysis of the works of 6 American war veterans and how they demonstrate trauma in their narratives. The texts covered here are Philip Red Eagle’s Red Earth (2007), John A. Williams’ Captain Blackman (1972), Roy Scranton’s War Porn (2016), Tim O’Brien’s The Things They Carried (1990), Kurt Vonnegut’s Slaughterhouse-Five (1969), and Joseph Heller’s Catch-22 (1961).

ContributorsNovinger, Joshua (Author) / Ellis, Lawrence (Thesis director) / Goodman, Brian (Committee member) / Department of English (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148029-Thumbnail Image.png
Description

Claiming Impossible Bodies is a collection of poetry and collage exploring gender and sexuality through the lens of the vampire. For this project, I researched various representations of the vampires through folklore, classical and modern literature, film, and pop culture. The liminality of the vampire allows such figures to take

Claiming Impossible Bodies is a collection of poetry and collage exploring gender and sexuality through the lens of the vampire. For this project, I researched various representations of the vampires through folklore, classical and modern literature, film, and pop culture. The liminality of the vampire allows such figures to take different forms and identities, ranging from dark and grotesque creatures, such as the succubus or incubus from mythology, to modern sex-icons, like Edward Cullen from the Twilight Saga. Considering this wide range of performances by vampiric figures throughout history, the poems in this manuscript seek to deconstruct the binaries that vampires live between and expose the liminality in social norms that attempt to define our identities and shape our performances.

ContributorsWitter, Genevieve Michelle (Author) / Ball, Sally (Thesis director) / Meinen, Avery (Committee member) / Department of English (Contributor) / School of International Letters and Cultures (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
148067-Thumbnail Image.png
Description

The United States is an empire. It was founded as such and continues to be one to this day. However, during the most prominent periods of imperial expansion, anti-imperialist organizations and politicians often rise up to oppose these further imperialist actions. This thesis paper examines the rhetoric used by these

The United States is an empire. It was founded as such and continues to be one to this day. However, during the most prominent periods of imperial expansion, anti-imperialist organizations and politicians often rise up to oppose these further imperialist actions. This thesis paper examines the rhetoric used by these organizations and politicians, particularly through their speeches and platforms. The primary focus is on the role of American exceptionalism in this rhetoric, and what American anti-imperialism not rooted in this concept looks like. This analysis will be done by looking at a few key specific texts from these organizations and politicians, including (but not limited to) the platform of the Anti-Imperialist League and the speech Representative Barbara Lee gave to explain her lone no vote on the Authorization for Use of Military Force in Afghanistan in 2001.

ContributorsRemelius, Justin (Author) / Avina, Alexander (Thesis director) / Goodman, Brian (Committee member) / Historical, Philosophical & Religious Studies (Contributor, Contributor) / School of Politics and Global Studies (Contributor, Contributor) / Historical, Philosophical & Religious Studies, Sch (Contributor, Contributor) / Department of English (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05