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 71
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
Description
One dimensional (1D) and quasi-one dimensional quantum wires have been a subject of both theoretical and experimental interest since 1990s and before. Phenomena such as the "0.7 structure" in the conductance leave many open questions. In this dissertation, I study the properties and the internal electron states of semiconductor quantum wires with the path integral Monte Carlo (PIMC) method. PIMC is a tool for simulating many-body quantum systems at finite temperature. Its ability to calculate thermodynamic properties and various correlation functions makes it an ideal tool in bridging experiments with theories. A general study of the features interpreted by the Luttinger liquid theory and observed in experiments is first presented, showing the need for new PIMC calculations in this field. I calculate the DC conductance at finite temperature for both noninteracting and interacting electrons. The quantized conductance is identified in PIMC simulations without making the same approximation in the Luttinger model. The low electron density regime is subject to strong interactions, since the kinetic energy decreases faster than the Coulomb interaction at low density. An electron state called the Wigner crystal has been proposed in this regime for quasi-1D wires. By using PIMC, I observe the zig-zag structure of the Wigner crystal. The quantum fluctuations suppress the long range correla- tions, making the order short-ranged. Spin correlations are calculated and used to evaluate the spin coupling strength in a zig-zag state. I also find that as the density increases, electrons undergo a structural phase transition to a dimer state, in which two electrons of opposite spins are coupled across the two rows of the zig-zag. A phase diagram is sketched for a range of densities and transverse confinements. The quantum point contact (QPC) is a typical realization of quantum wires. I study the QPC by explicitly simulating a system of electrons in and around a Timp potential (Timp, 1992). Localization of a single electron in the middle of the channel is observed at 5 K, as the split gate voltage increases. The DC conductance is calculated, which shows the effect of the Coulomb interaction. At 1 K and low electron density, a state similar to the Wigner crystal is found inside the channel.
ContributorsLiu, Jianheng, 1982- (Author) / Shumway, John B (Thesis advisor) / Schmidt, Kevin E (Committee member) / Chen, Tingyong (Committee member) / Yu, Hongbin (Committee member) / Ros, Robert (Committee member) / Arizona State University (Publisher)
Created2012
Description
This work demonstrated a novel microfluidic device based on direct current (DC) insulator based dielectrophoresis (iDEP) for trapping individual mammalian cells in a microfluidic device. The novel device is also applicable for selective trapping of weakly metastatic mammalian breast cancer cells (MCF-7) from mixtures with mammalian Peripheral Blood Mononuclear Cells (PBMC) and highly metastatic mammalian breast cancer cells, MDA-MB-231. The advantage of this approach is the ease of integration of iDEP structures in microfliudic channels using soft lithography, the use of DC electric fields, the addressability of the single cell traps for downstream analysis and the straightforward multiplexing for single cell trapping. These microfluidic devices are targeted for capturing of single cells based on their DEP behavior. The numerical simulations point out the trapping regions in which single cell DEP trapping occurs. This work also demonstrates the cell conductivity values of different cell types, calculated using the single-shell model. Low conductivity buffers are used for trapping experiments. These low conductivity buffers help reduce the Joule heating. Viability of the cells in the buffer system was studied in detail with a population size of approximately 100 cells for each study. The work also demonstrates the development of the parallelized single cell trap device with optimized traps. This device is also capable of being coupled detection of target protein using MALDI-MS.
ContributorsBhattacharya, Sanchari (Author) / Ros, Alexandra (Committee member) / Ros, Robert (Committee member) / Buttry, Daniel (Committee member) / Arizona State University (Publisher)
Created2013
Description
Attribute Based Access Control (ABAC) mechanisms have been attracting a lot of interest from the research community in recent times. This is especially because of the flexibility and extensibility it provides by using attributes assigned to subjects as the basis for access control. ABAC enables an administrator of a server to enforce access policies on the data, services and other such resources fairly easily. It also accommodates new policies and changes to existing policies gracefully, thereby making it a potentially good mechanism for implementing access control in large systems, particularly in today's age of Cloud Computing. However management of the attributes in ABAC environment is an area that has been little touched upon. Having a mechanism to allow multiple ABAC based systems to share data and resources can go a long way in making ABAC scalable. At the same time each system should be able to specify their own attribute sets independently. In the research presented in this document a new mechanism is proposed that would enable users to share resources and data in a cloud environment using ABAC techniques in a distributed manner. The focus is mainly on decentralizing the access policy specifications for the shared data so that each data owner can specify the access policy independent of others. The concept of ontologies and semantic web is introduced in the ABAC paradigm that would help in giving a scalable structure to the attributes and also allow systems having different sets of attributes to communicate and share resources.
ContributorsPrabhu Verleker, Ashwin Narayan (Author) / Huang, Dijiang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Dasgupta, Partha (Committee member) / Arizona State University (Publisher)
Created2014
Description
This thesis addresses the ever increasing threat of botnets in the smartphone domain and focuses on the Android platform and the botnets using Online Social Networks (OSNs) as Command and Control (C&C;) medium. With any botnet, C&C; is one of the components on which the survival of botnet depends. Individual bots use the C&C; channel to receive commands and send the data. This thesis develops active host based approach for identifying the presence of bot based on the anomalies in the usage patterns of the user before and after the bot is installed on the user smartphone and alerting the user to the presence of the bot. A profile is constructed for each user based on the regular web usage patterns (achieved by intercepting the http(s) traffic) and implementing machine learning techniques to continuously learn the user's behavior and changes in the behavior and all the while looking for any anomalies in the user behavior above a threshold which will cause the user to be notified of the anomalous traffic. A prototype bot which uses OSN s as C&C; channel is constructed and used for testing. Users are given smartphones(Nexus 4 and Galaxy Nexus) running Application proxy which intercepts http(s) traffic and relay it to a server which uses the traffic and constructs the model for a particular user and look for any signs of anomalies. This approach lays the groundwork for the future host-based counter measures for smartphone botnets using OSN s as C&C; channel.
ContributorsKilari, Vishnu Teja (Author) / Xue, Guoliang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Dasgupta, Partha (Committee member) / Arizona State University (Publisher)
Created2013
Interactions driving the collapse of islet amyloid polypeptide: implications for amyloid aggregation
Description
Human islet amyloid polypeptide (hIAPP), also known as amylin, is a 37-residue intrinsically disordered hormone involved in glucose regulation and gastric emptying. The aggregation of hIAPP into amyloid fibrils is believed to play a causal role in type 2 diabetes. To date, not much is known about the monomeric state of hIAPP or how it undergoes an irreversible transformation from disordered peptide to insoluble aggregate. IAPP contains a highly conserved disulfide bond that restricts hIAPP(1-8) into a short ring-like structure: N_loop. Removal or chemical reduction of N_loop not only prevents cell response upon binding to the CGRP receptor, but also alters the mass per length distribution of hIAPP fibers and the kinetics of fibril formation. The mechanism by which N_loop affects hIAPP aggregation is not yet understood, but is important for rationalizing kinetics and developing potential inhibitors. By measuring end-to-end contact formation rates, Vaiana et al. showed that N_loop induces collapsed states in IAPP monomers, implying attractive interactions between N_loop and other regions of the disordered polypeptide chain . We show that in addition to being involved in intra-protein interactions, the N_loop is involved in inter-protein interactions, which lead to the formation of extremely long and stable β-turn fibers. These non-amyloid fibers are present in the 10 μM concentration range, under the same solution conditions in which hIAPP forms amyloid fibers. We discuss the effect of peptide cyclization on both intra- and inter-protein interactions, and its possible implications for aggregation. Our findings indicate a potential role of N_loop-N_loop interactions in hIAPP aggregation, which has not previously been explored. Though our findings suggest that N_loop plays an important role in the pathway of amyloid formation, other naturally occurring IAPP variants that contain this structural feature are incapable of forming amyloids. For example, hIAPP readily forms amyloid fibrils in vitro, whereas the rat variant (rIAPP), differing by six amino acids, does not. In addition to being highly soluble, rIAPP is an effective inhibitor of hIAPP fibril formation . Both of these properties have been attributed to rIAPP's three proline residues: A25P, S28P and S29P. Single proline mutants of hIAPP have also been shown to kinetically inhibit hIAPP fibril formation. Because of their intrinsic dihedral angle preferences, prolines are expected to affect conformational ensembles of intrinsically disordered proteins. The specific effect of proline substitutions on IAPP structure and dynamics has not yet been explored, as the detection of such properties is experimentally challenging due to the low molecular weight, fast reconfiguration times, and very low solubility of IAPP peptides. High-resolution techniques able to measure tertiary contact formations are needed to address this issue. We employ a nanosecond laser spectroscopy technique to measure end-to-end contact formation rates in IAPP mutants. We explore the proline substitutions in IAPP and quantify their effects in terms of intrinsic chain stiffness. We find that the three proline mutations found in rIAPP increase chain stiffness. Interestingly, we also find that residue R18 plays an important role in rIAPP's unique chain stiffness and, together with the proline residues, is a determinant for its non-amyloidogenic properties. We discuss the implications of our findings on the role of prolines in IDPs.
ContributorsCope, Stephanie M (Author) / Vaiana, Sara M (Thesis advisor) / Ghirlanda, Giovanna (Committee member) / Ros, Robert (Committee member) / Lindsay, Stuart M (Committee member) / Ozkan, Sefika B (Committee member) / Arizona State University (Publisher)
Created2013
Description
The widespread adoption of mobile devices gives rise to new opportunities and challenges for authentication mechanisms. Many traditional authentication mechanisms become unsuitable for smart devices. For example, while password is widely used on computers as user identity authentication, inputting password on small smartphone screen is error-prone and not convenient. In the meantime, there are emerging demands for new types of authentication. Proximity authentication is an example, which is not needed for computers but quite necessary for smart devices. These challenges motivate me to study and develop novel authentication mechanisms specific for smart devices.
In this dissertation, I am interested in the special authentication demands of smart devices and about to satisfy the demands. First, I study how the features of smart devices affect user identity authentications. For identity authentication domain, I aim to design a continuous, forge-resistant authentication mechanism that does not interrupt user-device interactions. I propose a mechanism that authenticates user identity based on the user's finger movement patterns. Next, I study a smart-device-specific authentication, proximity authentication, which authenticates whether two devices are in close proximity. For prox- imity authentication domain, I aim to design a user-friendly authentication mechanism that can defend against relay attacks. In addition, I restrict the authenticated distance to the scale of near field, i.e., a few centimeters. My first design utilizes a user's coherent two-finger movement on smart device screen to restrict the distance. To achieve a fully-automated system, I explore acoustic communications and propose a novel near field authentication system.
In this dissertation, I am interested in the special authentication demands of smart devices and about to satisfy the demands. First, I study how the features of smart devices affect user identity authentications. For identity authentication domain, I aim to design a continuous, forge-resistant authentication mechanism that does not interrupt user-device interactions. I propose a mechanism that authenticates user identity based on the user's finger movement patterns. Next, I study a smart-device-specific authentication, proximity authentication, which authenticates whether two devices are in close proximity. For prox- imity authentication domain, I aim to design a user-friendly authentication mechanism that can defend against relay attacks. In addition, I restrict the authenticated distance to the scale of near field, i.e., a few centimeters. My first design utilizes a user's coherent two-finger movement on smart device screen to restrict the distance. To achieve a fully-automated system, I explore acoustic communications and propose a novel near field authentication system.
ContributorsLi, Lingjun (Author) / Xue, Guoliang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Ye, Jieping (Committee member) / Zhang, Yanchao (Committee member) / Arizona State University (Publisher)
Created2014
Description
Single molecule identification is one essential application area of nanotechnology. The application areas including DNA sequencing, peptide sequencing, early disease detection and other industrial applications such as quantitative and quantitative analysis of impurities, etc. The recognition tunneling technique we have developed shows that after functionalization of the probe and substrate of a conventional Scanning Tunneling Microscope with recognition molecules ("tethered molecule-pair" configuration), analyte molecules trapped in the gap that is formed by probe and substrate will bond with the reagent molecules. The stochastic bond formation/breakage fluctuations give insight into the nature of the intermolecular bonding at a single molecule-pair level. The distinct time domain and frequency domain features of tunneling signals were extracted from raw signals of analytes such as amino acids and their enantiomers. The Support Vector Machine (a machine-learning method) was used to do classification and predication based on the signal features generated by analytes, giving over 90% accuracy of separation of up to seven analytes. This opens up a new interface between chemistry and electronics with immediate implications for rapid Peptide/DNA sequencing and molecule identification at single molecule level.
ContributorsZhao, Yanan, 1986- (Author) / Lindsay, Stuart (Thesis advisor) / Nemanich, Robert (Committee member) / Qing, Quan (Committee member) / Ros, Robert (Committee member) / Zhang, Peiming (Committee member) / Arizona State University (Publisher)
Created2014
Description
Biophysical techniques have been increasingly applied toward answering biological questions with more precision. Here, three different biological systems were studied with the goal of understanding their dynamic differences, either conformational dynamics within the system or oligomerization dynamics between monomers. With Cy3 on the 5' end of DNA, the effects of changing the terminal base pair were explored using temperature-dependent quantum yields. It was discovered, in combination with simulations, that a terminal thymine base has the weakest stacking interactions with the Cy3 dye compared to the other three bases. With ME1 heterodimers, the goal was to see if engineering a salt bridge at the dimerization interface could allow for control over dimerization in a pH-dependent manner. This was performed experimentally by measuring FRET between monomers containing either a Dap or an Asp mutation and comparing FRET efficiency at different pHs. It was demonstrated that the heterodimeric salt bridge would only form in a pH range near neutrality. Finally, with DNA processivity clamps, one aim was to compare the equilibrium dissociation constants, kinetic rate constants, and lifetimes of the closed rings for beta clamp and PCNA. This was done using a variety of biophysical techniques but with three as the main focus: fluorescence correlation spectroscopy, single-molecule experiments, and time-correlated single photon counting measurements. The stability of beta clamp was found to be three orders of magnitude higher when measuring solution stability but only one order of magnitude higher when measuring intrinsic stability, which is a result of salt bridge interactions in the interface of beta clamp. Ongoing work built upon the findings from this project by attempting to disrupt interface stability of different beta clamp mutants by adding salt or changing the pH of the solution. Lingering questions about the dynamics of different areas of the clamps has led to another project for which we have developed a control to demystify some unexpected similarities between beta clamp mutants. With that project, we show that single-labeled and double-labeled samples have similar autocorrelation decays in florescence correlation spectroscopy, allowing us to rule out the dyes themselves as causing fluctuations in the 10-100 microsecond timescale.
ContributorsBinder, Jennifer (Author) / Levitus, Marcia (Thesis advisor) / Wachter, Rebekka (Committee member) / Ros, Robert (Committee member) / Arizona State University (Publisher)
Created2015
Description
Calcitonin Gene-Related Peptide (CGRP) is an intrinsically disordered protein
that has no regular secondary structure, but plays an important role in vasodilation and pain transmission in migraine. Little is known about the structure and dynamics of the monomeric state of CGRP or how CGRP is able to function in the cell, despite the lack of regular secondary structure. This work focuses characterizing the non-local structural and dynamical properties of the CGRP monomer in solution, and understanding how these are affected by the sequence and the solution environment. The unbound, free state of CGRP is measured using a nanosecond laser-pump spectrophotometer, which allows measuring the end-to-end distance (a non-local structural property) and the rate of end-to-end contact formation (intra-chain diffusional dynamics). The data presented in this work show that electrostatic interactions strongly modulate the structure of CGRP, and that peptide-solvent interactions are sequence and charge dependent and can have a significant effect on the internal dynamics of the peptide. In the last few years migraine research has shifted focus to disrupting the CGRP-receptor pathway through the design of pharmacological drugs that bind to either CGRP or its receptor, inhibiting receptor activation and therefore preventing or reducing the frequency of migraine attacks. Understanding what types of intra- and inter-chain interactions dominate in CGRP can help better design drugs that disrupt the binding of CGRP to its receptor.
that has no regular secondary structure, but plays an important role in vasodilation and pain transmission in migraine. Little is known about the structure and dynamics of the monomeric state of CGRP or how CGRP is able to function in the cell, despite the lack of regular secondary structure. This work focuses characterizing the non-local structural and dynamical properties of the CGRP monomer in solution, and understanding how these are affected by the sequence and the solution environment. The unbound, free state of CGRP is measured using a nanosecond laser-pump spectrophotometer, which allows measuring the end-to-end distance (a non-local structural property) and the rate of end-to-end contact formation (intra-chain diffusional dynamics). The data presented in this work show that electrostatic interactions strongly modulate the structure of CGRP, and that peptide-solvent interactions are sequence and charge dependent and can have a significant effect on the internal dynamics of the peptide. In the last few years migraine research has shifted focus to disrupting the CGRP-receptor pathway through the design of pharmacological drugs that bind to either CGRP or its receptor, inhibiting receptor activation and therefore preventing or reducing the frequency of migraine attacks. Understanding what types of intra- and inter-chain interactions dominate in CGRP can help better design drugs that disrupt the binding of CGRP to its receptor.
ContributorsSizemore, Sara (Author) / Vaiana, Sara (Thesis advisor) / Ghirlanda, Giovanna (Committee member) / Ros, Robert (Committee member) / Lindsay, Stuart (Committee member) / Ozkan, Sefika (Committee member) / Arizona State University (Publisher)
Created2015