Model checking usage policies

We study usage automata, a formal model for specifying policies on the usage of resources. Usage automata extend finite state automata with some additional features, parameters and guards, that improve their expressivity. We show that usage automata are expressive enough to model policies of real-world applications. We discuss their expressive power, and we prove that the problem of telling whether a computation complies with a usage policy is decidable. The main contribution of this paper is a model checking technique for usage automata. The model is that of usages, i.e. basic processes that describe the possible patterns of resource access and creation. In spite of the model having infinite states, because of recursion and resource creation, we devise a polynomial-time model checking technique for deciding when a usage complies with a usage policy

Estimating the optimal sampling rate using wavelet transform: an application to optimal turbulence

Sampling rate and frequency content determination for optical quantities related to light propagation through turbulence are paramount experimental topics. Some papers about estimating properties of the optical turbulence seem to use ad hoc assumptions to set the sampling frequency used; this chosen sampling rate is assumed good enough to perform a proper measurement. On the other hand, other authors estimate the optimal sampling rate via fast Fourier transform of data series associated to the experiment. When possible, with the help of analytical models, cut-off frequencies, or frequency content, can be determined; yet, these approaches require prior knowledge of the optical turbulence. The aim of this paper is to propose an alternative, practical, experimental method to estimate a proper sampling rate. By means of the discrete wavelet transform, this approach can prevent any loss of information and, at the same time, avoid oversampling. Moreover, it is independent of the statistical model imposed on the turbulence.Fil: Funes, Gustavo Luis. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico La Plata. Centro de Investigaciones Opticas (i); ArgentinaFil: Fernández, Angel. Pontificia Universidad Catolica de Valparaiso; Chile. Universidad Tecnica Federico Santa María; ChileFil: Peréz, Darío G.. Pontificia Universidad Catolica de Valparaiso; ChileFil: Zunino, Luciano José. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico La Plata. Centro de Investigaciones Opticas (i); ArgentinaFil: Serrano, Eduardo. Universidad Nacional de San Martín; Argentin

Influence of the adamantyl moiety on the activity of biphenylacrylohydroxamic acid-based HDAC inhibitors

To investigate the influence of the adamantyl group on the biological properties of known HDAC inhibitors with a 4-phenylcinnamic skeleton, a series of compounds having the adamantyl moiety in the cap structure were synthesized and compared to the corresponding hydroxamic acids lacking this group. An unexpected finding was the substantial reduction of inhibitory activity toward the tested enzymes, in particular HDAC6, following the introduction of the adamantyl group. In spite of the reduced ability to function as HDAC inhibitors, the compounds containing the adamantyl moiety still retained a good efficacy as antiproliferative and proapoptotic agents. A selected compound (2c; ST3056) of this series exhibited an appreciable antitumor activity against the colon carcinoma xenograft HCT116