Certainly Unsupervisable States

This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness. Compositional synthesis uses repeated abstraction and simplification to combat the state-space explosion problem for large systems. The abstraction method proposed in this paper finds and removes the so-called certainly unsupervisable states. By removing these states at an early stage, the final state space can be reduced substantially. The paper describes an algorithm with cubic time complexity to compute the largest possible set of removable states. A practical example demonstrates the feasibility of the method to solve real-world problems

FABM-PCLake – linking aquatic ecology with hydrodynamics

This study presents FABM-PCLake, a redesigned structure of the PCLake aquatic ecosystem model, which we implemented in the Framework for Aquatic Biogeochemical Models (FABM). In contrast to the original model, which was designed for temperate, fully mixed freshwater lakes, the new FABM-PCLake represents an integrated aquatic ecosystem model that can be linked with different hydrodynamic models and allows simulations of hydrodynamic and biogeochemical processes for zero-dimensional, one-dimensional as well as three-dimensional environments. FABM-PCLake describes interactions between multiple trophic levels, including piscivorous, zooplanktivorous and benthivorous fish, zooplankton, zoobenthos, three groups of phytoplankton and rooted macrophytes. The model also accounts for oxygen dynamics and nutrient cycling for nitrogen, phosphorus and silicon, both within the pelagic and benthic domains. FABM-PCLake includes a two-way communication between the biogeochemical processes and the physics, where some biogeochemical state variables (e.g., phytoplankton) influence light attenuation and thereby the spatial and temporal distributions of light and heat. At the same time, the physical environment, including water currents, light and temperature influence a wide range of biogeochemical processes. The model enables studies on ecosystem dynamics in physically heterogeneous environments (e.g., stratifying water bodies, and water bodies with horizontal gradients in physical and biogeochemical properties), and through FABM also enables data assimilation and multi-model ensemble simulations. Examples of potential new model applications include climate change impact studies and environmental impact assessment scenarios for temperate, sub-tropical and tropical lakes and reservoirs

Macaques primed with self-amplifying RNA vaccines expressing HIV-1 envelope and boosted with recombinant protein show potent T- and B-cell responses

RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Spatial and Temporal Association of Outbreaks of H5N1 Influenza Virus Infection in Wild Birds with the 0°C Isotherm

Wild bird movements and aggregations following spells of cold weather may have resulted in the spread of highly pathogenic avian influenza virus (HPAIV) H5N1 in Europe during the winter of 2005–2006. Waterbirds are constrained in winter to areas where bodies of water remain unfrozen in order to feed. On the one hand, waterbirds may choose to winter as close as possible to their breeding grounds in order to conserve energy for subsequent reproduction, and may be displaced by cold fronts. On the other hand, waterbirds may choose to winter in regions where adverse weather conditions are rare, and may be slowed by cold fronts upon their journey back to the breeding grounds, which typically starts before the end of winter. Waterbirds will thus tend to aggregate along cold fronts close to the 0°C isotherm during winter, creating conditions that favour HPAIV H5N1 transmission and spread. We determined that the occurrence of outbreaks of HPAIV H5N1 infection in waterbirds in Europe during the winter of 2005–2006 was associated with temperatures close to 0°C. The analysis suggests a significant spatial and temporal association of outbreaks caused by HPAIV H5N1 in wild birds with maximum surface air temperatures of 0°C–2°C on the day of the outbreaks and the two preceding days. At locations where waterbird census data have been collected since 1990, maximum mallard counts occurred when average and maximum surface air temperatures were 0°C and 3°C, respectively. Overall, the abundance of mallards (Anas platyrhynchos) and common pochards (Aythya ferina) was highest when surface air temperatures were lower than the mean temperatures of the region investigated. The analysis implies that waterbird movements associated with cold weather, and congregation of waterbirds along the 0°C isotherm likely contributed to the spread and geographical distribution of outbreaks of HPAIV H5N1 infection in wild birds in Europe during the winter of 2005–2006

Climate change and freshwater zooplankton: what does it boil down to?

Recently, major advances in the climate–zooplankton interface have been made some of which appeared to receive much attention in a broader audience of ecologists as well. In contrast to the marine realm, however, we still lack a more holistic summary of recent knowledge in freshwater. We discuss climate change-related variation in physical and biological attributes of lakes and running waters, high-order ecological functions, and subsequent alteration in zooplankton abundance, phenology, distribution, body size, community structure, life history parameters, and behavior by focusing on community level responses. The adequacy of large-scale climatic indices in ecology has received considerable support and provided a framework for the interpretation of community and species level responses in freshwater zooplankton. Modeling perspectives deserve particular consideration, since this promising stream of ecology is of particular applicability in climate change research owing to the inherently predictive nature of this field. In the future, ecologists should expand their research on species beyond daphnids, should address questions as to how different intrinsic and extrinsic drivers interact, should move beyond correlative approaches toward more mechanistic explanations, and last but not least, should facilitate transfer of biological data both across space and time