Kassandra, la niña pirata

Trabajo realizado con la técnica de pastel o soft pastel, con soltura de trazos con carácter como si fuesen pinceladas, hacen resaltar la figura de la niña y sus atuendos tratados con efumino, que por contraste se enriquecen (figurativo, libre y gestual).

Cuerpo desmembrado, ruptura de la percepción : reflexiones sobre "El teatro y su doble", de Antonin Artaud, a partir de una escena de "El chorro de sangre"

La escena inicial de El Chorro de sangre, mientras una pareja se jura amor eterno (de manera repetitiva y mecánica), llueven sobre el escenario partes del cuerpo humano. En este trabajo pretendo demostrar que Artaud pensó esa lluvia de extremidades desde una recepción sensorial. Es decir, la estrategia del disjecta membra responde a su concepción de un teatro de los sentidos que, como lo señala en El teatro y su doble, busca provocar una “revolución del espíritu". Si el cuerpo es espacio de las luchas entre un “interior" libre y caótico, y las presiones “exteriores", sociales, la fragmentación revela la energía excedente del ser humano por sobre esos controles, la capacidad de resistencia y superación. Para expresar esa resistencia, Artaud apela a la carnavalización del cuerpo que, como lo afirma Bajtín, produce una serie de transgresiones en tanto crítica y resistencia. Así, el cuerpo desmembrado trae a la superficie los miedos y tabúes sobre la muerte, la unidad del cuerpo humano y la inviolabilidad del cadáver. Se concluye que interpretar la lluvia de extremidades humanas requiere comprender El chorro de sangre como la puesta en escena de los principios surrealistas de subversión y desmoralización y, al mismo tiempo, que el cuerpo como objeto central de la representación carnavalesca problematiza tópicos filosóficos como la percepción y la existencia del ser.

Fases en la derivación e interpretación semántico pragmática

En trabajos anteriores (Romero, 2008a y b, Alabart Lago, L., P. Díaz y G. Herrera, 2012, Alabart Lago, L. y Herrera, G., 2013) se intentó mostrar que el mecanismo interpretativo que propone la TR podría resultar adecuado como uno de los sistemas externos (también interpretativos) postulados por la GG, más precisamente, el sistema llamado CI. La relación que intentamos establecer tendrá en cuenta lo siguiente como marco teórico: a) En TR se afirma que la interpretación de un enunciado se deriva de las estructuras sintácticas, y esta derivación se realiza "en paralelo" con la derivación de estructuras llevada a cabo por las operaciones del componente sintáctico. b) En las últimas propuestas de la GG, extensiones y revisiones del PM propuesto en Chomsky (1995) no solo se dejan de lado los niveles de representación internos SP y ES sino también se considera prescindible la interfaz FL (Chomsky, 2005). Las estructuras generadas se transfieren a los sistemas externos en cuanto rasgos formales de las Categorías Funcionales son valorados. Mantendremos la noción de que el sistema computacional es relativamente irrestricto y que sus operaciones son condicionadas solo por Atracción y las llamadas "condiciones de legibilidad" impuestas por los sistemas externos, fundamentalmente el Principio de Interpretación Completa (PIC). c) Tendremos en cuenta la propuesta de Leonetti y Escandell Vidal (2004), que sostiene que las CCFF de la GG pueden considerarse equivalentes a las Categoría Procedimentales propuestas por la TR. En este sentido consideraremos válida la afirmación de Chomsky (1998) acerca de que las CCFF centrales (C, T, v y D) tienen propiedades semánticas. d) Otro factor que tendremos en cuenta es la noción de fase en la derivación, considerándola correcta en los términos expuestos en Chomsky (2001 y 2005) y Gallego (2007 y 2009), con ciertas modificaciones. Nuestra hipótesis puede resumirse en lo siguiente: Las operaciones de extracción de inferencias propuestas por TR se aplican durante la derivación sintáctica independientemente de que se haya transferido o no una fase. Es más, esperamos poder demostrar que algunos mecanismos inferenciales imponen ciertas condiciones que afectan a la valoración de los rasgos de las CCFF. Pretendemos también intentar mostrar que además de los núcleos de fase reconocidos, C y v, debe considerarse fase a SD, porque contiene rasgos específicos de cuyo cotejo y valoración se desprende el valor que recibirán otros rasgos en el curso de la derivación. Con estos fundamentos esperamos poder elaborar una descripción de cómo interactúan ambos sistemas en la derivación de una oración y la asignación (casi simultánea) de significado

Fases en la derivación e interpretación semántico pragmática

En trabajos anteriores (Romero, 2008a y b, Alabart Lago, L., P. Díaz y G. Herrera, 2012, Alabart Lago, L. y Herrera, G., 2013) se intentó mostrar que el mecanismo interpretativo que propone la TR podría resultar adecuado como uno de los sistemas externos (también interpretativos) postulados por la GG, más precisamente, el sistema llamado CI. La relación que intentamos establecer tendrá en cuenta lo siguiente como marco teórico: a) En TR se afirma que la interpretación de un enunciado se deriva de las estructuras sintácticas, y esta derivación se realiza "en paralelo" con la derivación de estructuras llevada a cabo por las operaciones del componente sintáctico. b) En las últimas propuestas de la GG, extensiones y revisiones del PM propuesto en Chomsky (1995) no solo se dejan de lado los niveles de representación internos SP y ES sino también se considera prescindible la interfaz FL (Chomsky, 2005). Las estructuras generadas se transfieren a los sistemas externos en cuanto rasgos formales de las Categorías Funcionales son valorados. Mantendremos la noción de que el sistema computacional es relativamente irrestricto y que sus operaciones son condicionadas solo por Atracción y las llamadas "condiciones de legibilidad" impuestas por los sistemas externos, fundamentalmente el Principio de Interpretación Completa (PIC). c) Tendremos en cuenta la propuesta de Leonetti y Escandell Vidal (2004), que sostiene que las CCFF de la GG pueden considerarse equivalentes a las Categoría Procedimentales propuestas por la TR. En este sentido consideraremos válida la afirmación de Chomsky (1998) acerca de que las CCFF centrales (C, T, v y D) tienen propiedades semánticas. d) Otro factor que tendremos en cuenta es la noción de fase en la derivación, considerándola correcta en los términos expuestos en Chomsky (2001 y 2005) y Gallego (2007 y 2009), con ciertas modificaciones. Nuestra hipótesis puede resumirse en lo siguiente: Las operaciones de extracción de inferencias propuestas por TR se aplican durante la derivación sintáctica independientemente de que se haya transferido o no una fase. Es más, esperamos poder demostrar que algunos mecanismos inferenciales imponen ciertas condiciones que afectan a la valoración de los rasgos de las CCFF. Pretendemos también intentar mostrar que además de los núcleos de fase reconocidos, C y v, debe considerarse fase a SD, porque contiene rasgos específicos de cuyo cotejo y valoración se desprende el valor que recibirán otros rasgos en el curso de la derivación. Con estos fundamentos esperamos poder elaborar una descripción de cómo interactúan ambos sistemas en la derivación de una oración y la asignación (casi simultánea) de significado

Hydrocarbon concentrations from pressurized cores in the northern Gulf of Mexico

Two newly developed coring devices, the Multi-Autoclave-Corer and the Dynamic Autoclave Piston Corer were deployed in shallow gas hydrate-bearing sediments in the northern Gulf of Mexico during research cruise SO174 (Oct-Nov 2003). For the first time, they enable the retrieval of near-surface sediment cores under ambient pressure. This enables the determination of in situ methane concentrations and amounts of gas hydrate in sediment depths where bottom water temperature and pressure changes most strongly influence gas/hydrate relationships. At seep sites of GC185 (Bush Hill) and the newly discovered sites at GC415, we determined the volume of low-weight hydrocarbons (C1 through C5) from nine pressurized cores via controlled degassing. The resulting in situ methane concentrations vary by two orders of magnitudes between 0.031 and 0.985 mol kg**-1 pore water below the zone of sulfate depletion. This includes dissolved, free, and hydrate-bound CH4. Combined with results from conventional cores, this establishes a variability of methane concentrations in close proximity to seep sites of five orders of magnitude. In total four out of nine pressure cores had CH4 concentrations above equilibrium with gas hydrates. Two of them contain gas hydrate volumes of 15% (GC185) and 18% (GC415) of pore space. The measurements prove that the highest methane concentrations are not necessarily related to the highest advection rates. Brine advection inhibits gas hydrate stability a few centimeters below the sediment surface at the depth of anaerobic oxidation of methane and thus inhibits the storage of enhanced methane volumes. Here, computerized tomography (CT) of the pressure cores detected small amounts of free gas. This finding has major implications for methane distribution, possible consumption, and escape into the bottom water in fluid flow systems related to halokinesis.

Composition of Holocene lithificates at the slopes of the Untersee Mountain Valley, East Antarctica

It was found out that the lower parts of slopes of the Untersee mountain valley (East Antarctica) were locally covered with lithificates (both carbonate-free and carbonate-poor). They occur in three modes: crusts, films, and impregnates. All of them cover Late Pleistocene moraine material and consist of mixture of lacustrine sedimentary material and filling material of moraines. A mechanism of their genesis is offered.

Impact of CO2 enrichment on organic matter dynamics during nutrient induced coastal phytoplankton blooms

A mesocosm experiment was conducted to investigate the impact of rising fCO2 on the build-up and decline of organic matter during coastal phytoplankton blooms. Five mesocosms (~38 m³ each) were deployed in the Baltic Sea during spring (2009) and enriched with CO2 to yield a gradient of 355-862 µatm. Mesocosms were nutrient fertilized initially to induce phytoplankton bloom development. Changes in particulate and dissolved organic matter concentrations, including dissolved high-molecular weight (>1 kDa) combined carbohydrates, dissolved free and combined amino acids as well as transparent exopolymer particles (TEP), were monitored over 21 days together with bacterial abundance, and hydrolytic extracellular enzyme activities. Overall, organic matter followed well-known bloom dynamics in all CO2 treatments alike. At high fCO2, higher dPOC:dPON during bloom rise, and higher TEP concentrations during bloom peak, suggested preferential accumulation of carbon-rich components. TEP concentration at bloom peak was significantly related to subsequent sedimentation of particulate organic matter. Bacterial abundance increased during the bloom and was highest at high fCO2. We conclude that increasing fCO2 supports production and exudation of carbon-rich components, enhancing particle aggregation and settling, but also providing substrate and attachment sites for bacteria. More labile organic carbon and higher bacterial abundance can increase rates of oxygen consumption and may intensify the already high risk of oxygen depletion in coastal seas in the future.

開発政策としての優遇アクセスの成果と課題 -- マダガスカルに対する経済制裁を例に

世界貿易機関（WTO）のドーハ開発ラウンドでは、後発開発途上国が無税無枠で他国に輸出できる措置を実施することが協議されているが、ラウンド自体が合意に至っていないため、各国はWTOの枠組みとは別に、二国間で優遇的なアクセスを提供している。本稿では、アメリカおよびEU 市場への優遇アクセスの下で衣料品の輸出を成長させてきたマダガスカルの縫製産業を例に、二国間の優遇アクセスの成果と課題を検討した。マダガスカルでは2009年に政変が発生し、アメリカ政府は同国に対して輸入関税を免除するアフリカ成長機会法（AGOA）の適用を停止した。AGOAの中止は、同国からアメリカ市場向けの輸出を64～78%減少させ、その影響は政変そのものよりも大きいと推定された。また、企業レベルでは、アメリカ向けに輸出していた工場の閉鎖と、それに伴って非熟練労働者を中心に雇用が減少したことが企業データから明らかになった。低所得国に対する優遇アクセスの中止は、輸出額の減少を通じて、教育水準が低い女性の雇用に大きな影響を与える可能性がある。貧困削減の点からは、制度の運用変更が容易な2国間よりも、多国間の枠組みの下で安定的な優遇アクセスが提供されることが望ましい。

Effects on the shallow aquifers by CO2 leakages in a tertiary basin (province of Murcia, Spain)

Geological storage of CO2 is nowadays internationally considered as the most effective method for greenhouse gas emission mitigation, in order to minimize its effects on the global climatology. One of the main options is to store CO2 in deep saline aquifers at more than 800m depth, because it reaches its supercritical state. Study of the CO2 natural accumulations as natural analogues of an artificial CO2 storage is very useful in order to understand the CO2 long term behaviour and thus to predict its possible impact on the surficial environment and life. Therefore the main objective of this work is to detect the affection of the CO2 leakages from a deep saline aquifer on the shallow aquifers, all of them located in the Gañuelas-Mazarrón Tertiary basin (Province of Murcia, Spain). This CO2 storage and leakage natural system can be analogous to an artificial CO2 storage with leakage phenomena. In order to reach these objectives, groundwaters from different aquifers in the site have been sampled and analysed for major elements, free and dissolved gases and stable isotopes, particularly ∂ 13 C and 3 He/ 4 He. The results obtained allow to conclude that this natural system is an interesting example of natural analogue for an artificial CO2 storage affected by leakage processes because the shallow fresh aquifers in the site are polluted by CO2 from the deep saline aquifer as a consequence of an intensive over-exploitation of these freshwater aquifers

X-parameters based analytical design of non-linear microwave circuits Application to oscillator design

Resumen El diseño clásico de circuitos de microondas se basa fundamentalmente en el uso de los parámetros s, debido a su capacidad para caracterizar de forma exitosa el comportamiento de cualquier circuito lineal. La relación existente entre los parámetros s con los sistemas de medida actuales y con las herramientas de simulación lineal han facilitado su éxito y su uso extensivo tanto en el diseño como en la caracterización de circuitos y subsistemas de microondas. Sin embargo, a pesar de la gran aceptación de los parámetros s en la comunidad de microondas, el principal inconveniente de esta formulación reside en su limitación para predecir el comportamiento de sistemas no lineales reales. En la actualidad, uno de los principales retos de los diseñadores de microondas es el desarrollo de un contexto análogo que permita integrar tanto el modelado no lineal, como los sistemas de medidas de gran señal y los entornos de simulación no lineal, con el objetivo de extender las capacidades de los parámetros s a regímenes de operación en gran señal y por tanto, obtener una infraestructura que permita tanto la caracterización como el diseño de circuitos no lineales de forma fiable y eficiente. De acuerdo a esta filosofía, en los últimos años se han desarrollado diferentes propuestas como los parámetros X, de Agilent Technologies, o el modelo de Cardiff que tratan de proporcionar esta plataforma común en el ámbito de gran señal. Dentro de este contexto, uno de los objetivos de la presente Tesis es el análisis de la viabilidad del uso de los parámetros X en el diseño y simulación de osciladores para transceptores de microondas. Otro aspecto relevante en el análisis y diseño de circuitos lineales de microondas es la disposición de métodos analíticos sencillos, basados en los parámetros s del transistor, que permitan la obtención directa y rápida de las impedancias de carga y fuente necesarias para cumplir las especificaciones de diseño requeridas en cuanto a ganancia, potencia de salida, eficiencia o adaptación de entrada y salida, así como la determinación analítica de parámetros de diseño clave como el factor de estabilidad o los contornos de ganancia de potencia. Por lo tanto, el desarrollo de una formulación de diseño analítico, basada en los parámetros X y similar a la existente en pequeña señal, permitiría su uso en aplicaciones no lineales y supone un nuevo reto que se va a afrontar en este trabajo. Por tanto, el principal objetivo de la presente Tesis consistiría en la elaboración de una metodología analítica basada en el uso de los parámetros X para el diseño de circuitos no lineales que jugaría un papel similar al que juegan los parámetros s en el diseño de circuitos lineales de microondas. Dichos métodos de diseño analíticos permitirían una mejora significativa en los actuales procedimientos de diseño disponibles en gran señal, así como una reducción considerable en el tiempo de diseño, lo que permitiría la obtención de técnicas mucho más eficientes. Abstract In linear world, classical microwave circuit design relies on the s-parameters due to its capability to successfully characterize the behavior of any linear circuit. Thus the direct use of s-parameters in measurement systems and in linear simulation analysis tools, has facilitated its extensive use and success in the design and characterization of microwave circuits and subsystems. Nevertheless, despite the great success of s-parameters in the microwave community, the main drawback of this formulation is its limitation in the behavior prediction of real non-linear systems. Nowadays, the challenge of microwave designers is the development of an analogue framework that allows to integrate non-linear modeling, large-signal measurement hardware and non-linear simulation environment in order to extend s-parameters capabilities to non-linear regimen and thus, provide the infrastructure for non-linear design and test in a reliable and efficient way. Recently, different attempts with the aim to provide this common platform have been introduced, as the Cardiff approach and the Agilent X-parameters. Hence, this Thesis aims to demonstrate the X-parameter capability to provide this non-linear design and test framework in CAD-based oscillator context. Furthermore, the classical analysis and design of linear microwave transistorbased circuits is based on the development of simple analytical approaches, involving the transistor s-parameters, that are able to quickly provide an analytical solution for the input/output transistor loading conditions as well as analytically determine fundamental parameters as the stability factor, the power gain contours or the input/ output match. Hence, the development of similar analytical design tools that are able to extend s-parameters capabilities in small-signal design to non-linear ap- v plications means a new challenge that is going to be faced in the present work. Therefore, the development of an analytical design framework, based on loadindependent X-parameters, constitutes the core of this Thesis. These analytical nonlinear design approaches would enable to significantly improve current large-signal design processes as well as dramatically decrease the required design time and thus, obtain more efficient approaches.

Editorial

In fact, much of the attraction of network theory initially stemmed from the fact that many networks seem to exhibit some sort of universality, as most of them belong to one of three classes: random, scale-free and small-world networks. Structural properties have been shown to translate into different important properties of a given system, including efficiency, speed of information processing, vulnerability to various forms of stress, and robustness. For example, scale-free and random topologies were shown to be...

Approximate entropy of network parameters

We study the notion of approximate entropy within the framework of network theory. Approximate entropy is an uncertainty measure originally proposed in the context of dynamical systems and time series. We first define a purely structural entropy obtained by computing the approximate entropy of the so-called slide sequence. This is a surrogate of the degree sequence and it is suggested by the frequency partition of a graph. We examine this quantity for standard scale-free and Erdös-Rényi networks. By using classical results of Pincus, we show that our entropy measure often converges with network size to a certain binary Shannon entropy. As a second step, with specific attention to networks generated by dynamical processes, we investigate approximate entropy of horizontal visibility graphs. Visibility graphs allow us to naturally associate with a network the notion of temporal correlations, therefore providing the measure a dynamical garment. We show that approximate entropy distinguishes visibility graphs generated by processes with different complexity. The result probes to a greater extent these networks for the study of dynamical systems. Applications to certain biological data arising in cancer genomics are finally considered in the light of both approaches.

Ion-temperature-sensitive effect in transient langmuir probe response

A theory is presented for a method, recently proposed by Hester and Sonin, of determining the ion temperature in a plasma by measuring the transient current to a cylindrical Langmuir probe after applying a potential Vp{ — eVpy>KTe) under conditions where collection is collision free and the ratio of probe radius to Debye length is small. The ion component of the current does not approach its final steady-state value monotonicalfy, but exhibits a strong, ion-temperature-dependent overshoot in the first few ion-plasma periods following the biasing of the probe. Analytical formulas are derived for the case of a Maxwellian plasma, and convenient graphical results are presented. The possible masking of the overshoot by a transient displacement current is discussed; it is shown how to avoid such displacement effects. For the overshoot to be sensitive to the ion temperature T the probe must be near plasma (zero) potential before applying V1,(eVp~<0.lKTe, VP~ being that initial potential); this is not a drawback of the method, but, on the contrary, it can be used to accurately determine plasma potential along with T.

A framework for building distributed social network websites

Las redes son la esencia de comunidades y sociedades humanas; constituyen el entramado en el que nos relacionamos y determinan cómo lo hacemos, cómo se disemina la información o incluso cómo las cosas se llevan a cabo. Pero el protagonismo de las redes va más allá del que adquiere en las redes sociales. Se encuentran en el seno de múltiples estructuras que conocemos, desde las interaciones entre las proteínas dentro de una célula hasta la interconexión de los routers de internet. Las redes sociales están presentes en internet desde sus principios, en el correo electrónico por tomar un ejemplo. Dentro de cada cliente de correo se manejan listas contactos que agregadas constituyen una red social. Sin embargo, ha sido con la aparición de los sitios web de redes sociales cuando este tipo de aplicaciones web han llegado a la conciencia general. Las redes sociales se han situado entre los sitios más populares y con más tráfico de la web. Páginas como Facebook o Twitter manejan cifras asombrosas en cuanto a número de usuarios activos, de tráfico o de tiempo invertido en el sitio. Pero las funcionalidades de red social no están restringidas a las redes sociales orientadas a contactos, aquellas enfocadas a construir tu lista de contactos e interactuar con ellos. Existen otros ejemplos de sitios que aprovechan las redes sociales para aumentar la actividad de los usuarios y su involucración alrededor de algún tipo de contenido. Estos ejemplos van desde una de las redes sociales más antiguas, Flickr, orientada al intercambio de fotografías, hasta Github, la red social de código libre más popular hoy en día. No es una casualidad que la popularidad de estos sitios web venga de la mano de sus funcionalidades de red social. El escenario es más rico aún, ya que los sitios de redes sociales interaccionan entre ellos, compartiendo y exportando listas de contactos, servicios de autenticación y proporcionando un valioso canal para publicitar la actividad de los usuarios en otros sitios web. Esta funcionalidad es reciente y aún les queda un paso hasta que las redes sociales superen su condición de bunkers y lleguen a un estado de verdadera interoperabilidad entre ellas, tal como funcionan hoy en día el correo electrónico o la mensajería instantánea. Este trabajo muestra una tecnología que permite construir sitios web con características de red social distribuída. En primer lugar, se presenta una tecnología para la construcción de un componente intermedio que permite proporcionar cualquier característica de gestión de contenidos al popular marco de desarrollo web modelo-vista-controlador (MVC) Ruby on Rails. Esta técnica constituye una herramienta para desarrolladores que les permita abstraerse de las complejidades de la gestión de contenidos y enfocarse en las particularidades de los propios contenidos. Esta técnica se usará también para proporcionar las características de red social. Se describe una nueva métrica de reusabilidad de código para demostrar la validez del componente intermedio en marcos MVC. En segundo lugar, se analizan las características de los sitios web de redes sociales más populares, con el objetivo de encontrar los patrones comunes que aparecen en ellos. Este análisis servirá como base para definir los requisitos que debe cumplir un marco para construir redes sociales. A continuación se propone una arquitectura de referencia que proporcione este tipo de características. Dicha arquitectura ha sido implementada en un componente, Social Stream, y probada en varias redes sociales, tanto orientadas a contactos como a contenido, en el contexto de una asociación vecinal tanto como en proyectos de investigación financiados por la UE. Ha sido la base de varios proyectos fin de carrera. Además, ha sido publicado como código libre, obteniendo una comunidad creciente y está siendo usado más allá del ámbito de este trabajo. Dicha arquitectura ha permitido la definición de un nuevo modelo de control de acceso social que supera varias limitaciones presentes en los modelos de control de acceso para redes sociales. Más aún, se han analizado casos de estudio de sitios de red social distribuídos, reuniendo un conjunto de caraterísticas que debe cumplir un marco para construir redes sociales distribuídas. Por último, se ha extendido la arquitectura del marco para dar cabida a las características de redes sociales distribuídas. Su implementación ha sido validada en proyectos de investigación financiados por la UE. Abstract Networks are the substance of human communities and societies; they constitute the structural framework on which we relate to each other and determine the way we do it, the way information is diseminated or even the way people get things done. But network prominence goes beyond the importance it acquires in social networks. Networks are found within numerous known structures, from protein interactions inside a cell to router connections on the internet. Social networks are present on the internet since its beginnings, in emails for example. Inside every email client, there are contact lists that added together constitute a social network. However, it has been with the emergence of social network sites (SNS) when these kinds of web applications have reached general awareness. SNS are now among the most popular sites in the web and with the higher traffic. Sites such as Facebook and Twitter hold astonishing figures of active users, traffic and time invested into the sites. Nevertheless, SNS functionalities are not restricted to contact-oriented social networks, those that are focused on building your own list of contacts and interacting with them. There are other examples of sites that leverage social networking to foster user activity and engagement around other types of content. Examples go from early SNS such as Flickr, the photography related networking site, to Github, the most popular social network repository nowadays. It is not an accident that the popularity of these websites comes hand-in-hand with their social network capabilities The scenario is even richer, due to the fact that SNS interact with each other, sharing and exporting contact lists and authentication as well as providing a valuable channel to publize user activity in other sites. These interactions are very recent and they are still finding their way to the point where SNS overcome their condition of data silos to a stage of full interoperability between sites, in the same way email and instant messaging networks work today. This work introduces a technology that allows to rapidly build any kind of distributed social network website. It first introduces a new technique to create middleware that can provide any kind of content management feature to a popular model-view-controller (MVC) web development framework, Ruby on Rails. It provides developers with tools that allow them to abstract from the complexities related with content management and focus on the development of specific content. This same technique is also used to provide the framework with social network features. Additionally, it describes a new metric of code reuse to assert the validity of the kind of middleware that is emerging in MVC frameworks. Secondly, the characteristics of top popular SNS are analysed in order to find the common patterns shown in them. This analysis is the ground for defining the requirements of a framework for building social network websites. Next, a reference architecture for supporting the features found in the analysis is proposed. This architecture has been implemented in a software component, called Social Stream, and tested in several social networks, both contact- and content-oriented, in local neighbourhood associations and EU-founded research projects. It has also been the ground for several Master’s theses. It has been released as a free and open source software that has obtained a growing community and that is now being used beyond the scope of this work. The social architecture has enabled the definition of a new social-based access control model that overcomes some of the limitations currenly present in access control models for social networks. Furthermore, paradigms and case studies in distributed SNS have been analysed, gathering a set of features for distributed social networking. Finally the architecture of the framework has been extended to support distributed SNS capabilities. Its implementation has also been validated in EU-founded research projects.

Towards model-driven engineering for mixed-criticality systems: multiPARTES approach

Mixed criticality systems emerges as a suitable solution for dealing with the complexity, performance and costs of future embedded and dependable systems. However, this paradigm adds additional complexity to their development. This paper proposes an approach for dealing with this scenario that relies on hardware virtualization and Model-Driven Engineering (MDE). Hardware virtualization ensures isolation between subsystems with different criticality levels. MDE is intended to bridge the gap between design issues and partitioning concerns. MDE tooling will enhance the functional models by annotating partitioning and extra-functional properties. System partitioning and subsystems allocation will be generated with a high degree of automation. System configuration will be validated for ensuring that the resources assigned to a partition are sufficient for executing the allocated software components and that time requirements are met.