An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions

Ammonia emissions from livestock production in Chile: an inventory and uncertainty analysis

Indexación: Web of Science; Scielo.The objective of this work was to quantify the country's NH3 emissions from livestock production. This calculation was based on the mass flow of total ammoniacal nitrogen (TAN). The analysis was performed for all 15 geographical regions in Chile. The definition of livestock subcategories was based on data from the Chilean Agriculture and Forestry Census as well as technical reports published by the Chilean National Statistics Institute. Significant differences were observed among the sources of livestock emissions in Chile's regions, and there was high variability depending on the degree of livestock confinement. In 2013, the total calculated emissions were 69.1 kt NH3/year (± 31.1). The O’Higgins Region had the highest NH3 emissions in Chile, representing 45% of the total. In terms of livestock production, 45% of the emissions were generated by pigs, 22% by poultry, 16% by cattle, 11% by equines and 4% by sheep. Emissions from the TAN that was available during manure and slurry management and the degree of animal confinement were the primary sources of uncertainty. This uncertainty could be greatly reduced by developing regional emission factors and by including the degree of animal confinement in Chile's national statistics such as the Agriculture, Livestock and Forestry Census.http://www.scielo.cl/scielo.php?pid=S0718-95162016005000005&script=sci_abstrac

Infrared Surface Brightness Analysis of Galaxies in Compact Groups

Images of 7 Compact groups of galaxies (CG) were obtained using the 2.1m telescope in San Pedro Martir (B.C. Mexico) equipped with the NIR camera CAMILA. The NIR images trace the mass of the galaxies, through the oldest and more evolved stellar populations. The goal of this project is to search for evidence of morphological perturbations correlated with the level of activity (AGN or star formation) of the galaxies. We find that the level of perturbation is well correlated with activity observed in optical spectrocopy (Coziol et al. 2004). Evidence for perturbations decreases from more active groups to less active groups, confirming the classification. Our analysis suggests that galaxies in more active groups are undergoing important transformations due to interaction and merging and that the whole groups is on a merger path. Galaxies in less active CG have gone through similar processes in the recent past and are either in a final merging phase or in equilibrium due to a more massive halo of dark matter.Comment: 2 pages, 1 figure, Proc. ESO Workshop "Groups of galaxies in the nearby Universe", Santiago, Chile, 5-9 Dec. 2005, ESO Astrophysics Symposia, eds. I. Saviane, V. Ivanov & J. Borissova, Springer-Verla

The Relation between Galaxy Activity and the Dynamics of Compact Groups of Galaxies

Peer reviewe

An Algorithm for Probabilistic Alternating Simulation

In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based algorithm for computing the largest PA-simulation, which is to our knowledge the first such algorithm that works in polynomial time, by extending the generalised coarsest partition problem (GCPP) in a game-based setting with mixed strategies. The algorithm has higher complexities than those in the literature for non-probabilistic simulation and probabilistic simulation without mixed actions, but slightly improves the existing result for computing probabilistic simulation with respect to mixed actions.Comment: We've fixed a problem in the SOFSEM'12 conference versio

Orthogonality Relations and Supercharacter Formulas of U(m|n) Representations

In this paper we obtain the orthogonality relations for the supergroup U(m|n), which are remarkably different from the ones for the U(N) case. We extend our results for ordinary representations, obtained some time ago, to the case of complex conjugated and mixed representations. Our results are expressed in terms of the Young tableaux notation for irreducible representations. We use the supersymmetric Harish-Chandra-Itzykson-Zuber integral and the character expansion technique as mathematical tools for deriving these relations. As a byproduct we also obtain closed expressions for the supercharacters and dimensions of some particular irreducible U(m|n) representations. A new way of labeling the U(m|n) irreducible representations in terms of m + n numbers is proposed. Finally, as a corollary of our results, new identities among the dimensions of the irreducible representations of the unitary group U(N) are presented.Comment: 56 pages, LaTeX, changes only in the writing of the titl

Quantum Computing Assisted Medium Access Control for Multiple Client Station Networks

A medium access control protocol based on quantum entanglement has been introduced by Berces and Imre (2006) and Van Meter (2012). This protocol entirely avoids collisions. It is assumed that the network consists of one access point and two client stations. We extend this scheme to a network with an arbitrary number of client stations. We propose three approaches, namely, the qubit distribution, transmit first election and temporal ordering protocols. The qubit distribution protocol leverages the concepts of Bell-EPR pair or W state triad. It works for networks of up to four CSs. With up to three CSs, there is no probability of collision. In a four-CS network, there is a low probability of collision. The transmit first election protocol and temporal ordering protocols work for a network with any number of CSs. The transmit first election builds upon the concept of W state of size corresponding to the number of client stations. It is fair and collision free. The temporal ordering protocol employs the concepts of Lehmer code and quantum oracle. It is collision free, has a normalized throughput of 100% and achieves quasi-fairness.Comment: 18 pages, 12 figures, 3 tables; manuscript under revie

La televisión como generadora de pautas de conducta en jóvenes salvadoreños

Este informe es producto de una investigación correlacional descriptiva realizada entre 1.207 jóvenes salvadoreños, con el objetivo de determinar si existe relación entre sus hábitos de consumo televisivo y sus pautas de conducta. Los resultados apuntan a la televisión como medio dominante —en la que se busca sobre todo entretenimiento—, con la Internet afianzándose en un sólido segundo lugar. Sin embargo, esa preferencia por el medio, aun y cuando los datos obtenidos permiten percibir una asociación entre su consumo y la manera en la que los jóvenes hablan, se comportan, lucen o piensan, no llegan a establecerse correlaciones estadísticas, con lo que habría que virar la vista hacia los hechos de que los receptores tienen un papel activo; que la influencia de la televisión no es una variable unidimensional, y que las interacciones sociales y el contexto deben ser considerados con profundidad. Para ello, es necesario recurrir a otros enfoques en la investigación, al estudio cualitativo. No obstante, la adopción de estrategias de educación para los medios, y especialmente para el consumo de la televisión, es una necesidad que se impone.La presente investigación fue subvencionada por la Universidad Tecnológica de El Salvador. Las solicitudes de información, separatas y otros documentos relativos al presente estudio pueden hacerse a la dirección postal: calle Arce, 1020, Universidad Tecnológica de El Salvador, Vicerrectoría de Investigación, Dirección de Investigaciones, calle Arce y 17ª. Avenida Norte, edificio José Martí, 2ª. Planta, o al correo electrónico [email protected] Tecnológica de El Salvado