Co-ordinated management of intelligent pervasive spaces

The content of this paper is a snapshot of a current project looking at producing a real-time sensor-based building assessment tool, and a system that personalises work-spaces using multi-agent technology. Both systems derive physical environment information from a wireless sensor network that allows clients to subscribe to real-time sensed data. The principal ideologies behind this project are energy efficiency and well-being of occupants; in the context of leveraging the current state-of-the-art in agent technology, wireless sensor networks and building assessment systems to enable the optimisation and assessment of buildings. Participants of this project are from both industry (construction and research) and academia.

A semi-blind reception scheme based on ICA for multiuser MIMO-STBC system

When the orthogonal space-time block code (STBC), or the Alamouti code, is applied on a multiple-input multiple-output (MIMO) communications system, the optimum reception can be achieved by a simple signal decoupling at the receiver. The performance, however, deteriorates significantly in presence of co-channel interference (CCI) from other users. In this paper, such CCI problem is overcome by applying the independent component analysis (ICA), a blind source separation algorithm. This is based on the fact that, if the transmission data from every transmit antenna are mutually independent, they can be effectively separated at the receiver with the principle of the blind source separation. Then equivalently, the CCI is suppressed. Although they are not required by the ICA algorithm itself, a small number of training data are necessary to eliminate the phase and order ambiguities at the ICA outputs, leading to a semi-blind approach. Numerical simulation is also shown to verify the proposed ICA approach in the multiuser MIMO system.

A compositional framework for hardware/software co-design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

The transformation of earth-system observations into information of socio-economic value in GEOSS

The Group on Earth Observations System of Systems, GEOSS, is a co-ordinated initiative by many nations to address the needs for earth-system information expressed by the 2002 World Summit on Sustainable Development. We discuss the role of earth-system modelling and data assimilation in transforming earth-system observations into the predictive and status-assessment products required by GEOSS, across many areas of socio-economic interest. First we review recent gains in the predictive skill of operational global earth-system models, on time-scales of days to several seasons. We then discuss recent work to develop from the global predictions a diverse set of end-user applications which can meet GEOSS requirements for information of socio-economic benefit; examples include forecasts of coastal storm surges, floods in large river basins, seasonal crop yield forecasts and seasonal lead-time alerts for malaria epidemics. We note ongoing efforts to extend operational earth-system modelling and assimilation capabilities to atmospheric composition, in support of improved services for air-quality forecasts and for treaty assessment. We next sketch likely GEOSS observational requirements in the coming decades. In concluding, we reflect on the cost of earth observations relative to the modest cost of transforming the observations into information of socio-economic value.

Excited states of nitro-polypyridine metal complexes and their ultrafast decay. Time-resolved IR absorption, spectroelectrochemistry, and TD-DFT calculations of fac-[Re(Cl)(CO)3(5-Nitro-1,10-phenanthroline)]

The lowest absorption band of fac-[Re(Cl)(CO)(3)(5-NO2-phen)] encompasses two close-lying MLCT transitions. The lower one is directed to LUMO, which is heavily localized on the NO2 group. The UV-vis absorption spectrum is well accounted for by TD-DFT (G03/PBEPBE1/CPCM), provided that the solvent, MeCN, is included in the calculations. Near-UV excitation of fac-[Re(Cl)(CO)(3)(5-NO2-phen)] populates a triplet metal to ligand charge-transfer excited state, (MLCT)-M-3, that was characterized by picosecond time-resolved IR spectroscopy. Large positive shifts of the v(CO) bands upon excitation (+70 cm(-1) for the A'(1) band) signify a very large charge separation between the Re(Cl)(CO)3 unit and the 5-NO2-phen ligand. Details of the excited-state character are revealed by TD-DFT calculated changes of electron density distribution. Experimental excited-state v(CO) wavenumbers agree well with those calculated by DFT. The (MLCT)-M-3 state decays with a ca. 10 ps lifetime (in MeCN) into another transient species, that was identified by TRIR and TD-DFT calculations as an intraligand (3)n pi* excited state, whereby the electron density is excited from the NO2 oxygen lone pairs to the pi* system of 5-NO2-phen. This state is short-lived, decaying to the ground state with a similar to 30 ps lifetime. The presence of an n pi* state seems to be the main factor responsible for the lack of emission and the very short lifetimes of 3 MLCT states seen in all d(6)-metal complexes of nitro-polypyridyl ligands. Localization of the excited electron density in the lowest (MLCT)-M-3 states parallels localization of the extra electron in the reduced state that is characterized by a very small negative shift of the v(CO) IR bands (-6 cm(-1) for A'(1)) but a large downward shift of the v(s)(NO2) IR band. The Re-Cl bond is unusually stable toward reduction, whereas the Cl ligand is readily substituted upon oxidation.

An agent based approach to distributed task modeling for co-operative task support

This paper describes the design and implementation of an agent based network for the support of collaborative switching tasks within the control room environment of the National Grid Company plc. This work includes aspects from several research disciplines, including operational analysis, human computer interaction, finite state modelling techniques, intelligent agents and computer supported co-operative work. Aspects of these procedures have been used in the analysis of collaborative tasks to produce distributed local models for all involved users. These models have been used as the basis for the production of local finite state automata. These automata have then been embedded within an agent network together with behavioural information extracted from the task and user analysis phase. The resulting support system is capable of task and communication management within the transmission despatch environment.

A metabolic system-wide characterisation of the pig: a model for human physiology

The pig is a single-stomached omnivorous mammal and is an important model of human disease and nutrition. As such, it is necessary to establish a metabolic framework from which pathology-based variation can be compared. Here, a combination of one and two-dimensional (1)H and (13)C nuclear magnetic resonance spectroscopy (NMR) and high-resolution magic angle spinning (HR-MAS) NMR was used to provide a systems overview of porcine metabolism via characterisation of the urine, serum, liver and kidney metabolomes. The metabolites observed in each of these biological compartments were found to be qualitatively comparable to the metabolic signature of the same biological matrices in humans and rodents. The data were modelled using a combination of principal components analysis and Venn diagram mapping. Urine represented the most metabolically distinct biological compartment studied, with a relatively greater number of NMR detectable metabolites present, many of which are implicated in gut-microbial co-metabolic processes. The major inter-species differences observed were in the phase II conjugation of extra-genomic metabolites; the pig was observed to conjugate p-cresol, a gut microbial metabolite of tyrosine, with glucuronide rather than sulfate as seen in man. These observations are important to note when considering the translatability of experimental data derived from porcine models.

Maximising concurrency and scalability in a consistent, causal, distributed virtual reality system, whilst minimising the effect of network delays

The development of large scale virtual reality and simulation systems have been mostly driven by the DIS and HLA standards community. A number of issues are coming to light about the applicability of these standards, in their present state, to the support of general multi-user VR systems. This paper pinpoints four issues that must be readdressed before large scale virtual reality systems become accessible to a larger commercial and public domain: a reduction in the effects of network delays; scalable causal event delivery; update control; and scalable reliable communication. Each of these issues is tackled through a common theme of combining wall clock and causal time-related entity behaviour, knowledge of network delays and prediction of entity behaviour, that together overcome many of the effects of network delay.

Tree species diversity interacts with elevated CO2 to induce a greater root system response

As a consequence of land use change and the burning of fossil fuels, atmospheric concentrations of CO2 are increasing and altering the dynamics of the carbon cycle in forest ecosystems. In a number of studies using single tree species, fine root biomass has been shown to be strongly increased by elevated CO2. However, natural forests are often intimate mixtures of a number of co-occurring species. To investigate the interaction between tree mixture and elevated CO2, Alnus glutinosa, Betula pendula and Fagus sylvatica were planted in areas of single species and a three species polyculture in a free-air CO2 enrichment study (BangorFACE). The trees were exposed to ambient or elevated CO2 (580 µmol mol-1) for four years. Fine and coarse root biomass, together with fine root turnover and fine root morphological characteristics were measured. Fine root biomass, and morphology responded differentially to elevated CO2 at different soil depths in the three species when grown in monocultures. In polyculture, a greater response to elevated CO2 was observed in coarse roots to a depth of 20 cm, and fine root area index to a depth of 30 cm. Total fine root biomass was positively affected by elevated CO2 at the end of the experiment, but not by species diversity. Our data suggest that existing biogeochemical cycling models parameterised with data from species grown in monoculture may be underestimating the belowground response to global change.

Formal theory building for the avalanche game: explaining counter-intuitive behaviour of a complex system using geometrical and human behavioural/physiological effects

In 'Avalanche', an object is lowered, players staying in contact throughout. Normally the task is easily accomplished. However, with larger groups counter-intuitive behaviours appear. The paper proposes a formal theory for the underlying causal mechanisms. The aim is to not only provide an explicit, testable hypothesis for the source of the observed modes of behaviour-but also to exemplify the contribution that formal theory building can make to understanding complex social phenomena. Mapping reveals the importance of geometry to the Avalanche game; each player has a pair of balancing loops, one involved in lowering the object, the other ensuring contact. For more players, sets of balancing loops interact and these can allow dominance by reinforcing loops, causing the system to chase upwards towards an ever-increasing goal. However, a series of other effects concerning human physiology and behaviour (HPB) is posited as playing a role. The hypothesis is therefore rigorously tested using simulation. For simplicity a 'One Degree of Freedom' case is examined, allowing all of the effects to be included whilst rendering the analysis more transparent. Formulation and experimentation with the model gives insight into the behaviours. Multi-dimensional rate/level analysis indicates that there is only a narrow region in which the system is able to move downwards. Model runs reproduce the single 'desired' mode of behaviour and all three of the observed 'problematic' ones. Sensitivity analysis gives further insight into the system's modes and their causes. Behaviour is seen to arise only when the geometric effects apply (number of players greater than degrees of freedom of object) in combination with a range of HPB effects. An analogy exists between the co-operative behaviour required here and various examples: conflicting strategic objectives in organizations; Prisoners' Dilemma and integrated bargaining situations. Additionally, the game may be relatable in more direct algebraic terms to situations involving companies in which the resulting behaviours are mediated by market regulations. Finally, comment is offered on the inadequacy of some forms of theory building and the case is made for formal theory building involving the use of models, analysis and plausible explanations to create deep understanding of social phenomena.

Co-ordination of pathogenicity island expression by the BipA GTPase in enteropathogenic Escherichia coli (EPEC)

BipA is a novel member of the ribosome binding GTPase superfamily and is widely distributed in bacteria and plants. We report here that it regulates -multiple cell surface- and virulence-associated -components in the enteropathogenic Escherichia coli (EPEC) strain E2348/69. The regulated components include bacterial flagella, the espC pathogenicity island and a type III secretion system specified by the locus of enterocyte effacement (LEE). BipA positively regulated the espC and LEE gene clusters through transcriptional control of the LEE-encoded regulator, Ler. Additionally, it affected the pattern of proteolysis of intimin, a key LEE-encoded adhesin specified by the LEE. BipA control of the LEE operated independently of the previously characterized regulators Per, integration host factor and H-NS. In contrast, it negatively regulated the flagella-mediated motility of EPEC and in a Ler-independent manner. Our results indicate that the BipA GTPase functions high up in diverse regulatory cascades to co-ordinate the expression of key pathogenicity islands and other virulence-associated factors in E. coli.

Co-ordinate single-cell expression of LEE4- and LEE5-encoded proteins of Escherichia coli O157:H7

Escherichia coli O157:H7 is a zoonotic pathogen that can express a type III secretion system (TTSS) considered important for colonization and persistence in ruminants. E. coli O157:H7 strains have been shown to vary markedly in levels of protein secreted using the TTSS and this study has confirmed that a high secretion phenotype is more prevalent among isolates associated with human disease than isolates shed by healthy cattle. The variation in secretion levels is a consequence of heterogeneous expression, being dependent on the proportion of bacteria in a population that are actively engaged in protein secretion. This was demonstrated by indirect immunofluorescence and eGFP fusions that examined the expression of locus of enterocyte effacement (LEE)-encoded factors in individual bacteria. In liquid media, the expression of EspA, tir::egfp, intimin, but not map::egfp were co-ordinated in a subpopulation of bacteria. In contrast to E. coli O157:H7, expression of tir::egfp in EPEC E2348/69 was equivalent in all bacteria although the same fusion exhibited variable expression when transformed into an E. coli O157:H7 background. An E. coli O157:H7 strain deleted for the LEE demonstrated weak but variable expression of tir::egfp indicating that the elements controlling the heterogeneous expression lie outside the LEE. The research also demonstrated the rapid induction of tir::egfp and map::egfp on contact with bovine epithelial cells. This control in E. coli O157:H7 may be required to limit exposure of key surface antigens, EspA, Tir and intimin during colonization of cattle but allow their rapid production on contact with bovine gastrointestinal epithelium at the terminal rectum.

What is the climate system able to do ‘on its own’?

The climate of the Earth, like planetary climates in general, is broadly controlled by solar irradiation, planetary albedo and emissivity as well as its rotation rate and distribution of land (with its orography) and oceans. However, the majority of climate fluctuations that affect mankind are internal modes of the general circulation of the atmosphere and the oceans. Some of these modes, such as El Nino-Southern Oscillation (ENSO), are quasi-regular and have some longer-term predictive skill; others like the Arctic and Antarctic Oscillation are chaotic and generally unpredictable beyond a few weeks. Studies using general circulation models indicate that internal processes dominate the regional climate and that some like ENSO events have even distinct global signatures. This is one of the reasons why it is so difficult to separate internal climate processes from external ones caused, for example, by changes in greenhouse gases and solar irradiation. However, the accumulation of the warmest seasons during the latest two decades is lending strong support to the forcing of the greenhouse gases. As models are getting more comprehensive, they show a gradually broader range of internal processes including those on longer time scales, challenging the interpretation of the causes of past and present climate events further.

Quantitative genetic divergence and standing genetic (co)variance in thermal reaction norms along latitude

Although the potential to adapt to warmer climate is constrained by genetic trade-offs, our understanding of how selection and mutation shape genetic (co)variances in thermal reaction norms is poor. Using 71 isofemale lines of the fly Sepsis punctum, originating from northern, central, and southern European climates, we tested for divergence in juvenile development rate across latitude at five experimental temperatures. To investigate effects of evolutionary history in different climates on standing genetic variation in reaction norms, we further compared genetic (co)variances between regions. Flies were reared on either high or low food resources to explore the role of energy acquisition in determining genetic trade-offs between different temperatures. Although the latter had only weak effects on the strength and sign of genetic correlations, genetic architecture differed significantly between climatic regions, implying that evolution of reaction norms proceeds via different trajectories at high latitude versus low latitude in this system. Accordingly, regional genetic architecture was correlated to region-specific differentiation. Moreover, hot development temperatures were associated with low genetic variance and stronger genetic correlations compared to cooler temperatures. We discuss the evolutionary potential of thermal reaction norms in light of their underlying genetic architectures, evolutionary histories, and the materialization of trade-offs in natural environments.