A formal support to business and architectural design for service-oriented systems

Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria

Renormalization group parameter evolution of the minimal supersymmetric standard model with R-parity violation

A comparison of spectra obtained using the 1-loop MSSM and 2-loop R-parity violating MSSM renormalization group equations is presented. Influence of higher loop corrections and R-parity violating terms is discussed. Some numerical constraints on the R-parity violating parameters are also given.Comment: 4 pages, 1 figure, using RevTE

Neutrino oscillation constraints on neutrinoless double beta decay

We have studied the constraints imposed by the results of neutrino oscillation experiments on the effective Majorana mass || that characterizes the contribution of Majorana neutrino masses to the matrix element of neutrinoless double-beta decay. We have shown that in a general scheme with three Majorana neutrinos and a hierarchy of neutrino masses (which can be explained by the see-saw mechanism), the results of neutrino oscillation experiments imply rather strong constraints on the parameter ||. From the results of the first reactor long-baseline experiment CHOOZ and the Bugey experiment it follows that || < 3x10^{-2} eV if the largest mass-squared difference is smaller than 2 eV^2. Hence, we conclude that the observation of neutrinoless double-beta decay with a probability that corresponds to || > 10^{-1} eV would be a signal for a non-hierarchical neutrino mass spectrum and/or non-standard mechanisms of lepton number violation.Comment: 20 pages, including 4 figure

η\eta-pairing as a mechanism of superconductivity in models of strongly correlated electrons

We consider extended versions of the Hubbard model which contain additional interactions between nearest neighbours. In this letter we show that a large class of these models has a superconducting ground state in arbitrary dimensions. In some special cases we are able to find the complete phase diagram. The superconducting phase exist even for moderate repulsive values of the Hubbard interaction $U$.Comment: 9 pages, RevTex, ITP-SB-94-18, 1 PS figure appende

Implications of the HERA Events for the R-Parity Breaking SUSY Signals at Tevatron

The favoured R-parity violating SUSY scenarios for the anomalous HERA events correspond to top and charm squark production via the $\lambda'_{131}$ and $\lambda'_{121}$ couplings. In both cases the corresponding electronic branching fractions of the squarks are expected to be $\ll 1$. Consequently the canonical leptoquark signature is incapable of probing these scenarios at the Tevatron collider over most of the MSSM parameter space. We suggest alternative signatures for probing them at Tevatron, which seem to be viable over the entire range of MSSM parameters.Comment: 20 pages Latex file with 4 ps files containing 4 figure

Constraining neutrino oscillation parameters with current solar and atmospheric data

We analyze the impact of recent solar, atmospheric and reactor data in the determination of the neutrino oscillation parameters, taking into account that both the solar nu_e and the atmospheric nu_mu may convert to a mixture of active and sterile neutrinos. We use the most recent global solar neutrino data, including the 1496-day Super-K neutrino data sample, and we investigate in detail the impact of the SNO neutral current, spectral and day/night data by performing also an analysis using only the charged current rate from SNO. The implications of the first 145.1 days of KamLAND data on the determination of the solar neutrino parameters are also discussed in detail. We confirm the clear preference of solar+reactor data for the pure active LMA-MSW solution of the solar neutrino problem, and obtain that the LOW, VAC, SMA and Just-So^2 solutions are disfavored with a Delta_chi^2 = 22, 22, 36, 44, respectively. Furthermore, we find that the global solar data constrains the admixture of a sterile neutrino to be less than 43% at 99% CL. By performing an improved fit of the atmospheric data, we also update the corresponding regions of oscillation parameters. We find that the recent atmospheric Super-K (1489-day) and MACRO data have a strong impact on constraining a sterile component in atmospheric oscillations: if the nu_mu is restricted to the atmospheric mass states only a sterile admixture of 16% is allowed at 99% CL, while a bound of 35% is obtained in the unconstrained case. Pure sterile oscillations are disfavored with a Delta_chi^2 = 34.6 compared to the pure active case.Comment: 28 pages, LaTeX file using RevTEX4, 12 figures and 3 tables included. Improved version including the new KamLAND dat

Neutrino masses from beta decays after KamLAND and WMAP (Updated including the NC enhanced SNO data)

The first data released by the KamLAND collaboration have confirmed the strong evidence in favour of the LMA solution of the solar neutrino problem. Taking into account the ranges for the oscillation parameters allowed by the global analysis of the solar, CHOOZ and KamLAND data, we update the limits on the neutrinoless double beta decay effective neutrino mass parameter and analyze the impact of all the available data from neutrinoless double beta decay experiments on the neutrino mass bounds, in view of the latest WMAP results. For the normal neutrino mass spectrum the range (0.05-0.23) eV is obtained for the lightest neutrino mass if one takes into account the Heidelberg-Moscow evidence for neutrinoless double beta decay and the cosmological bound. It is also shown that under the same conditions the mass of the lightest neutrino may not be bounded from below if the spectrum is of the inverted type. Finnaly, we discuss how future experiments can improve the present bounds on the lightest neutrino mass set by the Troitsk, Mainz and WMAP results. In the addendum we update the allowed ranges for the effective Majorana neutrino mass parameter in view of the latest NC enhanced SNO data.Comment: Updated including the recent NC enhanced SNO data. Refferences added and typos correcte

Effective Lagrangian for sˉbg\bar{s}bg and sˉbγ\bar{s}b\gamma Vertices in the mSUGRA model

Complete expressions of the $\bar{s}bg$ and $\bar{s}b\gamma$ vertices are derived in the framework of supersymmetry with minimal flavor violation. With the minimal supergravity (mSUGRA) model, a numerical analysis of the supersymmetric contributions to the Wilson Coefficients at the weak scale is presented.Comment: 12 pages + 7 ps figures, Late

Confusing non-standard neutrino interactions with oscillations at a neutrino factory

Most neutrino mass theories contain non-standard interactions (NSI) of neutrinos which can be either non-universal (NU) or flavor-changing (FC). We study the impact of such interactions on the determination of neutrino mixing parameters at a neutrino factory using the so-called ``golden channels'' \pnu{e}\to\pnu{\mu} for the measurement of \theta_{13}. We show that a certain combination of FC interactions in neutrino source and earth matter can give exactly the same signal as oscillations arising due to \theta_{13}. This implies that information about \theta_{13} can only be obtained if bounds on NSI are available. Taking into account the existing bounds on FC interactions, this leads to a drastic loss in sensitivity in \theta_{13}, at least two orders of magnitude. A near detector at a neutrino factory offers the possibility to obtain stringent bounds on some NSI parameters. Such near site detector constitutes an essential ingredient of a neutrino factory and a necessary step towards the determination of \theta_{13} and subsequent study of leptonic CP violation.Comment: 23 pages, 5 figures, improved version, accepted for publication in Phs. Rev. D, references adde

Probing neutrino non-standard interactions with atmospheric neutrino data

We have reconsidered the atmospheric neutrino anomaly in light of the laetst data from Super-Kamiokande contained events and from Super-Kamiokande and MACRO up-going muons. We have reanalysed the proposed solution to the atmospheric neutrino anomaly in terms of non-standard neutrino-matter interactions (NSI) as well as the standard nu_mu -> nu_tau oscillations (OSC). Our statistical analysis shows that a pure NSI mechanism is now ruled out at 99%, while the standard nu_mu -> nu_tau OSC mechanism provides a quite remarkably good description of the anomaly. We therefore study an extended mechanism of neutrino propagation which combines both oscillation and non-standard neutrino-matter interactions, in order to derive limits on flavour-changing (FC) and non-universal (NU) neutrino interactions. We obtain that the off-diagonal flavour-changing neutrino parameter epsilon and the diagonal non-universality neutrino parameter epsilon' are confined to -0.03 < epsilon < 0.02 and |epsilon'| < 0.05 at 99.73% CL. These limits are model independent and they are obtained from pure neutrino-physics processes. The stability of the neutrino oscillation solution to the atmospheric neutrino anomaly against the presence of non-standard neutrino interactions establishes the robustness of the near-maximal atmospheric mixing and massive-neutrino hypothesis. The best agreement with the data is obtained for Delta_m^2 = 2.3*10^{-3} eV^2, sin^2(2*theta) = 1, epsilon = 6.7*10^{-3} and epsilon' = 1.1*10^{-3}, although the chi^2 function is quite flat in the epsilon and epsilon' directions for epsilon, epsilon' -> 0.Comment: 26 pages, LaTeX file using REVTeX4, 1 table and 12 figures included. Added a revised analysis which takes into account the new 1489-day Super-Kamiokande and final MACRO data. The bound on NSI parameters is considerably improve