Security policy refinement using data integration: a position paper.

In spite of the wide adoption of policy-based approaches for security management, and many existing treatments of policy verification and analysis, relatively little attention has been paid to policy refinement: the problem of deriving lower-level, runnable policies from higher-level policies, policy goals, and specifications. In this paper we present our initial ideas on this task, using and adapting concepts from data integration. We take a view of policies as governing the performance of an action on a target by a subject, possibly with certain conditions. Transformation rules are applied to these components of a policy in a structured way, in order to translate the policy into more refined terms; the transformation rules we use are similar to those of global-as-view database schema mappings, or to extensions thereof. We illustrate our ideas with an example. Copyright 2009 ACM

Classical resolution of singularities in dilaton cosmologies

For models of dilaton-gravity with a possible exponential potential, such as the tensor-scalar sector of IIA supergravity, we show how cosmological solutions correspond to trajectories in a 2D Milne space (parametrized by the dilaton and the scale factor). Cosmological singularities correspond to points at which a trajectory meets the Milne horizon, but the trajectories can be smoothly continued through the horizon to an instanton solution of the Euclidean theory. We find some exact cosmology/instanton solutions that lift to black holes in one higher dimension. For one such solution, the singularities of a big crunch to big bang transition mediated by an instanton phase lift to the black hole and cosmological horizons of de Sitter Schwarzschild spacetimes.Comment: 24 pages, 2 figure

Cosmological D-instantons and Cyclic Universes

For models of gravity coupled to hyperbolic sigma models, such as the metric-scalar sector of IIB supergravity, we show how smooth trajectories in the `augmented target space' connect FLRW cosmologies to non-extremal D-instantons through a cosmological singularity. In particular, we find closed cyclic universes that undergo an endless sequence of big-bang to big-crunch cycles separated by instanton `phases'. We also find `big-bounce' universes in which a collapsing closed universe bounces off its cosmological singularity to become an open expanding universe.Comment: 21 pages, 4 figures. v2: minor change

Body image perception and body composition: assessment of perception inconsistency by a new index

BACKGROUND: A correct perception of the body image, as defined by comparison with actual anthropometric analyses, is crucial to ensure the best possible nutritional status of each individual. Bioimpedance analysis (BIA) represents a leading technique to assess body composition parameters and, in particular, the fat mass. This study examined the self-perception of body image at various levels of adiposity proposing a new index. METHODS: We investigated 487 young Italian adults (mean age of males: 21.9 ± 2.4 years; mean age of females: 21.0 ± 2.2 years). Each subject could choose, on the Contour Drawing Rating Scale, the silhouette that he/she considered most resembling his/her perceived body image as well as his/her ideal body image. On each subject, we performed anthropometric measurements and determined the values of Fat mass and  út with BIA. A new index, FAIFAT (Feel fat status minus Actual fat status Inconsistency), was developed to evaluate possible fat status perception inconsistencies by BIA. RESULTS: Based on ideal and feel body image comparison, women showed higher dissatisfaction than men and preferred slimmer silhouettes. FAIFAT values indicated that the fat status perception was correct in the majority of the examined individuals and only three subjects showed a serious misperception. CONCLUSIONS: Our findings suggest that FAIFAT is an appropriate index for assessing the perceived fat status from the body image when compared with data obtained by BIA. In a population, the use of this index will allow the correct identification of groups at risk for eating disorders

Models of Holographic superconductivity

We construct general models for holographic superconductivity parametrized by three couplings which are functions of a real scalar field and show that under general assumptions they describe superconducting phase transitions. While some features are universal and model independent, important aspects of the quantum critical behavior strongly depend on the choice of couplings, such as the order of the phase transition and critical exponents of second-order phase transitions. In particular, we study a one-parameter model where the phase transition changes from second to first order above some critical value of the parameter and a model with tunable critical exponents.Comment: 15 pages, 6 figure

Synchronization and Redundancy: Implications for Robustness of Neural Learning and Decision Making

Learning and decision making in the brain are key processes critical to survival, and yet are processes implemented by non-ideal biological building blocks which can impose significant error. We explore quantitatively how the brain might cope with this inherent source of error by taking advantage of two ubiquitous mechanisms, redundancy and synchronization. In particular we consider a neural process whose goal is to learn a decision function by implementing a nonlinear gradient dynamics. The dynamics, however, are assumed to be corrupted by perturbations modeling the error which might be incurred due to limitations of the biology, intrinsic neuronal noise, and imperfect measurements. We show that error, and the associated uncertainty surrounding a learned solution, can be controlled in large part by trading off synchronization strength among multiple redundant neural systems against the noise amplitude. The impact of the coupling between such redundant systems is quantified by the spectrum of the network Laplacian, and we discuss the role of network topology in synchronization and in reducing the effect of noise. A range of situations in which the mechanisms we model arise in brain science are discussed, and we draw attention to experimental evidence suggesting that cortical circuits capable of implementing the computations of interest here can be found on several scales. Finally, simulations comparing theoretical bounds to the relevant empirical quantities show that the theoretical estimates we derive can be tight.Comment: Preprint, accepted for publication in Neural Computatio

D0-D4 system and QCD_{3+1}

We consider a $(3+1)$-dimensional QCD model using a dual supergravity description with a non-extremal $D0$-$D4$ brane background. We calculate the spectrum of glueball masses and Wilson loops in the background. The mass spectrum is shown to coincide with one in non-extremal $D4$-brane systems, and an area low of spatial Wilson loops is established. We show that there is a region that Kaluza-Klein modes of the Euclidean time direction are decoupled without decoupling glueball masses.Comment: 10 pages, REVTeX; typos correcte

On the velocity and chemical-potential dependence of the heavy-quark interaction in N=4 SYM plasmas

We consider the interaction of a heavy quark-antiquark pair moving in N=4 SYM plasma in the presence of non-vanishing chemical potentials. Of particular importance is the maximal length beyond which the interaction is practically turned off. We propose a simple phenomenological law that takes into account the velocity dependence of this screening length beyond the leading order and in addition its dependence on the R-charge. Our proposal is based on studies using rotating D3-branes.Comment: 24 pages, 10 figures; v2: energy regularization discussed in detail, references added, version to appear in Phys. Rev.

Solid particle erosion and viscoelastic properties of thermoplastic polyurethanes

The wear resistance of several thermoplastic polyurethanes (TPUs) having different chemical nature and micronscale arrangement of the hard and soft segments has been investigated by means of erosion and abrasion tests. The goal was correlating the erosion performances of the materials to their macroscopic mechanical properties. Unlike conventional tests, such as hardness and tensile measurements, viscoelastic analysis proved to be a valuable tool to study the erosion resistance of TPUs. In particular, a strict correlation was found between the erosion rate and the high-frequency (~10^7 Hz) loss modulus. The latter reflects the actual ability of TPU to dissipate the impact energy of the erodent particles

On the Prior Sensitivity of Thompson Sampling

The empirically successful Thompson Sampling algorithm for stochastic bandits has drawn much interest in understanding its theoretical properties. One important benefit of the algorithm is that it allows domain knowledge to be conveniently encoded as a prior distribution to balance exploration and exploitation more effectively. While it is generally believed that the algorithm's regret is low (high) when the prior is good (bad), little is known about the exact dependence. In this paper, we fully characterize the algorithm's worst-case dependence of regret on the choice of prior, focusing on a special yet representative case. These results also provide insights into the general sensitivity of the algorithm to the choice of priors. In particular, with $p$ being the prior probability mass of the true reward-generating model, we prove $O(\sqrt{T/p})$ and $O(\sqrt{(1-p)T})$ regret upper bounds for the bad- and good-prior cases, respectively, as well as \emph{matching} lower bounds. Our proofs rely on the discovery of a fundamental property of Thompson Sampling and make heavy use of martingale theory, both of which appear novel in the literature, to the best of our knowledge.Comment: Appears in the 27th International Conference on Algorithmic Learning Theory (ALT), 201