Matrix Representation of the Stationary Measure for the Multispecies TASEP

In this work we construct the stationary measure of the N species totally asymmetric simple exclusion process in a matrix product formulation. We make the connection between the matrix product formulation and the queueing theory picture of Ferrari and Martin. In particular, in the standard representation, the matrices act on the space of queue lengths. For N > 2 the matrices in fact become tensor products of elements of quadratic algebras. This enables us to give a purely algebraic proof of the stationary measure which we present for N=3.

Is the unfolding of the group discussion off-pattern? Improving coordination support in educational forums using mobile devices

A forum is a valuable tool to foster reflection in an in-depth discussion; however, it forces the course mediator to continually pay close attention in order to coordinate learners` activities. Moreover, monitoring a forum is time consuming given that it is impossible to know in advance when new messages are going to be posted. Additionally, a forum may be inactive for a long period and suddenly receive a burst of messages forcing forum mediators to frequently log on in order to know how the discussion is unfolding to intervene whenever it is necessary. Mediators also need to deal with a large amount of messages to identify off-pattern situations. This work presents a piece of action research that investigates how to improve coordination support in a forum using mobile devices for mitigating mediator`s difficulties in following the status of a forum. Based on summarized information extracted from message meta-data, mediators consult visual information summaries on PDAs and receive textual notifications in their mobile phone. This investigation revealed that mediators used the mobile-based coordination support to keep informed on what is taking place within the forum without the need to log on their desktop computer. (C) 2009 Elsevier Ltd. All rights reserved.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

The challenge of maintaining Atlantic forest biodiversity: A multi-taxa conservation assessment of specialist and generalist species in an agro-forestry mosaic in southern Bahia

Recent developments have highlighted the importance of forest amount at large spatial scales and of matrix quality for ecological processes in remnants. These developments, in turn, suggest the potential for reducing biodiversity loss through the maintenance of a high percentage of forest combined with sensitive management of anthropogenic areas. We conducted a multi-taxa survey to evaluate the potential for biodiversity maintenance in an Atlantic forest landscape that presented a favorable context from a theoretical perspective (high proportion of mature forest partly surrounded by structurally complex matrices). We sampled ferns, butterflies, frogs, lizards, bats, small mammals and birds in interiors and edges of large and small mature forest remnants and two matrices (second-growth forests and shade cacao plantations), as well as trees in interiors of small and large remnants. By considering richness, abundance and composition of forest specialists and generalists, we investigated the biodiversity value of matrix habitats (comparing them with interiors of large remnants for all groups except tree), and evaluated area (for all groups) and edge effects (for all groups except trees) in mature forest remnants. our results suggest that in landscapes comprising high amounts of mature forest and low contrasting matrices: (1) shade cacao plantations and second-growth forests harbor an appreciable number of forest specialists; (2) most forest specialist assemblages are not affected by area or edge effects, while most generalist assemblages proliferate at edges of small remnants. Nevertheless, differences in tree assemblages, especially among smaller trees, Suggest that observed patterns are unlikely to be stable over time. (C) 2009 Elsevier Ltd. All rights reserved.