Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.

The swelling behaviour of polyelectrolyte networks

Being basic ingredients of numerous daily-life products with significant industrial importance as well as basic building blocks for biomaterials, charged hydrogels continue to pose a series of unanswered challenges for scientists even after decades of practical applications and intensive research efforts. Despite a rather simple internal structure it is mainly the unique combination of short- and long-range forces which render scientific investigations of their characteristic properties to be quite difficult. Hence early on computer simulations were used to link analytical theory and empirical experiments, bridging the gap between the simplifying assumptions of the models and the complexity of real world measurements. Due to the immense numerical effort, even for high performance supercomputers, system sizes and time scales were rather restricted until recently, whereas it only now has become possible to also simulate a network of charged macromolecules. This is the topic of the presented thesis which investigates one of the fundamental and at the same time highly fascinating phenomenon of polymer research: The swelling behaviour of polyelectrolyte networks. For this an extensible simulation package for the research on soft matter systems, ESPResSo for short, was created which puts a particular emphasis on mesoscopic bead-spring-models of complex systems. Highly efficient algorithms and a consistent parallelization reduced the necessary computation time for solving equations of motion even in case of long-ranged electrostatics and large number of particles, allowing to tackle even expensive calculations and applications. Nevertheless, the program has a modular and simple structure, enabling a continuous process of adding new potentials, interactions, degrees of freedom, ensembles, and integrators, while staying easily accessible for newcomers due to a Tcl-script steering level controlling the C-implemented simulation core. Numerous analysis routines provide means to investigate system properties and observables on-the-fly. Even though analytical theories agreed on the modeling of networks in the past years, our numerical MD-simulations show that even in case of simple model systems fundamental theoretical assumptions no longer apply except for a small parameter regime, prohibiting correct predictions of observables. Applying a "microscopic" analysis of the isolated contributions of individual system components, one of the particular strengths of computer simulations, it was then possible to describe the behaviour of charged polymer networks at swelling equilibrium in good solvent and close to the Theta-point by introducing appropriate model modifications. This became possible by enhancing known simple scaling arguments with components deemed crucial in our detailed study, through which a generalized model could be constructed. Herewith an agreement of the final system volume of swollen polyelectrolyte gels with results of computer simulations could be shown successfully over the entire investigated range of parameters, for different network sizes, charge fractions, and interaction strengths. In addition, the "cell under tension" was presented as a self-regulating approach for predicting the amount of swelling based on the used system parameters only. Without the need for measured observables as input, minimizing the free energy alone already allows to determine the the equilibrium behaviour. In poor solvent the shape of the network chains changes considerably, as now their hydrophobicity counteracts the repulsion of like-wise charged monomers and pursues collapsing the polyelectrolytes. Depending on the chosen parameters a fragile balance emerges, giving rise to fascinating geometrical structures such as the so-called pear-necklaces. This behaviour, known from single chain polyelectrolytes under similar environmental conditions and also theoretically predicted, could be detected for the first time for networks as well. An analysis of the total structure factors confirmed first evidences for the existence of such structures found in experimental results.

Quantum Energy Teleportation Between Spin Particles in a Gibbs State

Energy in a multipartite quantum system appears from an operational perspective to be distributed to some extent non-locally because of correlations extant among the system's components. This non-locality allows users to transfer, in effect, locally accessible energy between sites of different system components by local operations and classical communication (LOCC). Quantum energy teleportation is a three-step LOCC protocol, accomplished without an external energy carrier, for effectively transferring energy between two physically separated, but correlated, sites. We apply this LOCC teleportation protocol to a model Heisenberg spin particle pair initially in a quantum thermal Gibbs state, making temperature an explicit parameter. We find in this setting that energy teleportation is possible at any temperature, even at temperatures above the threshold where the particles' entanglement vanishes. This shows for Gibbs spin states that entanglement is not fundamentally necessary for energy teleportation; correlation other than entanglement can suffice. Dissonance-quantum correlation in separable states-is in this regard shown to be a quantum resource for energy teleportation, more dissonance being consistently associated with greater energy yield. We compare energy teleportation from particle A to B in Gibbs states with direct local energy extraction by a general quantum operation on B and find a temperature threshold below which energy extraction by a local operation is impossible. This threshold delineates essentially two regimes: a high temperature regime where entanglement vanishes and the teleportation generated by other quantum correlations yields only vanishingly little energy relative to local extraction and a second low-temperature teleportation regime where energy is available at B only by teleportation.

Pathogenesis of bacterial meningitis: contributions by experimental models in rabbits

Rabbits models of bacterial meningitis have contributed substantially to our understanding of the disease, although the technical characteristics of these models only allow the study of specific aspects of the disease. Bacterial multiplication in the subarachnoidal space is not substantially influenced by host defense mechanisms, mainly because of the lack of sufficient amounts of specific antibodies and functional complement in infected CSF. The multiplying bacteria induce profound changes in the blood-brain barrier, an influx of serum proteins into the CSF and the invasion of polymorphonuclear leukocytes at the site of the infection. The presence of polymorphonuclear leukocytes in CSF not only appears to be of limited value in combating the infection, but also seems to produce deleterious effects on the central nervous system. Components of the leukocytes, such as unsaturated fatty acids, arachidonic metabolites and free oxygen radicals, may contribute to the profound hydrodynamic, structural and metabolic changes that are currently under study in experimental models of the disease. A better understanding of the pathophysiology of bacterial meningitis may allow us to design more effective therapeutic strategies and improve the outcome of this disease.

Early clinical trial experience with vaccine therapies in non-small-cell lung cancer

Cancer immunotherapy has made great progress because of advances in immunology and molecular biology. Increased understanding of mechanisms by which lung cancer cells escape the immune system and recognition of key tumor antigens and immune system components involved in tumor ignorance have led to the development of a variety of lung cancer vaccines. Immunotherapy has advanced from using nonspecific immunomodulatory agents to lung cancer-specific tumor antigens and tumor cell-derived vaccines. While understanding of immune processes and malignancy has improved, there is great opportunity for further research of vaccine therapies in non-small-cell lung cancer. Herein, we review the development and evolution of early lung cancer vaccine trials.

Parameter estimation for transformer modeling

Large Power transformers, an aging and vulnerable part of our energy infrastructure, are at choke points in the grid and are key to reliability and security. Damage or destruction due to vandalism, misoperation, or other unexpected events is of great concern, given replacement costs upward of $2M and lead time of 12 months. Transient overvoltages can cause great damage and there is much interest in improving computer simulation models to correctly predict and avoid the consequences. EMTP (the Electromagnetic Transients Program) has been developed for computer simulation of power system transients. Component models for most equipment have been developed and benchmarked. Power transformers would appear to be simple. However, due to their nonlinear and frequency-dependent behaviors, they can be one of the most complex system components to model. It is imperative that the applied models be appropriate for the range of frequencies and excitation levels that the system experiences. Thus, transformer modeling is not a mature field and newer improved models must be made available. In this work, improved topologically-correct duality-based models are developed for three-phase autotransformers having five-legged, three-legged, and shell-form cores. The main problem in the implementation of detailed models is the lack of complete and reliable data, as no international standard suggests how to measure and calculate parameters. Therefore, parameter estimation methods are developed here to determine the parameters of a given model in cases where available information is incomplete. The transformer nameplate data is required and relative physical dimensions of the core are estimated. The models include a separate representation of each segment of the core, including hysteresis of the core, λ-i saturation characteristic, capacitive effects, and frequency dependency of winding resistance and core loss. Steady-state excitation, and de-energization and re-energization transients are simulated and compared with an earlier-developed BCTRAN-based model. Black start energization cases are also simulated as a means of model evaluation and compared with actual event records. The simulated results using the model developed here are reasonable and more correct than those of the BCTRAN-based model. Simulation accuracy is dependent on the accuracy of the equipment model and its parameters. This work is significant in that it advances existing parameter estimation methods in cases where the available data and measurements are incomplete. The accuracy of EMTP simulation for power systems including three-phase autotransformers is thus enhanced. Theoretical results obtained from this work provide a sound foundation for development of transformer parameter estimation methods using engineering optimization. In addition, it should be possible to refine which information and measurement data are necessary for complete duality-based transformer models. To further refine and develop the models and transformer parameter estimation methods developed here, iterative full-scale laboratory tests using high-voltage and high-power three-phase transformer would be helpful.

The effect of demand, tank parameters, and pumping stations on energy use in municipal drinking water distribution systems

Two of the indicators of the UN Millennium Development Goals ensuring environmental sustainability are energy use and per capita carbon dioxide emissions. The increasing urbanization and increasing world population may require increased energy use in order to transport enough safe drinking water to communities. In addition, the increase in water use would result in increased energy consumption, thereby resulting in increased green-house gas emissions that promote global climate change. The study of multiple Municipal Drinking Water Distribution Systems (MDWDSs) that relates various MDWDS aspects--system components and properties--to energy use is strongly desirable. The understanding of the relationship between system aspects and energy use aids in energy-efficient design. In this study, components of a MDWDS, and/or the characteristics associated with the component are termed as MDWDS aspects (hereafter--system aspects). There are many aspects of MDWDSs that affect the energy usage. Three system aspects (1) system-wide water demand, (2) storage tank parameters, and (3) pumping stations were analyzed in this study. The study involved seven MDWDSs to understand the relationship between the above-mentioned system aspects in relation with energy use. A MDWDSs model, EPANET 2.0, was utilized to analyze the seven systems. Six of the systems were real and one was a hypothetical system. The study presented here is unique in its statistical approach using seven municipal water distribution systems. The first system aspect studied was system-wide water demand. The analysis involved analyzing seven systems for the variation of water demand and its impact on energy use. To quantify the effects of water use reduction on energy use in a municipal water distribution system, the seven systems were modeled and the energy usage quantified for various amounts of water conservation. It was found that the effect of water conservation on energy use was linear for all seven systems and that all the average values of all the systems' energy use plotted on the same line with a high R 2 value. From this relationship, it can be ascertained that a 20% reduction in water demand results in approximately a 13% savings in energy use for all seven systems analyzed. This figure might hold true for many similar systems that are dominated by pumping and not gravity driven. The second system aspect analyzed was storage tank(s) parameters. Various tank parameters: (1) tank maximum water levels, (2) tank elevation, and (3) tank diameter were considered in this part of the study. MDWDSs use a significant amount of electrical energy for the pumping of water from low elevations (usually a source) to higher ones (usually storage tanks). The use of electrical energy has an effect on pollution emissions and, therefore, potential global climate change as well. Various values of these tank parameters were modeled on seven MDWDSs of various sizes using a network solver and the energy usage recorded. It was found that when averaged over all seven analyzed systems (1) the reduction of maximum tank water level by 50% results in a 2% energy reduction, (2) energy use for a change in tank elevation is system specific, and (2) a reduction of tank diameter of 50% results in approximately a 7% energy savings. The third system aspect analyzed in this study was pumping station parameters. A pumping station consists of one or more pumps. The seven systems were analyzed to understand the effect of the variation of pump horsepower and the number of booster stations on energy use. It was found that adding booster stations could save energy depending upon the system characteristics. For systems with flat topography, a single main pumping station was found to use less energy. In systems with a higher-elevation neighborhood, however, one or more booster pumps with a reduced main pumping station capacity used less energy. The energy savings for the seven systems was dependent on the number of boosters and ranged from 5% to 66% for the analyzed five systems with higher elevation neighborhoods (S3, S4, S5, S6, and S7). No energy savings was realized for the remaining two flat topography systems, S1, and S2. The present study analyzed and established the relationship between various system aspects and energy use in seven MDWDSs. This aids in estimating the amount of energy savings in MDWDSs. This energy savings would ultimately help reduce Greenhouse gases (GHGs) emissions including per capita CO 2 emissions thereby potentially lowering the global climate change effect. This will in turn contribute to meeting the MDG of ensuring environmental sustainability.

Real-World Energy Measurements of a Wireless Mesh Network

Over the past several years the topics of energy consumption and energy harvesting have gained significant importance as a means for improved operation of wireless sensor and mesh networks. Energy-awareness of operation is especially relevant for application scenarios from the domain of environmental monitoring in hard to access areas. In this work we reflect upon our experiences with a real-world deployment of a wireless mesh network. In particular, a comprehensive study on energy measurements collected over several weeks during the summer and the winter period in a network deployment in the Swiss Alps is presented. Energy performance is monitored and analysed for three system components, namely, mesh node, battery and solar panel module. Our findings cover a number of aspects of energy consumption, including the amount of load consumed by a mesh node, the amount of load harvested by a solar panel module, and the dependencies between these two. With our work we aim to shed some light on energy-aware network operation and to help both users and developers in the planning and deployment of a new wireless (mesh) network for environmental research.

Studies of subcellular localization and complex formation of the Agrobacterium tumefaciens transport ATPase VirB11

The VirB11 ATPase is an essential component of an Agrobacterium tumefaciens type IV bacterial secretion system that transfers oncogenic nucleoprotein complexes to susceptible plant cells. This dissertation investigates the subcellular localization and homo-oligomeric state of the VirB11 ATPase in order to provide insights about the assembly of the protein as a subunit of this membrane-associated transfer system. Subcellular fractionation studies and quantitative immunoblot analysis demonstrated that $\sim$30% of VirB11 partitioned as soluble protein and $\sim$70% was tightly associated with the bacterial cytoplasmic membrane. No differences were detected in VirB11 subcellular localization and membrane association in the presence or absence of other transport system components. Mutations in virB11 affecting protein function were mapped near the amino terminus, just upstream of a region encoding a Walker 'A' nucleotide-binding site, and within the Walker 'A' motif partitioned almost exclusively with the cytoplasmic membrane, suggesting that an activity associated with nucleotide binding could modulate the affinity of VirB11 for the cytoplasmic membrane. Merodiploid analysis of VirB11 mutant and truncation derivatives provided strong evidence that VirB11 functions as a homo- or heteromultimer and that the C-terminal half of VirB11 contains a protein interaction domain. A combination of biochemical and molecular genetic approaches suggested that VirB11 and the green fluorescence protein (GFP) formed a mixed multimer as demonstrated by immunoprecipitation experiments with anti-GFP antibodies. Second, a hybrid protein composed of VirB11 fused to the N-terminal DNA-binding domain of bacteriophage $\lambda$ cI repressor conferred immunity to $\lambda$ superinfection, demonstrating that VirB11 self-association promotes dimerization of the chimeric repressor. A conserved Walker 'A' motif, though required for VirB11 function in T-complex export, was not necessary for VirB11 self-association. Sequences in both the N- and the C-terminal halves of the protein were found to contribute to self-association of the full length protein. Chemical cross-linking experiments with His$\sb6$ tagged VirB11 suggested that VirB11 probably assembles into a higher order homo-oligomeric complex. ^

Inference in Ecology: The Sea Urchin Phenomenon in the Northwestern Atlantic

We have reviewed the considerable body of research into the sea urchin phenomenon responsible for the alternation between macroalgal beds and coralline barrens in the northwestern Atlantic. In doing so, we have identified problems with both the scientific approach and the interpretation of results. Over a period of approximately 20 years, explanations for the phenomenon invoked four separate scenarios, which changed mainly as a consequence of extraneous events rather than experimental testing. Our specific concerns are that results contrary to the keystone-predator paradigm for the American lobster were circumvented, system components of the various scenarios became accepted without testing, and modifications of some components appeared arbitrary. Our review illustrates dilemmas that, we suggest, have hindered ecological progress in general. We argue for a more rigorous experimental approach, based on sound natural-history observations and strong inference. Moreover, we believe that the scientific community needs to be cautious about allowing paradigms to become established without adequate scrutiny.

Impactos en el agua subterránea de un sistema de efluentes para riego : el Sistema Paramillos (Lavalle, Mendoza, Argentina)

En este trabajo se evalúa el impacto de un sistema de aprovechamiento de efluentes domésticos para riego en la calidad del agua subterránea. Los puntos de muestreo seleccionados son parte de un monitoreo a mayor escala del cual sólo se incluyeron aquellos relacionados con el sistema de la planta depuradora Paramillos, ubicada al Norte del aglomerado Mendoza. Esta planta consiste en una laguna de estabilización facultativa. Los resultados, presentados en gráficos, mapas y tablas, se discuten a partir del comportamiento de tres componentes del sistema hídrico: agua superficial (efluente), agua subterránea del nivel superior del acuífero (freática) y agua subterránea del acuífero profundo (confinado/ semiconfinado) y su interacción con el perfil del suelo. Se concluye que el acuífero profundo no es alcanzado por nitratos ni nitritos productos de la degradación biológica de la materia orgánica del efluente, lo que se atribuye a la capa impermeable subyacente. En el nivel superior o freático, el perfil del suelo remueve parte del N total y P total ingresado, entre el 39 y 90%. La remoción de DBO varía entre 30 y 90% y la remoción de E. coli remanente en efluente es total.

La cultura de la calidad : Aplicación e impacto de un sistema de gestión basado en las normas ISO 9001:2008 en la Biblioteca Mayor de la Universidad Nacional de Córdoba

El propósito es compartir una experiencia de gestión de la Biblioteca Mayor de la Universidad Nacional de Córdoba, a través de la implementación de las normas ISO 9001: 2008, adoptando una nueva filosofía comprometida con los principios de la calidad y en la optimización del aprendizaje organizacional, orientado a dar respuestas a las necesidades de los usuarios por medio de servicios basados en innovaciones tecnológicas y bibliotecológicas. Este trabajo se basa en un estudio de caso describiendo los componentes del sistema, enriquecido con aportes de entrevistas personalizadas pertenecientes a distintos sectores involucrados con el proceso de certificación de la Biblioteca. Se analizan los obstáculos encontrados y los logros obtenidos basados en la mejora continua de los servicios. La obtención de una certificación no constituye un fin, sino es el comienzo de un proceso constructivo enmarcado en una cultura de la calidad, con una dinámica nueva de gestión que permite evaluar lo que se hace y como se hace.

La cultura de la calidad : Aplicación e impacto de un sistema de gestión basado en las normas ISO 9001:2008 en la Biblioteca Mayor de la Universidad Nacional de Córdoba

El propósito es compartir una experiencia de gestión de la Biblioteca Mayor de la Universidad Nacional de Córdoba, a través de la implementación de las normas ISO 9001: 2008, adoptando una nueva filosofía comprometida con los principios de la calidad y en la optimización del aprendizaje organizacional, orientado a dar respuestas a las necesidades de los usuarios por medio de servicios basados en innovaciones tecnológicas y bibliotecológicas. Este trabajo se basa en un estudio de caso describiendo los componentes del sistema, enriquecido con aportes de entrevistas personalizadas pertenecientes a distintos sectores involucrados con el proceso de certificación de la Biblioteca. Se analizan los obstáculos encontrados y los logros obtenidos basados en la mejora continua de los servicios. La obtención de una certificación no constituye un fin, sino es el comienzo de un proceso constructivo enmarcado en una cultura de la calidad, con una dinámica nueva de gestión que permite evaluar lo que se hace y como se hace.

La cultura de la calidad : Aplicación e impacto de un sistema de gestión basado en las normas ISO 9001:2008 en la Biblioteca Mayor de la Universidad Nacional de Córdoba

El propósito es compartir una experiencia de gestión de la Biblioteca Mayor de la Universidad Nacional de Córdoba, a través de la implementación de las normas ISO 9001: 2008, adoptando una nueva filosofía comprometida con los principios de la calidad y en la optimización del aprendizaje organizacional, orientado a dar respuestas a las necesidades de los usuarios por medio de servicios basados en innovaciones tecnológicas y bibliotecológicas. Este trabajo se basa en un estudio de caso describiendo los componentes del sistema, enriquecido con aportes de entrevistas personalizadas pertenecientes a distintos sectores involucrados con el proceso de certificación de la Biblioteca. Se analizan los obstáculos encontrados y los logros obtenidos basados en la mejora continua de los servicios. La obtención de una certificación no constituye un fin, sino es el comienzo de un proceso constructivo enmarcado en una cultura de la calidad, con una dinámica nueva de gestión que permite evaluar lo que se hace y como se hace.

Operational costs and reliability in a large rural electrification programme based on solar home systems

Experiences in decentralized rural electrification programmes using solar home systems have suffered difficulties during the operation and maintenance phase, due in many cases, to the underestimation of the maintenance cost, because of the decentralized character of the activity, and also because the reliability of the solar home system components is frequently unknown. This paper reports on the reliability study and cost characterization achieved in a large photovoltaic rural electrification programme carried out in Morocco. The paper aims to determinate the reliability features of the solar systems, focusing in the in-field testing for batteries and photovoltaic modules. The degradation rates for batteries and PV modules have been extracted from the in-field experiments. On the other hand, the main costs related to the operation and maintenance activity have been identified with the aim of establishing the main factors that lead to the failure of the quality sustainability in many rural electrification programmes.