966 resultados para Program Theory
Resumo:
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
Resumo:
"Vegeu el resum a l'inici del document del fitxer adjunt."
Resumo:
We extend the theory of Quillen adjunctions by combining ideas of homotopical algebra and of enriched category theory. Our results describe how the formulas for homotopy colimits of Bousfield and Kan arise from general formulas describing the derived functor of the weighted colimit functor.
Resumo:
Un reto al ejecutar las aplicaciones en un cluster es lograr mejorar las prestaciones utilizando los recursos de manera eficiente, y este reto es mayor al utilizar un ambiente distribuido. Teniendo en cuenta este reto, se proponen un conjunto de reglas para realizar el cómputo en cada uno de los nodos, basado en el análisis de cómputo y comunicaciones de las aplicaciones, se analiza un esquema de mapping de celdas y un método para planificar el orden de ejecución, tomando en consideración la ejecución por prioridad, donde las celdas de fronteras tienen una mayor prioridad con respecto a las celdas internas. En la experimentación se muestra el solapamiento del computo interno con las comunicaciones de las celdas fronteras, obteniendo resultados donde el Speedup aumenta y los niveles de eficiencia se mantienen por encima de un 85%, finalmente se obtiene ganancias de los tiempos de ejecución, concluyendo que si se puede diseñar un esquemas de solapamiento que permita que la ejecución de las aplicaciones SPMD en un cluster se hagan de forma eficiente.
Resumo:
In Egypt the "national schistosomiasis control program" was formulated to control transmission by reduction of prevalence and intensity of current infections, and thereby achieve an acceptable level of schistosomiasis disease control. The program was implemented foremost in Middle Egypt (1977) and Upper Egypt (1980), collectively extending 800 km alongside of the River Nile and accommodate about 10.5 million people. Schistosoma haematobium has been essentially the prevailing species infection in both areas. The strategy of control entailed both area-wide mollusciciding with niclosamide, and selective population chemotherapy with metrifonate. Evaluation in 1986 showed that prevalence dropped from pre-control 29.4% in Middle Egypt and 26.3% in Upper Egypt to 6% and 7.8% respectively, together with a remarkable drop of infections among children. Also mean intensity attained low levels consistent of low grade infections. It is evident therefore that in these areas where an enhancement of schistosomiasis infections had been anticipated the employment of the twofold strategy effected a state of low-prevalence/low-intensity signifying a lowered reservoir of infection and a substantial interference with the potentials of transmission.
Resumo:
BACKGROUND: A reorganization of healthcare systems is required to meet the challenge of the increasing prevalence of chronic diseases, e.g. diabetes. In North-America and Europe, several countries have thus developed national or regional chronic disease management programs. In Switzerland, such initiatives have only emerged recently. In 2010, the canton of Vaud set up the "Diabetes Cantonal Program", within the framework of which we conducted a study designed to ascertain the opinions of both diabetic patients and healthcare professionals on the elements that could be integrated into this program, the barriers and facilitators to its development, and the incentives that could motivate these actors to participate. METHODS: We organized eight focus-groups: one with diabetic patients and one with healthcare professionals in the four sanitary areas of the canton of Vaud. The discussions were recorded, transcribed and submitted to a thematic content analysis. RESULTS: Patients and healthcare professionals were rather in favour of the implementation of a cantonal program, although patients were more cautious concerning its necessity. All participants envisioned a set of elements that could be integrated to this program. They also considered that the program could be developed more easily if it were adapted to patients' and professionals' needs and if it used existing structures and professionals. The difficulty to motivate both patients and professionals to participate was mentioned as a barrier to the development of this program however. Quality or financial incentives could therefore be created to overcome this potential problem. CONCLUSION: The identification of the elements to consider, barriers, facilitators and incentives to participate to a chronic disease management program, obtained by exploring the opinions of patients and healthcare professionals, should favour its further development and implementation.
Resumo:
This paper evaluates, from an Allyn Youngian perspective, the neoclassical Solow model of growth and the associated empirical estimates of the sources of growth based on it. It attempts to clarify Young’s particular concept of generalised or macroeconomic “increasing returns” to show the limitations of a model of growth based on an assumption that the aggregate production function is characterised by constant returns to scale but “augmented” by exogenous technical progress. Young’s concept of endogenous, self-sustaining growth is also shown to differ in important respects (including in its policy implications) from modern endogenous growth theory.
Resumo:
Hong Kong’s currency is pegged to the US dollar in a currency board arrangement. In autumn 2003, the Hong Kong dollar appreciated from close to 7.80 per US dollar to 7.70, as investors feared that the currency board would be abandoned. In the wake of this appreciation, the monetary authorities revamped the one-sided currency board mechanism into a symmetric two-sided system with a narrow exchange rate band. This paper reviews the characteristics of the new currency board arrangement and embeds a theoretical soft edge target zone model typifying many intermediate regimes, to explain the notable achievement of speculative peace and credibility since May 2005.
Resumo:
BACKGROUND: Nowadays, cognitive remediation is widely accepted as an effective treatment for patients with schizophrenia. In French-speaking countries, techniques used in cognitive remediation for patients with schizophrenia have been applied from those used for patients with cerebral injury. As cognitive impairment is a core feature of schizophrenia, the Département de psychiatrie du CHUV in Lausanne (DP-CHUV) intended to develop a cognitive remediation program for patients with a schizophrenia spectrum disease (Recos-Vianin, 2007). Numerous studies show that the specific cognitive deficits greatly differ from one patient to another. Consequently, Recos aims at providing individualized cognitive remediation therapy. In this feasibility trial, we measured the benefits of this individualized therapy for patients with schizophrenia. Before treatment, the patients were evaluated with a large battery of cognitive tests in order to determine which of the five specific training modules - Verbal memory, visuospatial memory and attention, working memory, selective attention, reasoning - could provide the best benefit depending on their deficit. OBJECTIVES: The study was designed to evaluate the benefits of the Recos program by comparing cognitive functioning before and after treatment. METHOD: Twenty-eight patients with schizophrenia spectrum disorders (schizophrenia [n=18], schizoaffective disorder [n=5], schizotypal disorder [n=4], schizophreniform disorder [n=1], DSM-IV-TR) participated in between one and three of the cognitive modules. The choice of the training module was based on the results of the cognitive tests obtained during the first evaluation. The patients participated in 20 training sessions per module (one session per week). At the end of the training period, the cognitive functioning of each patient was reevaluated by using the same neuropsychological battery. RESULTS: The results showed a greater improvement in the cognitive functions, which were specifically trained, compared to the cognitive functions, which were not trained. However, an improvement was also observed in both types of cognitive functions, suggesting an indirect cognitive gain. CONCLUSION: In our view, the great heterogeneity of the observed cognitive deficits in schizophrenia necessitates a detailed neuropsychological investigation as well as an individualized cognitive remediation therapy. These preliminary results need to be confirmed with a more extended sample of patients.
Resumo:
We study a psychologically based foundation for choice errors. The decision maker applies a preference ranking after forming a 'consideration set' prior to choosing an alternative. Membership of the consideration set is determined both by the alternative specific salience and by the rationality of the agent (his general propensity to consider all alternatives). The model turns out to include a logit formulation as a special case. In general, it has a rich set of implications both for exogenous parameters and for a situation in which alternatives can a¤ect their own salience (salience games). Such implications are relevant to assess the link between 'revealed' preferences and 'true' preferences: for example, less rational agents may paradoxically express their preference through choice more truthfully than more rational agents.
Resumo:
This paper provides a modelling framework for evaluating the exchange rate dynamics of a target zone regime with undisclosed bands. We generalize the literature to allow for asymmetric one-sided regimes. Market participants' beliefs concerning an undisclosed band change as they learn more about central bank intervention policy. We apply the model to Hong Kong's one-sided currency board mechanism. In autumn 2003, the Hong Kong dollar appreciated from close to 7.80 per US dollar to 7.70, as investors feared that the currency board would be abandoned. In the wake of this appreciation, the monetary authorities finally revamped the regime as a symmetric two-sided system with a narrow exchange rate band.
Resumo:
Recent theoretical developments and case study evidence suggests a relationship between the military in politics and corruption. This study contributes to this literature by analyzing theoretically and empirically the role of the military in politics and corruption for the first time. By drawing on a cross sectional and panel data set covering a large number of countries, over the period 1984-2007, and using a variety of econometric methods substantial empirical support is found for a positive relationship between the military in politics and corruption. In sum, our results reveal that a one standard deviation increase in the military in politics leads to a 0.22 unit increase in corruption index. This relationship is shown to be robust to a variety of specification changes, different econometric techniques, different sample sizes, alternative corruption indices and the exclusion of outliers. This study suggests that the explanatory power of the military in politics is at least as important as the conventionally accepted causes of corruption, such as economic development.
Resumo:
We propose an elementary theory of wars fought by fully rational contenders. Two parties play a Markov game that combines stages of bargaining with stages where one side has the ability to impose surrender on the other. Under uncertainty and incomplete information, in the unique equilibrium of the game, long confrontations occur: war arises when reality disappoints initial (rational) optimism, and it persist longer when both agents are optimists but reality proves both wrong. Bargaining proposals that are rejected initially might eventually be accepted after several periods of confrontation. We provide an explicit computation of the equilibrium, evaluating the probability of war, and its expected losses as a function of i) the costs of confrontation, ii) the asymmetry of the split imposed under surrender, and iii) the strengths of contenders at attack and defense. Changes in these parameters display non-monotonic effects.
Resumo:
"Vegeu el resum a l'inici del document del fitxer adjunt."