Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Análisis de las necesidades del cliente y su satisfacción en la industria del mueble según las normas ISO 9000: un estudio de casos

[ES] La necesidad de determinar los requerimientos del cliente y satisfacerlos se ha convertido en el principal objetivo de las empresas. Gestionar esa actividad, comúnmente asociada al departamento de marketing, ha llegado a ser el fin de cualquier sistema de calidad, y por ende, del resto de departamentos de la organización. A través de un estudio de casos, este trabajo pretende identificar cuales son las prácticas de marketing habituales en la industria del mueble, y plantear un marco de actuación idóneo de acuerdo con los procedimientos establecidos en las normas de calidad ISO 9000:2000.

The Effect of Data Revisions on the Basic New Keynesian Model

This paper proposes an extended version of the basic New Keynesian monetary (NKM) model which contemplates revision processes of output and inflation data in order to assess the importance of data revisions on the estimated monetary policy rule parameters and the transmission of policy shocks. Our empirical evidence based on a structural econometric approach suggests that although the initial announcements of output and inflation are not rational forecasts of revised output and inflation data, ignoring the presence of non well-behaved revision processes may not be a serious drawback in the analysis of monetary policy in this framework. However, the transmission of inflation-push shocks is largely affected by considering data revisions. The latter being especially true when the nominal stickiness parameter is estimated taking into account data revision processes.

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

Using the system dynamics paradigm in teaching and learning technological university subjets

2nd International Conference on Education and New Learning Technologies

Design, analysis and implementation of a versatile low level radio frequency system for accelerating cavities

179 p.

Propuesta de un modelo de competitividad portuaria: aplicación para Bilbao y las líneas marítimas de contenedores

[ES] Este trabajo de investigación pretende proponer un modelo de cuantificación de la competitividad portuaria que puede alcanzar un puerto comercial para un tráfico de contenedores. Derivado de este objetivo, podría conseguirse una Estrategia a la medida para un puerto concreto orientada a la búsqueda de mercados, fundamentalmente. Para este último aspecto, esta investigación se centra en el Puerto de Bilbao y los servicios directos de línea regular en contenedor en las rutas intercontinentales que conectan Europa con América y el Caribe. La finalidad principal es la elaboración de un modelo teórico tratado dentro del área de la ciencia de la Economía de la Empresa como antecedente inmediato y básico de la Dirección Estratégica. Se consideran varios factores en el proceso de selección de un puerto que pueden contribuir a las preferencias de elección, tanto los relativos a las características del mismo, como a su hinterland para los grupos de usuarios. También se analizarán los estudios sobre modelos y métodos de competitividad portuaria considerados por la literatura especializada en los últimos años. La metodología a utilizar será una combinación de distintos métodos, para la consecución de cada uno de los objetivos. La investigación se apoya en el análisis de Importance–Performance (IPa) que consiste en evaluar tanto la satisfacción del cliente y la calidad del servicio. El análisis IPa tiene preponderancia para la obtención de un índice de competitividad de un puerto de contenedores. Dicho índice podría ser calculado mediante el uso de postulados y reglas de la matemática, en concreto de la Teoría de la Decisión/ Investigación de Operaciones.

Geology alive. GeoBizirik.org

Geology is the science that studies the Earth, its composition, structure and origin in addition to past and present phenomena that leave their mark on rocks. So why does society need geologists? Some of the main reasons are listed below: - Geologists compile and interpret information about the earth’s surface and subsoil, which allows us to establish the planet’s past history, any foreseeable changes and its relationship with the rest of the solar system. - Society needs natural resources (metals, non-metals, water and fossil fuels) to survive. The work of geologists is therefore a key part of finding new deposits and establishing a guide for exploring and managing resources in an environmentally-friendly way. - The creation of geological maps allows us to identify potential risk areas and survey different land uses; in other words, they make an essential contribution to land planning and proposing sustainable development strategies in a region. - Learning about Geology and the proper use of geological information contributes to saving lives and reducing financial loss caused by natural catastrophes such as earthquakes, tsunamis, volcanic eruptions, flooding and landslides, while also helping to develop construction projects, public works, etc. Through the proposed activities we aim to explain some of the basic elements of the different specialities within the field of Geological Sciences. In order to do this, four sessions have been organised that will allow for a quick insight into the fields of Palaeontology, Mineralogy, Petrology and Tectonics.

Geology alive. GeoBizirik.org

Geology is the science that studies the Earth, its composition, structure and origin in addition to past and present phenomena that leave their mark on rocks. So why does society need geologists? Some of the main reasons are listed below: - Geologists compile and interpret information about the earth’s surface and subsoil, which allows us to establish the planet’s past history, any foreseeable changes and its relationship with the rest of the solar system. - Society needs natural resources (metals, non-metals, water and fossil fuels) to survive. The work of geologists is therefore a key part of finding new deposits and establishing a guide for exploring and managing resources in an environmentally-friendly way. - The creation of geological maps allows us to identify potential risk areas and survey different land uses; in other words, they make an essential contribution to land planning and proposing sustainable development strategies in a region. - Learning about Geology and the proper use of geological information contributes to saving lives and reducing financial loss caused by natural catastrophes such as earthquakes, tsunamis, volcanic eruptions, flooding and landslides, while also helping to develop construction projects, public works, etc. Through the proposed activities we aim to explain some of the basic elements of the different specialities within the field of Geological Sciences. In order to do this, four sessions have been organised that will allow for a quick insight into the fields of Palaeontology, Mineralogy, Petrology and Tectonics.

The impact of liberalizing cost-saharing on basic models of network formation

This paper studies the impact of "liberalizing " the cost-sharing of links on some basic models of network formation. This is done in a setting where both doubly supported and singly supported links are possible, and which includes the two seminal models of network formation by Jackson and Wolinsky and Bala and Goyal as extreme cases. In this setting, the notion of pairwise stability is extended and it is proved that liberalizing cost-sharing for doubly supported links widens the range of values of the parameters where the efficient networks formed by such type of links are pairwise stable, while the range of values of the parameters where the efficient networks formed by singly supported links are pairwise stable shrinks, but the region where the latter are e¢ cient and pairwise stable remains the same.

Desarrollo de un gestor de conexión con facebook para aplicación de mensajeria instantanea.

[EN]Until May 2015, an application for Linux KDE desktops called KDE-Telepathy had the possibility of adding Facebook accounts in order to talk to friends through an XMPP Gateway. After Facebook’s announcement of the closure of this Gateway, this project will try to explain the development process of a new connection manager. This fact generates the need of an unofficial alternative which Facebook does not provide. Along the different sections, there will be explained how to implement the most basic functions a connection manager must have, like: a contact list, sending or receiving messages. Meanwhile, there will be involved different solutions part of the Facebook’s official infrastructure, but also, some that are not.