Very static enforcement of dynamic policies

Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change. A static verification of a dynamic information flow policy, from a semantic perspective, should only need to concern itself with two things: 1) the dependencies between data in a program, and 2) whether those dependencies are consistent with the intended flow policies as they change over time. In this paper we provide a formal ground for this intuition. We present a straightforward extension to the principal flow-sensitive type system introduced by Hunt and Sands (POPL’06, ESOP’11) to infer both end-to-end dependencies and dependencies at intermediate points in a program. This allows typings to be applied to verification of both static and dynamic policies. Our extension preserves the principal type system’s distinguishing feature, that type inference is independent of the policy to be enforced: a single, generic dependency analysis (typing) can be used to verify many different dynamic policies of a given program, thus achieving a clean separation between (1) and (2). We also make contributions to the foundations of dynamic information flow. Arguably, the most compelling semantic definitions for dynamic security conditions in the literature are phrased in the so-called knowledge-based style. We contribute a new definition of knowledge-based progress insensitive security for dynamic policies. We show that the new definition avoids anomalies of previous definitions and enjoys a simple and useful characterisation as a two-run style property

A generalization of the Bombieri-Pila determinant method

The so-called determinant method was developed by Bombieri and Pila in 1989 for counting integral points of bounded height on affine plane curves. In this paper we give a generalization of that method to varieties of higher dimension, yielding a proof of Heath-Brown's 'Theorem 14' by real-analytic considerations alone.Comment: 13 page

Phase-Field Model of Mode III Dynamic Fracture

We introduce a phenomenological continuum model for mode III dynamic fracture that is based on the phase-field methodology used extensively to model interfacial pattern formation. We couple a scalar field, which distinguishes between ``broken'' and ``unbroken'' states of the system, to the displacement field in a way that consistently includes both macroscopic elasticity and a simple rotationally invariant short scale description of breaking. We report two-dimensional simulations that yield steady-state crack motion in a strip geometry above the Griffith threshold.Comment: submitted to PR

Biodiversity Loss and the Taxonomic Bottleneck: Emerging Biodiversity Science

Human domination of the Earth has resulted in dramatic changes to global and local patterns of biodiversity. Biodiversity is critical to human sustainability because it drives the ecosystem services that provide the core of our life-support system. As we, the human species, are the primary factor leading to the decline in biodiversity, we need detailed information about the biodiversity and species composition of specific locations in order to understand how different species contribute to ecosystem services and how humans can sustainably conserve and manage biodiversity. Taxonomy and ecology, two fundamental sciences that generate the knowledge about biodiversity, are associated with a number of limitations that prevent them from providing the information needed to fully understand the relevance of biodiversity in its entirety for human sustainability: (1) biodiversity conservation strategies that tend to be overly focused on research and policy on a global scale with little impact on local biodiversity; (2) the small knowledge base of extant global biodiversity; (3) a lack of much-needed site-specific data on the species composition of communities in human-dominated landscapes, which hinders ecosystem management and biodiversity conservation; (4) biodiversity studies with a lack of taxonomic precision; (5) a lack of taxonomic expertise and trained taxonomists; (6) a taxonomic bottleneck in biodiversity inventory and assessment; and (7) neglect of taxonomic resources and a lack of taxonomic service infrastructure for biodiversity science. These limitations are directly related to contemporary trends in research, conservation strategies, environmental stewardship, environmental education, sustainable development, and local site-specific conservation. Today’s biological knowledge is built on the known global biodiversity, which represents barely 20% of what is currently extant (commonly accepted estimate of 10 million species) on planet Earth. Much remains unexplored and unknown, particularly in hotspots regions of Africa, South Eastern Asia, and South and Central America, including many developing or underdeveloped countries, where localized biodiversity is scarcely studied or described. ‘‘Backyard biodiversity’’, defined as local biodiversity near human habitation, refers to the natural resources and capital for ecosystem services at the grassroots level, which urgently needs to be explored, documented, and conserved as it is the backbone of sustainable economic development in these countries. Beginning with early identification and documentation of local flora and fauna, taxonomy has documented global biodiversity and natural history based on the collection of ‘‘backyard biodiversity’’ specimens worldwide. However, this branch of science suffered a continuous decline in the latter half of the twentieth century, and has now reached a point of potential demise. At present there are very few professional taxonomists and trained local parataxonomists worldwide, while the need for, and demands on, taxonomic services by conservation and resource management communities are rapidly increasing. Systematic collections, the material basis of biodiversity information, have been neglected and abandoned, particularly at institutions of higher learning. Considering the rapid increase in the human population and urbanization, human sustainability requires new conceptual and practical approaches to refocusing and energizing the study of the biodiversity that is the core of natural resources for sustainable development and biotic capital for sustaining our life-support system. In this paper we aim to document and extrapolate the essence of biodiversity, discuss the state and nature of taxonomic demise, the trends of recent biodiversity studies, and suggest reasonable approaches to a biodiversity science to facilitate the expansion of global biodiversity knowledge and to create useful data on backyard biodiversity worldwide towards human sustainability

Semi-supervised discovery of differential genes

BACKGROUND: Various statistical scores have been proposed for evaluating the significance of genes that may exhibit differential expression between two or more controlled conditions. However, in many clinical studies to detect clinical marker genes for example, the conditions have not necessarily been controlled well, thus condition labels are sometimes hard to obtain due to physical, financial, and time costs. In such a situation, we can consider an unsupervised case where labels are not available or a semi-supervised case where labels are available for a part of the whole sample set, rather than a well-studied supervised case where all samples have their labels. RESULTS: We assume a latent variable model for the expression of active genes and apply the optimal discovery procedure (ODP) proposed by Storey (2005) to the model. Our latent variable model allows gene significance scores to be applied to unsupervised and semi-supervised cases. The ODP framework improves detectability by sharing the estimated parameters of null and alternative models of multiple tests over multiple genes. A theoretical consideration leads to two different interpretations of the latent variable, i.e., it only implicitly affects the alternative model through the model parameters, or it is explicitly included in the alternative model, so that the interpretations correspond to two different implementations of ODP. By comparing the two implementations through experiments with simulation data, we have found that sharing the latent variable estimation is effective for increasing the detectability of truly active genes. We also show that the unsupervised and semi-supervised rating of genes, which takes into account the samples without condition labels, can improve detection of active genes in real gene discovery problems. CONCLUSION: The experimental results indicate that the ODP framework is effective for hypotheses including latent variables and is further improved by sharing the estimations of hidden variables over multiple tests

Magical attachment: Children in magical relations with hospital clowns

The aim of the present study was to achieve a theoretical understanding of several different-age children's experiences of magic relations with hospital clowns in the context of medical care, and to do so using psychological theory and a child perspective. The method used was qualitative and focused on nine children. The results showed that age was important to consider in better understanding how the children experienced the relation with the hospital clowns, how they described the magical aspects of the encounter and how they viewed the importance of clown encounters to their own well-being. The present theoretical interpretation characterized the encounter with hospital clowns as a magical safe area, an intermediate area between fantasy and reality. The discussion presented a line of reasoning concerning a magical attachment between the child and the hospital clowns, stating that this attachment: a) comprised a temporary relation; b) gave anonymity; c) entailed reversed roles; and d) created an emotional experience of boundary-transcending opportunities

Assessing the value of intangible benefits of property level flood risk adaptation (PLFRA) measures

© 2015, Springer Science+Business Media Dordrecht. Studies in the UK and elsewhere have identified that flooding can result in diverse impacts, ranging from significant financial costs (tangible) to social (intangible) impacts on households. At the same time, it is now clear that large-scale flood defence schemes are not the panacea to flood risk, and there is an increasing responsibility on property owners to protect their own properties. Hence, there is an emerging expectation for homeowners to take action in the form of investing in property level flood risk adaptation (PLFRA) measures to protect their properties. However, hitherto the level of uptake of such measures remains very low. The tangible financial benefits of investing in PLFRA measures are generally well understood and have been demonstrated to be cost beneficial for many properties at risk from frequent flooding. Importantly, these estimates tend to take little account of the value of the intangible benefits of PLFRA measures and therefore may be under estimating their full benefits. There remains a need to develop an improved understanding of these intangible benefits, and this research sets out to bridge this knowledge gap. Based on a synthesis of the literature, the contingent valuation method was selected as a means to value intangible impacts of flooding on households. A questionnaire survey of homeowners affected in the 2007 flooding was employed to elicit willingness to pay (WTP) values to avoid the intangible impacts of flooding on their households. The analysis of the questionnaire survey data revealed that the average WTP per household per year to avoid intangible flood impacts was £653. This therefore represents the value of the intangible benefits of investing in PLFRA measures and is significantly higher than previously estimated. This research builds on previous research in suggesting a higher value to the intangible impacts of flooding on households by assessing wider range of intangible impacts and focussing on more experienced individuals. Furthermore, the research indicates that factors which influence the WTP values were principally stress of flood, worrying about loss of house values, worrying about future flooding and age of respondents, with income showing a weak correlation. The establishment of a new value for the intangible impacts of flooding on households in the UK is helpful in the domain of flood risk management when evaluating the total benefits (tangible and intangible) of investing in flood protection measures, thus providing a robust assessment for decision-making on flood adaptation measures at an individual property level