ASU Electronic Theses and Dissertations
This collection includes most of the ASU Theses and Dissertations from 2011 to present. ASU Theses and Dissertations are available in downloadable PDF format; however, a small percentage of items are under embargo. Information about the dissertations/theses includes degree information, committee members, an abstract, supporting data or media.
In addition to the electronic theses found in the ASU Digital Repository, ASU Theses and Dissertations can be found in the ASU Library Catalog.
Dissertations and Theses granted by Arizona State University are archived and made available through a joint effort of the ASU Graduate College and the ASU Libraries. For more information or questions about this collection contact or visit the Digital Repository ETD Library Guide or contact the ASU Graduate College at gradformat@asu.edu.
Displaying 1 - 10 of 330
Filtering by
- All Subjects: artificial intelligence
- All Subjects: Astrophysics
Description
In this thesis, we present the study of several physical properties of relativistic mat- ters under extreme conditions. We start by deriving the rate of the nonleptonic weak processes and the bulk viscosity in several spin-one color superconducting phases of quark matter. We also calculate the bulk viscosity in the nonlinear and anharmonic regime in the normal phase of strange quark matter. We point out several qualitative effects due to the anharmonicity, although quantitatively they appear to be relatively small. In the corresponding study, we take into account the interplay between the non- leptonic and semileptonic weak processes. The results can be important in order to relate accessible observables of compact stars to their internal composition. We also use quantum field theoretical methods to study the transport properties in monolayer graphene in a strong magnetic field. The corresponding quasi-relativistic system re- veals an anomalous quantum Hall effect, whose features are directly connected with the spontaneous flavor symmetry breaking. We study the microscopic origin of Fara- day rotation and magneto-optical transmission in graphene and show that their main features are in agreement with the experimental data.
ContributorsWang, Xinyang, Ph.D (Author) / Shovkovy, Igor (Thesis advisor) / Belitsky, Andrei (Committee member) / Easson, Damien (Committee member) / Peng, Xihong (Committee member) / Vachaspati, Tanmay (Committee member) / Arizona State University (Publisher)
Created2013
Description
In this thesis I model the thermal and structural evolution of Kuiper Belt Objects (KBOs) and explore their ability to retain undifferentiated crusts of rock and ice over geologic timescales. Previous calculations by Desch et al. (2009) predicted that initially homogenous KBOs comparable in size to Charon (R ~ 600 km) have surfaces too cold to permit the separation of rock and ice, and should always retain thick (~ 85 km) crusts, despite the partial differentiation of rock and ice inside the body. The retention of a thermally insulating, undifferentiated crust is favorable to the maintenance of subsurface liquid and potentially cryovolcanism on the KBO surface. A potential objection to these models is that the dense crust of rock and ice overlying an ice mantle represents a gravitationally unstable configuration that should overturn by Rayleigh-Taylor (RT) instabilities. I have calculated the growth rate of RT instabilities at the ice-crust interface, including the effect of rock on the viscosity. I have identified a critical ice viscosity for the instability to grow significantly over the age of the solar system. I have calculated the viscosity as a function of temperature for conditions relevant to marginal instability. I find that RT instabilities on a Charon-sized KBO require temperatures T > 143 K. Including this effect in thermal evolution models of KBOs, I find that the undifferentiated crust on KBOs is thinner than previously calculated, only ~ 50 km. While thinner, this crustal thickness is still significant, representing ~ 25% of the KBO mass, and helps to maintain subsurface liquid throughout most of the KBO's history.
ContributorsRubin, Mark (Author) / Desch, Steven J (Thesis advisor) / Sharp, Thomas (Committee member) / Christensen, Philip R. (Philip Russel) (Committee member) / Arizona State University (Publisher)
Created2013
Description
The rapid escalation of technology and the widespread emergence of modern technological equipments have resulted in the generation of humongous amounts of digital data (in the form of images, videos and text). This has expanded the possibility of solving real world problems using computational learning frameworks. However, while gathering a large amount of data is cheap and easy, annotating them with class labels is an expensive process in terms of time, labor and human expertise. This has paved the way for research in the field of active learning. Such algorithms automatically select the salient and exemplar instances from large quantities of unlabeled data and are effective in reducing human labeling effort in inducing classification models. To utilize the possible presence of multiple labeling agents, there have been attempts towards a batch mode form of active learning, where a batch of data instances is selected simultaneously for manual annotation. This dissertation is aimed at the development of novel batch mode active learning algorithms to reduce manual effort in training classification models in real world multimedia pattern recognition applications. Four major contributions are proposed in this work: $(i)$ a framework for dynamic batch mode active learning, where the batch size and the specific data instances to be queried are selected adaptively through a single formulation, based on the complexity of the data stream in question, $(ii)$ a batch mode active learning strategy for fuzzy label classification problems, where there is an inherent imprecision and vagueness in the class label definitions, $(iii)$ batch mode active learning algorithms based on convex relaxations of an NP-hard integer quadratic programming (IQP) problem, with guaranteed bounds on the solution quality and $(iv)$ an active matrix completion algorithm and its application to solve several variants of the active learning problem (transductive active learning, multi-label active learning, active feature acquisition and active learning for regression). These contributions are validated on the face recognition and facial expression recognition problems (which are commonly encountered in real world applications like robotics, security and assistive technology for the blind and the visually impaired) and also on collaborative filtering applications like movie recommendation.
ContributorsChakraborty, Shayok (Author) / Panchanathan, Sethuraman (Thesis advisor) / Balasubramanian, Vineeth N. (Committee member) / Li, Baoxin (Committee member) / Mittelmann, Hans (Committee member) / Ye, Jieping (Committee member) / Arizona State University (Publisher)
Created2013
Description
The increasing popularity of Twitter renders improved trustworthiness and relevance assessment of tweets much more important for search. However, given the limitations on the size of tweets, it is hard to extract measures for ranking from the tweet's content alone. I propose a method of ranking tweets by generating a reputation score for each tweet that is based not just on content, but also additional information from the Twitter ecosystem that consists of users, tweets, and the web pages that tweets link to. This information is obtained by modeling the Twitter ecosystem as a three-layer graph. The reputation score is used to power two novel methods of ranking tweets by propagating the reputation over an agreement graph based on tweets' content similarity. Additionally, I show how the agreement graph helps counter tweet spam. An evaluation of my method on 16~million tweets from the TREC 2011 Microblog Dataset shows that it doubles the precision over baseline Twitter Search and achieves higher precision than current state of the art method. I present a detailed internal empirical evaluation of RAProp in comparison to several alternative approaches proposed by me, as well as external evaluation in comparison to the current state of the art method.
ContributorsRavikumar, Srijith (Author) / Kambhampati, Subbarao (Thesis advisor) / Davulcu, Hasan (Committee member) / Liu, Huan (Committee member) / Arizona State University (Publisher)
Created2013
Description
A significant portion of stars occur as binary systems, in which two stellar components orbit a common center of mass. As the number of known exoplanet systems continues to grow, some binary systems are now known to harbor planets around one or both stellar components. As a first look into composition of these planetary systems, I investigate the chemical compositions of 4 binary star systems, each of which is known to contain at least one planet. Stars are known to vary significantly in their composition, and their overall metallicity (represented by iron abundance, [Fe/H]) has been shown to correlate with the likelihood of hosting a planetary system. Furthermore, the detailed chemical composition of a system can give insight into the possible properties of the system's known exoplanets. Using high-resolution spectra, I quantify the abundances of up to 28 elements in each stellar component of the binary systems 16 Cyg, 83 Leo, HD 109749, and HD 195019. A direct comparison is made between each star and its binary companion to give a differential composition for each system. For each star, a comparison of elemental abundance vs. condensation temperature is made, which may be a good diagnostic of refractory-rich terrestrial planets in a system. The elemental ratios C/O and Mg/Si, crucial in determining the atmospheric composition and mineralogy of planets, are calculated and discussed for each star. Finally, the compositions and diagnostics of each binary system are discussed in terms of the known planetary and stellar parameters for each system.
ContributorsCarande, Bryce (Author) / Young, Patrick (Thesis advisor) / Patience, Jennifer L (Thesis advisor) / Anbar, Ariel D (Committee member) / Arizona State University (Publisher)
Created2013
Description
Solar system orbital dynamics can offer unique challenges. Impacts of interplanetary dust particles can significantly alter the surfaces of icy satellites and minor planets. Impact heating from these particles can anneal away radiation damage to the crystalline structure of surface water ice. This effect is enhanced by gravitational focusing for giant planet satellites. In addition, impacts of interplanetary dust particles on the small satellites of the Pluto system can eject into the system significant amounts of secondary intra-satellite dust. This dust is primarily swept up by Pluto and Charon, and could explain the observed albedo features on Pluto's surface. In addition to Pluto, a large fraction of trans-neptunian objects (TNOs) are binary or multiple systems. The mutual orbits of these TNO binaries can range from very wide (periods of several years) to near-contact systems (less than a day period). No single formation mechanism can explain this distribution. However, if the systems generally formed wide, a combination of solar and body tides (commonly called Kozai Cycles-Tidal Friction, KCTF) can cause most systems to tighten sufficiently to explain the observed distributions. This KCTF process can also be used to describe the orbital evolution of a terrestrial-class exoplanet after being captured as a satellite of a habitable-zone giant exoplanet. The resulting exomoon would be both potentially habitable and potenially detectable in the full Kepler data set.
ContributorsPorter, Simon Bernard (Author) / Desch, Steven (Thesis advisor) / Zolotov, Mikhail (Committee member) / Timmes, Francis (Committee member) / Scannapieco, Evan (Committee member) / Robinson, Mark (Committee member) / Arizona State University (Publisher)
Created2013
Description
Galaxies represent a fundamental catalyst in the ``lifecycle'' of matter in the Universe, and the study of galaxy assembly and evolution provides unique insight into the physical processes governing the transformation of matter from atoms to gas to stars. With the Hubble Space Telescope, the astrophysical community is able to study the formation and evolution of galaxies, at an unrivaled spatial resolution, over more than 90% of cosmic time. Here, I present results from two complementary studies of galaxy evolution in the local and intermediate redshift Universe which used new and archival HST images. First, I use archival broad-band HST WFPC2 optical images of local (d<63 Mpc) Seyfert-type galaxies to test the observed correlation between visually-classified host galaxy dust morphology and AGN class. Using quantitative parameters for classifying galaxy morphology, I do not measure a strong correlation between the galaxy morphology and AGN class. This result could imply that the Unified Model of AGN provides a sufficient model for the observed diversity of AGN, but this result could also indicate the quantitative techniques are insufficient for characterizing the dust morphology of local galaxies. To address the latter, I develop a new automated method using an inverse unsharp masking technique coupled to Source Extractor to detect and measure dust morphology. I measure no strong trends with dust-morphology and AGN class using this method, and conclude that the Unified Model remains sufficient to explain the diversity of AGN. Second, I use new UV-optical-near IR broad-band images obtained with the HST WFC3 in the Early Release Science (ERS) program to study the evolution of massive, early-type galaxies. These galaxies were once considered to be ``red and dead'', as a class uniformly devoid of recent star formation, but observations of these galaxies in the local Universe at UV wavelengths have revealed a significant fraction (30%) of ETGs to have recently formed a small fraction (5-10%) of their stellar mass in young stars. I extend the study of recent star formation in ETGs to intermediate-redshift 0.35<1.5 with the ERS data. Comparing the mass fraction and age of young stellar populations identified in these ETGs from two-component SED analysis with the morphology of the ETG and the frequency of companions, I find that at this redshift many ETGs are likely to have experienced a minor burst of recent star formation. The mechanisms driving this recent star formation are varied, and evidence for both minor merger driven recent star formation as well as the evolution of transitioning ETGs is identified.
ContributorsRutkowski, Michael (Author) / Windhorst, Rogier A. (Thesis advisor) / Bowman, Judd (Committee member) / Butler, Nathaniel (Committee member) / Desch, Steven (Committee member) / Young, Patrick (Committee member) / Arizona State University (Publisher)
Created2013
Description
Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University. The end product of this thesis is creation of a software solution which can be used in the academia and industry for research in cyber physical systems related applications. The major features of the project are: creating a modular system for motion planning, use of Robot Operating System (ROS), use of triangulation for environment decomposition and using stargazer sensor for localization. The project is built on an open source software called ROS which provides an environment where it is very easy to integrate different modules be it software or hardware on a Linux based platform. Use of ROS implies the project or its modules can be adapted quickly for different applications as the need arises. The final software package created and tested takes a data file as its input which contains the LTL specifications, a symbols list used in the LTL and finally the environment polygon data containing real world coordinates for all polygons and also information on neighbors and parents of each polygon. The software package successfully ran the experiment of coverage, reachability with avoidance and sequencing.
ContributorsPandya, Parth (Author) / Fainekos, Georgios (Thesis advisor) / Dasgupta, Partha (Committee member) / Lee, Yann-Hang (Committee member) / Arizona State University (Publisher)
Created2013
Description
Linear Temporal Logic is gaining increasing popularity as a high level specification language for robot motion planning due to its expressive power and scalability of LTL control synthesis algorithms. This formalism, however, requires expert knowledge and makes it inaccessible to non-expert users. This thesis introduces a graphical specification environment to create high level motion plans to control robots in the field by converting a visual representation of the motion/task plan into a Linear Temporal Logic (LTL) specification. The visual interface is built on the Android tablet platform and provides functionality to create task plans through a set of well defined gestures and on screen controls. It uses the notion of waypoints to quickly and efficiently describe the motion plan and enables a variety of complex Linear Temporal Logic specifications to be described succinctly and intuitively by the user without the need for the knowledge and understanding of LTL specification. Thus, it opens avenues for its use by personnel in military, warehouse management, and search and rescue missions. This thesis describes the construction of LTL for various scenarios used for robot navigation using the visual interface developed and leverages the use of existing LTL based motion planners to carry out the task plan by a robot.
ContributorsSrinivas, Shashank (Author) / Fainekos, Georgios (Thesis advisor) / Baral, Chitta (Committee member) / Burleson, Winslow (Committee member) / Arizona State University (Publisher)
Created2013
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013