Specifying and Analysing SOC Applications with COWS

COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above

Analysis of milk using a portable potentiometric electronic tongue based on five polymeric membrane sensors

A portable potentiometric electronic tongue (PE-tongue) was developed and applied to evaluate the quality of milk with different fat content (skimmed, semi-skimmed, and whole) and with different nutritional content (classic, calcium-enriched, lactose-free, folic acid-enriched, and enriched in sterols of vegetal origin). The system consisted of a simplified array of five sensors based on PVC membranes, coupled to a data logger. The five sensors were selected from a larger set of 20 sensors by applying the genetic algorithm (GA) to the responses to compounds usually found in milk including salts (KCl, CaCl2, and NaCl), sugars (lactose, glucose, and galactose), and organic acids (citric acid and lactic acid). Principal component analysis (PCA) and support vector machine (SVM) results indicated that the PE-tongue consisting of a five-electrode array could successfully discriminate and classify milk samples according to their nutritional content. The PE-tongue provided similar discrimination capability to that of a more complex system formed by a 20-sensor array. SVM regression models were used to predict the physicochemical parameters classically used in milk quality control (acidity, density, %proteins, %lactose, and %fat). The prediction results were excellent and similar to those obtained with a much more complex array consisting of 20 sensors. Moreover, the SVM method confirmed that spoilage of unsealed milk could be correctly identified with the simplified system and the increase in acidity could be accurately predicted. The results obtained demonstrate the possibility of using the simplified PE-tongue to predict milk quality and provide information on the chemical composition of milk using a simple and portable system.We appreciate the financial support of MINECO-FEDER Plan Nacional (RTI 2018-097990-B-100) and Junta de Castilla y Leon - FEDER (VA275P18) and “Infraestructuras Red de Castilla y León (INFRARED)” UVA01info:eu-repo/semantics/publishedVersio

Quantum Zakharov Model in a Bounded Domain

We consider an initial boundary value problem for a quantum version of the Zakharov system arising in plasma physics. We prove the global well-posedness of this problem in some Sobolev type classes and study properties of solutions. This result confirms the conclusion recently made in physical literature concerning the absence of collapse in the quantum Langmuir waves. In the dissipative case the existence of a finite dimensional global attractor is established and regularity properties of this attractor are studied. For this we use the recently developed method of quasi-stability estimates. In the case when external loads are $C^\infty$ functions we show that every trajectory from the attractor is $C^\infty$ both in time and spatial variables. This can be interpret as the absence of sharp coherent structures in the limiting dynamics.Comment: 27 page

Two Loop R-Symmetry Breaking

We analyze two loop quantum corrections for pseudomoduli in O'Raifeartaigh like models. We argue that R-symmetry can be spontaneously broken at two loop in non supersymmetric vacua. We provide a basic example with this property. We discuss on phenomenological applications.Comment: 13 pages, 5 figures, JHEP3.cls, reference adde

Lower Cretaceous (Hauterivian-Albian) ammonite biostratigraphy in the Maestrat Basin (E Spain)

A review of the stratigraphic distribution of ammonoid species in the Lower Cretaceous (Hauterivian-Albian) of the Maestrat Basin (E Spain) was carried out. The specimens were mainly collected in the field by us and are stored in university or museum collections. Speci­mens from private collections and figured in the literature were also studied. We recognized 73 species that are distributed, in accordance with the latest version of the standard Mediterranean ammonite zonation for the Lower Cretaceous, in 14 ammonite zones: Acanthodiscus radiatus, Crioceratites loryi, Lyticoceras nodosoplicatum (Lower Hauterivian); Pseudothurmannia ohmi (Upper Hauterivian); Imerites giraudi (Upper Barremian); Deshayesites oglanlensis, Deshayesites forbesi, Deshayesites deshayesi, Dufrenoyia furcata (Lower Aptian); Epicheloniceras martini, Parahoplites melchioris, Acanthohoplites nolani (Upper Aptian); Leymeriella tardefurcata and Douvilleiceras mammillatum (Lower Albian). The recognition of these biozones allows a precise age calibration of the Maestrat Basin’s lithostatigraphic units that contain ammonoids as well as an associated indirect age calibration of the formations without ammonoids. Consequently, this report provides an updated, comprehensive and precise biostratigraphic framework, which aims to become a reference for the analysis of the Lower Cretaceous strata of the Maestrat Basin. The results are also relevant for the analysis of coeval ammonite-bearing sedimentary successions found in other Tethyan basins.En este trabajo se ha realizado una revisión detallada de la distribución estratigráfica de las especies de ammonoideos del Cretácico infe­rior de la Cuenca del Maestrazgo (Este de España). Los ejemplares recolectados, principalmente por los autores, han sido depositados en co­lecciones universitarias y museísticas. Además hemos estudiado los ejemplares de colecciones privadas y figurados en la literatura. Hemos reconocido 73 especies que se distribuyen, siguiendo la última versión de la biozonación de ammonites mediterránea estándar del Cretácico inferior, en 14 zonas de ammonoideos: Acanthodiscus radiatus, Crioceratites loryi, Lyticoceras nodosoplicatum (Hauteriviense inferior); Pseudothurmannia ohmi (Hauteriviense superior); Imerites giraudi (Barremiense superior); Deshayesites oglanlensis, Deshayesites forbesi, Deshayesites deshayesi, Dufrenoyia furcata (Aptiense inferior); Epicheloniceras martini, Parahoplites melchioris, Acanthohoplites nolani (Aptiense superior); Leymeriella tardefurcata y Douvilleiceras mammillatum (Albiense inferior). El reconocimiento de estas biozonas permite precisar la edad de las unidades litoestratigráficas que contienen ammonites y también una calibración indirecta de las formaciones que no contienen ammonites. En consecuencia este trabajo proporciona un marco bioestratigráfico actualizado, exhaustivo y preciso que pretende ser una referencia para el análisis estratigráfico del Cretácico inferior de la Cuenca del Maestrazgo. Los resultados obtenidos son también relevantes para el análisis de las sucesiones sedimentarias coetáneas con ammonites existentes en otras cuencas de Tetis

Lower Cretaceous (Hauterivian-Albian) ammonite biostratigraphy in the Maestrat Basin (E Spain)

A review of the stratigraphic distribution of ammonoid species in the Lower Cretaceous (Hauterivian-Albian) of the Maestrat Basin (E Spain) was carried out. The specimens were mainly collected in the field by us and are stored in university or museum collections. Specimens from private collections and figured in the literature were also studied. We recognized 73 species that are distributed, in accordance with the latest version of the standard Mediterranean ammonite zonation for the Lower Cretaceous, in 14 ammonite zones: Acanthodiscus radiatus, Crioceratites loryi, Lyticoceras nodosoplicatum (Lower Hauterivian); Pseudothurmannia ohmi (Upper Hauterivian); Imerites giraudi (Upper Barremian); Deshayesites oglanlensis, Deshayesites forbesi, Deshayesites deshayesi, Dufrenoyia furcata (Lower Aptian); Epicheloniceras martini, Parahoplites melchioris, Acanthohoplites nolani (Upper Aptian); Leymeriella tardefurcata and Douvilleiceras mammillatum (Lower Albian). The recognition of these biozones allows a precise age calibration of the Maestrat Basin's lithostatigraphic units that contain ammonoids as well as an associated indirect age calibration of the formations without ammonoids. Consequently, this report provides an updated, comprehensive and precise biostratigraphic framework, which aims to become a reference for the analysis of the Lower Cretaceous strata of the Maestrat Basin. The results are also relevant for the analysis of coeval ammonite-bearing sedimentary successions found in other Tethyan basins

Cation- and vacancy-ordering in Li_xCoO_2

Using a combination of first-principles total energies, a cluster expansion technique, and Monte Carlo simulations, we have studied the Li/Co ordering in LiCoO_2 and Li-vacancy/Co ordering in CoO_2. We find: (i) A ground state search of the space of substitutional cation configurations yields the (layered) CuPt structure as the lowest-energy state in the octahedral system LiCoO_2 (and CoO_2), in agreement with the experimentally observed phase. (ii) Finite temperature calculations predict that the solid-state order- disorder transitions for LiCoO_2 and CoO_2 occur at temperatures (~5100 K and ~4400 K, respectively) much higher than melting, thus making these transitions experimentally inaccessible. (iii) The energy of the reaction E(LiCoO_2) - E(CoO_2) - E(Li) gives the average battery voltage V of a Li_xCoO_2/Li cell. Searching the space of configurations for large average voltages, we find that CuPt (a monolayer superlattice) has a high voltage (V=3.78 V), but that this could be increased by cation randomization (V=3.99 V), partial disordering (V=3.86 V), or by forming a 2-layer Li_2Co_2O_4 superlattice along (V=4.90 V).Comment: 12 Pages, RevTeX galley format, 5 figures embedded using epsf Phys. Rev. B (in press, 1998

Exponential Decay of Correlations Implies Area Law

We prove that a finite correlation length, i.e. exponential decay of correlations, implies an area law for the entanglement entropy of quantum states defined on a line. The entropy bound is exponential in the correlation length of the state, thus reproducing as a particular case Hastings proof of an area law for groundstates of 1D gapped Hamiltonians. As a consequence, we show that 1D quantum states with exponential decay of correlations have an efficient classical approximate description as a matrix product state of polynomial bond dimension, thus giving an equivalence between injective matrix product states and states with a finite correlation length. The result can be seen as a rigorous justification, in one dimension, of the intuition that states with exponential decay of correlations, usually associated with non-critical phases of matter, are simple to describe. It also has implications for quantum computing: It shows that unless a pure state quantum computation involves states with long-range correlations, decaying at most algebraically with the distance, it can be efficiently simulated classically. The proof relies on several previous tools from quantum information theory - including entanglement distillation protocols achieving the hashing bound, properties of single-shot smooth entropies, and the quantum substate theorem - and also on some newly developed ones. In particular we derive a new bound on correlations established by local random measurements, and we give a generalization to the max-entropy of a result of Hastings concerning the saturation of mutual information in multiparticle systems. The proof can also be interpreted as providing a limitation on the phenomenon of data hiding in quantum states.Comment: 35 pages, 6 figures; v2 minor corrections; v3 published versio

Prospects for heavy supersymmetric charged Higgs boson searches at hadron colliders

We investigate the production of a heavy charged Higgs boson at hadron colliders within the context of the MSSM. A detailed study is performed for all important production modes and basic background processes for the t\bar{t}b\bar{b} signature. In our analysis we include effects of initial and final state showering, hadronization, and principal detector effects. For the signal production rate we include the leading SUSY quantum effects at high \tan\beta>~ mt/mb. Based on the obtained efficiencies for the signal and background we estimate the discovery and exclusion mass limits of the charged Higgs boson at high values of \tan\beta. At the upgraded Tevatron the discovery of a heavy charged Higgs boson (MH^+ >~ 200 GeV) is impossible for the tree-level cross-section values. However, if QCD and SUSY effects happen to reinforce mutually, there are indeed regions of the MSSM parameter space which could provide 3\sigma evidence and, at best, 5\sigma charged Higgs boson discovery at the Tevatron for masses M_H^+<~ 300 GeV and M_H^+<~ 250 GeV, respectively, even assuming squark and gluino masses in the (500-1000) GeV range. On the other hand, at the LHC one can discover a H^+ as heavy as 1 TeV at the canonical confidence level of 5\sigma; or else exclude its existence at 95% C.L. up to masses ~ 1.5 TeV. Again the presence of SUSY quantum effects can be very important here as they may shift the LHC limits by a few hundred GeV.Comment: Latex2e, 44 pages, 15 figures, 6 tables, uses JHEP3.sty, axodraw.sty. Comments added. Discussion on QCD factors clarified. Added discussion on uncertainties. Change of presentation of Tables 4 and 5 and Fig.6. Results and conclusions unchanged. Version accepted in JHE

Confirmation of the Double Charm Baryon Xi_cc+ via its Decay to p D+ K-

We observes a signal for the double charm baryon Xi_cc+ in the charged decay mode Xi_cc+ -> p D+ K- to complement the previously reported decay Xi_cc+ -> Lambda_c K- pi+ in data from SELEX, the charm hadro-production experiment (E781) at Fermilab. In this new decay mode we observe an excess of 5.62 events over an expected background estimated by event mixing to be 1.38+/-0.13 events. The Poisson probability that a background fluctuation can produce the apparent signal is less than 6.4E-4. The observed mass of this state is (3518+/-3)MeV/c^2, consistent with the published result. Averaging the two results gives a mass of (3518.7+/-1.7)MeV/c^2. The observation of this new weak decay mode confirms the previous SELEX suggestion that this state is a double charm baryon. The relative branching ratio Gamma(Xi_cc+ -> pD+K-)/Gamma(Xi_cc+ -> Lambda_c K- pi+) = 0.36+/-0.21.Comment: 11 pages, 6 included eps figures. v2 includes improved statistical method to determine significance of observation. Submitted to PL