A policy model for secure information flow

When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes a policy model to specify what information flow is permitted in a computational system. The security definition, which is based on a general notion of information lattices, allows various representations of information to be used in the enforcement of secure information flow in deterministic or nondeterministic systems. A flexible semantics-based analysis technique is presented, which uses the input-output relational model induced by an attacker's observational power, to compute the information released by the computational system. An illustrative attacker model demonstrates the use of the technique to develop a termination-sensitive analysis. The technique allows the development of various information flow analyses, parametrised by the attacker's observational power, which can be used to enforce what declassification policies.

Orthogonal forward selection for constructing the radial basis function network with tunable nodes

An orthogonal forward selection (OFS) algorithm based on the leave-one-out (LOO) criterion is proposed for the construction of radial basis function (RBF) networks with tunable nodes. This OFS-LOO algorithm is computationally efficient and is capable of identifying parsimonious RBF networks that generalise well. Moreover, the proposed algorithm is fully automatic and the user does not need to specify a termination criterion for the construction process.

Construction of tunable radial basis function networks using orthogonal forward selection

An orthogonal forward selection (OFS) algorithm based on leave-one-out (LOO) criteria is proposed for the construction of radial basis function (RBF) networks with tunable nodes. Each stage of the construction process determines an RBF node, namely, its center vector and diagonal covariance matrix, by minimizing the LOO statistics. For regression application, the LOO criterion is chosen to be the LOO mean-square error, while the LOO misclassification rate is adopted in two-class classification application. This OFS-LOO algorithm is computationally efficient, and it is capable of constructing parsimonious RBF networks that generalize well. Moreover, the proposed algorithm is fully automatic, and the user does not need to specify a termination criterion for the construction process. The effectiveness of the proposed RBF network construction procedure is demonstrated using examples taken from both regression and classification applications.

Adsorption and dissociation of benzene on bimetallic surfaces - the influence of surface geometry and electronic structure

This topical review discusses the influence of the surface geometry (e.g. lattice parameters and termination) and electronic structure of well-defined bimetallic surfaces on the adsorption and dissociation of benzene. The available data can be divided into two categories with combinations of non-transition metals and transition metals on the one side and combinations of two transition metals on the other. The main effect of non-transition metals in surface alloys is site blocking which can suppress chemisorption and dissociation of the molecules completely. When two transition metals are combined, the effects are less dramatic. They mainly affect the strength of the chemisorption bond and the degree of dissociation due to electronic and template effects.

The application of Prony’s method to time-domain waveform data modeling in the presence of noise

In this paper,the Prony's method is applied to the time-domain waveform data modelling in the presence of noise.The following three problems encountered in this work are studied:(1)determination of the order of waveform;(2)de-termination of numbers of multiple roots;(3)determination of the residues.The methods of solving these problems are given and simulated on the computer.Finally,an output pulse of model PG-10N signal generator and the distorted waveform obtained by transmitting the pulse above mentioned through a piece of coaxial cable are modelled,and satisfactory results are obtained.So the effectiveness of Prony's method in waveform data modelling in the presence of noise is confirmed.

Stops making sense: translational trade-offs and stop codon reassignment

Background Efficient gene expression involves a trade-off between (i) premature termination of protein synthesis; and (ii) readthrough, where the ribosome fails to dissociate at the terminal stop. Sense codons that are similar in sequence to stop codons are more susceptible to nonsense mutation, and are also likely to be more susceptible to transcriptional or translational errors causing premature termination. We therefore expect this trade-off to be influenced by the number of stop codons in the genetic code. Although genetic codes are highly constrained, stop codon number appears to be their most volatile feature. Results In the human genome, codons readily mutable to stops are underrepresented in coding sequences. We construct a simple mathematical model based on the relative likelihoods of premature termination and readthrough. When readthrough occurs, the resultant protein has a tail of amino acid residues incorrectly added to the C-terminus. Our results depend strongly on the number of stop codons in the genetic code. When the code has more stop codons, premature termination is relatively more likely, particularly for longer genes. When the code has fewer stop codons, the length of the tail added by readthrough will, on average, be longer, and thus more deleterious. Comparative analysis of taxa with a range of stop codon numbers suggests that genomes whose code includes more stop codons have shorter coding sequences. Conclusions We suggest that the differing trade-offs presented by alternative genetic codes may result in differences in genome structure. More speculatively, multiple stop codons may mitigate readthrough, counteracting the disadvantage of a higher rate of nonsense mutation. This could help explain the puzzling overrepresentation of stop codons in the canonical genetic code and most variants.

Role of the atmosphere in the seasonal phase locking of El Nino

The variations with the seasonal cycle of the atmospheric response to constant SST anomalies in the eastern tropical Pacific are investigated with the atmospheric GCM, HadAM3. The equatorial wind response is weakest in January and February when the warmest SSTs are south of the Equator and strongest in April when the warmest SSTs are on the Equator. This may have consequences for the seasonality of the onset and termination of El Niño. Westerly wind anomalies in the tropical Pacific associated with El Niño have previously been observed to shift south of the Equator, weakening on the Equator, during the northern winter. It has been suggested that this may contribute to the termination of El Niño in spring. These experiments demonstrate that such a shift can arise solely in response to the mean seasonal cycle during El Niño and does not require changes in SST anomalies.

Pricing short leases and break clauses using simulation methodology

This paper examines the changes in the length of commercial property leases over the last decade and presents an analysis of the consequent investment and occupational pricing implications for commercial property investmentsIt is argued that the pricing implications of a short lease to an investor are contingent upon the expected costs of the letting termination to the investor, the probability that the letting will be terminated and the volatility of rental values.The paper examines the key factors influencing these variables and presents a framework for incorporating their effects into pricing models.Approaches to their valuation derived from option pricing are critically assessed. It is argued that such models also tend to neglect the price effects of specific risk factors such as tenant circumstances and the terms of break clause. Specific risk factors have a significant bearing on the probability of letting termination and on the level of the resultant financial losses. The merits of a simulation methododology are examined for rental and capital valuations of short leases and properties with break clauses.It is concluded that in addition to the rigour of its internal logic, the success of any methodology is predicated upon the accuracy of the inputs.The lack of reliable data on patterns in, and incidence of, lease termination and the lack of reliable time series of historic property performance limit the efficacy of financial models.

Flooding tolerance in four 'Garrigue' landscape plants: implications for their future use in the urban landscapes of north-west Europe?

Within a changing climate, Mediterranean ‘Garrigue’ xerophytes are increasingly recommended as suitable urban landscape plants in north-west Europe, based on their capacity to tolerate high temperature and reduced water availability during summer. Such species, however, have a poor reputation for tolerating waterlogged soils; paradoxically a phenomenon that may also increase in north-west Europe due to predictions for both higher volumes of winter precipitation, and short, but intensive periods of summer rainfall. This study investigated flooding tolerance in four landscape ‘Garrigue’ species, Stachys byzantina, Cistus × hybridus, Lavandula angustifolia and Salvia officinalis. Despite evolving in a dry habitat, the four species tested proved remarkably resilient to flooding. All species survived 17 days flooding in winter, with Stachys and Lavandula also surviving equivalent flooding duration during summer. Photosynthesis and biomass production, however, were strongly inhibited by flooding although the most tolerant species, Stachys quickly restored its photosynthetic capacity on termination of flooding. Overall, survival rates were comparable to previous studies on other terrestrial (including wetland) species. Subsequent experiments using Salvia (a species we identified as ‘intermediate’ in tolerance) clearly demonstrated adaptations to waterlogging, e.g. acclimation against anoxia when pre-treated with hypoxia. Despite anecdotal information to the contrary, we found no evidence to suggest that these xerophytic species are particularly intolerant of waterlogging. Other climatic and biotic factors may restrict the viability and distribution of these species within the urban conurbations of north-west Europe, but we believe increased incidence of flooding per se should not preclude their consideration.

‘Victory in a Nuclear War? A Comparison of NATO and WTO War Aims and Strategies’

Given the danger of the unbearable catastrophe of nuclear war, NATO in the mid-1950s abandoned any war aim of achieving victory in an all-out war with the Soviet Union or the Warsaw Treaty Organisation. Instead, it adopted the war aim of a cease-fire or war termination. By contrast, the WTO clung on to the war aim of victory - expressed even in terms of the survival of slightly more Soviet citizens than NATO citizens, after unprecedented losses of life in nuclear exchanges - until the mid-1980s when under Gorbachev the concept of victory in nuclear war was abandoned.

Examining the large-scale spatial coherence of European drought using regional indicators of precipitation and streamflow deficit

Droughts tend to evolve slowly and affect large areas simultaneously, which suggests that improved understanding of spatial coherence of drought would enable better mitigation of drought impacts through enhanced monitoring and forecasting strategies. This study employs an up-to-date dataset of over 500 river flow time series from 11 European countries, along with a gridded precipitation dataset, to examine the spatial coherence of drought in Europe using regional indicators of precipitation and streamflow deficit. The drought indicators were generated for 24 homogeneous regions and, for selected regions, historical drought characteristics were corroborated with previous work. The spatial coherence of drought characteristics was then examined at a European scale. Historical droughts generally have distinctive signatures in their spatio-temporal development, so there was limited scope for using the evolution of historical events to inform forecasting. Rather, relationships were explored in time series of drought indicators between regions. Correlations were generally low, but multivariate analyses revealed broad continental-scale patterns, which appear to be related to large-scale atmospheric circulation indices (in particular, the North Atlantic Oscillation and the East Atlantic West Russia pattern). A novel methodology for forecasting was developed (and demonstrated with reference to the United Kingdom), which predicts drought from drought i.e. uses spatial coherence of drought to facilitate early warning of drought in a target region, from drought which is developing elsewhere in Europe.Whilst the skill of the methodology is relatively modest at present, this approach presents a potential new avenue for forecasting, which offers significant advantages in that it allows prediction for all seasons, and also shows some potential for forecasting the termination of drought conditions.

Interhemispheric coupling, the West Antarctic Ice Sheet and warm Antarctic interglacials

Ice core evidence indicates that even though atmospheric CO2 concentrations did not exceed ~300 ppm at any point during the last 800 000 years, East Antarctica was at least ~3–4 °C warmer than preindustrial (CO2~280 ppm) in each of the last four interglacials. During the previous three interglacials, this anomalous warming was short lived (~3000 years) and apparently occurred before the completion of Northern Hemisphere deglaciation. Hereafter, we refer to these periods as "Warmer than Present Transients" (WPTs). We present a series of experiments to investigate the impact of deglacial meltwater on the Atlantic Meridional Overturning Circulation (AMOC) and Antarctic temperature. It is well known that a slowed AMOC would increase southern sea surface temperature (SST) through the bipolar seesaw and observational data suggests that the AMOC remained weak throughout the terminations preceding WPTs, strengthening rapidly at a time which coincides closely with peak Antarctic temperature. We present two 800 kyr transient simulations using the Intermediate Complexity model GENIE-1 which demonstrate that meltwater forcing generates transient southern warming that is consistent with the timing of WPTs, but is not sufficient (in this single parameterisation) to reproduce the magnitude of observed warmth. In order to investigate model and boundary condition uncertainty, we present three ensembles of transient GENIE-1 simulations across Termination II (135 000 to 124 000 BP) and three snapshot HadCM3 simulations at 130 000 BP. Only with consideration of the possible feedback of West Antarctic Ice Sheet (WAIS) retreat does it become possible to simulate the magnitude of observed warming.

Scanning tunneling microscopy and molecular dynamics study of the Li2TiO3(001) surface

We have investigated the (001) surface structure of lithium titanate (Li2TiO3) using auger electron spectroscopy (AES), low-energy electron diffraction (LEED), and scanning tunneling microscopy (STM). Li2TiO3 is a potential fusion reactor blanket material. After annealing at 1200 K, LEED demonstrated that the Li2TiO3(001) surface was well ordered and not reconstructed. STM imaging showed that terraces are separated in height by about 0.3 nm suggesting a single termination layer. Moreover, hexagonal patterns with a periodicity of ∼0.4 nm are observed. On the basis of molecular dynamics (MD) simulations, these are interpreted as a dynamic arrangement of Li atoms.

Glaciodynamics of the central sector of the last British–Irish ice sheet in Northern England

The central sector of the last British–Irish Ice Sheet (BIIS) was characterised by considerable complexity, both in terms of its glacial stratigraphy and geomorphological signature. This complexity is reflected by the large number and long history of papers that have attempted to decipher the glaciodynamic history of the region. Despite significant advances in our understanding, reconstructions remain hotly debated and relatively local, thereby hindering attempts to piece together BIIS dynamics. This paper seeks to address these issues by reviewing geomorphological mapping evidence of palimpsest flow signatures and providing an up-to-date stratigraphy of the region. Reconciling geomorphological and sedimentological evidence with relative and absolute dating constraints has allowed us to develop a new six-stage glacial model of ice-flow history and behaviour in the central sector of the last BIIS, with three major phases of glacial advance. This includes: I. Eastwards ice flow through prominent topographic corridors of the north Pennines; II. Cessation of the Stainmore ice flow pathway and northwards migration of the North Irish Sea Basin ice divide; III. Stagnation and retreat of the Tyne Gap Ice Stream; IV. Blackhall Wood–Gosforth Oscillation; V. Deglaciation of the Solway Lowlands; and VI. Scottish Re-advance and subsequent final retreat of ice out of the central sector of the last BIIS. The ice sheet was characterised by considerable dynamism, with flow switches, initiation (and termination) of ice streams, draw-down of ice into marine ice streams, repeated ice-marginal fluctuations and the production of large volumes of meltwater, locally impounded to form ice-dammed glacial lakes. Significantly, we tie this reconstruction to work carried out and models developed for the entire ice sheet. This therefore situates research in the central sector within contemporary understanding of how the last BIIS evolved over time.

Deglacial changes of the southern margin of the southern westerly winds revealed by terrestrial records from SW Patagonia (52 degrees S)

Much of the ongoing discussion regarding synchrony or bipolar asynchrony of paleoclimate events has centered on the timing and structure of the last glacial termination in the southern mid- latitudes, in particular the southwestern Patagonian region (50�e55�S). Its location adjacent to the Drake Passage andnear the southern margin of the southern westerly winds (SWW) allows examining the postulated links between the Southern Oceane SWW coupled system and tmospheric CO2 variations through the last glacial termination. Results from two sites located in the Última Esperanza area (52�S) allow us to infer SWW-driven changes in hydrologic balance during this critical time interval. These findings indicate peatland development under temperate/wet conditions between 14,600 and 14,900 cal yr BP, followed by cooling and a lake transgressive phase that led to a shallow lake during the early part of the Antarctic Cold Reversal (ACR, 13,600-14,600 cal yr BP), followed in turn by a deeper lake and modest warming during Younger Dryas time (YD, 11,800-13,000 cal yr BP), superseded by terrestrialization and forest expansion at the beginning of the Holocene. We propose that the SWW (i) strengthened and shifted northward during ACR time causing a precipitation rise in northwestern and southwestern Patagonia coeval with mid- and high-latitude cooling and a halt in the deglacial atmospheric CO2 rise; (ii) shifted southward during YD time causing a precipitation decline/increase in NW/SW Patagonia, respectively, high-latitude warming, and invigorated CO2 release from the Southern Ocean; (iii) became weaker between 10,000 and 11,500 cal yr BP causing a precipitation decline throughout Patagonia, concurrent with peak mid- and high-latitude temperatures and atmospheric CO2 concentrations.