A Declarative Framework for Specifying and Enforcing Purpose-aware Policies

Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their ambiguous semantics of purposes and/or lack of support to the run-time enforcement of policies. In this paper, we propose a declarative framework based on a first-order temporal logic that allows us to give a precise semantics to purpose-aware policies and to reuse algorithms for the design of a run-time monitor enforcing purpose-aware policies. We also show the complexity of the generation and use of the monitor which, to the best of our knowledge, is the first such a result in literature on purpose-aware policies.Comment: Extended version of the paper accepted at the 11th International Workshop on Security and Trust Management (STM 2015

Environmental Costs of Government-Sponsored Agrarian Settlements in Brazilian Amazonia

Brazil has presided over the most comprehensive agrarian reform frontier colonization program on Earth, in which ~1.2 million settlers have been translocated by successive governments since the 1970's, mostly into forested hinterlands of Brazilian Amazonia. These settlements encompass 5.3% of this ~5 million km2 region, but have contributed with 13.5% of all land conversion into agropastoral land uses. The Brazilian Federal Agrarian Agency (INCRA) has repeatedly claimed that deforestation in these areas largely predates the sanctioned arrival of new settlers. Here, we quantify rates of natural vegetation conversion across 1911 agrarian settlements allocated to 568 Amazonian counties and compare fire incidence and deforestation rates before and after the official occupation of settlements by migrant farmers. The timing and spatial distribution of deforestation and fires in our analysis provides irrefutable chronological and spatially explicit evidence of agropastoral conversion both inside and immediately outside agrarian settlements over the last decade. Deforestation rates are strongly related to local human population density and road access to regional markets. Agrarian settlements consistently accelerated rates of deforestation and fires, compared to neighboring areas outside settlements, but within the same counties. Relocated smallholders allocated to forest areas undoubtedly operate as pivotal agents of deforestation, and most of the forest clearance occurs in the aftermath of government-induced migration

Migraine aura: retracting particle-like waves in weakly susceptible cortex

Cortical spreading depression (SD) has been suggested to underlie migraine aura. Despite a precise match in speed, the spatio-temporal patterns of SD and aura symptoms on the cortical surface ordinarily differ in aspects of size and shape. We show that this mismatch is reconciled by utilizing that both pattern types bifurcate from an instability point of generic reaction-diffusion models. To classify these spatio-temporal pattern we suggest a susceptibility scale having the value [sigma]=1 at the instability point. We predict that human cortex is only weakly susceptible to SD ([sigma]<1), and support this prediction by directly matching visual aura symptoms with anatomical landmarks using fMRI retinotopic mapping. We discuss the increased dynamical repertoire of cortical tissue close to [sigma]=1, in particular, the resulting implications on migraine pharmacology that is hitherto tested in the regime ([sigma]>>1), and potentially silent aura occurring below a second bifurcation point at [sigma]=0 on the susceptible scale

In Vitro and Sensory Evaluation of Capsaicin-Loaded Nanoformulations

Capsaicin has known health beneficial and therapeutic properties. It is also able to enhance the permeability of drugs across epithelial tissues. Unfortunately, due to its pungency the oral administration of capsaicin is limited. To this end, we assessed the effect of nanoencapsulation of capsaicin, under the hypothesis that this would reduce its pungency. Core-shell nanocapsules with an oily core and stabilized with phospholipids were used. This system was used with or without chitosan coating. In this work, we investigated the in vitro release behavior of capsaicin-loaded formulations in different physiological media (including simulated saliva fluid). We also evaluated the influence of encapsulation of capsaicin on the cell viability of buccal cells (TR146). To study the changes in pungency after encapsulation we carried out a sensory analysis with a trained panel of 24 students. The in vitro release study showed that the systems discharged capsaicin slowly in a monotonic manner and that the chitosan coating had an effect on the release profile. The cytotoxic response of TR146 cells to capsaicin at a concentration of 500 μM, which was evident for the free compound, was reduced following its encapsulation. The sensory study revealed that a chitosan coating results in a lower threshold of perception of the formulation. The nanoencapsulation of capsaicin resulted in attenuation of the sensation of pungency significantly. However, the presence of a chitosan shell around the nanoformulations did not mask the pungency, when compared with uncoated systems

The Ecm11-Gmc2 complex promotes synaptonemal complex formation through assembly of transverse filaments in budding yeast

During meiosis, homologous chromosomes pair at close proximity to form the synaptonemal complex (SC). This association is mediated by transverse filament proteins that hold the axes of homologous chromosomes together along their entire length. Transverse filament proteins are highly aggregative and can form an aberrant aggregate called the polycomplex that is unassociated with chromosomes. Here, we show that the Ecm11-Gmc2 complex is a novel SC component, functioning to facilitate assembly of the yeast transverse filament protein, Zip1. Ecm11 and Gmc2 initially localize to the synapsis initiation sites, then throughout the synapsed regions of paired homologous chromosomes. The absence of either Ecm11 or Gmc2 substantially compromises the chromosomal assembly of Zip1 as well as polycomplex formation, indicating that the complex is required for extensive Zip1 polymerization. We also show that Ecm11 is SUMOylated in a Gmc2-dependent manner. Remarkably, in the unSUMOylatable ecm11 mutant, assembly of chromosomal Zip1 remained compromised while polycomplex formation became frequent. We propose that the Ecm11-Gmc2 complex facilitates the assembly of Zip1 and that SUMOylation of Ecm11 is critical for ensuring chromosomal assembly of Zip1, thus suppressing polycomplex formation

X-Ray Spectroscopy of Stars

(abridged) Non-degenerate stars of essentially all spectral classes are soft X-ray sources. Low-mass stars on the cooler part of the main sequence and their pre-main sequence predecessors define the dominant stellar population in the galaxy by number. Their X-ray spectra are reminiscent, in the broadest sense, of X-ray spectra from the solar corona. X-ray emission from cool stars is indeed ascribed to magnetically trapped hot gas analogous to the solar coronal plasma. Coronal structure, its thermal stratification and geometric extent can be interpreted based on various spectral diagnostics. New features have been identified in pre-main sequence stars; some of these may be related to accretion shocks on the stellar surface, fluorescence on circumstellar disks due to X-ray irradiation, or shock heating in stellar outflows. Massive, hot stars clearly dominate the interaction with the galactic interstellar medium: they are the main sources of ionizing radiation, mechanical energy and chemical enrichment in galaxies. High-energy emission permits to probe some of the most important processes at work in these stars, and put constraints on their most peculiar feature: the stellar wind. Here, we review recent advances in our understanding of cool and hot stars through the study of X-ray spectra, in particular high-resolution spectra now available from XMM-Newton and Chandra. We address issues related to coronal structure, flares, the composition of coronal plasma, X-ray production in accretion streams and outflows, X-rays from single OB-type stars, massive binaries, magnetic hot objects and evolved WR stars.Comment: accepted for Astron. Astrophys. Rev., 98 journal pages, 30 figures (partly multiple); some corrections made after proof stag

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Carbene footprinting accurately maps binding sites in protein–ligand and protein–protein interactions

Specific interactions between proteins and their binding partners are fundamental to life processes. The ability to detect protein complexes, and map their sites of binding, is crucial to understanding basic biology at the molecular level. Methods that employ sensitive analytical techniques such as mass spectrometry have the potential to provide valuable insights with very little material and on short time scales. Here we present a differential protein footprinting technique employing an efficient photo-activated probe for use with mass spectrometry. Using this methodology the location of a carbohydrate substrate was accurately mapped to the binding cleft of lysozyme, and in a more complex example, the interactions between a 100 kDa, multi-domain deubiquitinating enzyme, USP5 and a diubiquitin substrate were located to different functional domains. The much improved properties of this probe make carbene footprinting a viable method for rapid and accurate identification of protein binding sites utilizing benign, near-UV photoactivation