Egalitarian state-transition systems (extended version)

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.

Assessment of institutional contexts for collective action, and stakeholder receptiveness to integrated research-extension approaches on Lac Ntomba, Lac Maï-Ndombe and the Maringa-Lopori-Wamba watersheds

The WorldFish Center has been collaborating with its partners (AWF and WWF) in the Maringa-Lopori-Wamba (MLW) and the Lac Tele-Lac Ntomba (LTL) Landscapes to develop participatory monitoring systems for aquatic ecosystems. This requires rigorous data collection regarding fishing effort and catch, and the establishment of community partnerships; enabling WorldFish Center researchers to understand and counteract the institutional legacies of previous NGO interventions. In the MLW, fisherfolk livelihoods are severely limited due to their extreme isolation from markets and government services. However, fisherfolk have some experience dealing with natural resource conservation or extraction entities as well as humanitarian agencies. Their history has left them slightly skeptical but reasonably willing to collaborate with incoming NGOs. Around Lac Ntomba, fisherfolk have had more extensive interactions with conservation and humanitarian NGOs, but despite their proximity to the Congo River, they appear to have very limited access to distant markets. As past benefits from NGO activities have been captured by local village elites many fishers are highly skeptical and even antagonistic toward NGOs in general, and see little benefits from collaborating with each other or NGOs. Similarly to the MLW and Lac Ntomba, Lac Maï-Ndombe fisherfolk were disillusioned by past NGO activities. However, in this area levels of fish catch are greater than in the other watersheds, and many fishers make regular trips to major markets in Kinshasa, Kikwit and Tchikapa. Consequently, while there are significant divisions to be addressed in Lac Maï-Ndombe, fisherfolk in general are more interested in exploring options for improving livelihoods. In order to overcome these hurdles, the WorldFish Center has introduced an integrated research-extension approach in its interactions with these communities. The teams conducted demonstrations of technological innovations that could significantly improve on present post-harvest fish processing practices, in particular: a solar fish drying tent and a fish smoking barrel.

An idiotypic immune network as a short-term learning architecture for mobile robots

A combined Short-Term Learning (STL) and Long-Term Learning (LTL) approach to solving mobile robot navigation problems is presented and tested in both real and simulated environments. The LTL consists of rapid simulations that use a Genetic Algorithm to derive diverse sets of behaviours. These sets are then transferred to an idiotypic Artificial Immune System (AIS), which forms the STL phase, and the system is said to be seeded. The combined LTL-STL approach is compared with using STL only, and with using a handdesigned controller. In addition, the STL phase is tested when the idiotypic mechanism is turned off. The results provide substantial evidence that the best option is the seeded idiotypic system, i.e. the architecture that merges LTL with an idiotypic AIS for the STL. They also show that structurally different environments can be used for the two phases without compromising transferability.

Telomere length in elite athletes

Growing evidence suggests that regular, moderate-intensity physical activity is associated with an attenuation of leucocyte telomere length (LTL) shortening. However, more controversy exists regarding higher exercise loads, such as those imposed by elite sports participation. We have investigated LTL differences between young elite athletes (n=61, 54% men, aged [mean±SD] 27.2±4.9 years) and their healthy non-smoker, physically inactive controls (n=64, 52% men, 28.9±6.3 years) using analysis of variance (ANOVA). Elite athletes had, on average, higher LTL than controls subjects (0.89±0.26 vs 0.78±0.31, p=0.013 for the group effect, with no significant sex [p=0.995] or age effect [p=0.114]). Our results suggest that young elite athletes have longer telomeres than their inactive peers. Further research might assess the LTL of elite athletes of varying ages compared to both age-matched active and inactive individuals, respectively.