An exercise on transition systems

Labelled transition systems admit different but equivalent characterizations either as relational structures or coalgebras for the powerset functor, each of them with their own merits. Notions of simulation and bisimulation, for example, are expressed in the pointfree relational calculus in a very concise and precise way. On the other hand, the coalgebraic perspective regards processes as inhabitants of a final universe and allows for an intuitive definition of the semantics of process’ combinators. This paper is an exercise on such a dual characterisation. In particular, it discusses how a notion of weak bisimilarity can be lifted from the relational to the coalgebraic level, to become an effective reasoning tool on coinductively defined process algebras.(undefined

A calculus for generic, QoS-aware component composition

Software QoS properties, such as response time, availability, bandwidth requirement, memory usage, among many others, play a major role in the processes of selecting and composing software components. This paper extends a component calculus to deal, in an effective way, with them. The calculus models components as generalised Mealy machines, i.e., state-based entities interacting along their life time through well defined interfaces of observers and actions. QoS is introduced through an algebraic structure specifying the relevant QoS domain and how its values are composed under different disciplines. A major effect of introducing QoS-awareness is that a number of equivalences holding in the plain calculus become refinement laws. The paper also introduces a prototyper for the calculus developed as a ‘proof-of-concept’ implementation.FCT -Fuel Cell Technologies Program(FCOMP-01-0124-FEDER-020537

State-based components made generic

Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.(undefined

Transforming data by calculation

Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT

Final NOMAD results on nu_mu->nu_tau and nu_e->nu_tau oscillations including a new search for nu_tau appearance using hadronic tau decays

Results from the nu_tau appearance search in a neutrino beam using the full NOMAD data sample are reported. A new analysis unifies all the hadronic tau decays, significantly improving the overall sensitivity of the experiment to oscillations. The "blind analysis" of all topologies yields no evidence for an oscillation signal. In the two-family oscillation scenario, this sets a 90% C.L. allowed region in the sin^2(2theta)-Delta m^2 plane which includes sin^2(2theta)<3.3 x 10^{-4} at large Delta m^2 and Delta m^2 < 0.7 eV^2/c^4 at sin^2(2theta)=1. The corresponding contour in the nu_e->nu_tau oscillation hypothesis results in sin^2(2theta)<1.5 x 10^{-2} at large Delta m^2 and Delta m^2 < 5.9 eV^2/c^4 at sin^2(2theta)=1. We also derive limits on effective couplings of the tau lepton to nu_mu or nu_e.Comment: 46 pages, 16 figures, Latex, to appear on Nucl. Phys.

Inclusive production of ρ0(770),f0(980)\rho^{0}(770), f_0(980) and f2(1270)f_2(1270) mesons in νμ\nu_{\mu} charged current interactions

The inclusive production of the meson resonances $\rho^{0}(770)$, $f_0(980)$ and $f_2(1270)$ in neutrino-nucleus charged current interactions has been studied with the NOMAD detector exposed to the wide band neutrino beam generated by 450 GeV protons at the CERN SPS. For the first time the $f_{0}(980)$ meson is observed in neutrino interactions. The statistical significance of its observation is 6 standard deviations. The presence of $f_{2}(1270)$ in neutrino interactions is reliably established. The average multiplicity of these three resonances is measured as a function of several kinematic variables. The experimental results are compared to the multiplicities obtained from a simulation based on the Lund model. In addition, the average multiplicity of $\rho^{0}(770)$ in antineutrino - nucleus interactions is measured.Comment: 23 pages, 14 figures, 8 tables. To appear in Nucl. Phys.

Search for nu(mu)-->nu(e) Oscillations in the NOMAD Experiment

We present the results of a search for nu(mu)-->nu(e) oscillations in the NOMAD experiment at CERN. The experiment looked for the appearance of nu(e) in a predominantly nu(mu) wide-band neutrino beam at the CERN SPS. No evidence for oscillations was found. The 90% confidence limits obtained are delta m^2 < 0.4 eV^2 for maximal mixing and sin^2(2theta) < 1.4x10^{-3} for large delta m^2. This result excludes the LSND allowed region of oscillation parameters with delta m^2 > 10 eV^2.Comment: 19 pages, 8 figures. Submitted to Phys. Lett.

Search for the exotic Θ+\Theta^+ resonance in the NOMAD experiment

A search for exotic Theta baryon via Theta -> proton +Ks decay mode in the NOMAD muon neutrino DIS data is reported. The special background generation procedure was developed. The proton identification criteria are tuned to maximize the sensitivity to the Theta signal as a function of xF which allows to study the Theta production mechanism. We do not observe any evidence for the Theta state in the NOMAD data. We provide an upper limit on Theta production rate at 90% CL as 2.13 per 1000 of neutrino interactions.Comment: Accepted to European Physics Journal

A Precise Measurement of the Muon Neutrino-Nucleon Inclusive Charged Current Cross-Section off an Isoscalar Target in the Energy Range 2.5 < E_\nu < 40 GeV by NOMAD

We present a measurement of the muon neutrino-nucleon inclusive charged current cross-section, off an isoscalar target, in the neutrino energy range $2.5 \leq E_\nu \leq 40$ GeV. The significance of this measurement is its precision, $\pm 4$% in $2.5 \leq E_\nu \leq 10$ GeV, and $\pm 2.6$% in $10 \leq E_\nu \leq 40$ GeV regions, where significant uncertainties in previous experiments still exist, and its importance to the current and proposed long baseline neutrino oscillation experiments.Comment: 14 pages, 3 figures, submitted to Phys.Lett.

A Study of Strange Particles Produced in Neutrino Neutral Current Interactions in the NOMAD Experiment

Results of a detailed study of strange particle production in neutrino neutral current interactions are presented using the data from the NOMAD experiment. Integral yields of neutral strange particles (K0s, Lambda, Lambda-bar) have been measured. Decays of resonances and heavy hyperons with an identified K0s or Lambda in the final state have been analyzed. Clear signals corresponding to K* and Sigma(1385) have been observed. First results on the measurements of the Lambda polarization in neutral current interactions have been obtained.Comment: Accepted for publication in Nuclear Physics B as a rapid communicatio