Matching Items (421)
Filtering by
- All Subjects: artificial intelligence
- Creators: Arizona State University
- Creators: Forzani, Erica
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
Cancer is the second leading cause of death in the United States and novel methods of treating advanced malignancies are of high importance. Of these deaths, prostate cancer and breast cancer are the second most fatal carcinomas in men and women respectively, while pancreatic cancer is the fourth most fatal in both men and women. Developing new drugs for the treatment of cancer is both a slow and expensive process. It is estimated that it takes an average of 15 years and an expense of $800 million to bring a single new drug to the market. However, it is also estimated that nearly 40% of that cost could be avoided by finding alternative uses for drugs that have already been approved by the Food and Drug Administration (FDA). The research presented in this document describes the testing, identification, and mechanistic evaluation of novel methods for treating many human carcinomas using drugs previously approved by the FDA. A tissue culture plate-based screening of FDA approved drugs will identify compounds that can be used in combination with the protein TRAIL to induce apoptosis selectively in cancer cells. Identified leads will next be optimized using high-throughput microfluidic devices to determine the most effective treatment conditions. Finally, a rigorous mechanistic analysis will be conducted to understand how the FDA-approved drug mitoxantrone, sensitizes cancer cells to TRAIL-mediated apoptosis.
ContributorsTaylor, David (Author) / Rege, Kaushal (Thesis advisor) / Jayaraman, Arul (Committee member) / Nielsen, David (Committee member) / Kodibagkar, Vikram (Committee member) / Dai, Lenore (Committee member) / Arizona State University (Publisher)
Created2013
Description
Liquid-liquid interfaces serve as ideal 2-D templates on which solid particles can self-assemble into various structures. These self-assembly processes are important in fabrication of micron-sized devices and emulsion formulation. At oil/water interfaces, these structures can range from close-packed aggregates to ordered lattices. By incorporating an ionic liquid (IL) at the interface, new self-assembly phenomena emerge. ILs are ionic compounds that are liquid at room temperature (essentially molten salts at ambient conditions) that have remarkable properties such as negligible volatility and high chemical stability and can be optimized for nearly any application. The nature of IL-fluid interfaces has not yet been studied in depth. Consequently, the corresponding self-assembly phenomena have not yet been explored. We demonstrate how the unique molecular nature of ILs allows for new self-assembly phenomena to take place at their interfaces. These phenomena include droplet bridging (the self-assembly of both particles and emulsion droplets), spontaneous particle transport through the liquid-liquid interface, and various gelation behaviors. In droplet bridging, self-assembled monolayers of particles effectively "glue" emulsion droplets to one another, allowing the droplets to self-assembly into large networks. With particle transport, it is experimentally demonstrated the ILs overcome the strong adhesive nature of the liquid-liquid interface and extract solid particles from the bulk phase without the aid of external forces. These phenomena are quantified and corresponding mechanisms are proposed. The experimental investigations are supported by molecular dynamics (MD) simulations, which allow for a molecular view of the self-assembly process. In particular, we show that particle self-assembly depends primarily on the surface chemistry of the particles and the non-IL fluid at the interface. Free energy calculations show that the attractive forces between nanoparticles and the liquid-liquid interface are unusually long-ranged, due to capillary waves. Furthermore, IL cations can exhibit molecular ordering at the IL-oil interface, resulting in a slight residual charge at this interface. We also explore the transient IL-IL interface, revealing molecular interactions responsible for the unusually slow mixing dynamics between two ILs. This dissertation, therefore, contributes to both experimental and theoretical understanding of particle self-assembly at IL based interfaces.
ContributorsFrost, Denzil (Author) / Dai, Lenore L (Thesis advisor) / Torres, César I (Committee member) / Nielsen, David R (Committee member) / Squires, Kyle D (Committee member) / Rege, Kaushal (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
To further the efforts producing energy from more renewable sources, microbial electrochemical cells (MXCs) can utilize anode respiring bacteria (ARB) to couple the oxidation of an organic substrate to the delivery of electrons to the anode. Although ARB such as Geobacter and Shewanella have been well-studied in terms of their microbiology and electrochemistry, much is still unknown about the mechanism of electron transfer to the anode. To this end, this thesis seeks to elucidate the complexities of electron transfer existing in Geobacter sulfurreducens biofilms by employing Electrochemical Impedance Spectroscopy (EIS) as the tool of choice. Experiments measuring EIS resistances as a function of growth were used to uncover the potential gradients that emerge in biofilms as they grow and become thicker. While a better understanding of this model ARB is sought, electrochemical characterization of a halophile, Geoalkalibacter subterraneus (Glk. subterraneus), revealed that this organism can function as an ARB and produce seemingly high current densities while consuming different organic substrates, including acetate, butyrate, and glycerol. The importance of identifying and studying novel ARB for broader MXC applications was stressed in this thesis as a potential avenue for tackling some of human energy problems.
ContributorsAjulo, Oluyomi (Author) / Torres, Cesar (Thesis advisor) / Nielsen, David (Committee member) / Krajmalnik-Brown, Rosa (Committee member) / Popat, Sudeep (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
The use of petroleum for liquid-transportation fuels has strained the environment and caused the global crude oil reserves to diminish. Therefore, there exists a need to replace petroleum as the primary fuel derivative. Butanol is a four-carbon alcohol that can be used to effectively replace gasoline without changing the current automotive infrastructure. Additionally, butanol offers the same environmentally friendly effects as ethanol, but possess a 23% higher energy density. Clostridium acetobutylicum is an anaerobic bacterium that can ferment renewable biomass-derived sugars into butanol. However, this fermentation becomes limited by relatively low butanol concentrations (1.3% w/v), making this process uneconomical. To economically produce butanol, the in-situ product removal (ISPR) strategy is employed to the butanol fermentation. ISPR entails the removal of butanol as it is produced, effectively avoiding the toxicity limit and allowing for increased overall butanol production. This thesis explores the application of ISPR through integration of expanded-bed adsorption (EBA) with the C. acetobutylicum butanol fermentations. The goal is to enhance volumetric productivity and to develop a semi-continuous biofuel production process. The hydrophobic polymer resin adsorbent Dowex Optipore L-493 was characterized in cell-free studies to determine the impact of adsorbent mass and circulation rate on butanol loading capacity and removal rate. Additionally, the EBA column was optimized to use a superficial velocity of 9.5 cm/min and a resin fraction of 50 g/L. When EBA was applied to a fed-batch butanol fermentation performed under optimal operating conditions, a total of 25.5 g butanol was produced in 120 h, corresponding to an average yield on glucose of 18.6%. At this level, integration of EBA for in situ butanol recovered enabled the production of 33% more butanol than the control fermentation. These results are very promising for the production of butanol as a biofuel. Future work will entail the optimization of the fed-batch process for higher glucose utilization and development of a reliable butanol recovery system from the resin.
ContributorsWiehn, Michael (Author) / Nielsen, David (Thesis advisor) / Lin, Jerry (Committee member) / Lind, Mary Laura (Committee member) / Arizona State University (Publisher)
Created2013