Open Personalization: Involving Third Parties in Improving the User Experience of Websites

Traditional software development captures the user needs during the requirement analysis. The Web makes this endeavour even harder due to the difficulty to determine who these users are. In an attempt to tackle the heterogeneity of the user base, Web Personalization techniques are proposed to guide the users’ experience. In addition, Open Innovation allows organisations to look beyond their internal resources to develop new products or improve existing processes. This thesis sits in between by introducing Open Personalization as a means to incorporate actors other than webmasters in the personalization of web applications. The aim is to provide the technological basis that builds up a trusty environment for webmasters and companion actors to collaborate, i.e. "an architecture of participation". Such architecture very much depends on these actors’ profile. This work tackles three profiles (i.e. software partners, hobby programmers and end users), and proposes three "architectures of participation" tuned for each profile. Each architecture rests on different technologies: a .NET annotation library based on Inversion of Control for software partners, a Modding Interface in JavaScript for hobby programmers, and finally, a domain specific language for end-users. Proof-of-concept implementations are available for the three cases while a quantitative evaluation is conducted for the domain specific language.

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

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.

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.