Multi-Modal CTL:Completeness, Complexity, and an Application

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E and A where d denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V.

Parallel and nonparallel ecological, morphological and genetic divergence in lake-stream stickleback from a single catchment

Parallel phenotypic evolution in similar environments has been well studied in evolutionary biology; however, comparatively little is known about the influence of determinism and historical contingency on the nature, extent and generality of this divergence. Taking advantage of a novel system containing multiple lake-stream stickleback populations, we examined the extent of ecological, morphological and genetic divergence between three-spined stickleback present in parapatric environments. Consistent with other lake-stream studies, we found a shift towards a deeper body and shorter gill rakers in stream fish. Morphological shifts were concurrent with changes in diet, indicated by both stable isotope and stomach contents analysis. Performing a multivariate test for shared and unique components of evolutionary response to the distance gradient from the lake, we found a strong signature of parallel adaptation. Nonparallel divergence was also present, attributable mainly to differences between river locations. We additionally found evidence of genetic substructuring across five lake-stream transitions, indicating that some level of reproductive isolation occurs between populations in these habitats. Strong correlations between pairwise measures of morphological, ecological and genetic distance between lake and stream populations supports the hypothesis that divergent natural selection between habitats drives adaptive divergence and reproductive isolation. Lake-stream stickleback divergence in Lough Neagh provides evidence for the deterministic role of selection and supports the hypothesis that parallel selection in similar environments may initiate parallel speciation.

Parsing parallel evolution:Ecological divergence and differential gene expression in the adaptive radiations of thick-lipped Midas cichlid fishes from Nicaragua

The study of parallel evolution facilitates the discovery of common rules of diversification. Here, we examine the repeated evolution of thick lips in Midas cichlid fishes (the Amphilophus citrinellus species complex) - from two Great Lakes and two crater lakes in Nicaragua - to assess whether similar changes in ecology, phenotypic trophic traits and gene expression accompany parallel trait evolution. Using next-generation sequencing technology, we characterize transcriptome-wide differential gene expression in the lips of wild-caught sympatric thick- and thin-lipped cichlids from all four instances of repeated thick-lip evolution. Six genes (apolipoprotein D, myelin-associated glycoprotein precursor, four-and-a-half LIM domain protein 2, calpain-9, GTPase IMAP family member 8-like and one hypothetical protein) are significantly underexpressed in the thick-lipped morph across all four lakes. However, other aspects of lips' gene expression in sympatric morphs differ in a lake-specific pattern, including the magnitude of differentially expressed genes (97-510). Generally, fewer genes are differentially expressed among morphs in the younger crater lakes than in those from the older Great Lakes. Body shape, lower pharyngeal jaw size and shape, and stable isotopes (dC and dN) differ between all sympatric morphs, with the greatest differentiation in the Great Lake Nicaragua. Some ecological traits evolve in parallel (those related to foraging ecology; e.g. lip size, body and head shape) but others, somewhat surprisingly, do not (those related to diet and food processing; e.g. jaw size and shape, stable isotopes). Taken together, this case of parallelism among thick- and thin-lipped cichlids shows a mosaic pattern of parallel and nonparallel evolution. © 2012 Blackwell Publishing Ltd.

Added complexity in Ras and Rho family GTPase function:Added complexity in Ras and Rho family GTPase function

The regulation of the small GTPases leading to their membrane localization has long been attributed to processing of their C-terminal CAAX box. As deregulation of many of these GTPases have been implicated in cancer and other disorders, prenylation and methylation of this CAAX box has been studied in depth as a possibility for drug targeting, but unfortunately, to date no drug has proved clinically beneficial. However, these GTPases also undergo other modifications that may be important for their regulation. Ubiquitination has long been demonstrated to regulate the fate of numerous cellular proteins and recently it has become apparent that many GTPases, along with their GAPs, GeFs and GDis, undergo ubiquitination leading to a variety of fates such as re-localization or degradation. in this review we focus on the recent literature demonstrating that the regulation of small GTPases by ubiquitination, either directly or indirectly, plays a considerable role in controlling their function and that targeting these modifications could be important for disease treatment.

Integrating nutrition and immunology: A new frontier

Nutrition is critical to immune defence and parasite resistance, which not only affects individual organisms, but also has profound ecological and evolutionary consequences. Nutrition and immunity are complex traits that interact via multiple direct and indirect pathways, including the direct effects of nutrition on host immunity but also indirect effects mediated by the host's microbiota and pathogen populations. The challenge remains, however, to capture the complexity of the network of interactions that defines nutritional immunology. The aim of this paper is to discuss the recent findings in nutritional research in the context of immunological studies. By taking examples from the entomological literature, we argue that insects provide a powerful tool for examining the network of interactions between nutrition and immunity due to their tractability, short lifespan and ethical considerations. We describe the relationships between dietary composition, immunity, disease and microbiota in insects, and highlight the importance of adopting an integrative and multi-dimensional approach to nutritional immunology. 

Are power laws that estimate fractal dimension a good descriptor of soil structure and its link to soil biological properties?

The study of interrelationships between soil structure and its functional properties is complicated by the fact that the quantitative description of soil structure is challenging. Soil scientists have tackled this challenge by taking advantage of approaches such as fractal geometry, which describes soil architectural complexity through a scaling exponent (D) relating mass and numbers of particles/aggregates to particle/aggregate size. Typically, soil biologists use empirical indices such as mean weight diameters (MWD) and percent of water stable aggregates (WSA), or the entire size distribution, and they have successfully related these indices to key soil features such as C and N dynamics and biological promoters of soil structure. Here, we focused on D, WSA and MWD and we tested whether: D estimated by the exponent of the power law of number-size distributions is a good and consistent correlate of MWD and WSA; D carries information that differs from MWD and WSA; the fraction of variation in D that is uncorrelated with MWD and WSA is related to soil chemical and biological properties that are thought to establish interdependence with soil structure (e.g., organic C, N, arbuscular mycorrhizal fungi). We analysed observational data from a broad scale field study and results from a greenhouse experiment where arbuscular mycorrhizal fungi (AMF) and collembola altered soil structure. We were able to develop empirical models that account for a highly significant and large portion of the correlation observed between WSA and MWD but we did not uncover the mechanisms that underlie this correlation. We conclude that most of the covariance between D and soil biotic (AMF, plant roots) and abiotic (C. N) properties can be accounted for by WSA and MWD. This result implies that the ecological effects of the fragmentation properties described by D and generally discussed under the framework of fractal models can be interpreted under the intuitive perspective of simpler indices and we suggest that the biotic components mostly impacted the largest size fractions, which dominate MWD, WSA and the scaling exponent ruling number-size distributions. (C) 2010 Elsevier Ltd. All rights reserved.

Physical activity and the rejuvenation of Connswater (PARC study): protocol for a natural experiment investigating the impact of urban regeneration on public health

Background: There is a dearth of evidence regarding the impact of urban regeneration projects on public health, particularly the nature and degree to which urban regeneration impacts upon health-related behaviour change. Natural experiment methodology enables comprehensive large-scale evaluations of such interventions. The Connswater Community Greenway in Belfast is a major urban regeneration project involving the development of a 9 km linear park, including the provision of new cycle paths and walkways. In addition to the environmental improvements, this complex intervention involves a number of programmes to promote physical activity in the regenerated area. The project affords a unique opportunity to investigate the public health impact of urban regeneration.

Methods/Design: The evaluation framework was informed by the socio-ecological model and guided by the RE-AIM Framework. Key components include: (1) a quasi-experimental before-and-after survey of the Greenway population (repeated cross-sectional design), in tandem with data from a parallel Northern Ireland-wide survey for comparison; (2) an assessment of changes in the local built environment and of walkability using geographic information systems; (3) semi-structured interviews with a purposive sample of survey respondents, and a range of community stakeholders, before and after the regeneration project; and (4) a cost-effectiveness analysis. The primary outcome is change in proportion of individuals identified as being regularly physically active, according to the current UK recommendations. The RE-AIM Framework will be used to make an overall assessment of the impact of the Greenway on the physical activity behaviour of local residents.

Discussion: The Connswater Community Greenway provides a significant opportunity to achieve long-term, population level behaviour change. We argue that urban regeneration may be conceptualised meaningfully as a complex intervention comprising multiple components with the potential, individually and interactively, to affect the behaviour of a diverse population. The development and implementation of our comprehensive evaluation framework reflects this complexity and illuminates an approach to the empirical, rigorous evaluation of urban regeneration. More specifically, this study will add to the much needed evidence-base about the impact of urban regeneration on public health as well as having important implications for the development of natural experiment methodology.

On the Complexity of Universal Leader Election

Electing a leader is a fundamental task in distributed computing. In its implicit version, only the leader must know who is the elected leader. This paper focuses on studying the message and time complexity of randomized implicit leader election in synchronous distributed networks. Surprisingly, the most "obvious" complexity bounds have not been proven for randomized algorithms. The "obvious" lower bounds of O(m) messages (m is the number of edges in the network) and O(D) time (D is the network diameter) are non-trivial to show for randomized (Monte Carlo) algorithms. (Recent results that show that even O(n) (n is the number of nodes in the network) is not a lower bound on the messages in complete networks, make the above bounds somewhat less obvious). To the best of our knowledge, these basic lower bounds have not been established even for deterministic algorithms (except for the limited case of comparison algorithms, where it was also required that some nodes may not wake up spontaneously, and that D and n were not known).

We establish these fundamental lower bounds in this paper for the general case, even for randomized Monte Carlo algorithms. Our lower bounds are universal in the sense that they hold for all universal algorithms (such algorithms should work for all graphs), apply to every D, m, and n, and hold even if D, m, and n are known, all the nodes wake up simultaneously, and the algorithms can make anyuse of node's identities. To show that these bounds are tight, we present an O(m) messages algorithm. An O(D) time algorithm is known. A slight adaptation of our lower bound technique gives rise to an O(m) message lower bound for randomized broadcast algorithms.

An interesting fundamental problem is whether both upper bounds (messages and time) can be reached simultaneously in the randomized setting for all graphs. (The answer is known to be negative in the deterministic setting). We answer this problem partially by presenting a randomized algorithm that matches both complexities in some cases. This already separates (for some cases) randomized algorithms from deterministic ones. As first steps towards the general case, we present several universal leader election algorithms with bounds that trade-off messages versus time. We view our results as a step towards understanding the complexity of universal leader election in distributed networks.

Afterword::Innovation, Ecological Modernisation and the ‘Post-Conflict’ Policy Agenda

Perhaps the weakest dimension of the ‘triple bottom line’ understanding of
sustainable development has been the ‘economic’ dimension. Much of the thinking
about the appropriate ‘political economy’ to underpin sustainable development has
been either utopian (as in some ‘environmental’ political views) or ‘business as usual’ approaches. Rejecting both of these utopian and realist views, it is clear from the papers presented here and the conference debates that something like ‘ecological modernisation’ is the preferred conceptualisation of ‘sustainable development’ within policy circles in Northern Ireland, the UK and other European states.

Assessing suspended sediment dynamics in relation to ecological thresholds and sampling strategies in two Irish headwater catchments

Prediction of the impact of suspended sediment on aquatic ecosystems requires adequate knowledge of sediment dynamics in surface waters. Often, studies reporting the response of aquatic biota to suspended sediment are concerned with concentrations, while catchment erosion studies often report sediment delivery as annual loads and yields, making the comparison to documented ecological impacts difficult. Similarly, the European Union Freshwater Fish Directive (FFD) (78/659/EC) stipulates a guideline value of 25mgl which should not be exceeded, with the exception of floods and droughts. In this respect, the significance of suspended sediment in two Irish rivers was assessed using turbidity sensors calibrated for suspended sediment. Sediment yields of 0.07 tonnes (t) hayear and 0.44thayear and annual FFD exceedance frequency of 8.3% and 17.8% were estimated for the two catchments. Contrasts in the frequency of exceedance events between both catchments was observed, yet duration was typically short (

Ecological and societal benefits of jellyfish blooms

Jellyfish are often considered as stressors on marine ecosystems or as indicators of highly perturbed systems. Far less attention is given to the potential of such species to provide beneficial ecosystem services in their own right. In an attempt to redress this imbalance we take the liberty of portraying jellyfish in a positive light and suggest that the story is not entirely one of doom and gloom. More specifically, we outline how gelatinous marine species contribute to the four categories of ecosystem services (regulating, supporting, provisioning and cultural) defined by the Millennium Ecosystem Assessment. This discussion ranges from the role of jellyfish in carbon capture and advection to the deep ocean through to the creation of micro habitat for developing fishes and the advancement of citizen science programmes. Attention is paid also to incorporation of gelatinous species into fisheries or ecosystem level models and the mechanisms by which we can improve the transfer of information between jellyfish researchers and the wider non-specialist community.

Identification of 100 fundamental ecological questions

Fundamental ecological research is both intrinsically interesting and provides the basic knowledge required to answer applied questions of importance to the management of the natural world. The 100th anniversary of the British Ecological Society in 2013 is an opportune moment to reflect on the current status of ecology as a science and look forward to high-light priorities for future work. To do this, we identified 100 important questions of fundamental importance in pure ecology. We elicited questions from ecologists working across a wide range of systems and disciplines. The 754 questions submitted (listed in the online appendix) from 388 participants were narrowed down to the final 100 through a process of discussion, rewording and repeated rounds of voting. This was done during a two-day workshop and thereafter. The questions reflect many of the important current conceptual and technical pre-occupations of ecology. For example, many questions concerned the dynamics of environmental change and complex ecosystem interactions, as well as the interaction between ecology and evolution. The questions reveal a dynamic science with novel subfields emerging. For example, a group of questions was dedicated to disease and micro-organisms and another on human impacts and global change reflecting the emergence of new subdisciplines that would not have been foreseen a few decades ago. The list also contained a number of questions that have perplexed ecologists for decades and are still seen as crucial to answer, such as the link between population dynamics and life-history evolution. Synthesis. These 100 questions identified reflect the state of ecology today. Using them as an agenda for further research would lead to a substantial enhancement in understanding of the discipline, with practical relevance for the conservation of biodiversity and ecosystem function. © 2013 The Authors. Journal of Ecology © 2013 British Ecological Society.