The Large-NN Limit of the Two-Hermitian-matrix model by the hidden BRST method

This paper discusses the large N limit of the two-Hermitian-matrix model in zero dimensions, using the hidden BRST method. A system of integral equations previously found is solved, showing that it contained the exact solution of the model in leading order of large $N$.Comment: 19 pages, Latex,CERN--TH-6531/9

Discounting in LTL

In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given specification, reasoning about quality addresses the question of \emph{how well} the system satisfies the specification. One direction in this effort is to refine the "eventually" operators of temporal logic to {\em discounting operators}: the satisfaction value of a specification is a value in $[0,1]$, where the longer it takes to fulfill eventuality requirements, the smaller the satisfaction value is. In this paper we introduce an augmentation by discounting of Linear Temporal Logic (LTL), and study it, as well as its combination with propositional quality operators. We show that one can augment LTL with an arbitrary set of discounting functions, while preserving the decidability of the model-checking problem. Further augmenting the logic with unary propositional quality operators preserves decidability, whereas adding an average-operator makes some problems undecidable. We also discuss the complexity of the problem, as well as various extensions

Valoración de la ovariohisterectomía canina desde el punto de vista del propietario. Influencia del empleo de propofol y del tiopental. Estudio clínico

Dos grupos de perras son ovariohisterectomizadas, el procedimiento sólo varía en el agente anestésico inductor, propofol o tiopental. La recuperación anestésica es valorada por los propietarios. No se agrupan diferencias entre grupos.

Low molecular weight ϵ-caprolactone-pcoumaric acid copolymers as potential biomaterials for skin regeneration applications

ϵ-caprolactone-p-coumaric acid copolymers at different mole ratios (ϵ-caprolactone:p-coumaric acid 1:0, 10:1, 8:1, 6:1, 4:1, and 2:1) were synthesized by melt-polycondensation and using 4-dodecylbenzene sulfonic acid as catalyst. Chemical analysis by NMR and GPC showed that copolyesters were formed with decreasing molecular weight as p-coumaric acid content was increased. Physical characteristics, such as thermal and mechanical properties, as well as water uptake and water permeability, depended on the mole fraction of pcoumaric acid. The p-coumarate repetitive units increased the antioxidant capacity of the copolymers, showing antibacterial activity against the common pathogen Escherichia coli. In addition, all the synthesized copolyesters, except the one with the highest concentration of the phenolic acid, were cytocompatible and hemocompatible, thus becoming potentially useful for skin regeneration applications

Adaptable transition systems

We present an essential model of adaptable transition systems inspired by white-box approaches to adaptation and based on foundational models of component based systems. The key feature of adaptable transition systems are control propositions, imposing a clear separation between ordinary, functional behaviours and adaptive ones. We instantiate our approach on interface automata yielding adaptable interface automata, but it may be instantiated on other foundational models of component-based systems as well. We discuss how control propositions can be exploited in the specification and analysis of adaptive systems, focusing on various notions proposed in the literature, like adaptability, control loops, and control synthesis

Simultaneous extraction and analysis of preservatives and artificial sweeteners in juices by salting out liquid-liquid extraction method prior to ultra-high performance liquid chromatography

A novel and fast salting out liquid-liquid extraction method was developed for simultaneous determination of food additives with different polarities in juices. Chromatographic separation was achieved in less than 6 min using Acquity UPLC BEH C 18 (100 mm × 2.1 mm d.i. × 1.7 µm) column with ammonium acetate with 0.01% of trifluoroacetic acid as eluent A and acetonitrile as eluent B at a flow rate of 0.2 mL min-1. The main factors affecting the extraction efficiency were optimized. The method was validated applying accuracy profile based on total error. The extraction recoveries ranged from 84.97 to 122%. Relative standard deviation ranged from 1.24 to 7.99% for intraday assay and from 1.69 to 9.16% for intermediate precision. The limits of detection for five food additives were from 0.3 to 1.42 µg mL-1. The method was successfully applied to 47 samples of juices from nine brands

Environmental effects on galaxy evolution. II: quantifying the tidal features in NIR-images of the cluster Abell 85

This work is part of a series of papers devoted to investigate the evolution of cluster galaxies during their infall. In the present article we imaged in NIR a selected sample of galaxies through- out the massive cluster Abell 85 (z = 0.055). We obtained (JHK) photometry for 68 objects, reaching 1 mag/arcsec^2 deeper than 2MASS. We use these images to unveil asymmetries in the outskirts of a sample of bright galaxies and develop a new asymmetry index, alpha_An, which allows to quantify the degree of disruption by the relative area occupied by the tidal features on the plane of the sky. We measure the asymmetries for a subsample of 41 large area objects finding clear asymmetries in ten galaxies, most of them being in groups and pairs projected at different clustercentric distances, some of them located beyond R500 . Combining information on the Hi-gas content of blue galaxies and the distribution of sub-structures across Abell 85, with the present NIR asymmetry analysis, we obtain a very powerful tool to confirm that tidal mechanisms are indeed present and are currently affecting a fraction of galaxies in Abell 85. However, when comparing our deep NIR images with UV-blue images of two very disrupted (jellyfish) galaxies in this cluster, we discard the presence of tidal 1 interactions down to our detection limit. Our results suggest that ram-pressure stripping is at the origin of such spectacular disruptions. We conclude that across a complex cluster like Abell 85, environment mechanisms, both gravitational and hydrodynamical, are playing an active role in driving galaxy evolution.Comment: 30 pages, 13 figures, Accepted for Publication in A

A Finite Quantum Gravity Field Theory Model

We discuss the quantization of Delta gravity, a two symmetric tensors model of gravity. This model, in Cosmology, shows accelerated expansion without a cosmological constant. We present the $\tilde{\delta}$ transformation which defines the geometry of the model. Then we show that all delta type models live at one loop only. We apply this to General Relativity and we calculate the one loop divergent part of the Effective Action showing its null contribution in vacuum, implying a finite model. Then we proceed to study the existence of ghosts in the model. Finally, we study the form of the finite quantum corrections to the classical action of the model.Comment: Latex, 33 page