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 245
Filtering by
- Creators: Johnston, Carol
- Creators: Baral, Chitta
- Creators: Shen, Wei
Description
The body is capable of regulating hunger in several ways. Some of these hunger regulation methods are innate, such as genetics, and some, such as the responses to stress and to the smell of food, are innate but can be affected by body conditions such as BMI and physical activity. Further, some hunger regulation methods stem from learned behaviors originating from cultural pressures or parenting styles. These latter regulation methods for hunger can be grouped into the categories: emotion, environment, and physical. The factors that regulate hunger can also influence the incidence of disordered eating, such as eating in the absence of hunger (EAH). Eating in the absence of hunger can occur in one of two scenarios, continuous EAH or beginning EAH. College students are at a particularly high risk for EAH and weight gain due to stress, social pressures, and the constant availability of energy dense and nutrient poor food options. The purpose of this study is to validate a modified EAH-C survey in college students and to discover which of the three latent factors (emotion, environment, physical) best predicts continual and beginning EAH. To do so, a modified EAH-C survey, with additional demographic components, was administered to students at a major southwest university. This survey contained two questions, one each for continuing and beginning EAH, regarding 14 factors related to emotional, physical, or environmental reasons that may trigger EAH. The results from this study revealed that the continual and beginning EAH surveys displayed good internal consistency reliability. We found that for beginning and continuing EAH, although emotion is the strongest predictor of EAH, all three latent factors are significant predictors of EAH. In addition, we found that environmental factors had the greatest influence on an individual's likelihood to continue to eat in the absence of hunger. Due to statistical abnormalities and differing numbers of factors in each category, we were unable to determine which of the three factors exerted the greatest influence on an individual's likelihood to begin eating in the absence of hunger. These results can be utilized to develop educational tools aimed at reducing EAH in college students, and ultimately reducing the likelihood for unhealthy weight gain and health complications related to obesity.
ContributorsGoett, Taylor (Author) / Johnston, Carol (Thesis advisor) / Lee, Chong (Committee member) / Lespron, Christy (Committee member) / Arizona State University (Publisher)
Created2013
Description
In October, 2009, participants of the Arizona Special Supplemental Nutrition Program for Women, Infants and Children (WIC) began receiving monthly Cash Value Vouchers (CVV) worth between six and 10 dollars towards the purchase of fresh fruits and vegetables. Data from the Arizona Department of Health Services (ADHS) showed CVV redemption rates in the first two years of the program were lower than the national average of 77% redemption. In response, the ADHS WIC Food List was expanded to also include canned and frozen fruits and vegetables. More recent data from ADHS suggest that redemption rates are improving, but variably exist among different WIC sub-populations. The purpose of this project was to identify themes related to the ease or difficulty of WIC CVV use amongst different categories of low-redeeming WIC participants. A total of 8 focus groups were conducted, four at a clinic in each of two Valley cities: Surprise and Mesa. Each of the four focus groups comprised one of four targeted WIC participant categories: pregnant, postpartum, breastfeeding, and children with participation ranging from 3-9 participants per group. Using the general inductive approach, recordings of the focus groups were transcribed, hand-coded and uploaded into qualitative analysis software resulting in four emergent themes including: interactions and shopping strategies, maximizing WIC value, redemption issues, and effect of rule change. Researchers identified twelve different subthemes related to the emergent theme of interactions and strategies to improve their experience, including economic considerations during redemption. Barriers related to interactions existed that made their purchase difficult, most notably anger from the cashier and other shoppers. However, participants made use of a number of strategies to facilitate WIC purchases or extract more value out of WIC benefits, such as pooling their CVV. Finally, it appears that the fruit and vegetable rule change was well received by those who were aware of the change. These data suggest a number of important avenues for future research, including verifying these themes are important within a larger, representative sample of Arizona WIC participants, and exploring strategies to minimize barriers identified by participants, such as use of electronic benefits transfer-style cards (EBT).
ContributorsBertmann, Farryl M. W (Author) / Wharton, Christopher (Christopher Mack), 1977- (Thesis advisor) / Ohri-Vachaspati, Punam (Committee member) / Johnston, Carol (Committee member) / Hampl, Jeffrey (Committee member) / Dixit-Joshi, Sujata (Committee member) / Barroso, Cristina (Committee member) / Arizona State University (Publisher)
Created2013
Description
Automating aspects of biocuration through biomedical information extraction could significantly impact biomedical research by enabling greater biocuration throughput and improving the feasibility of a wider scope. An important step in biomedical information extraction systems is named entity recognition (NER), where mentions of entities such as proteins and diseases are located within natural-language text and their semantic type is determined. This step is critical for later tasks in an information extraction pipeline, including normalization and relationship extraction. BANNER is a benchmark biomedical NER system using linear-chain conditional random fields and the rich feature set approach. A case study with BANNER locating genes and proteins in biomedical literature is described. The first corpus for disease NER adequate for use as training data is introduced, and employed in a case study of disease NER. The first corpus locating adverse drug reactions (ADRs) in user posts to a health-related social website is also described, and a system to locate and identify ADRs in social media text is created and evaluated. The rich feature set approach to creating NER feature sets is argued to be subject to diminishing returns, implying that additional improvements may require more sophisticated methods for creating the feature set. This motivates the first application of multivariate feature selection with filters and false discovery rate analysis to biomedical NER, resulting in a feature set at least 3 orders of magnitude smaller than the set created by the rich feature set approach. Finally, two novel approaches to NER by modeling the semantics of token sequences are introduced. The first method focuses on the sequence content by using language models to determine whether a sequence resembles entries in a lexicon of entity names or text from an unlabeled corpus more closely. The second method models the distributional semantics of token sequences, determining the similarity between a potential mention and the token sequences from the training data by analyzing the contexts where each sequence appears in a large unlabeled corpus. The second method is shown to improve the performance of BANNER on multiple data sets.
ContributorsLeaman, James Robert (Author) / Gonzalez, Graciela (Thesis advisor) / Baral, Chitta (Thesis advisor) / Cohen, Kevin B (Committee member) / Liu, Huan (Committee member) / Ye, Jieping (Committee member) / Arizona State University (Publisher)
Created2013
Description
Biological systems are complex in many dimensions as endless transportation and communication networks all function simultaneously. Our ability to intervene within both healthy and diseased systems is tied directly to our ability to understand and model core functionality. The progress in increasingly accurate and thorough high-throughput measurement technologies has provided a deluge of data from which we may attempt to infer a representation of the true genetic regulatory system. A gene regulatory network model, if accurate enough, may allow us to perform hypothesis testing in the form of computational experiments. Of great importance to modeling accuracy is the acknowledgment of biological contexts within the models -- i.e. recognizing the heterogeneous nature of the true biological system and the data it generates. This marriage of engineering, mathematics and computer science with systems biology creates a cycle of progress between computer simulation and lab experimentation, rapidly translating interventions and treatments for patients from the bench to the bedside. This dissertation will first discuss the landscape for modeling the biological system, explore the identification of targets for intervention in Boolean network models of biological interactions, and explore context specificity both in new graphical depictions of models embodying context-specific genomic regulation and in novel analysis approaches designed to reveal embedded contextual information. Overall, the dissertation will explore a spectrum of biological modeling with a goal towards therapeutic intervention, with both formal and informal notions of biological context, in such a way that will enable future work to have an even greater impact in terms of direct patient benefit on an individualized level.
ContributorsVerdicchio, Michael (Author) / Kim, Seungchan (Thesis advisor) / Baral, Chitta (Committee member) / Stolovitzky, Gustavo (Committee member) / Collofello, James (Committee member) / Arizona State University (Publisher)
Created2013
Description
Currently, to interact with computer based systems one needs to learn the specific interface language of that system. In most cases, interaction would be much easier if it could be done in natural language. For that, we will need a module which understands natural language and automatically translates it to the interface language of the system. NL2KR (Natural language to knowledge representation) v.1 system is a prototype of such a system. It is a learning based system that learns new meanings of words in terms of lambda-calculus formulas given an initial lexicon of some words and their meanings and a training corpus of sentences with their translations. As a part of this thesis, we take the prototype NL2KR v.1 system and enhance various components of it to make it usable for somewhat substantial and useful interface languages. We revamped the lexicon learning components, Inverse-lambda and Generalization modules, and redesigned the lexicon learning algorithm which uses these components to learn new meanings of words. Similarly, we re-developed an inbuilt parser of the system in Answer Set Programming (ASP) and also integrated external parser with the system. Apart from this, we added some new rich features like various system configurations and memory cache in the learning component of the NL2KR system. These enhancements helped in learning more meanings of the words, boosted performance of the system by reducing the computation time by a factor of 8 and improved the usability of the system. We evaluated the NL2KR system on iRODS domain. iRODS is a rule-oriented data system, which helps in managing large set of computer files using policies. This system provides a Rule-Oriented interface langauge whose syntactic structure is like any procedural programming language (eg. C). However, direct translation of natural language (NL) to this interface language is difficult. So, for automatic translation of NL to this language, we define a simple intermediate Policy Declarative Language (IPDL) to represent the knowledge in the policies, which then can be directly translated to iRODS rules. We develop a corpus of 100 policy statements and manually translate them to IPDL langauge. This corpus is then used for the evaluation of NL2KR system. We performed 10 fold cross validation on the system. Furthermore, using this corpus, we illustrate how different components of our NL2KR system work.
ContributorsKumbhare, Kanchan Ravishankar (Author) / Baral, Chitta (Thesis advisor) / Ye, Jieping (Committee member) / Li, Baoxin (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
Description
There are several visual dimensions of food that can affect food intake, example portion size, color, and variety. This dissertation elucidates the effect of number of pieces of food on preference and amount of food consumed in humans and motivation for food in animals. Chapter 2 Experiment 1 showed that rats preferred and also ran faster for multiple pieces (30, 10 mg pellets) than an equicaloric, single piece of food (300 mg) showing that multiple pieces of food are more rewarding than a single piece. Chapter 2 Experiment 2 showed that rats preferred a 30-pellet food portion clustered together rather than scattered. Preference and motivation for clustered food pieces may be interpreted based on the optimal foraging theory that animals prefer foods that can maximize energy gain and minimize the risk of predation. Chapter 3 Experiment 1 showed that college students preferred and ate less of a multiple-piece than a single-piece portion and also ate less in a test meal following the multiple-piece than single-piece portion. Chapter 3 Experiment 2 replicated the results in Experiment 1 and used a bagel instead of chicken. Chapter 4 showed that college students given a five-piece chicken portion scattered on a plate ate less in a meal and in a subsequent test meal than those given the same portion clustered together. This is consistent with the hypothesis that multiple pieces of food may appear like more food because they take up a larger surface area than a single-piece portion. All together, these studies show that number and surface area occupied by food pieces are important visual cues determining food choice in animals and both food choice and intake in humans.
ContributorsBajaj, Devina (Author) / Phillips, Elizabeth D. (Thesis advisor) / Cohen, Adam (Committee member) / Johnston, Carol (Committee member) / Bimonte-Nelson, Heather A. (Committee member) / Arizona State University (Publisher)
Created2013
Description
Dietary protein is known to increase postprandial thermogenesis more so than carbohydrates or fats, probably related to the fact that amino acids have no immediate form of storage in the body and can become toxic if not readily incorporated into body tissues or excreted. It is also well documented that subjects report greater satiety on high- versus low-protein diets and that subject compliance tends to be greater on high-protein diets, thus contributing to their popularity. What is not as well known is how a high-protein diet affects resting metabolic rate over time, and what is even less well known is if resting metabolic rate changes significantly when a person consuming an omnivorous diet suddenly adopts a vegetarian one. This pilot study sought to determine whether subjects adopting a vegetarian diet would report decreased satiety or demonstrate a decreased metabolic rate due to a change in protein intake and possible increase in carbohydrates. Further, this study sought to validate a new device called the SenseWear Armband (SWA) to determine if it might be sensitive enough to detect subtle changes in metabolic rate related to diet. Subjects were tested twice on all variables, at baseline and post-test. Independent and related samples tests revealed no significant differences between or within groups for any variable at any time point in the study. The SWA had a strong positive correlation to the Oxycon Mobile metabolic cart but due to a lack of change in metabolic rate, its sensitivity was undetermined. These data do not support the theory that adopting a vegetarian diet results in a long-term change in metabolic rate.
ContributorsMoore, Amy (Author) / Johnston, Carol (Thesis advisor) / Appel, Christy (Thesis advisor) / Gaesser, Glenn (Committee member) / Arizona State University (Publisher)
Created2012
Description
In this dissertation I develop a deep theory of temporal planning well-suited to analyzing, understanding, and improving the state of the art implementations (as of 2012). At face-value the work is strictly theoretical; nonetheless its impact is entirely real and practical. The easiest portion of that impact to highlight concerns the notable improvements to the format of the temporal fragment of the International Planning Competitions (IPCs). Particularly: the theory I expound upon here is the primary cause of--and justification for--the altered (i) selection of benchmark problems, and (ii) notion of "winning temporal planner". For higher level motivation: robotics, web service composition, industrial manufacturing, business process management, cybersecurity, space exploration, deep ocean exploration, and logistics all benefit from applying domain-independent automated planning technique. Naturally, actually carrying out such case studies has much to offer. For example, we may extract the lesson that reasoning carefully about deadlines is rather crucial to planning in practice. More generally, effectively automating specifically temporal planning is well-motivated from applications. Entirely abstractly, the aim is to improve the theory of automated temporal planning by distilling from its practice. My thesis is that the key feature of computational interest is concurrency. To support, I demonstrate by way of compilation methods, worst-case counting arguments, and analysis of algorithmic properties such as completeness that the more immediately pressing computational obstacles (facing would-be temporal generalizations of classical planning systems) can be dealt with in theoretically efficient manner. So more accurately the technical contribution here is to demonstrate: The computationally significant obstacle to automated temporal planning that remains is just concurrency.
ContributorsCushing, William Albemarle (Author) / Kambhampati, Subbarao (Thesis advisor) / Weld, Daniel S. (Committee member) / Smith, David E. (Committee member) / Baral, Chitta (Committee member) / Davalcu, Hasan (Committee member) / Arizona State University (Publisher)
Created2012