Semantics of the typed -calculus with substitution in a cartesian closed category

Two versions of semantics of the typed l-calculus with substitution are given. The first uses a global environments object which is the domain of all interpreted terms, while the second uses individual environments objects for each term. The algebraic properties of the environments object(s) play a central role in showing that the interpretation function is invariant under the operational semantics given by substitution

End Effector Development for Automated Sandwich Assembly

n/

Non-interference for deterministic interactive programs

We consider the problem of defining an appropriate notion of non-interference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O'Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms of strategies modelling the behaviour of users. We show that, for deterministic interactive programs, it is not necessary to consider strategies and that a simple stream model of the users' behaviour is sufficient. The key technical result is that, for deterministic programs, stream-based NI implies the apparently more general strategy-based NI (in fact we consider a wider class of strategies than those of O'Neill et al). We give our results in terms of a simple notion of Input-Output Labelled Transition System, thus allowing application of the results to a large class of deterministic interactive programming languages

The niche of benthic foraminifera, critical thresholds and proxies

Ecological studies of benthic foraminifera are carried out to explain patterns of distribution and the dynamics of communities. They are also used to provide data to establish proxy relationships with selected factors. According to niche theory, the patterns of distribution of benthic foraminifera are controlled by those environmental factors that have reached their critical thresholds. For each species, in variable environments, different factors may be limiting distributions both temporally and spatially. For a species or an assemblage to be useful as a proxy its abundance must show a strong correlation with the chosen factor. Since numerous factors influence each species, it is only in those environments where the majority of factors show little variation but one particular factor shows significant variation that the proxy relationship for that factor can be determined. On theoretical grounds, the reliability of using foraminiferal abundance as a proxy of a selected environmental factor should be restricted to the range close to the upper and lower thresholds. For oxygen, foraminifera are potential proxies for the lower limits but once oxygen levels rise to values of perhaps >1 or 2 ml l-1, there is no longer a relationship between oxygen levels and abundance. By contrast, the flux of organic matter over a large range shows a sufficiently close relationship with foraminiferal assemblages so that transfer functions can be derived for the deep sea. However, the relationship at species level is far less clear cut. Much more accurate estimates of primary productivity and modern organic flux rates are required to improve the determination of past flux rates

Existence and uniqueness for Legendre curves

We give a moving frame of a Legendre curve (or, a frontal) in the unite tangent bundle and define a pair of smooth functions of a Legendre curve like as the curvature of a regular plane curve. The existence and uniqueness for Legendre curves are holded like as regular plane curves. It is quite useful to analyse the Legendre curves. As applications, we consider contact between Legendre curves and the arc-length parameter of Legendre immersions in the unite tangent bundle.

The remaining hydrocarbon potential of the UK Continental Shelf

The United Kingdom Continental Shelf (UKCS) has been a very successful exploration province in the last 38 years, with an average technical success rate of 31% from its 2150 exploration wells. Although the peak of exploration activity on the UKCS occurred during the 1980s and 1990s, there have been 41 technical successes from 82 wells in the last four years, representing an improved recent success rate of 50%. Estimates of undiscovered (yet-to-find) hydrocarbon volumes have been made from a database of prospects compiled over 20 years by the UK Government. This ‘bottom-up’ method provided an estimate of the yet-to-find resources at the end of 2002 of between 3.6 and 22.9 × 109 BOE recoverable. Methodology utilizing an inverse timescale to plot cumulative discovered volumes per year provides minimum estimates of between 4.5 and 9.5 × 109 BOE in place (c. 2.5 to 4.4 × 109 BOE recoverable). Pool size distribution methodology predicts that 11.5 × 109 BOE of in-place (c. 5.8 × 109 BOE recoverable) resources remain to be found on the entire UKCS. Geographically, the UK Central North Sea and Moray Firth area is predicted to contain the largest proportion of undiscovered resources (42%). Thirty-three per cent of the yet-to-find resources are judged to lie within the Atlantic Margin region. Eighty-three per cent of existing UKCS fields and discoveries are located within structural traps. The majority of stratigraphic and combination traps occur in association with syn-rift (Upper Jurassic) and post-rift plays. Many of the major discoveries in these traps were found serendipitously, and there has been relatively little direct exploration for stratigraphic plays. In the UK North Sea, there are few substantial remaining structural traps, except at considerable depth with attendant reservoir quality, high-pressure and high-temperature risks. The future of exploration is believed to lie with the search for subtle stratigraphic traps. Deep-water sandstone stratigraphic plays within the syn- and post-rift sequences offer the greatest potential for substantial new resources

Comparison of s- and d-wave gap symmetry in nonequilibrium superconductivity

Recent application of ultrafast pump/probe optical techniques to superconductors has renewed interest in nonequilibrium superconductivity and the predictions that would be available for novel superconductors, such as the high-Tc cuprates. We have reexamined two of the classical models which have been used in the past to interpret nonequilibrium experiments with some success: the mu* model of Owen and Scalapino and the T* model of Parker. Predictions depend on pairing symmetry. For instance, the gap suppression due to excess quasiparticle density n in the mu* model, varies as n^{3/2} in d-wave as opposed to n for s-wave. Finally, we consider these models in the context of S-I-N tunneling and optical excitation experiments. While we confirm that recent pump/probe experiments in YBCO, as presently interpreted, are in conflict with d-wave pairing, we refute the further claim that they agree with s-wave.Comment: 14 pages, 11 figure

Predicted 10-year risk of cardiovascular disease is influenced by the risk equation adopted: a cross-sectional analysis

Background Validated risk equations are currently recommended to assess individuals to determine those at ‘high risk’ of cardiovascular disease (CVD). However, there is no longer a risk ‘equation of choice’. Aim This study examined the differences between four commonly-used CVD risk equations. Design and setting Cross-sectional analysis of individuals who participated in a workplace-based risk assessment in Carmarthenshire, south Wales. Method Analysis of 790 individuals (474 females, 316 males) with no prior diagnosis of CVD or diabetes. Ten-year CVD risk was predicted by entering the relevant variables into the QRISK2, Framingham Lipids, Framingham BMI, and JBS2 risk equations. Results The Framingham BMI and JBS2 risk equations predicted a higher absolute risk than the QRISK2 and Framingham Lipids equations, and CVD risk increased concomitantly with age irrespective of which risk equation was adopted. Only a small proportion of females (0–2.1%) were predicted to be at high risk of developing CVD using any of the risk algorithms. The proportion of males predicted at high risk ranged from 5.4% (QRISK2) to 20.3% (JBS2). After age stratification, few differences between isolated risk factors were observed in males, although a greater proportion of males aged ≥50 years were predicted to be at ‘high risk’ independent of risk equation used. Conclusions Different risk equations can influence the predicted 10-year CVD risk of individuals. More males were predicted at ‘high risk’ using the JBS2 or Framingham BMI equations. Consideration should also be given to the number of isolated risk factors, especially in younger adults when evaluating CVD risk

Environmental disclosure in Spain: Corporate characteristics and media exposure

Social and environmental issues have become a major concern for accounting research over the past two decades. Social and Environmental Accounting has attracted the attention of a number of researchers attempting to understand, explain and predict the disclosure of information on the social and environmental implications of business activities. Empirical research has hypothesized that size, profitability and the potential environmental impact of the firm are the main factors explaining the amount of information disclosed. On the other hand, several studies have focused on the motivations for disclosing environmental information, hypothesizing that disclosures are aimed at building or sustaining corporate legitimacy. We test the main hypotheses developed to date by empirical research with regard to the disclosure of environmental information based on a sample of companies listed on the Madrid Stock Exchange. Results of a content analysis show that firms disclosing environmental information tend to be larger, have higher risk (measured by the beta coefficient) and operate in industries that have a high potential environmental impact. The environmental implications of the activities carried out by these companies also seem to receive more attention from print media. Our results also provide evidence that two factors directly associated with the amount of environmental information disclosed are the potential environmental impact of the industry and the extent of media coverage of the firms