ardy! winning against the two best players of all time, Brad Rutter and Ken Jennings (Ferrucci et al. 2010). Since this demonstration, IBM has expanded its research program in artificial intelligence (AI), including the areas of natural language processing and machine learning (Kelly and Hamm 2013). Ultimately, IBM sees the opportunity to develop cognitive computing — a unified and universal pl...

Biosphere nitrogen is subjected to rapid turnover, and because it is eventually lost as nitrogen into the atmosphere, its maintenance requires continuous replenishment with reduced nitrogen from atmospheric nitrogen. Biological reduction of nitrogen to ammonia can be performed only by some prokaryotes and is a highly oxygen-sensitive process. The most efficient nitrogen fixers establish a symbi...

The fourth version of Symbiotic brings a brand new instrumentation part, which can now instrument the analyzed program with code pieces checking various specification properties. As a consequence, Symbiotic 4 participates for the first time also in categories focused on memory safety. Further, we have ported both Symbiotic and Klee to llvm 3.8 and added new features to the slicer which is now m...

Title of Dissertation: ROLES OF THE SYMBIOTIC MICROBIAL COMMUNITIES ASSOCIATED WITH SPONGE HOSTS IN THE NITROGEN AND PHOSPHORUS CYCLES Fan Zhang, Doctor of Philosophy, 2015 Directed By: Dr. Russell T. Hill, Professor, Institute of Marine and Environmental Technology, University of Maryland Center for Environmental Science Marine sponges are habitat-forming organisms in coral reefs. Many sponge ...

As a promising channel to Type Ia supernovae (SNe Ia), we have proposed a symbiotic binary system consisting of a white dwarf (WD) and a low mass red-giant (RG), where strong winds from the accreting WD play a key role to increase the WD mass to the Chandrasekhar mass limit. However, the occurrence frequency of SNe Ia through this channel has been still controversial. Here we propose two new ev...

The field of Artificial Intelligence (AI) has become extremely prominent in recent times, with the integration of different intelligent components into devices and services we use in everyday life. As the capabilities of such systems become more and more complex, one branch of AI that becomes relevant is that of automated planning or sequential decision making, in order for these components to ...

Several of the Major Transitions in natural evolution, such as the symbiogenic origin of eukaryotes from prokaryotes, share the feature that existing entities became the components of composite entities at a higher level of organisation. This composition of pre-adapted extant entities into a new whole is a fundamentally different source of variation from the gradual accumulation of small random...

In nature, the Goby fish lives in symbiosis with the burrowing shrimp; serving as a watchman in return for a place to live. Current adaptive learning systems hold an ambiguous position that attempts to compensate for real-world interaction. This paper presents a novel symbiotic-dialog approach to abstract cognitive skill training. The approach is implemented within Goby, a third-party symbiotic...

In this thesis, we investigate the problem of Unmanned Aerial Vehicle (UAV) path planning in search or surveillance mission, when some a priori information about the targets and the environment is available. A search operation that utilizes the available a priori information about the initial location of the targets, terrain data, and information from reasonable assumptions about the targets mo...

All plants studied in natural ecosystems are symbiotic with fungi that either reside entirely (endophytes) or partially (mycorrhizae) within plants. These symbioses appear to adapt to biotic and abiotic stresses and may be responsible for the survival of both plant hosts and fungal symbionts in high stress habitats. Here we describe the role of symbiotic fungi in plant stress tolerance and pres...