Towards Model-Driven Development of Access Control Policies for Web Applications

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Global dynamics for the two-dimensional stochastic nonlinear wave equations

We study global-in-time dynamics of the stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing, posed on the two-dimensional torus. Our goal in this paper is two-fold. (i) By introducing a hybrid argument, combining the $I$-method in the stochastic setting with a Gronwall-type argument, we first prove global well-posedness of the (renormalized) cubic SNLW in the defocusing case. Our argument yields a double exponential growth bound on the Sobolev norm of a solution. (ii) We then study the stochastic damped nonlinear wave equations (SdNLW) in the defocusing case. In particular, by applying Bourgain's invariant measure argument, we prove almost sure global well-posedness of the (renormalized) defocusing SdNLW with respect to the Gibbs measure and invariance of the Gibbs measure.Comment: 33 pages. To appear in Internat. Math. Res. Not. Minor typos correcte

Response of Glass and Liquid Phases in the Vortex lattice to an external AC magnetic field at different frequencies

We individuated a method to distinguish a glass phase from a highly viscous liquid phase in a lattice of vortices, established in type-two superconductors. Our analysis is based on the study of the temperature dependence of numerically obtained 1st and 3rd harmonics curves of the AC magnetic susceptibility, by changing the frequency of the applied AC magnetic field. The harmonics are obtained by integrating the non-linear diffusion equation for the magnetic field, with different voltage-current characteristics, corresponding to the two different phases. This method could be applied to the analysis of experimental curves in order to determine if the detected magnetic response of superconducting samples may be interpreted in terms of vortex glass or Kim-Anderson model.Comment: 6 pages, 5 figures, to be published on Physica

A Large Catalog of Homogeneous Ultra-Violet/Optical GRB Afterglows: Temporal and Spectral Evolution

We present the second Swift Ultra-Violet/Optical Telescope (UVOT) gamma-ray burst (GRB) afterglow catalog, greatly expanding on the first Swift UVOT GRB afterglow catalog. The second catalog is constructed from a database containing over 120,000 independent UVOT observations of 538 GRBs first detected by Swift, the High Energy Transient Explorer 2 (HETE2), the INTErnational Gamma-Ray Astrophysics Laboratory (INTEGRAL), the Interplanetary Network (IPN), Fermi, and Astro-rivelatore Gamma a Immagini Leggero (AGILE). The catalog covers GRBs discovered from 2005 Jan 17 to 2010 Dec 25. Using photometric information in three UV bands, three optical bands, and a `white' or open filter, the data are optimally co-added to maximize the number of detections and normalized to one band to provide a detailed light curve. The catalog provides positional, temporal, and photometric information for each burst, as well as Swift Burst Alert Telescope (BAT) and X-Ray Telescope (XRT) GRB parameters. Temporal slopes are provided for each UVOT filter. The temporal slope per filter of almost half the GRBs are fit with a single power-law, but one to three breaks are required in the remaining bursts. Morphological comparisons with the X-ray reveal that approximately 75% of the UVOT light curves are similar to one of the four morphologies identified by Evans et al. (2009). The remaining approximately 25% have a newly identified morphology. For many bursts, redshift and extinction corrected UV/optical spectral slopes are also provided at 2000, 20,000, and 200,000 seconds.Comment: 44 pages, 14 figures, to be published in Astrophysical Journal Supplementa

Motor and Linguistic Linking of Space and Time in the Cerebellum

Background: Recent literature documented the presence of spatial-temporal interactions in the human brain. The aim of the present study was to verify whether representation of past and future is also mapped onto spatial representations and whether the cerebellum may be a neural substrate for linking space and time in the linguistic domain. We asked whether processing of the tense of a verb is influenced by the space where response takes place and by the semantics of the verb. Principal Findings: Responses to past tense were facilitated in the left space while responses to future tense were facilitated in the right space. Repetitive transcranial magnetic stimulation (rTMS) of the right cerebellum selectively slowed down responses to future tense of action verbs; rTMS of both cerebellar hemispheres decreased accuracy of responses to past tense in the left space and to future tense in the right space for non-verbs, and to future tense in the right space for state verbs. Conclusions: The results suggest that representation of past and future is mapped onto spatial formats and that motor action could represent the link between spatial and temporal dimensions. Right cerebellar, left motor brain networks could be part of the prospective brain, whose primary function is to use past experiences to anticipate future events. Bot

Bacterial community analysis on the Mediaeval stained glass window "Natività" in the Florence Cathedral

Microbial corrosion of glass causes problems on delicates antique glass samples. Until now, the effect of microbial activity on corrosion phenomena has not been well documented. Only a few studies have been published concerning the microflora growing on glass surfaces. The present study deals with the characterization of cultivable aerobic bacteria isolated from the historical glass window "Natività" in the Florence Cathedral, designed by Paolo Uccello and realized by Angelo Lippi between 1443 and 1444. Microbial strains were sampled from four of the 25 panels of the "Natività" in the occasion of a recent conservation treatment, due to the presence of various kinds of crusts. One hundred microorganisms were isolated, about 50% bacteria and 50% fungi. Bacteria were submitted to morphological characterization and classified in the Gram group. For twenty strains, from different glass panels, the 16S rDNA gene was amplified and sequenced. Sequence analysis showed genus Bacillus, Arthrobacter and Paenibacillus as the most representative. In particular Bacillus and Paenibacillus are crusts associated. Phylogenetic relationship among isolates was determined. Chemical analysis of the glass and crusts completed the study

Relativistic Compression and Expansion of Experiential Time in the Left and Right Space

Time, space and numbers are closely linked in the physical world. However, the relativistic-like effects on time perception of spatial and magnitude factors remain poorly investigated. Here we wanted to investigate whether duration judgments of digit visual stimuli are biased depending on the side of space where the stimuli are presented and on the magnitude of the stimulus itself. Different groups of healthy subjects performed duration judgment tasks on various types of visual stimuli. In the first two experiments visual stimuli were constituted by digit pairs (1 and 9), presented in the centre of the screen or in the right and left space. In a third experiment visual stimuli were constituted by black circles. The duration of the reference stimulus was fixed at 300 ms. Subjects had to indicate the relative duration of the test stimulus compared with the reference one. The main results showed that, regardless of digit magnitude, duration of stimuli presented in the left hemispace is underestimated and that of stimuli presented in the right hemispace is overestimated. On the other hand, in midline position, duration judgments are affected by the numerical magnitude of the presented stimulus, with time underestimation of stimuli of low magnitude and time overestimation of stimuli of high magnitude. These results argue for the presence of strict interactions between space, time and magnitude representation on the human brain