Theses and Dissertations
This collection includes both ASU Theses and Dissertations, submitted by graduate students, and the Barrett, Honors College theses submitted by undergraduate students.
Displaying 1 - 10 of 532
Filtering by
- All Subjects: artificial intelligence
- All Subjects: Health
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
Bully victimization has been associated with blunted cardiovascular responses to stress as well as elevated responses to stress. The difference between these altered physiological responses to stress is largely unknown. This study explored several possible moderators to the relationship between chronic stress and future cardiac output (an indicator of increased stress) in response to future stressors. These moderators include the difference between social and physical stressors and individual levels of loneliness. Participants were administered measures of loneliness and victimization history, and led to anticipate either a "social" (recorded speech) or "non-social" (pain tolerance test ) stressor, neither of which occurred. EKG and impedance cardiography were measured throughout the session. When anticipating both stressors, loneliness and victimization were associated with increased CO. A regression revealed a three-way interaction, with change in cardiac output depending on victimization history, loneliness, and condition in the physical stressor condition. Loneliness magnified the CO output levels of non-bullied individuals when facing a physical stressor. These results suggest that non- bullied participants high in loneliness are more stressed out when facing stressors, particularly stressors that are physically threatening in nature.
ContributorsHaneline, Magen (Author) / Newman, Matt (Thesis advisor) / Salerno, Jessica (Committee member) / Miller, Paul (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
Purpose: This study examines the role of social support on adjustment to widowhood. Past research has indicated that the role of social support on adjustment to widowhood remains inconclusive, and needs further examination. This study examines the varying coping trajectories of middle-aged and retired bereaved spouses. Additionally, this study examines how bereavement stage may also influence one's adaptation to widowhood. Methods: This study used in-depth and semi-structured interviews as a means of understanding the role of social support on adjustment to widowhood. Participants were recruited through two hospice services available in a major metropolitan area in the United States. Convenient and purposive samplings are used in this study; this study will execute a grounded theory approach in order to determine the inconclusive role of social support on adjustment to widowhood. This study is contrasting between two stages- life course stages (middle aged versus retirement aged people) and bereavement stages (a year or less time following the death of a spouse versus three or more years following the death of a spouse). As a means of reducing bias and subjectivity, all data collected during the interview will be transcribed immediately. Results: Middle-aged bereaved spouses reported higher levels of motivation for adjusting positively and quickly towards widowhood due to their concern for protecting the well-being of their surviving young children compared to retired bereaved spouses. Differences between middle-aged widows and widowers have been found in this study; middle-aged widowers have a higher linkage to negative health behaviors. Retired bereaved spouses may fare better depending upon their housing location. Living in a retirement center may lower negative effects of bereavement on retired spouses' health. Conclusions: Types of social support received and expected varied between middle-aged widows and widowers. Gender norms may influence the type of social support widows and widowers receive. Middle-aged widowers are less likely to receive emotional support which may explain their higher linkage to negative health behaviors. Bereavement stage and housing location may be the key factors that influence widowhood trajectories of retired bereaved spouses. Living in a retirement center may lower the negative effects of bereavement on overall health.
ContributorsRafieei, Noshin (Author) / Kronenfeld, Jennie (Thesis advisor) / Haas, Steven (Committee member) / Damgaard, Anni (Committee member) / Arizona State University (Publisher)
Created2013
Description
Research has demonstrated that temperature and relative humidity substantially influence overall perceptions of indoor air quality (Fang, Clausen, & Fanger, 1998). This finding places temperature quality as a high priority, especially for vulnerable adults over 60. Temperature extremes and fluctuation, as well as the perception of those conditions, affect physical performance, thermal comfort and health of older adults (Chatonnet & Cabanac, 1965, pp. 185-6; Fumiharu, Watanabe, Park, Shephard, & Aoyagi, 2005; Heijs & Stringer, 1988). The American Society of Heating, Refrigerating and Air-Conditioning Engineers (ASHRAE) and the International Organization for Standardization (ISO) have developed thermal-comfort standards for working-age, healthy individuals. None of these standards address the physiological and psychological needs of older adults (ASHRAE Standard 55, 2010; ISO-7730, 2005). This dissertation investigates the impacts of thermal conditions on self-reported health and perceived comfort for older adults, hypothesizing that warmer and more-table indoor thermal conditions will increase the health and perceived comfort of these adults. To this end, a new set of thermal comfort metrics was designed and tested to address the thermal preferences of older adults. The SENIOR COMFORT Metrics 2013 outlined new thresholds for optimal indoor high and low temperatures and set limits on thermal variability over time based on the ASHRAE-55 2010 model. This study was conducted at Sunnyslope Manor, a multi-unit, public-housing complex in the North Phoenix. Nearly 60% (76 of 118) of the residents (aged 62-82) were interviewed using a 110-question, self-reporting survey in 73 apartment units. A total of 40 questions and 20 sub-questions addressing perceptions of comfort, pain, sleep patterns, injuries, and mood were extracted from this larger health condition survey to assess health and thermal comfort. Indoor environmental thermal measurements included temperature in three locations: kitchen, living area, and bedroom and data were recorded every 15 minutes over 5 full days and 448 points. Study results start to indicate that older adults for Sunnyslope Manor preferred temperatures between 76 and 82.5 degrees Fahrenheit and that lower temperatures as outlined by ASHRAE-55 2010 increases the rate of injuries and mood changes in older adults among other findings.
ContributorsFonseca, Ernesto (Author) / Bryan, Harvey (Thesis advisor) / Ahrentzen, Sherry (Committee member) / Shea, Kimberly (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
This thesis introduces the Model-Based Development of Multi-iRobot Toolbox (MBDMIRT), a Simulink-based toolbox designed to provide the means to acquire and practice the Model-Based Development (MBD) skills necessary to design real-time embedded system. The toolbox was developed in the Cyber-Physical System Laboratory at Arizona State University. The MBDMIRT toolbox runs under MATLAB/Simulink to simulate the movements of multiple iRobots and to control, after verification by simulation, multiple physical iRobots accordingly. It adopts the Simulink/Stateflow, which exemplifies an approach to MBD, to program the behaviors of the iRobots. The MBDMIRT toolbox reuses and augments the open-source MATLAB-Based Simulator for the iRobot Create from Cornell University to run the simulation. Regarding the mechanism of iRobot control, the MBDMIRT toolbox applies the MATLAB Toolbox for the iRobot Create (MTIC) from United States Naval Academy to command the physical iRobots. The MBDMIRT toolbox supports a timer in both the simulation and the control, which is based on the local clock of the PC running the toolbox. In addition to the build-in sensors of an iRobot, the toolbox can simulate four user-added sensors, which are overhead localization system (OLS), sonar sensors, a camera, and Light Detection And Ranging (LIDAR). While controlling a physical iRobot, the toolbox supports the StarGazer OLS manufactured by HAGISONIC, Inc.
ContributorsSu, Shih-Kai (Author) / Fainekos, Georgios E (Thesis advisor) / Sarjoughian, Hessam S. (Committee member) / Artemiadis, Panagiotis K (Committee member) / Arizona State University (Publisher)
Created2012
Description
There has been a lot of research in the field of artificial intelligence about thinking machines. Alan Turing proposed a test to observe a machine's intelligent behaviour with respect to natural language conversation. The Winograd schema challenge is suggested as an alternative, to the Turing test. It needs inferencing capabilities, reasoning abilities and background knowledge to get the answer right. It involves a coreference resolution task in which a machine is given a sentence containing a situation which involves two entities, one pronoun and some more information about the situation and the machine has to come up with the right resolution of a pronoun to one of the entities. The complexity of the task is increased with the fact that the Winograd sentences are not constrained by one domain or specific sentence structure and it also contains a lot of human proper names. This modification makes the task of association of entities, to one particular word in the sentence, to derive the answer, difficult. I have developed a pronoun resolver system for the confined domain Winograd sentences. I have developed a classifier or filter which takes input sentences and decides to accept or reject them based on a particular criteria. Once the sentence is accepted. I run parsers on it to obtain the detailed analysis. Furthermore I have developed four answering modules which use world knowledge and inferencing mechanisms to try and resolve the pronoun. The four techniques I use are : ConceptNet knowledgebase, Search engine pattern counts,Narrative event chains and sentiment analysis. I have developed a particular aggregation mechanism for the answers from these modules to arrive at a final answer. I have used caching technique for the association relations that I obtain for different modules, so as to boost the performance. I run my system on the standard ‘nyu dataset’ of Winograd sentences and questions. This dataset is then restricted, by my classifier, to 90 sentences. I evaluate my system on this 90 sentence dataset. When I compare my results against the state of the art system on the same dataset, I get nearly 4.5 % improvement in the restricted domain.
ContributorsBudukh, Tejas Ulhas (Author) / Baral, Chitta (Thesis advisor) / VanLehn, Kurt (Committee member) / Davulcu, Hasan (Committee member) / Arizona State University (Publisher)
Created2013