A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

A new methodology for urban wind resource assessment

In the latest years the wind energy sector experienced an exponential growth all over the world. What started as a deployment of onshore projects, soon moved to offshore and, more recently to the urban environment within the context of smart cities and renewable micro-generation. However, urban wind projects using micro turbines do not have enough profit margins to enable the setup of comprehensive and expensive measurement campaigns, a standard procedure for the deployment of large wind parks. To respond to the wind assessment needs of the future smart cities a new and simple methodology for urban wind resource assessment was developed. This methodology is based on the construction of a surface involving a built area in order to estimate the wind potential by treating it as very complex orography. This is a straightforward methodology that allows estimating the sustainable urban wind potential, being suitable to map the urban wind resource in large areas. The methodology was applied to a case study and the results enabled the wind potential assessment of a large urban area being consistent with experimental data obtained in the case study area, with maximum deviations of the order of 10% (mean wind speed) and 20% (power density).

Process virtualization theory (PVT) and institutional theory (INT) to explain SAAS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the pressures existing in the organization’s environment. We propose an integrated research model that combines the process virtualization theory (PVT) and the institutional theory (INT). PVT seeks to explain whether SaaS processes are suitable for migration into virtual environments via an information technology-based mechanism. INT seeks to explain the effects of the institutionalized environment on the structure and actions of the organization. The research makes three contributions. First, it addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and external coercive, normative, and mimetic pressures faced by an organization. Second, it empirically tests many of the propositions of PVT and INT in the SaaS context, thereby helping to determine how the theory operates in practice. Third, the integration of PVT and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

The burden of chronic low back pain in the adult Portuguese population : an epidemiological population-based study under the scope of Epireumapt

RESUMO: Nos países desenvolvidos a lombalgia é a condição músculo-­‐esquelética mais prevalente. Quando evolui para um quadro crónico é responsável por um encargo económico bastante considerável, não só em relação aos indivíduos, mas também para a sociedade. A lombalgia crónica é por isso uma das principais causas de perda de produtividade e de perda de independência económica, nomeadamente através do absenteísmo (ausência do trabalho), do presenteísmo (perda de produtividade no trabalho, devido à capacidade diminuída provocada pela lombalgia) e da incapacidade para trabalhar (invalidez permanente, total ou parcial). Até à data, em Portugal, a prevalência e carga social da lombalgia crónica eram desconhecidas. Até agora não existiam estudos populacionais de grande dimensão sobre este tema. O objetivo principal desta tese foi determinar a prevalência de lombalgia crónica, e também avaliar a carga social que esta tem na população adulta Portuguesa. O trabalho de investigação foi desenvolvido no âmbito do Estudo Epidemiológico de Doenças Reumáticas em Portugal (EpiReumaPt). Este foi o primeiro estudo de larga escala e de base populacional, que determinou a prevalência de doenças reumáticas e músculo-­‐ esqueléticas na população adulta portuguesa. Foi realizado numa amostra aleatória e representativa, de 10.661 indivíduos do Continente, da Região Autónoma dos Açores e da Região Autónoma da Madeira, entre Setembro de 2011 e Dezembro de 2013. Esta tese foi dividida em duas secções. A primeira secção incluiu o detalhe das questões relativas ao desenvolvimento e gestão do EpiReumaPt, constituindo-­‐se como um guia prático sobre como realizar um estudo de base populacional de larga escala, em Portugal. A metodologia detalhada do EpiReumaPt foi também descrita nesta secção e incluiu os objectivos, o desenho do estudo, as características de recrutamento e a preparação de dados para análise. Nesta secção foram ainda descritos os principais resultados do EpiReumaPt. Estes evidenciaram que a lombalgia foi a condição músculo-­‐esquelética com maior prevalência na população adulta portuguesa.A segunda secção desta tese estimou a prevalência da lombalgia crónica ativa na população adulta Portuguesa, e avaliou a carga social esta condição. A lombalgia ativa foi definida com base na dor auto-­‐relatada no dia da entrevista e que persistia há pelo menos 90 dias (independentemente da causa). A lombalgia foi definida como dor na área definida entre a margem inferior das décimas segundas costelas até às pregas glúteas inferiores, com ou sem dor nos membros inferiores. A carga social foi medida tendo em conta os seguintes parâmetros: qualidade de vida, função, consumo de recursos de saúde, consumo de analgésicos e outros fármacos usados no alívio da dor, sintomas de ansiedade e sintomas de depressão. Os resultados mostraram que o consumo de recursos em saúde e a carga social da lombalgia crónica na população adulta Português é significativa. Também a incapacidade causada pela lombalgia crónica,nos indivíduos com idade ativa, é responsável por elevadas taxas de absenteísmo e má qualidade de vida, aos quais acresce o consequente ónus socioeconómico. Esta tese também concluiu que o consumo de analgésicos e outros medicamentos para alívio da dor, na população adulta portuguesa com lombalgia crónica ativa, é relativamente baixa. A maioria destes indivíduos não tomava nenhum medicamento analgésico, independentemente da intensidade da dor. Mesmo os indivíduos que reportaram dor intensa, apenas 4.0% estavam no primeiro degrau da escada analgésica da Organização Mundial de Saúde; 2.3% usavam opióides fracos e 0.03% usavam opióides fortes para controlar a dor (segundo e terceiro degrau da escada analgésica da Organização Mundial da Saúde). O trabalho de investigação também confirmou que a prevalência de sintomas de ansiedade e depressão entre os indivíduos adultos portugueses com lombalgia crónica ativa é elevada. Nestes indivíduos, registou-­‐se um consumo mais elevado de analgésicos e outros medicamentos para alívio da dor, quando comparados com os indivíduos com lombalgia crónica activa sem esses sintomas psicológicos. Os grupos terapêuticos mais utilizados foram os ansiolíticos, sedativos e hipnóticos, os antidepressivos e os anti-­‐inflamatórios não esteróides. A intensidade média da dor reportada foi também maior entre os indivíduos com lombalgia ativa e sintomas de ansiedade e/ou depressão. Também nestes, foi reportada pior função e pior estado de saúde. Em relação ao consumo de recursos de saúde foram encontradas diferenças significativas entre as duas populações: os indivíduos com lombalgia ativa e sintomas psicológicos concomitantes registaram maior número de consultas de psiquiatria de outras especialidades médicas, assim como precisaram de mais apoio domiciliário nos 12 meses prévios à entrevista do EpiReumaPt. Foram também identificados os fatores associados a sintomas isolados de ansiedade, a sintomas isolados de depressão e a sintomas de ansiedade e depressão. Resumindo,esta tese permitiu concluir que a lombalgia crónica é um problema de saúde comum na população adulta portuguesa, contribuindo para um elevado grau de incapacidade e que consequentemente afeta o desempenho laboral e o bem-­‐estar dos indivíduos. A lombalgia crónica é também responsável por um consumo considerável de recursos de saúde. Acresce ainda que os sintomas de ansiedade e depressão são comuns, entre os indivíduos com lombalgia crónica, contribuindo com uma carga social adicional.---------------------------------- ABSTRACT:Low Back Pain(LBP) is the most prevalent of musculoskeletal condition in developed countries.When it becomes chronic, LBP causesan enormous economic burden on individuals and society -­‐ it is one of the leading causes of loss of productivity and economic independence through absenteeism (time off work), presenteeism (lost productivity because of diminished capacity while at work) and work disability (permanent, partial or complete disablement for work purposes). In Portugal the prevalence and burden of LBP and chronic LBP (CLBP) were poorly defined. Until now no large population-­‐based studies have focused on this. The main aim of this thesis was to determine the prevalence of LBP and CLBP, and also to assess the burden of CLBP in the adult rtuguese population. The research work was developed under the scope of EpiReumaPt (the Portuguese Epidemiologic Study of Rheumatic Diseases). EpiReumaPt was the first national large population-­‐based and prevalence study of rheumatic and musculoskeletal diseases (RMD). It was performed among a randomized and representative sample of 10,661 adult Portuguese subjects recruited in Mainland, Azores and Madeira Islands, from September 2011 to December 2013. The first section of this thesis included detailed issues regarding the development and management of EpiReumaPt, and provided a practical guide on how to set-­‐up a large population-­‐based study in Portugal. The detailed methodology of EpiReumaPt, including its objectives,study design,recruitment features,and data preparation for analyses were also described. The main results from EpiReumaPt study were provided in this section and showed that LBP was the musculoskeletal condition with highest prevalence among Portuguese population. The second section of this thesis estimated the prevalence of active CLBP among adult Portuguese population, and assessed the social burden of this condition. Active CLBP was defined based on self-­‐reported pain on the day of the interview, and for most of the time for at least 90 days (independently from cause). LBP was defined as pain in the back area from the lower margin of the twelfth ribs to he lower gluteal folds, with or without pain referred to the lower limbs. Social burden was measured taking into account the following outcomes: quality of life, function, healthcare resources consumption, analgesic and other pain relief drugs intake, anxiety and depression symptoms. Results showed that the healthcare consumption and social burden of CLBP among adult Portuguese population were enormous, and the disability caused by CLBP among subjects in a working age provides high rates of absenteeism (work loss) and poor quality of life, with a consequent socioeconomic burden. This thesis also concluded that analgesic and other pain relief drugs untake among adult Portuguese population with active CLBP was very low. Most of the subjects with active CLBP did not take any analgesic drug regardless pain severity. Even when subjects self-­‐reported severe pain, only 24.0% were in the 1st step of the analgesic ladder,2.3% used weak analgesic opioids and 0.03% used strong opioids (2nd and 3rd step of WHO analgesic ladder, respectively) to control pain . The research work also confirmed that the prevalence of anxiety and depression symptoms among adult Portuguese subjects with active CLBP was high. Regarding pharmacological therapy, the intake of analgesic and other pain relief drugs was higher among subjects with anxiety and/or depression symptoms, when compared with subjects without these psychological symptoms. Anxiolytics, sedatives and hypnotics, antidepressants and NSAIDs intake had higher usage rates among these subjects. The pain severity mean was also higher among this subjects and function and health status was worse. Regarding healthcare resources consumption,significant differences between the two populations were found. Subjects with ctive CLBP and concomitant psychological symptoms had a higher number of psychiatrist and other physician visits. They also needed more home care in the previous 12 months. Factors associated with isolated symptoms of anxiety, depression,and concomitant anxiety and depression symptoms were also identified. Summarizing, we concluded that CLBP is a common health problem among adult Portuguese population contributing to disability and affecting labor performance, and the well being of subjects. it is also responsible for considerable healthcare resource consumption. Anxiety and depression symptoms are common among subjects with CLBP and provided an additional burden among them.

Critical analyses of the introduction of liquid-based cytology in a public health service of the state of São Paulo, Brazil

OBJECTIVE The aim of this study was to compare the performance of the current conventional Pap smear with liquid-based cytology (LBC) preparations. STUDY DESIGN Women routinely undergoing their cytopathological and histopathological examinations at Fundação Oncocentro de São Paulo (FOSP) were recruited for LBC. Conventional smears were analyzed from women from other areas of the State of São Paulo with similar sociodemographic characteristics. RESULTS A total of 218,594 cases were analyzed, consisting of 206,999 conventional smears and 11,595 LBC. Among the conventional smears, 3.0% were of unsatisfactory preparation; conversely, unsatisfactory LBC preparations accounted for 0.3%. The ASC-H (atypical squamous cells - cannot exclude high-grade squamous intraepithelial lesion) frequency did not demonstrate any differences between the two methods. In contrast, the incidence of ASC-US (atypical squamous cells of undetermined significance) was almost twice as frequent between LBC and conventional smears, at 2.9 versus 1.6%, respectively. An equal percentage of high-grade squamous intraepithelial lesions were observed for the two methods, but not for low-grade squamous intraepithelial lesions, which were more significantly observed in LBC preparations than in conventional smears (2.2 vs. 0.7%). The index of positivity was importantly enhanced from 3.0% (conventional smears) to 5.7% (LBC). CONCLUSIONS LBC performed better than conventional smears, and we are truly confident that LBC can improve public health strategies aimed at reducing cervical lesions through prevention programs.

Spawning habitat selection by Octopus vulgaris: new insights for a more effective management of this resource

The selection of spawning habitat of a population of Octopus vulgaris that is subject to a small-scale exploitation was studied in the Cíes Islands within the National Park of the Atlantic Islands of Galicia (NW Spain). The technique used was visual censuses by scuba diving. We conducted 93 visual censuses from April 2012 to April 2014. The total swept area was 123.69 ha. Habitat features (season, depth, zone, bottom temperature, swept area, bottom substrate type, and creels fishing impact) were evaluated as predictors of the presence/absence of spawning dens using GAM models. O. vulgaris has a noteworthy preference for spawning in areas with hard bottom substrate and moderate depth (approximately 20 m). The higher density of spawning dens (1.08ha−1) was found in a surveyed area of 50.14ha located in the northeastern part of the northern Cíes Island. We propose to protect the area comprised from Punta Escodelo to Punta Ferreiro between 5 and 30 m depth. This area has a surface of 158 ha equivalent to 5.98% of the total marine area of the Cíes islands. The strengths and weaknesses of a management strategy based on the protection of the species’ spawning habitat are discussed.

An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design

"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICATPN’1998"

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Promoting hospital-based smoking cessation services at major Swiss hospitals: a before and after study.

Whether a 1-year nationwide, government supported programme is effective in significantly increasing the number of smoking cessation clinics at major Swiss hospitals as well as providing basic training for the staff running them. We conducted a baseline evaluation of hospital services for smoking cessation, hypertension, and obesity by web search and telephone contact followed by personal visits between October 2005 and January 2006 of 44 major public hospitals in the 26 cantons of Switzerland; we compared the number of active smoking cessation services and trained personnel between baseline to 1 year after starting the programme including a training workshop for doctors and nurses from all hospitals as well as two further follow-up visits. At base line 9 (21%) hospitals had active smoking cessation services, whereas 43 (98%) and 42 (96%) offered medical services for hypertension and obesity respectively. Hospital directors and heads of Internal Medicine of 43 hospitals were interested in offering some form of help to smokers provided they received outside support, primarily funding to get started or to continue. At two identical workshops, 100 health professionals (27 in Lausanne, 73 in Zurich) were trained for one day. After the programme, 22 (50%) hospitals had an active smoking cessation service staffed with at least 1 trained doctor and 1 nurse. A one-year, government-supported national intervention resulted in a substantial increase in the number of hospitals allocating trained staff and offering smoking cessation services to smokers. Compared to the offer for hypertension and obesity this offer is still insufficient.

Cooperative strategies for imperfect CSI scenarios based on distributed Alamouti

Les comunicacions cooperatives estan guanyant un gran interès en les comunicacions modernes degut a que permeten millorar la transmissió dʼinformació entre un emissor i un receptor utilitzant una sèrie de terminals situats entre ells. Aquest projecte és un estudi complet del sistemes cooperatius, analitzant el seu rendiment i comparant lʼús dʼun sol dʼaquests terminals amb lʼús del codi Alamouti, que utilitza dos terminals. Primer hi ha una introducció als sistemes cooperatius i a la teoria de la informació. Després hem estudiat un sistema cooperatiu amb la teoria de la informació com a base, en termes de probabilitat de fallada del sistema, i posteriorment lʼhem adaptat a un sistema cooperatiu real utilitzant una modulació QPSK, estudiant la seva probabilitat dʼerror de paquet. Finalment es proposen diversos protocols que permeten millorar el rendiment del sistema cooperatiu estudiat.

Solovian and New Growth Theory from the Perspective of Allyn Young on Macroeconomic Increasing Returns

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.

A Salience Theory of Choice Errors

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.

“Policy Scepticism” and the Impact of London-based Higher Education Institutions (HEIs) on the economy of England: Accounting for Alternative Uses of Public Expenditure

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010a) for the case of London-based HEIs’ impact on the English economy in order to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of London HEIs. A “policy scepticism” has emerged that challenges the results of conventional regional HEI impact analyses. This denial of the importance of the expenditure impacts of HEIs appears to be based on a belief in either a binding regional resource constraint or a regional public sector budget constraint. In this paper we provide a systematic critique of this policy scepticism. However, while rejecting the extreme form of policy scepticism, we argue that it is crucial to recognise the importance of alternative uses of public expenditure, and show how conventional impact analyses can be augmented to accommodate this. While our results suggest that conventional impact studies overestimate the expenditure impacts of HEIs, they also demonstrate that the policy scepticism that treats these expenditure effects as irrelevant neglects some key aspects of HEIs, in particular their export intensity.

EEG-based functional brain networks: does the network size matter?

Functional connectivity in human brain can be represented as a network using electroencephalography (EEG) signals. These networks--whose nodes can vary from tens to hundreds--are characterized by neurobiologically meaningful graph theory metrics. This study investigates the degree to which various graph metrics depend upon the network size. To this end, EEGs from 32 normal subjects were recorded and functional networks of three different sizes were extracted. A state-space based method was used to calculate cross-correlation matrices between different brain regions. These correlation matrices were used to construct binary adjacency connectomes, which were assessed with regards to a number of graph metrics such as clustering coefficient, modularity, efficiency, economic efficiency, and assortativity. We showed that the estimates of these metrics significantly differ depending on the network size. Larger networks had higher efficiency, higher assortativity and lower modularity compared to those with smaller size and the same density. These findings indicate that the network size should be considered in any comparison of networks across studies.