7,272 research outputs found
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
The Relation between Galaxy Activity and the Dynamics of Compact Groups of Galaxies
Peer reviewe
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
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 Large- Limit of the Two-Hermitian-matrix model by the hidden BRST method
This paper discusses the large N limit of the two-Hermitian-matrix model in
zero dimensions, using the hidden BRST method. A system of integral equations
previously found is solved, showing that it contained the exact solution of the
model in leading order of large .Comment: 19 pages, Latex,CERN--TH-6531/9
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
Mortality and top-kill in Douglas-fir following defoliation by the western spruce budworm in British Columbia
Surveys of mortality and top-kill caused by the western spruce budworm, <i>Choristoneura occidentalis</i> Freeman, in 65 stands of Douglas-fir, <i>Pseudotsuga menziesii</i> (Mirb.) Franco are reported. Top-kill was detected in 85% of the stands and 25% of the trees surveyed. Mortality amounted to 8% and less than 1% of the trees examined in the Vancouver and Kamloops Forest Regions, respectively. Both frequency of top-kill and mortality were related to the number of years defoliation in the stand and were higher on suppressed trees than on dominant or co-dominant trees. Younger stands sustained a higher incidence of topkill than older stands. Tree mortality was higher on steep slopes than on flat terrain. These results suggested that top-kill or mortality were the results of physiological stress on the trees, in addition to the debilitating effects of defoliation
- âŠ