Functionally Specified Distributed Transactions in Co-operative Scenarios

Addresses the problem of specifying co-operative, distributed transactions in a manner that can be subject to verification and testing. Our approach combines the process-algebraic language LOTOS and the object-oriented database modelling language TM to obtain a clear and formal protocol for distributed database transactions meant to describe co-operation scenarios. We argue that a separation of concerns, namely the interaction of database applications on the one hand and data modelling on the other, results in a practical, modular approach that is formally well-founded. An advantage of this is that we may vary over transaction models to support the language combinatio

Trade-offs and synergies in the ecosystem service demand of urban brownfield stakeholders

Brownfield site redevelopment presents an opportunity to create urban green spaces that provide a wide range of ecosystem services. It is important, therefore, to understand which ecosystem services are demanded by stakeholders and whether there are trade-offs or synergies in this demand. We performed a quantitative survey of ecosystem service demand from brownfield sites that included all major stakeholder groups. Results showed that there was a strong trade-off between demand for services related to property development (e.g. ground strength and low flood risk) and all other services, which were linked to vegetated sites. There was a secondary, but weak, trade-off between demand for services of more ‘natural’ vegetated sites (e.g. with a biodiversity protection role) and those linked to aesthetics and recreation. Stakeholders with a strong preference for biodiversity protection formed a distinct group in their ecosystem service demands. While a ‘development’ vs ‘green space’ trade-off may be unavoidable, the general lack of strong trade-offs in demand for other services indicated that the creation of multifunctional greenspaces from former brownfield sites would be desirable to most stakeholders, as long as these are biophysically possible

A Framework for Information Systems Design based on Object-Oriented Concepts and Petri Nets

this paper, we describe an integrated way of developing (information) systems. This integration has two dimensions. First and foremost, it covers what has been called horizontal integratio

Lunasin in cereal seeds: what is the origin?

Lunasin is a peptide from soybean seeds which has been demonstrated to have anticancer properties. It has also been reported in cereal seeds: wheat, rye, barley and Triticale. However, extensive searches of transcriptome and DNA sequence databases for wheat and other cereals have failed to identify sequences encoding either the lunasin peptide or a precursor protein. This raises the question of the origin of the lunasin reported in cereal grain

Electron transport in the dye sensitized nanocrystalline cell

Dye sensitised nanocrystalline solar cells (Gr\"{a}tzel cells) have achieved solar-to-electrical energy conversion efficiencies of 12% in diffuse daylight. The cell is based on a thin film of dye-sensitised nanocrystalline TiO$_2$ interpenetrated by a redox electrolyte. The high surface area of the TiO$_2$ and the spectral characteristics of the dye allow the device to harvest 46% of the solar energy flux. One of the puzzling features of dye-sensitised nano-crystalline solar cells is the slow electron transport in the titanium dioxide phase. The available experimental evidence as well as theoretical considerations suggest that the driving force for electron collection at the substrate contact arises primarily from the concentration gradient, ie the contribution of drift is negligible. The transport of electrons has been characterised by small amplitude pulse or intensity modulated illumination. Here, we show how the transport of electrons in the Gr\"{a}tzel cell can be described quantitatively using trap distributions obtained from a novel charge extraction method with a one-dimensional model based on solving the continuity equation for the electron density. For the first time in such a model, a back reaction with the I$_3^-$ ions in the electrolyte that is second order in the electron density has been included.Comment: 6 pages, 5 figures, invited talk at the workshop 'Nanostructures in Photovoltaics' to appear in Physica

Sensitivity of combustion driven structural dynamics and damage to thermo-acoustic instability: Combustion-acoustics-vibration

The dynamic combustion process generates high amplitude pressure oscillations due to the thermo-acoustic instabilities, which are excited within the gas turbine. The combustion instabilities have a significant destructive impact on the life of the liner material due to the high cyclic vibration amplitudes at elevated temperatures. This paper presents a methodology developed for mechanical integrity analysis relevant to gas turbine combustors and the results of an investigation of combustion-acoustics-vibration interaction by means of structural dynamics. In this investigation, the combustion dynamics was found to be very sensitive to the thermal power of the system and the air-fuel ratio of the mixture that feed into the combustor. The unstable combustion caused a dominant pressure peak at a characteristic frequency, which is the first acoustic eigenfrequency of the system. Besides, the higher-harmonics of this peak were generated over a wide frequency-band. The frequencies of the higher-harmonics were observed to be close to the structural eigenfrequencies of the system. The structural integrity of both the intact and damaged test specimens mounted to the combustor were monitored by vibration-based and thermal-based techniques during the combustion operation. The flexibility method was found to be accurate to detect, localize and identify the damage. Furthermore, a temperature increase was observed around the damage due to the hot gas leakage from the combustor that can induce detrimental thermal stresses to consume the lifetime

Political differences in free will belief are associated with differences in moralization

In fourteen studies, we tested whether political conservatives’ stronger free will beliefs were linked to stronger and broader tendencies to moralize, and thus a greater motivation to assign blame. In Study 1 (meta-analysis of five studies, n=308,499) we show that conservatives have stronger tendencies to moralize than liberals, even for moralization measures containing zero political content (e.g., moral badness ratings of faces and personality traits). In Study 2, we show that conservatives report higher free will belief, and this is statistically mediated by the belief that people should be held morally responsible for their bad behavior (n=14,707). In Study 3, we show that political conservatism is associated with higher attributions of free will for specific events. Turning to experimental manipulations to test our hypotheses, we show that: when conservatives and liberals see an action as equally wrong there is no difference in free will attributions (Study 4); when conservatives see an action as less wrong than liberals, they attribute less free will (Study 5); and specific perceptions of wrongness account for the relation between political ideology and free will attributions (Study 6a and 6b). Finally, we show that political conservatives and liberals even differentially attribute free will for the same action depending on who performed it (Studies 7a-d). These results are consistent with our theory that political differences in free will belief are at least partly explicable by conservatives’ tendency to moralize, which strengthens motivation to justify blame with stronger belief in free will and personal accountability

Gemini Observations of Disks and Jets in Young Stellar Objects and in Active Galaxies

We present first results from the Near-infrared Integral Field Spectrograph (NIFS) located at Gemini North. For the active galaxies Cygnus A and Perseus A we observe rotationally-supported accretion disks and adduce the existence of massive central black holes and estimate their masses. In Cygnus A we also see remarkable high-excitation ionization cones dominated by photoionization from the central engine. In the T-Tauri stars HV Tau C and DG Tau we see highly-collimated bipolar outflows in the [Fe II] 1.644 micron line, surrounded by a slower molecular bipolar outflow seen in the H_2 lines, in accordance with the model advocated by Pyo et al. (2002).Comment: Invited paper presented at the 5th Stromlo Symposium. 9 pages, 7 figures. Accepted for publication in Astrophysics & Space Scienc