An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

The Forbidden Quantum Adder

Quantum information provides fundamentally different computational resources than classical information. We prove that there is no unitary protocol able to add unknown quantum states belonging to different Hilbert spaces. This is an inherent restriction of quantum physics that is related to the impossibility of copying an arbitrary quantum state, i.e., the no-cloning theorem. Moreover, we demonstrate that a quantum adder, in absence of an ancillary system, is also forbidden for a known orthonormal basis. This allows us to propose an approximate quantum adder that could be implemented in the lab. Finally, we discuss the distinct character of the forbidden quantum adder for quantum states and the allowed quantum adder for density matrices.

A New Type of Coincidence and Common Fixed Point Theorem with Applications

Coincidence and common fixed point theorems for a class of 'Ciric-Suzuki hybrid contractions involving a multivalued and two single-valued maps in a metric space are obtained. Some applications including the existence of a common solution for certain class of functional equations arising in a dynamic programming are also discussed..

An approach version of fuzzy metric spaces including an ad hoc fixed point theorem

In this paper, inspired by two very different, successful metric theories such us the real view-point of Lowen's approach spaces and the probabilistic field of Kramosil and Michalek's fuzzymetric spaces, we present a family of spaces, called fuzzy approach spaces, that are appropriate to handle, at the same time, both measure conceptions. To do that, we study the underlying metric interrelationships between the above mentioned theories, obtaining six postulates that allow us to consider such kind of spaces in a unique category. As a result, the natural way in which metric spaces can be embedded in both classes leads to a commutative categorical scheme. Each postulate is interpreted in the context of the study of the evolution of fuzzy systems. First properties of fuzzy approach spaces are introduced, including a topology. Finally, we describe a fixed point theorem in the setting of fuzzy approach spaces that can be particularized to the previous existing measure spaces.

Approximate knowledge of rationality and correlated equilibria

We extend Aumann's [3] theorem deriving correlated equilibria as a consequence of common priors and common knowledge of rationality by explicitly allowing for non-rational behavior. We replace the assumption of common knowledge of rationality with a substantially weaker notion, joint p-belief of rationality, where agents believe the other agents are rational with probabilities p = (pi)i2I or more. We show that behavior in this case constitutes a constrained correlated equilibrium of a doubled game satisfying certain p-belief constraints and characterize the topological structure of the resulting set of p-rational outcomes. We establish continuity in the parameters p and show that, for p su ciently close to one, the p-rational outcomes are close to the correlated equilibria and, with high probability, supported on strategies that survive the iterated elimination of strictly dominated strategies. Finally, we extend Aumann and Dreze's [4] theorem on rational expectations of interim types to the broader p-rational belief systems, and also discuss the case of non-common priors.

Failure detectors and communication efficiency in the crash and general omisión failure models

122 p.

Plataforma de investigación en el ámbito de la resucitación cardio-pulmonar basada en un maniquí de entrenamiento sensorizado

[ES]Hoy en día las muertes por parada cardiorrespiratoria superan en número a otras más mediáticas como aquellas que se producen por incendios o en accidentes de tráfico, y sin embargo su repercusión es mucho menor. Este hecho debe ser motivo de preocupación ya que, con una correcta formación de la población en materia de resucitación cardíaca, muchas de estas muertes podrían ser evitadas. Con el objetivo de reducir estas estadísticas han surgido multitud de estudios y proyectos de investigación consistentes en tratar de mejorar las herramientas disponibles tanto para personal sanitario como no sanitario. En este marco se encuadra el proyecto presentado en este documento, consistente en la sensorización de un maniquí de entrenamiento para episodios de parada cardiorrespiratoria, el cual ofrecerá la posibilidad de analizar con detalle el artifact o interferencia generada por el rescatador sobre el paciente en el momento de efectuar la maniobra de resucitación, así como la interferencia causada por el contacto electrodo-piel. Paralelamente podrá ser utilizado como mero instrumento de entrenamiento para posibles situaciones reales. El porqué de la utilización de este tipo de maniquíes reside principalmente en la imposibilidad de emplear personas debido a las posibles lesiones torácicas que pueden ocurrir por las compresiones realizadas. Finalmente debe citarse el hecho de que no es imprescindible tener conocimientos médicos para poder aplicar las técnicas básicas de resucitación cardíaca, acción que incrementa las posibilidades de supervivencia de un paciente de manera excepcional, ya que cada minuto que pasa desde la parada cardiorrespiratoria la probabilidad de supervivencia disminuye en un porcentaje significativamente elevado. Tomando como base lo descrito hasta ahora, en este documento se detalla la solución técnica de la sensorización de un maniquí genérico para la adquisición de las señales de fuerza de compresión, aceleración sufrida por el pecho en tres ejes ortogonales, profundidad de compresión, impedancia entre los dos electrodos colocados sobre el pecho del paciente y señal electrocardiográfica emitida por el corazón; además, se incluye la posibilidad de inyectar una señal electrocardiográfica previamente grabada. La base de registros obtenida de estos ensayos podrá ser utilizada posteriormente para su análisis, ya que su similitud con señales extraídas en un caso real es máxima.

Análisis de la interferencia inducida en el electrocardiograma y señal de impedancia por compresiones torácicas sobre un maniquí.

[EN]This paper presents a project within that research field. The project consists on the development of an experimental environment comprised by a sensorized practice manikin and a management software system. Manikin model allows the simulation of cardiac arrest episodes on laboratory settings. The management software system adds the capacity to compute and analyze the characteristics of the artifact induced on the electrocardiogram and the thoracic impedance signals by chest compressions during cardiopulmonary resuscitation due to variations of the electrode-skin interface. The main reason for choosing this kind of model is the impossibility to use real people because of the risk of thoracic injuries during chest compression. Moreover, this platform could be used for training in reanimation techniques for real situations. Even laypeople with minimal training can perform cardiopulmonary resuscitation. This can reduce the response time to an emergency while the healthcare personnel arrives, which is key to improve outcomes, since with every minute the chances of survival decrease approximately 10%. It is not necessary to have medical knowledge to perform cardiopulmonary resuscitation, which could increase chances of survival for a patient with an early reanimation since In this context, this paper details the technique solution for the manikin sensorisation to acquire the electrocardiogram, the impedance signal measured between the defibrillation pads placed on the patient’s chest, the compression depth, the compression force and the acceleration experienced by the chest in the three orthogonal axes. Moreover, it is possible to inject a previously recorded electrocardiogram signal.

Pata contractions and coupled type fixed points

A new coupled fixed point theorem related to the Pata contraction for mappings having the mixed monotone property in partially ordered complete metric spaces is established. It is shown that the coupled fixed point can be unique under some extra suitable conditions involving mid point lower or upper bound properties. Also the corresponding convergence rate is estimated when the iterates of our function converge to its coupled fixed point.

Density-potential mapping in the standard and quantum electrodynamical time-dependent density functional theory

131 p.

Biomimetic Cloning of Quantum Observables

We propose a bio-inspired sequential quantum protocol for the cloning and preservation of the statistics associated to quantum observables of a given system. It combines the cloning of a set of commuting observables, permitted by the no-cloning and no-broadcasting theorems, with a controllable propagation of the initial state coherences to the subsequent generations. The protocol mimics the scenario in which an individual in an unknown quantum state copies and propagates its quantum information into an environment of blank qubits Finally, we propose a realistic experimental implementation of this protocol in trapped ions.

El riesgo de orientación en la inversión en spin-offs universitarias. ¿Existe? ¿Es posible identificarlo en los primeros años de vida?

[ES] Diversos estudios han mostrado evidencias de que las empresas creadas desde las universidades (spin-offs) presentan unas tasas de crecimiento menores que otros tipos de start-ups. Esto puede deberse en parte a que un porcentaje de ellas pueden estar orientadas a dar continuidad a proyectos de investigación en base a ayudas públicas, en lugar de a valorizar resultados de investigación en el mercado. El principal objetivo de este trabajo es contrastar si es posible diferenciar dos tipos de spin-offs en función de si están orientadas al mercado o no. Además, en segundo lugar, hemos tratado de comprobar si es posible identificar esta orientación desde las primeras fases de vida de las spin-offs, lo que afectaría al perfil de riesgo desde el punto de vista de los inversores. Para ello hemos utilizado una muestra de 20 spin-offs y se ha procedido a analizar tanto sus estados contables como las ayudas y subvenciones públicas obtenidas durante sus primeros cinco años de actividad. La metodología empleada ha sido el análisis de conglomerados. Los resultados obtenidos sugieren que, si bien efectivamente un número significativo de spin-offs no parecen orientadas al mercado, esta diferenciación no puede inferirse de la información inicial económico financiera de la empresa. Este hecho puede dar lugar a un riesgo de orientación , definido como la imposibilidad por parte del inversor inicial de saber si existe una orientación o no al mercado de la spin-off.