A Type Inference Algorithm for Secure Ambients

We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We present a bottom-up algorithm that, given an untyped process $P$, computes a minimal set of constraints on security levels such that all actions during runs of $P$ are performed without violating the security level priorities. Such an algorithm appears to be a prerequisite to use type systems to ensure security properties in the web scenario

Ac losses in type 2 superconductors

Electrical, and calorimetric measurements on alternating current loss in niobium zirconium, niobium titanium, and niobium stannide superconductor

Updating the orbital ephemeris of the dipping source XB 1254-690 and the distance to the source

XB 1254-690 is a dipping low mass X-ray binary system hosting a neutron star and showing type I X-ray bursts. We aim at obtaining more accurate orbital ephemeris and at constraining the orbital period derivative of the system for the first time. In addition, we want to better constrain the distance to the source in order to locate the system in a well defined evolutive scenario. We apply for the first time an orbital timing technique to XB 1254-690, using the arrival times of the dips present in the light curves that have been collected during 26 years of X-ray pointed observations performed from different space missions. We estimate the dip arrival times using a statistical method that weights the count-rate inside the dip with respect to the level of the persistent emission outside the dip. We fit the obtained delays as a function of the orbital cycles both with a linear and a quadratic function. We infer the orbital ephemeris of XB 1254-690 improving the accuracy of the orbital period with respect to previous estimates. We infer a mass of M$_{2}=0.42\pm 0.04$ M$_{\odot}$ for the donor star, in agreement with the estimations already present in literature, assuming that the star is in thermal equilibrium while it transfers part of its mass via the inner Lagrangian point, and assuming a neutron star mass of 1.4 M$_{\odot}$. Using these assumptions, we also constrain the distance to the source, finding a value of 7.6$\pm 0.8$ kpc. Finally, we discuss the evolution of the system suggesting that it is compatible with a conservative mass transfer driven by magnetic braking.Comment: 13 pages, 5 figures, accepted for publication in Research in Astronomy and Astrophysics (RAA

A possible solution of the puzzling variation of the orbital period of MXB 1659-298

MXB 1659-298 is a transient neutron star Low-Mass X-ray binary system that shows eclipses with a periodicity of 7.1 hr. The source went to outburst in August 2015 after 14 years of quiescence. We investigate the orbital properties of this source with a baseline of 40 years obtained combining the eight eclipse arrival times present in literature with 51 eclipse arrival times collected during the last two outbursts. A quadratic ephemeris does not fit the delays associated with the eclipse arrival times and the addition of a sinusoidal term with a period of $2.31 \pm 0.02$ yr is required. We infer a binary orbital period of $P=7.1161099(3)$ hr and an orbital period derivative of $\dot{P}=-8.5(1.2) \times 10^{-12}$ s s$^{-1}$. We show that the large orbital period derivative can be explained with a highly non conservative mass transfer scenario in which more than 98\% of the mass provided by the companion star leaves the binary system. We predict an orbital period derivative value of $\dot{P}=-6(3) \times 10^{-12}$ s s$^{-1}$ and constrain the companion star mass between $\sim$0.3 and $0.9 \pm 0.3$ M$_{\odot}$. Assuming that the companion star is in thermal equilibrium the periodic modulation can be due to either a gravitational quadrupole coupling due to variations of the oblateness of the companion star or with the presence of a third body of mass M$_3 >21$ Jovian masses.Comment: 10 pages, 6 figures. Accepted by MNRA

The role of General Relativity in the evolution of Low Mass X-ray Binaries

We study the evolution of Low Mass X-ray Binaries (LMXBs) and of millisecond binary radio pulsars (MSPs), with numerical simulations that keep into account the evolution of the companion, of the binary system and of the neutron star. According to general relativity, when energy is released, the system loses gravitational mass. Moreover, the neutron star can collapse to a black hole if its mass exceeds a critical limit, that depends on the equation of state. These facts have some interesting consequences: 1) In a MSP the mass-energy is lost with a specific angular momentum that is smaller than the one of the system, resulting in a positive contribution to the orbital period derivative. If this contribution is dominant and can be measured, we can extract information about the moment of inertia of the neutron star, since the energy loss rate depends on it. Such a measurement can therefore help to put constraints on the equation of state of ultradense matter. 2) In LMXBs below the bifurcation period (\sim 18 h), the neutron star survives the period gap only if its mass is smaller than the maximum non-rotating mass when the companion becomes fully convective and accretion pauses. Therefore short period (P < 2h) millisecond X-ray pulsar like SAX J1808.4-3658 can be formed only if either a large part of the accreting matter has been ejected from the system, or the equation of state of ultradense matter is very stiff. 3) In Low Mass X-ray binaries above the bifurcation period, the mass-energy loss lowers the mass transfer rate. As side effect, the inner core of the companion star becomes 1% bigger than in a system with a non-collapsed primary. Due to this difference, the final orbital period of the system becomes 20% larger than what is obtained if the mass-energy loss effect is not taken into account.Comment: 7 pages, 3 figures, accepted by the MNRA

A re-analysis of the NuSTAR and XMM-Newton broad-band spectrum of Ser~X-1

Context: Ser X-1 is a well studied LMXB which clearly shows a broad iron line. Recently, Miller et al. (2103) have presented broad-band, high quality NuSTAR data of SerX-1.Using relativistically smeared self-consistent reflection models, they find a value of R_in close to 1.0 R_ISCO (corresponding to 6 R_g), and a low inclination angle, less than 10 deg. Aims: The aim of this paper is to probe to what extent the choice of reflection and continuum models (and uncertainties therein) can affect the conclusions about the disk parameters inferred from the reflection component. To this aim we re-analyze all the available public NuSTAR and XMM-Newton. Ser X-1 is a well studied source, its spectrum has been observed by several instruments, and is therefore one of the best sources for this study. Methods: We use slightly different continuum and reflection models with respect to those adopted in literature for this source. In particular we fit the iron line and other reflection features with self-consistent reflection models as reflionx (with a power-law illuminating continuum modified with a high energy cutoff to mimic the shape of the incident Comptonization spectrum) and rfxconv. With these models we fit NuSTAR and XMM-Newton spectra yielding consistent spectral results. Results: Our results are in line with those already found by Miller et al. (2013) but less extreme. In particular, we find the inner disk radius at about 13 R_g and an inclination angle with respect to the line of sight of about 27 deg. We conclude that, while the choice of the reflection model has little impact on the disk parameters, as soon as a self-consistent model is used, the choice of the continuum model can be important in the precise determination of the disk parameters from the reflection component. Hence broad-band X-ray spectra are highly preferable to constrain the continuum and disk parameters.Comment: 13 pages including 8 figures. Accepted for publication in A&

Appraisal Value and Assessed Value in Italy.

The appraisal value is an appraiser's opinion (not determination) of the current worth of a property on the real estate market. The assessed value is the value placed on real estate property by government assessors for determining ad valorem taxes. Assessed value is used rarely as basis for appraisal value. The Italian appraisal practice is characterized by valuations developed in subjective opinions formulated by the valuers, according to the experience and the competence rather than on the survey of the market data of comparable properties. These opinions are indicated by the term expertise, borrowed from the estimates made in the art market. In Italy, the valuation of the properties applies a form of expertise based on subjective opinion rather than on the market prices. The basis of the expertise is one synthetic estimate of the value based on a single parameter, often derived from generic list of interval values quotations

Multilevel methodology approach for the construction of real estate monthly index numbers

In this paper, we evaluate price indices and hedonic price indices for Italian real estate data using multilevel models. The methodology is based on a random coefficient panel data model. We propose a Laspeyres-type price index and hedonic prices indexes based on some characteristics of the sold properties. The multilevel hierarchical analysis has the advantage of allowing the appraisal analysis for groups, and identified in the same sample data the hierarchical structures of market segmentation according to the parameters of the real estate segment. It allows getting a lot of regression functions as the number of groups identified. Obviously, this depends on the sample size and the variability between groups. Specifically, if the data are also grouped by date, the model allows an analysis of the time series which makes possible the calculation of index numbers and the overall monthly index numbers of real estate properties, consistent with collected data

New orbital ephemerides for the dipping source 4U 1323-619: constraining the distance to the source

4U 1323-619 is a low mass X-ray binary system that shows type I X-ray bursts and dips. The most accurate estimation of the orbital period is 2.941923(36) hrs and a distance from the source that is lower than 11 kpc has been proposed. We aim to obtain the orbital ephemeris, the orbital period of the system, as well as its derivative to compare the observed luminosity with that predicted by the theory of secular evolution. We took the advantage of about 26 years of X-ray data and grouped the selected observations when close in time. We folded the light curves and used the timing technique, obtaining 12 dip arrival times. We fit the delays of the dip arrival times both with a linear and a quadratic function. We locate 4U 1323-619 within a circular area centred at RA (J2000)= 201.6543\degree and DEC (J2000)= -62.1358\degree with an associated error of 0.0002\degree, and confirm the detection of the IR counterpart already discussed in literature. We estimate an orbital period of P=2.9419156(6) hrs compatible with the estimations that are present in the literature, but with an accuracy ten times higher. We also obtain a constraint on the orbital period derivative for the first time, estimating $\dot{P}=(8\pm 13)\times 10^{-12}$ s/s. Assuming that the companion star is in thermal equilibrium in the lower main sequence, and is a neutron star of 1.4 M$_{\odot}$, we infer a mass of 0.28$\pm$0.03 M$_{\odot}$ for the companion star. Assuming a distance of 10 kpc, we obtained a luminosity of (4.3$\pm$0.5)$\times 10^{36}$ erg s$^{-1}$, which is not in agreement with what is predicted by the theory of secular evolution. Using a 3D extinction map of the K$_{s}$ radiation in our Galaxy, we obtain a distance of 4.2$^{+0.8}_{-0.7}$ kpc at 68\% confidence level. (Abridged)Comment: 10 pages, 8 figures, accepted for publication in Astronomy & Astrophysic