Multi-robot teams offer promising solutions for many long term deployments in remote and dangerous domains, such as extraterrestrial or underseas exploration. However, long term deployments present many problems preventing robot teams from operating effectively. Learning over long time scales is makes it difficult to assign credit to robots' actions, as...
Proceedings of the Eighteenth Biennial Conference of the International Institute of Fisheries Economics and Trade, held July 11-15, 2016 at Aberdeen Exhibition and Conference Center (AECC), Aberdeen, Scotland, UK.
Wine taste and mouthfeel are essential factors that determine consumer acceptance, consumer preference, and wine quality. The three taste descriptors, sweet, sour, and bitter, are well understood and routinely appearing in wine sensory. In contrast, information related to mouthfeel sensations is still relatively limited. Winemakers have worked hard to craft...
As one of the most popular data types, the point cloud is widely used in various appli- cations, including computer vision, computer graphics and robotics. The capability to directly measure 3D point clouds is invaluable in those applications as depth information could remove a lot of the segmentation ambiguities in...
The development of nanomaterials and the potential enhancement of their chemical, mechanical, electrical, and optical properties have led to the investigation of methods for their synthesis at lower cost with enhanced performance for next generation devices. Along with the pursuit of new materials that exhibit properties of interest, industry requires...
Historically, the difficulty of obtaining pure cultures of abundant marine
microbial plankton has an obstacle to reconstructing the underlying
mechanisms of biogeochemistry in the ocean. While a number of dominant
marine species from the ocean surface have been cultured, the dominant
microbial plankton of the dark ocean proved far more...
Structure-property relationships have always underpinned the field of solid state chemistry; dependable structural descriptions are integral to understanding and controlling the physical properties of inorganic compounds old and new. While a handful of crystal structures are celebrated for their versatility, flexibility, and functionality, the existence of more exotic structures is...
Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
The focus of this thesis is to design, characterize, and apply novel computational methods and molecular systems to interrogate heterogeneous human gut microbiome-related phenomena. In Chapter 2, I design, implement, and characterize a method for embedding co-occurrence patterns derived from massive 16s amplicon datasets. I use this method to 1....