A flexible (C)LP-based approach to the analysis of object-oriented programs

Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of the work involving object-oriented languages and abstract interpretation usually omits the description of that language or just refers to the Control Flow Graph(CFG) it represents. However, this lack of formalization on one hand results in an absence of assurances regarding the correctness of the transformation and on the other it typically strongly couples the analysis to the source language. In this work we present a framework for analysis of object-oriented languages in which in a first phase we transform the input program into a representation based on Horn clauses. This allows on one hand proving the transformation correct attending to a simple condition and on the other being able to apply an existing analyzer for (constraint) logic programming to automatically derive a safe approximation of the semantics of the original program. The approach is flexible in the sense that the first phase decouples the analyzer from most languagedependent features, and correct because the set of Horn clauses returned by the transformation phase safely approximates the standard semantics of the input program. The resulting analysis is also reasonably scalable due to the use of mature, modular (C)LP-based analyzers. The overall approach allows us to report results for medium-sized programs.

Oxidized phospholipids:their properties and interactions with proteins

Lipids are a highly diverse class of biomolecules, with an average eukaryotic cell estimated as containing at least 100,000 different species. The significance of this diversity is still poorly understood, yet it has become clear that lipids have critical regulatory as well as structural roles, varying from signaling (e.g. phosphatidylinositols, prostaglandins, platelet activating factor, ceramide) to the control of permeability properties of skin, for instance. An unprecedented discovery from recent efforts in lipidomics, aimed at the elucidation of the functional roles of lipids in cells, was the key role for lipid oxidation in cell behavior and pathology. More specifically, oxidized phospholipids (oxPL) have been shown to increase significantly in apoptosis as well as in inflammation and to be involved in several pathological conditions, such as atherosclerosis, cancer, inflammation, Alzheimer's and Parkinson's disease, as well as type 2 diabetes, with the detailed mechanisms remaining to be established. However, a coherent overall view of the causalities and mechanisms has been lacking, mainly because of insufficient understanding of the cellular as well as molecular level mechanisms. This Special Issue represents a focused, integrated interdisciplinary approach summarizing very recent leading edge developments in this emerging field with emphasis on lipid–protein interactions. The data now becoming available are paving the way to the development of improved diagnostics, therapies and preventive measures to combat the above diseases.

A crise financeira de 2008 e seus impactos na economia brasileira: uma análise sob a perspectiva de Minsky

Diante do colapso financeiro de 2008, este trabalho retoma a teoria econômica proposta por Hyman P. Minsky com o objetivo de esclarecer as circunstâncias que propiciaram uma crise financeira tão profunda. A estrutura analítica de Minsky é marcada pela Hipótese da Instabilidade Financeira, a qual aponta para fatores endógenos ao próprio sistema capitalista como o principal causador de instabilidades financeiras. Este processo, caracterizado principalmente por um avanço desfavorável no nível de endividamento dos agentes, constrói um ciclo de estágios que pode se desenvolver para uma crise financeira ou um colapso sistêmico, definidos como “Momento Minsky” e “Colapso Minsky”. Este cenário descrito por Minsky, também analisado à luz de teorias mais recentes como as de Gary A. Dymski e Alessandro Vercelli, é conhecido por “ciclo minskyano”. Ao adotar estes preceitos da análise teórica de Minsky, é possível visualizar como o processo de desregulamentação e fragilização financeira dos Estados Unidos nas décadas de 1980 e 1990 proveram condições para a crise do subprime e, posteriormente, o colapso financeiro de 2008. De maneira similar, é possível observar que a análise teórica de Minsky também é aplicável à crise que afeta a economia brasileira no final de 2008. A fragilização financeira que se inicia no Brasil poucos anos antes da crise, acentuada no setor exportador de commodities, cria a condição para o “momento Minsky brasileiro”, demonstrando que apesar das falhas da análise teórica de Minsky, que supõe uma economia fechada com características da economia estadunidense, é possível visualizar uma relação de causa e efeito da recente crise financeira com a teoria minskyana.

A relação entre a álgebra acadêmica e a álgebra escolar em um curso de licenciatura em matemática: concepções de alunos e professores

Pós-graduação em Educação - FCT

Assessing the efficacy of the Mental Health Gap Action Programme (mhGAP) training for non-specialized health workers in Ethiopia

RESUMO: A OMS lançou em 2008, o Programa de Acção do Gap em Saúde Mental (mhGAP) para suprir a falta de cuidados, especialmente em países de rendimento baixo e médio, para as pessoas que sofrem de perturbações mentais, neurológicas e de uso de substâncias (MNS). Um componente crucial do mhGAP é representado pelo esforço no sentido da integração da saúde mental nos cuidados de saúde primários. Na Etiópia, o mhGAP foi monitorizado durante 3 anos, graças a um projeto de demonstração implementado em clínicas selecionadas em quatro regiões do país. A fase de demonstração de mhGAP na Etiópia traduziu-se principalmente na formação de profissionais de saúde não especializados, fornecendo-lhes orientação e supervisão apoiada para a utilização de medicamentos psicotrópicos essenciais e na coordenação com o Ministério Etíope Federal da Saúde, Hospital Amanuel de Saúde Mental e as Secretarias Regionais de Saúde ( RHBs ). O presente trabalho investigou a eficácia do pacote de formação mhGAP através de uma análise das pontuações dos participantes no pré- e pós-testes. A análise estatística mostrou - com uma exceção - que a melhoria dos formandos é estatisticamente significativa, o que sugere que os conhecimentos dos participantes é melhorada na fase de pós-teste. A eficácia do pacote de formação mhGAP para profissionais de saúde não especializados é uma evidência promissora de que os mesmos podem ser treinados com sucesso para realizar um pacote básico de intervenções para a prestação de cuidados e tratamento para pessoas com perturbações mentais, neurológicas e de uso de substâncias. Este trabalho destaca, também, várias limitações não apenas inerentes ao próprio projecto de investigação tais como o número limitado de respostas que foram analisadas e a falta de dados de uma das quatro regiões onde mhGAP foi testado na Etiópia. As principais limitações decorrem de facto da abordagem global limitar as intervenções de saúde mental ao programa de formação e supervisão dos trabalhadores de cuidados de saúde primários . Este processo só será bem sucedido se, juntamente com outras intervenções - que vão desde o desenvolvimento de currículos para o desenvolvimento de uma legislação de saúde mental -, fôr incluído numa estratégia mais abrangente para a reforma da saúde mental e desafiar o status quo.-----------ABSTRACT:In 2008, WHO launched the Mental Health Gap Action Programme (mhGAP) to address the lack of care, especially in low- and middle- income countries, for people living with mental, neurological and substance use (MNS) disorders. A crucial component of mhGAP is represented by the endeavor towards integration of mental health into primary health care. In Ethiopia, mhGAP has been piloted for 3 years thanks to a demonstration project implemented in selected clinics in 4 regions of the country. The demonstration phase of mhGAP in Ethiopia has mainly translated into training of non-specialized health workers, providing them with mentorship and supportive supervision, availing essential psychotropic medications and coordinating with the Ethiopian Federal Ministry of Health, Amanuel Mental Health Hospital and the Regional Health Bureaus (RHBs). The present paper investigated the efficacy of the mhGAP training package through an analysis of the participants’ scores at pre-test and post-test. The statistical analysis showed - with one exception - that the improvement of trainees is statistically significant, therefore suggesting that the knowledge of participants is improved in the post-test phase. The efficacy of the mhGAP training package on non-specialized health workers is promising evidence that non-specialized health-care providers can be successfully trained to deliver a basic package of interventions for providing care and treatment for people with mental, neurological and substance use disorders. However, this paper also highlights several limitations, which are not only inherent to the research itself, such as the limited number of scores that was analyzed, or the lack of data from one of the four regions where mhGAP has been piloted in Ethiopia; major limitations occur in fact in the overall approach of confining mental health interventions to training and supervising primary health care workers. This process will only be successful if coupled with other interventions – ranging from curricula development to development of a mental health legislation - and if it is included in a more comprehensive strategy to reform mental health and challenge the status quo.

IPH response to DSD Urban Regeneration and Community Development Policy Framework Consultation

The Urban Regeneration and Community Development Policy Framework for Northern Ireland sets out for DSD and its partners, clear priorities for urban regeneration and community development programmes, both before and after the operational responsibility for these is transferred to councils under the reform of local government. Four policy objectives have been developed, which will focus on the underlying structural problems in urban areas and also help strengthen community development throughout Northern Ireland. The policy objectives are as follows: Policy Objective 1 – To tackle area-based deprivation: Policy Objective 2 – To strengthen the competitiveness of our towns and cities: Policy Objective 3 – To improve linkages between areas of need and areas of opportunity: and Policy Objective 4 –To develop more cohesive and engaged communities. Key points from IPH response Urban regeneration and community development provide a basis for addressing the social determinants of health and reducing inequalities in health. This policy framework presents an opportunity for coherence and complementarity with ‘Fit and Well - Changing Lives’ as part of government’s overall approach to tackling health inequalities. It is now well established that a focus on early years’ interventions and family support services yields significant returns, so prioritising action in these areas is essential. Defined action plans on child poverty are essential if this policy framework is to make a real and lasting difference in deprived urban areas. Development of the environmental infrastructure to improve health in deprived areas should be supported by well-planned monitoring and evaluation. Linking the policy framework to economic development and local community plans will enhance effectiveness in the areas of education, job creation, commercial investment and access to services, which in turn are critical for the economic growth and stability of urban communities. Community profile data and health intelligence (as available through IPH Health Well) could usefully inform central and local government in terms of resource allocation and targeted service delivery.

Performance of Randomly Oriented, Fiber-Reinforced Roadway Soils, HR-211, 1982

Several primary techniques have been developed through which soil aggregate road material properties may be improved. Such techniques basically involve a mechanism of creating a continuous matrix system of soil and/or aggregate particles, interlocked through the use of some additive such as portland cement, lime, or bituminous products. Details by which soils are stabilized vary greatly, but they are dependent on the type of stabilizing agent and nature of the soil, though the overall approach to stabilization has the common feature that improvement is achieved by some mechanism(s) forcing individual particles to adhere to one another. This process creates a more rigid material, most often capable of resisting the influx of water during freezing, loss of strength due to high moisture content and particle dispersion during thawing, and loss of strength due to migration of fines and/or water by capillarity and pumping. The study reported herein, took a new and relatively different approach to strengthening of soils, i.e., improvement of roadway soils and/or soil-aggregate materials by structural reinforcement with randomly oriented fibers. The purpose of the study was to conduct a laboratory and field investigation into the potential of improving (a) soil-aggregate surfaced and subgrade materials, including those that are frost-prone and/or highly moisture susceptible, and (b) localized base course materials, by uniting such materials through fibrous reinforcement. The envisioned objective of the project was the development of a simple construction technique(s) that could be (a) applied on a selective basis to specific areas having a history of poor performance, or (b) used for improvement of potential base materials prior to surfacing. Little background information on such purpose and objective was available. Though the envisioned process had similarities to fibrous reinforced concrete, and to fibrous reinforced resin composites, the process was devoid of a cementitious binder matrix and thus highly dependent on the cohesive and frictional interlocking processes of a soil and/or aggregate with the fibrous reinforcement; a condition not unlike the introduction of reinforcing bars into a concrete sand/aggregate mixture without benefit of portland cement. Thus the study was also directed to answering some fundamental questions: (1) would the technique work; (2) what type or types of fibers are effective; (3) are workable fibers commercially available; and (4) can such fibers be effectively incorporated with conventional construction equipment, and employed in practical field applications? The approach to obtaining answers to these questions, was guided by the philosophy that an understanding of basic fundamentals was essential to developing a body of engineering knowledge, that would serve as the basis for eventual development of design procedures with fibrous products for the applications previously noted.

What is behind the OpenDOAR? New Development and Community Benefits

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Le développement économique régional, la politique et les disparités régionales des grands territoires : le cas du Canada et de la Chine

Résumé Depuis le début des années 1990, la recherche sur le développement régional a pris une importance considérable dans les disciplines de l’économie et de la géographie dans la plupart des pays. De nombreuses études ont été consacrées à ce sujet et l’on constate une approche analytique de plus en plus sophistiquée. Que les économies pauvres ont tendance à converger vers les pays riches, ou bien à diverger au fil du temps est une question qui a attiré l'attention des décideurs et des universitaires depuis quelques décennies. Convergence ou de divergence économique est un sujet d'intérêt et de débat, non seulement pour valider ou non les deux modèles principaux de croissance qui sont considérés comme concurrent (l’approche néo-classique et celle des approches de croissance endogène), mais aussi pour ses implications pour les publiques politiques. En se basant sur une analyse des politiques de développement régional et des analyses statistiques de la convergence et des disparités régionales, les objectifs de cette thèse sont de tenter de fournir une explication des différents processus et des modèles de développement économique régional poursuivis dans le cas de territoires immenses en utilisant le Canada et la Chine comme études de cas, d'entreprendre une analyse des différents facteurs et des forces motrices qui sous-tendent le développement régional dans ces deux pays, et d'explorer à la fois les réussites et les échecs apparents dans les politiques de développement régional en comparant et contrastant les expériences de développement régional et les modèles de ces deux pays. A fin d'atteindre cet objectif, la recherche utilise une approche multi-scalaire et des méthodes de mesure multidimensionnelle dans le cadre des analyses sur les disparités « régionales » entre les macro régions (sous-ensembles de provinces) des deux pays, des provinces et des régions urbaines sélectionnées, dans le but ultime d’identifier des problèmes existants en termes de développement régional et de pouvoir proposer des solutions. Les étapes principales de la recherche sont : 1. La cueillette des données statistiques pour le Canada et la Chine (incluant les provinces de Québec et de Xinjiang) pour une gamme d’indicateurs (voir ci-dessous). 2. D’entreprendre une analyse de chaque dimension dans les deux juridictions: Population (p.ex. composition, structure, changement); Ressources (p. ex. utilisation, exploitation de l’énergie); Environnement (p.ex. la pollution); et le Développement socioéconomique (p.ex. le développement et la transformation des secteurs clé, et les modèles de développement rural et urbain), et les disparités changeantes par rapport à ces dimensions. 3. La définition d’une typologie de différents types de région en fonction de leurs trajectoires de développement, ce qui servira pour critiquer l’hypothèse centre-périphérie. 4. Le choix d’une région métropolitaine dans chaque juridiction (province). 5. D’entreprendre une analyse temporelle des événements clé (politiques, investissements) dans chaque région et les facteurs impliqués dans chaque événement, en utilisant l’information documentaire générale et des agences institutionnelles impliqués actuellement et dans un passée récent. Cette étude a tenté d'expliquer les schémas et les processus des deux économies, ainsi que la présentation d'études de cas qui illustrent et examinent les différences dans les deux économies à partir de l’échelle nationale jusqu’au niveau régional et provincial et aussi pour certaines zones urbaines. Cette étude a essayé de répondre aux questions de recherche comme: Est-il vrai que les pays avec des plus grandes territoires sont associés avec des plus grandes disparités interrégionales? Quel est le résultat des comparaisons entre pays développés et pays en développement? Quels sont les facteurs les plus importants dans le développement économique de vastes territoires dans les pays développés et pays en développement? Quel est le mécanisme de convergence et de divergence dans les pays développés et, respectivement, les pays en développement? Dans l'introduction à la thèse, le cadre général de l'étude est présenté, suivie dans le chapitre 1 d'une discussion sur les théories et les concepts utilisés dans la littérature théorique principale qui est pertinent à l'étude. Le chapitre 2 décrit la méthodologie de recherche. Le chapitre 3 présente une vue d'ensemble des politiques de développement économique régional et les programmes du Canada et de la Chine dans des périodes différentes à différentes échelles. Au chapitre 4, la convergence des deux pays à l'échelle nationale et la convergence provinciale pour chaque pays sont examinés en utilisant différentes méthodes de mesure telles que les méthodes traditionnelles, la convergence bêta et la convergence sigma. Dans le chapitre le plus complexe, le chapitre 5, les analyses comparatives sont présentées à l'aide de données statistiques, à partir des analyses des cas régionaux et provinciaux retenus des deux pays. Au chapitre 6, ces dispositions sont complétées par une analyse des régions urbaines choisies, qui permet également des aperçus sur les régions les plus périphériques. Dans la recherche proposée pour cette thèse, la politique, la population, le revenu, l'emploi, la composition industrielle, l'investissement, le commerce et le facteur de la migration sont également pris en compte comme facteurs importants de l'analyse régionale compte tenu de la superficie du territoire des deux pays et les différences de population entre eux. Cette thèse a évalué dans quelle mesure les politiques gouvernementales ont réussi à induire la convergence régionale ou ont encore ont creusé davantage les disparités régionales, ce qui implique nécessairement une évaluation de la durabilité des patrons et des programmes de développement régional. Cette étude a également mis l'accent sur les disparités régionales et la politique de développement régional, les comparaisons entre pays, pour mesurer la convergence entre les pays et entre les régions, y compris l'analyse spatiale, d'identifier les facteurs les plus actifs tels que la population, les ressources, la politique, l'urbanisation, les migrations, l'ouverture économique et leurs différents rôles dans le développement économique de ces grands territoires (au Canada et Chine). Les résultats empiriques et les processus de convergence et de divergence offrent un cadre intéressant pour l'examen de la trajectoire de développement régionales et les disparités régionales dans les deux économies. L'approche adoptée a révélé les différentes mosaïques complexes du développement régional dans les deux pays. Les résultats de cette étude ont démontré que la disparité en termes de revenu régional est une réalité dans chaque zone géographique, et que les causes sont nombreuses et complexes. Les deux économies ont certains parallèles dans la mise en œuvre des politiques de développement économique régional, mais il existe des différences importantes aussi et elles se sont développées à différentes vitesses. Les deux économies se sont développées depuis la Seconde Guerre mondiale, mais la Chine a connu une croissance rapide que le Canada comme témoignent de nombreux indicateurs depuis 1980. Cependant, la Chine est maintenant confrontée à un certain nombre de problèmes économiques et sociaux, y compris les disparités régionales marquées, un fossé toujours croissant entre les revenus ruraux et urbains, une population vieillissante, le chômage, la pauvreté et la dégradation rapide de l'environnement avec toujours plus de demandes en énergie. Le développement économique régional en Chine est plus déséquilibré. Le Canada accuse un degré de disparités régionales et provinciales moins important que la Chine. Dans les cas provinciaux, il existe d'importantes différences et de disparités dans la structure économique et spatiale du Québec et du Xinjiang. Les disparités infra provinciales sont plus grandes que celles à l’échelle des provinces et des grandes régions (des sous-ensembles de provinces). Les mécanismes de convergence et de divergence dans les deux pays sont différents. Les résultats empiriques et les processus de convergence et de divergence offrent un cadre intéressant pour l'examen de la trajectoire de développement régionale et les disparités régionales dans les deux économies. Cette étude démontre également que l'urbanisation (les métropoles et les villes) s’avère être le facteur le plus actif et contribue à l'économie régionale dans ces grands territoires. L'ouverture a joué un rôle important dans les économies des deux pays. La migration est un facteur majeur dans la stimulation de l'économie des deux pays mais de façons différentes. Les résultats empiriques démontrent que les disparités régionales ne peuvent pas être évitées et elles existent presque partout. Il n'y a pas une formule universelle et de politiques spécifiques sont de mise pour chaque région. Mais il semble possible pour les décideurs politiques nationaux et régionaux d’essayer de maintenir l'écart à une échelle raisonnable pour éviter l'instabilité sociale.

IntCal04 terrestrial radiocarbon age calibration, 0-26 cal kyr BP

A new calibration curve for the conversion of radiocarbon ages to calibrated (cal) ages has been constructed and internationally ratified to replace ImCal98, which extended from 0-24 cal kyr BP (Before Present, 0 cal BP = AD 1950). The new calibration data set for terrestrial samples extends from 0-26 cal kyr BP, but with much higher resolution beyond 11.4 cal kyr BP than ImCal98. Dendrochronologically-dated tree-ring samples cover the period from 0-12.4 cal kyr BP. Beyond the end of the tree rings, data from marine records (corals and foraminifera) are converted to the atmospheric equivalent with a site-specific marine reservoir correction to provide terrestrial calibration from 12.4-26.0 cal kyr BP. A substantial enhancement relative to ImCal98 is the introduction of a coherent statistical approach based on a random walk model, which takes into account the uncertainty in both the calendar age and the C-14 age to calculate the underlying calibration curve (Buck and Blackwell, this issue). The tree-ring data sets, sources of uncertainty, and regional offsets are discussed here. The marine data sets and calibration curve for marine samples from the surface mixed layer (Marine 04) are discussed in brief, but details are presented in Hughen et al. (this issue a). We do not make a recommendation for calibration beyond 26 cal kyr BP at this time; however, potential calibration data sets are compared in another paper (van der Plicht et al., this issue).

Cloud computing - Moving to the cloud

Cloud computing innebär användning av datorresurser som är tillgängliga via ett nätverk, oftast Internet och är ett område som har vuxit fram i snabb takt under de senaste åren. Allt fler företag migrerar hela eller delar av sin verksamhet till molnet. Sogeti i Borlänge har behov av att migrera sina utvecklingsmiljöer till en molntjänst då drift och underhåll av dessa är kostsamma och tidsödande. Som Microsoftpartners vill Sogeti använda Microsoft tjänst för cloud computing, Windows Azure, för detta syfte. Migration till molnet är ett nytt område för Sogeti och de har inga beskrivningar för hur en sådan process går till. Vårt uppdrag var att utveckla ett tillvägagångssätt för migration av en IT-lösning till molnet. En del av uppdraget blev då att kartlägga cloud computing, dess beståndsdelar samt vilka för- och nackdelar som finns, vilket har gjort att vi har fått grundläggande kunskap i ämnet. För att utveckla ett tillvägagångssätt för migration har vi utfört flera migrationer av virtuella maskiner till Windows Azure och utifrån dessa migrationer, litteraturstudier och intervjuer dragit slutsatser som mynnat ut i ett generellt tillvägagångssätt för migration till molnet. Resultatet har visat att det är svårt att göra en generell men samtidigt detaljerad beskrivning över ett tillvägagångssätt för migration, då scenariot ser olika ut beroende på vad som ska migreras och vilken typ av molntjänst som används. Vi har dock utifrån våra erfarenheter från våra migrationer, tillsammans med litteraturstudier, dokumentstudier och intervjuer lyft vår kunskap till en generell nivå. Från denna kunskap har vi sammanställt ett generellt tillvägagångssätt med större fokus på de förberedande aktiviteter som en organisation bör genomföra innan migration. Våra studier har även resulterat i en fördjupad beskrivning av cloud computing. I vår studie har vi inte sett att någon tidigare har beskrivit kritiska framgångsfaktorer i samband med cloud computing. I vårt empiriska arbete har vi dock identifierat tre kritiska framgångsfaktorer för cloud computing och i och med detta täckt upp en del av kunskapsgapet där emellan.

Kung slår dam : våldsforskningsmetodologi i ett våldsamt jämställt Sverige

King captures queen. Methodology in research on violence in violently equal Sweden Research and debate on violence against women in a Swedish context is here discussed from a perspective that focuses on the different understandings and epistemological claims behind existing positions. I crystallize a dominant perspective on violence, centred around fragmentation/deviance, and a challenging feminist understanding, centred around coherence/normality. I relate these understandings to a wider set of methodological choices and epistemological claims within research on violence against women, captured in what I call a discourse on partner violence (fragmentation) and a feminist discourse on men’s violence against women (coherence). The article also examines the reactions, in media and academic life, that a quantitative study on men’s violence against women in Sweden provoked, Captured queen, men’s violence against women in equal Sweden. A prevalence study (Lundgren et al 2001). By applying a coherent methodological approach, stemming from the feminist discourse on violence against women, the study seems to have placed itself outside what was comprehensible for many voices in the debate (from media and the academic field). I discuss the hostile reactions the study aroused, in relation to its methodology and the above presented conflicting understandings that occupy the research field “violence against women”.

The tourism sector and the global economic crisis: development implicatins for the Caribbean

Over the past two years the global economy has experienced substantial economic turmoil, resulting in severe economic contraction. While there has been a recent return to growth, this situation has impacted all economic sectors worldwide. In the highly tourism-dependent region of the Caribbean, the impact of the global economic crisis has been most notable on the tourism sector, which, from the early 1990s, became the key driver of economic growth for the region. The eventual emergence of this sector reflects an economic development history which was previously underpinned by the export of agricultural commodities, and subsequently by the adoption of the import substitution industrialization model as promulgated by Arthur Lewis. This was further stimulated by spectacular economic contraction in Caribbean economies during the 1980s as a result of changes in the global terms of trade for commodities, generally low levels of competitiveness for manufactured goods, as well as weak institutional and governance frameworks. Ultimately, many economies began to reflect fiscal and balance of payments constraints. By the end of the 1990s, too, evidence of declining competitiveness even in the tourism sector began to become apparent particularly when evaluated under the framework of the Butler Tourism Area Life- Cycle (TALC) model. The recent economic crisis, therefore, provides an opportunity to reflect on the overall approach to economic development in the Caribbean, and to assess the implications of the region’s response to the crisis. This analysis makes the case for the future development of the sector to be based on two broad strategies. The first is to deepen the integration of the tourism sector into the broader economy through the diversification of the regional tourism product, as well as the enhancement of linkages with other sectors, while the second is to expand the tourism sector into a total service economy through the introduction of new services. Considering linkages, the development of clusters and value chains to support the tourism sector is identified with respect to agriculture and food, handicraft, and furnishings. Among the new services identified are education, wellness, yachting and boating, financial services, and information and communications technologies (ICT). This overall strategy is deemed to be better suited to the macroeconomic realities of the Caribbean, where high labour costs and other structural rigidities require a high-valued specialty tourism product in order to sustain the sector’s global competitiveness.

A relação entre a álgebra acadêmica e a álgebra escolar em um curso de licenciatura em matemática: concepções de alunos e professores

Pós-graduação em Educação - FCT

Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments

Actual trends in software development are pushing the need to face a multiplicity of diverse activities and interaction styles characterizing complex and distributed application domains, in such a way that the resulting dynamics exhibits some grade of order, i.e. in terms of evolution of the system and desired equilibrium. Autonomous agents and Multiagent Systems are argued in literature as one of the most immediate approaches for describing such a kind of challenges. Actually, agent research seems to converge towards the definition of renewed abstraction tools aimed at better capturing the new demands of open systems. Besides agents, which are assumed as autonomous entities purposing a series of design objectives, Multiagent Systems account new notions as first-class entities, aimed, above all, at modeling institutional/organizational entities, placed for normative regulation, interaction and teamwork management, as well as environmental entities, placed as resources to further support and regulate agent work. The starting point of this thesis is recognizing that both organizations and environments can be rooted in a unifying perspective. Whereas recent research in agent systems seems to account a set of diverse approaches to specifically face with at least one aspect within the above mentioned, this work aims at proposing a unifying approach where both agents and their organizations can be straightforwardly situated in properly designed working environments. In this line, this work pursues reconciliation of environments with sociality, social interaction with environment based interaction, environmental resources with organizational functionalities with the aim to smoothly integrate the various aspects of complex and situated organizations in a coherent programming approach. Rooted in Agents and Artifacts (A&A) meta-model, which has been recently introduced both in the context of agent oriented software engineering and programming, the thesis promotes the notion of Embodied Organizations, characterized by computational infrastructures attaining a seamless integration between agents, organizations and environmental entities.