4,163 research outputs found
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 , we derive, within
a leptogenesis scenario, a range of values for the mass of the heaviest
right-handed neutrino, centered around the scale of 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
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
mass and for the matrix element responsible of the
neutrinoless double beta decay, around eV and
smaller than 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
. In the homogeneous chain limit at , 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, , 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 , 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 .Comment: Update closer to published versio
- âŠ