A comprehensive comparison between generalized incidence calculus and Dempster-Shafer theory of evidence.

Dealing with uncertainty problems in intelligent systems has attracted a lot of attention in the AI community. Quite a few techniques have been proposed. Among them, the Dempster-Shafer theory of evidence (DS theory) has been widely appreciated. In DS theory, Dempster's combination rule plays a major role. However, it has been pointed out that the application domains of the rule are rather limited and the application of the theory sometimes gives unexpected results. We have previously explored the problem with Dempster's combination rule and proposed an alternative combination mechanism in generalized incidence calculus. In this paper we give a comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. We first prove that these two theories have the same ability in representing evidence and combining DS-independent evidence. We then show that the new approach can deal with some dependent situations while Dempster's combination rule cannot. Various examples in the paper show the ways of using generalized incidence calculus in expert systems.

Hierarchical synthesis of complex DSP functions on FPGAs

SoC systems are now being increasingly constructed using a hierarchy of subsystems or silicon Intellectual Property (IP) cores. The key challenge is to use these cores in a highly efficient manner which can be difficult as the internal core structure may not be known. A design methodology based on synthesizing hierarchical circuit descriptions is presented. The paper employs the MARS synthesis scheduling algorithm within the existing IRIS synthesis flow and details how it can be enhanced to allow for design exploration of IP cores. It is shown that by accessing parameterised expressions for the datapath latencies in the cores, highly efficient FPGA solutions can be achieved. Hardware sharing at both the hierarchical and flattened levels is explored for a normalized lattice filter and results are presented.

Simulated predator extinctions: Predator identity affects survival and recruitment of oysters

The rate of species loss is increasing at a global scale, and human-induced extinctions are biased toward predator species. We examined the effects of predator extinctions on a foundation species, the eastern oyster (Crassostrea virginica). We performed a factorial experiment manipulating the presence and abundance of three of the most common predatory crabs, the blue crab (Callinectes sapidus), stone crab (Menippe mercenaria), and mud crab (Panopeus herbstii) in estuaries in the eastern United States. We tested the effects of species richness and identity of predators on juvenile oyster survival, oyster recruitment, and organic matter content of sediment. We also manipulated the density of each of the predators and controlled for the loss of biomass of species by maintaining a constant mass of predators in one set of treatments and simultaneously using an additive design. This design allowed us to test the density dependence of our results and test for functional compensation by other species. The identity of predator species, but not richness, affected oyster populations. The loss of blue crabs, alone or in combination with either of the other species, affected the survival rate of juvenile oysters. Blue crabs and stone crabs both affected oyster recruitment and sediment organic matter negatively. Mud crabs at higher than ambient densities, however, could fulfill some of the functions of blue and stone crabs, suggesting a level of ecological redundancy. Importantly, the strong effects of blue crabs in all processes measured no longer occurred when individuals were present at higher-than-ambient densities. Their role as dominant predator is, therefore, dependent on their density within the system and the density of other species within their guild (e.g., mud crabs). Our findings support the hypothesis that the effects of species loss at higher trophic levels are determined by predator identity and are subject to complex intraguild interactions that are largely density dependent. Understanding the role of biodiversity in ecosystem functioning or addressing practical concerns, such as loss of predators owing to overharvesting, remains complicated because accurate predictions require detailed knowledge of the system and should be drawn from sound experimental evidence, not based on observations or generalized models.