Handling Data-Based Concurrency in Context-Aware Service Protocols

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499

Quality of the Azores destination in the perspective of tourists

Tourism is a growing industry in the Autonomous Region of the Azores. However, little is known about how tourists evaluate this destination, something which certainly constitutes a shortcoming if one takes into consideration that this is a very competitive industry, with new destinations appearing every year and others increasing their market share. This paper focuses on the quality of the Azores destination in the perspective of tourists and, to an extent, has the goal of contributing to reduce this shortcoming. According to our findings, 74% of the tourists interviewed consider the global quality of the Azores destination to be very good or excellent, with the landscape, the climate/weather, the hospitality, the cleanliness and the security being the most highly-rated partial indicators. Additionally, a regression analysis indicates that the evaluation of the global quality of this destination varies according to the individual characteristics of tourists.N/

Japanese Pronoun Acquisition by L1 English Adults: Further Evidence from a Coreference Judgment Task

This paper presents the results of a study investigating L2 learners’ interpretations of Japanese overt and empty pronouns in a coreference judgment task. The results show counterevidence to Kanno’s (1997, 1998) claim that learners at an early stage of language study obey the Overt Pronoun Constraint (Montalbetti, 1984), Furthermore, it supports evidence by Masumoto (2008), Pimentel and Nakayama (2012a) showing that learners at the early levels of Japanese learning do not show a knowledge of the constraint, but that this knowledge is acquired by the time they reach an advanced level of study

Illuminating Personal Factors Contributing to the Trajectory of Student Dropouts and Stopouts

This report is the first of a series of two reports focused on examining the stopout and dropout phenomena at Sacramento State. For the purpose of this study, the data analysis and interpretation centers on highlight-ing personal issues influencing student departure. Personal issues are defined as the concern with students’ mental health, economic, social, and health predicaments. The purpose of this study was to derive at a comprehensive understanding of what mediates students to stopout and dropout at Sacramento State. A guiding objective of this study was to develop a data driven framework for examining practices that serve to facilitate effectiveness in moving students toward de-gree completion. An important companion to the data analysis and interpretation are the sections on recom-mendations for action. It is our hope Sacramento State uses the captured sentiment, voices, and suggestions of student participants to improve degree comple-tion. This has policy implications for early prevention, particularly for our most vulnerable students

Turismo e Desenvolvimento Sustentável: uma proposta para o Centro Turístico de Guadalupe – Pernambuco

Dissertação defendida em: Dezembro de 2001. Instituição: Universidade Federal de Pernambuco Curso: Mestrado em Gestão e Políticas Ambientais

Highly efficient sequestration of aqueous lead on nanostructured calcite substrates

Following defocused ion beam sputtering, large area highly corrugated and faceted nanoripples are formed on calcite (10.4) faces in a self-organized fashion. High resolution atomic force microscopy (AFM) imaging reveals that calcite ripples are defined by facets with highly kinked (11.0) and (21.12) terminations. In situ AFM imaging during the exposure of such modified calcite surfaces to PbCl2 aqueous solution reveals that the nanostructured calcite surface promotes the uptake of Pb. In addition, we observed the progressive smoothing of the highly reactive calcite facet terminations and the formation of Pb-bearing precipitates elongated in registry with the underlying nanopattern. By SEM–EDS analysis we quantified a remarkable 500% increase of the Pb uptake rate, up to 0.5 atomic weight % per hour, on the nanorippled calcite in comparison to its freshly cleaved (10.4) surfaces. These results suggest that nanostructurated calcite surfaces can be used for developing future systems for lead sequestration from polluted waters.Universidad Técnica de AmbatoJuan de la Cierva-Formación postdoctoral contract (ref. FJC2018–035820- I)Spanish Ministry of ScienceMinistero dell’Università e della Ricerca (MUR)National Recovery and Resilience Plan (NRRP)Mission 4 Component 2 Investment 1.3 - Call for tender No. 1561 of 11.10.2022The European Union – NextGenerationEU • Award Number: Project code PE0000021Concession Decree No. 1561 of 11.10.2022 adopted by Ministero dell’Università e della Ricerca (MUR)CUP D33C22001300002 Project title “Network 4 Energy Sustainable Transition – NEST”. FBdM acknowledges support by UNIGE in the framework of BIPE2020 program and technical suppor

The Cosmological Bootstrap: Spinning Correlators from Symmetries and Factorization

We extend the cosmological bootstrap to correlators involving massless particles with spin. In de Sitter space, these correlators are constrained both by symmetries and by locality. In particular, the de Sitter isometries become conformal symmetries on the future boundary of the spacetime, which are reflected in a set of Ward identities that the boundary correlators must satisfy. We solve these Ward identities by acting with weight-shifting operators on scalar seed solutions. Using this weight-shifting approach, we derive three- and four-point correlators of massless spin-1 and spin-2 fields with conformally coupled scalars. Four-point functions arising from tree-level exchange are singular in particular kinematic configurations, and the coefficients of these singularities satisfy certain factorization properties. We show that in many cases these factorization limits fix the structure of the correlators uniquely, without having to solve the conformal Ward identities. The additional constraint of locality for massless spinning particles manifests itself as current conservation on the boundary. We find that the four-point functions only satisfy current conservation if the s, t, and u-channels are related to each other, leading to nontrivial constraints on the couplings between the conserved currents and other operators in the theory. For spin-1 currents this implies charge conservation, while for spin-2 currents we recover the equivalence principle from a purely boundary perspective. For multiple spin-1 fields, we recover the structure of Yang-Mills theory. Finally, we apply our methods to slow-roll inflation and derive a few phenomenologically relevant scalar-tensor three-point functions.Comment: 128 pages, 15 figures; V3: minor corrections and references adde