For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated “restricted variables” called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modal...

The objective of this paper is to propose a reference model for global software development, based on the results found in a case study conducted in two software development units from multinational organizations located in Brazil. Since the number of organizations distributing their software development processes worldwide keeps increasing, this change is having a profound impact on the way pr...

There is increasing interest among both medical and other professional communities in becoming involved in global health, development, and other charitable work. There has also been a proliferation of opportunities in the field. Nonetheless, it is still difficult to find practical information on the daily realities of development work or advice on the difficulties inherent to this type of work....

the goal of this study was to estimate the sensitivity of reference evapotranspiration (et0) to changes in meteorological parameters in the caspian region. long-term meteorological data (1961-2008) were obtained from three synoptic meteorological stations. the region was primarily classified into three climatic zones, based on de martonne climate classification. the penman–monteith equation was...

Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot’s ability to generate and evaluate position hypotheses independently from initial estimates, by these means providing the capacity to correct position errors of arbitrary scale. In the self-localization frame described in ...

There are numerous reference equations available for the single-breath transfer factor of the lung for carbon monoxide (T LCO); however, it is not always clear which reference set should be used in clinical practice. The aim of the study was to develop the Global Lung Function Initiative (GLI) all-age reference values for T LCOData from 19 centres in 14 countries were collected to define T LCO ...

This paper critically reviews of the use of thematic analysis (TA) in qualitative research by describingits procedures and processes andby comparing grounded theory (GTA) with hermeneutic analysis.The literature that relates to thematic analysis (TA) shows that there is a lackof descriptions issues exist due respect to the concepts, process, validations and clarifications that been used by rese...

Global Moran’s I and local Moran’s Ii are the most commonly used test statistics for spatial autocorrelation in univariate map patterns or in regression residuals. They belong to the general class of ratios of quadratic forms for whom a whole array of approximation techniques has been proposed in the statistical literature, such as the prominent saddlepoint approximation by Offer Lieberman (199...