Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing only on the behavior of the application that must be monitored, the effect of multiple enforcers that enforce different policies might be hard to predict. So far, mechanisms to resolve interferences between enforcers have been based on priority mechanisms and heuristics. Although these methods provide a mechanism to take decisions when multiple enforcers try to affect the execution at a same time, they do not guarantee the lack of interference on the global behavior of the system. In this paper we present a verification strategy that can be exploited to discover interferences between sets of enforcers and thus safely identify a-priori the enforcers that can co-exist at run-time. In our evaluation, we experimented our verification method with several policy enforcers for Android and discovered some incompatibilities.Comment: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yli\`es Falcone. Verifying Policy Enforcers. Proceedings of 17th International Conference on Runtime Verification (RV), 2017. (to appear

Bounds for the mass of the heaviest right-handed neutrino in SO(10) theories

By relating the Dirac neutrino mass matrix to the mass of the charged fermions and assuming that the product of the masses of the two lightest left-handed neutrinos is of the order of $\Delta m^2_{sol}$, we derive, within a leptogenesis scenario, a range of values for the mass of the heaviest right-handed neutrino, centered around the scale of $B-L$ symmetry breaking in the SO(10) theory with Pati-Salam intermediate symmetry.Comment: 7 pages, RevTex4. Few correction

Opportunity for development or necessary nuisance? The case for viewing working with interpreters as a bonus in therapeutic work

This paper explores the central role a language interpreter can play in the process of the therapeutic relationship. Although others have described the changes to the therapeutic dyad that the presence of a third party (an interpreter) brings, little attention has been paid to the advantages and additional opportunities of this altered therapeutic situation. This paper details these gains and further argues that clinicians who are willing to gain experience of working with interpreters will find that benefits accrue at the micro and macro levels: at the micro level, through enhancement of their work with individual non English speaking clients, and at the macro level through learning about different cultural perspectives, idioms of distress and the role of language in the therapeutic endeavour. This is in addition to developing skills to fulfil legal and professional requirements relating to equity of service provision. Some ideas are offered to explain the negative slant than runs throughout the literature in this area and tends to colour the overall discussion of therapeutic work with interpreters and, before the final section, makes some specific suggestions which may help maximise the gains possible in such work while reducing difficulties

Unreasonable Compensation in the Professional Corporation

This comment will discuss the federal income tax issue of unreasonable compensation as it affects the incorporated professional. Discussion will first center on the modus operandi of the professional corporation, and how the compensation issue arises. Unreasonable compensation will then be defined and explained in that context. Next, the actual considerations used in determining whether compensation is excessive or not will be discussed. Then, the additional requirement that the remuneration be compensation in fact, and not a return on investment, will be investigated. The applicability of the 50% maximum tax on personal service income will also be analyzed. Finally, some conclusions will be drawn about the impact of these issues on the future of the incorporated professional

Structural characterization of biocompatible reverse micelles using Small-Angle X-ray Scattering, 31P Nuclear Magnetic Resonance, and Fluorescence Spectroscopy

The most critical problem regarding the use of reverse micelles (RMs) in several fields is the toxicity of their partial components. In this sense, many efforts have been made to characterize nontoxic RM formulations on the basis of biological amphiphiles and/or different oils. In this contribution, the microstructure of biocompatible mixed RMs formulated by sodium 1,4-bis-2-ethylhexylsulfosuccinate (AOT) and tri-n-octylphosphine oxide (TOPO) surfactants dispersed in the friendly solvent methyl laurate was studied by using SAXS and 31P NMR and by following the solvatochromic behavior of the molecular probe 4-aminophthalimide (4-AP). The results indicated the presence of RM aggregates upon TOPO incorporation with a droplet size reduction and an increase in the interfacial fluidity in comparison with pure AOT RMs. When confined inside the mixed systems, 4-AP showed a red-edge excitation shift and confirmed the increment of interfacial fluidity upon TOPO addition. Also, the partition between the external nonpolar solvent and the RM interface and an increase in both the local micropolarity and the capability to form a hydrogen bond interaction between 4-AP and a mixed interface were observed. The findings have been explained in terms of the nonionic surfactant structure and its complexing nature expressed at the interfacial level. Notably, we show how two different approaches, i.e., SAXS and the solvatochromism of the probe 4-AP, can be used in a complementary way to enhance our understanding of the interfacial fluidity of RMs, a parameter that is difficult to measure directly.Fil: Odella, Emmanuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Química; ArgentinaFil: Falcone, Ruben Dario. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Química; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Ceolín, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Fisicoquímicas Teóricas y Aplicadas. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Instituto de Investigaciones Fisicoquímicas Teóricas y Aplicadas; ArgentinaFil: Silber, Juana J.. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Química; ArgentinaFil: Correa, Nestor Mariano. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Química; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentin

Analysis of Energy Consumption Performance towards Optimal Radioplanning of Wireless Sensor Networks in Heterogeneous Indoor Environments

In this paper the impact of complex indoor environment in the deployment and energy consumption of a wireless sensor network infrastructure is analyzed. The variable nature of the radio channel is analyzed by means of deterministic in-house 3D ray launching simulation of an indoor scenario, in which wireless sensors, based on an in-house CyFi implementation, typically used for environmental monitoring, are located. Received signal power and current consumption measurement results of the in-house designed wireless motes have been obtained, stating that adequate consideration of the network topology and morphology lead to optimal performance and power consumption reduction. The use of radioplanning techniques therefore aid in the deployment of more energy efficient elements, optimizing the overall performance of the variety of deployed wireless systems within the indoor scenario

X-Ray Spectral Variability of Extreme BL Lac AGN H1426+428

Between 7 March 2002 and 15 June 2002, intensive X-ray observations were carried out on the extreme BL Lac object H1426+428 with instruments on board the Rossi X-ray Timing Explorer (RXTE). These instruments provide measurements of H1426+428 in the crucial energy range that characterizes the first peak of its spectral energy distribution. This peak, which is almost certainly due to synchrotron emission, has previously been inferred to be in excess of 100 keV. By taking frequent observations over a four-month campaign, which included $\sim$450 ksec of RXTE time, studies of flux and spectral variability on multiple timescales were performed, along with studies of spectral hysteresis. The 3-24 keV X-ray flux and spectra exhibited significant variability, implying variability in the location of the first peak of the spectral energy distribution. Hysteresis patterns were observed, and their characteristics have been discussed within the context of emission models.Comment: accepted for publication in Astrophysical Journa

Neutrinoless double beta decay in SO(10) inspired seesaw models

By requiring the lower limit for the lightest right-handed neutrino mass, obtained in the baryogenesis from leptogenesis scenario, and a Dirac neutrino mass matrix similar to the up-quark mass matrix we predict small values for the $\nu_e$ mass and for the matrix element $m_{ee}$ responsible of the neutrinoless double beta decay, $m_{\nu_e}$ around $5\cdot10^{-3}$ eV and $m_{ee}$ smaller than $10^{-3}$ eV, respectively. The allowed range for the mass of the heaviest right-handed neutrino is centered around the value of the scale of B - L breaking in the SO(10) gauge theory with Pati-Salam intermediate symmetry.Comment: 9 pages, RevTex4. Revised, title change

Universal scaling of a classical impurity in the quantum Ising chain

We study finite size scaling for the magnetic observables of an impurity residing at the endpoint of an open quantum Ising chain in a transverse magnetic field, realized by locally rescaling the magnetic field by a factor $\mu \neq 1$. In the homogeneous chain limit at $\mu = 1$, we find the expected finite size scaling for the longitudinal impurity magnetization, with no specific scaling for the transverse magnetization. At variance, in the classical impurity limit, $\mu = 0$, we recover finite scaling for the longitudinal magnetization, while the transverse one basically does not scale. For this case, we provide both analytic approximate expressions for the magnetization and the susceptibility as well as numerical evidences for the scaling behavior. At intermediate values of $\mu$, finite size scaling is violated, and we provide a possible explanation of this result in terms of the appearance of a second, impurity related length scale. Finally, on going along the standard quantum-to-classical mapping between statistical models, we derive the classical counterpart of the quantum Ising chain with an impurity at its endpoint as a classical Ising model on a square lattice wrapped on a half-infinite cylinder, with the links along the first circle modified as a function of $\mu$.Comment: Update closer to published versio