The Robustness of Periodic Orchestrations in Uncertain Evolving Environments

A framework for assessing the robustness of long-duration repetitive orchestrations in uncertain evolving environments is proposed. The model assumes that service-based evaluation environments are stable over short time-frames only; over longer periods service-based environments evolve as demand fluctuates and contention for shared resources varies. The behaviour of a short-duration orchestration E in a stable environment is assessed by an uncertainty profile U and a corresponding zero-sum angel-daemon game Γ(U) [2]. Here the angel-daemon approach is extended to assess evolving environments by means of a subfamily of stochastic games. These games are called strategy oblivious because their transition probabilities are strategy independent. It is shown that the value of a strategy oblivious stochastic game is well defined and that it can be computed by solving a linear system. Finally, the proposed stochastic framework is used to assess the evolution of the Gabrmn IT system.

Learning Bounded Tree-Width Bayesian Networks via Sampling

Learning Bayesian networks with bounded tree-width has attracted much attention recently, because low tree-width allows exact inference to be performed efficiently. Some existing methods [12, 14] tackle the problem by using k-trees to learn the optimal Bayesian network with tree-width up to k. In this paper, we propose a sampling method to efficiently find representative k-trees by introducing an Informative score function to characterize the quality of a k-tree. The proposed algorithm can efficiently learn a Bayesian network with tree-width at most k. Experiment results indicate that our approach is comparable with exact methods, but is much more computationally efficient.

Approximating Credal Network Inferences by Linear Programming

An algorithm for approximate credal network updating is presented. The problem in its general formulation is a multilinear optimization task, which can be linearized by an appropriate rule for fixing all the local models apart from those of a single variable. This simple idea can be iterated and quickly leads to very accurate inferences. The approach can also be specialized to classification with credal networks based on the maximality criterion. A complexity analysis for both the problem and the algorithm is reported together with numerical experiments, which confirm the good performance of the method. While the inner approximation produced by the algorithm gives rise to a classifier which might return a subset of the optimal class set, preliminary empirical results suggest that the accuracy of the optimal class set is seldom affected by the approximate probabilities

Reconciliation's Contributions to Quality Peace

In this chapter we ask what unique contributions reconciliation can make toward building quality peace. We begin by briefly reviewing some of the diverse approaches to understanding the term reconciliation, and settle on a formulation consistent with the emerging perspective of a quality of peace. We then identify three levels – international, state-citizen, intergroup – at which reconciliation can impact peace. We explore how reconciliation may function at each level and how specific factors may advance a more robust and lasting peace process. We synthesize this analysis by identifying key aspects of reconciliation that advance our understanding of a quality of peace: inclusive participation, balancing symbolic and material actions, integrating psychosocial processes, and emphasizing generational approaches. The chapter concludes with suggestions of possible indicators and future research that may support the links between reconciliation and peace processes.

Spectra of graphs obtained by a generalization of the join graph operation

Taking a Fiedler’s result on the spectrum of a matrix formed from two symmetric matrices as a motivation, a more general result is deduced and applied to the determination of adjacency and Laplacian spectra of graphs obtained by a generalized join graph operation on families of graphs (regular in the case of adjacency spectra and arbitrary in the case of Laplacian spectra). Some additional consequences are explored, namely regarding the largest eigenvalue and algebraic connectivity.

Velhice na cultura contemporânea: um estudo sobre a perda emocional profunda

A velhice é uma etapa da vida marcada por múltiplas perdas simbólicas e/ou concretas que, embora se apresentem inelutáveis e façam parte integrante do ciclo da vida, são, para o sujeito que as vivencia, experiências penosas que obrigam a novas formas de existir. As sociedades contemporâneas, sociedades hedonistas onde a morte é tabu e o tempo um bem precioso, condicionam amplamente a forma como as pessoas idosas, especialmente as institucionalizadas, lidam com a perda, uma vez que este processo implica a aceitação de uma nova vida e a (re)estruturação da identidade própria. Não alheias ao condicionamento social, a cultura e as mundividências culturais afetam, de forma decisiva, o modo como a adaptação à perda decorre na quotidianidade das instituições de acolhimento para pessoas idosas. A presente investigação, elaborada no âmbito dos Estudos Culturais, assume um carácter qualitativo, com contornos etnográficos, e analisa 15 “mini-histórias” de vida de indivíduos com mais de 75 anos de idade, residentes em estruturas residenciais, e que sofreram uma perda emocional profunda por morte do cônjuge, já na idade adulta avançada. Num momento em que a institucionalização permanente em estruturas de acolhimento é uma das respostas sociais mais utilizadas pelos indivíduos idosos e suas famílias, procuramos, com este estudo, conhecer as condições críticas presentes na interiorização de um perfil adaptativo ou não adaptativo à perda e que, consequentemente, condicionam a forma como se mobilizam as respostas adaptativas na (re)composição do quotidiano do sujeito idoso enlutado.

Golf destinations' brand personality: the case of the Algarve

The purpose of this research is to develop and validate a measurement scale to assess golf destinations’ brand personality and therefore to perceive the destination personality of the Algarve as a golf destination. Based on literature review on human personality, brand personality, destination brand image and marketing scales validation procedures, an initial 36 unrepeated items were the base for a survey instrument. Those items were generated from the literature, from the results of individual interviews with experts in tourism and golf in the Algarve and from promotional texts in golf- related websites. After content validation, the items were allocated into categories of attributes by a panel of expert judges. A survey was then applied to a convenient sample of 600 golf players in the Algarve, and 545 (valid) questionnaires were analysed to refine the scale. Golf players assessed the components of the relational brand personality (functional, symbolic and experiential) as well as the Algarve as a golf destination. A taxonomy of brand personality was developed and tested in the Algarve as it is recognized as one of the world best golf destination. The developed taxonomy of brand personality was assessed in two ways: 1) through the overall perception of the Algarve as a golf destination and 2) through the perception of specific attributes of the destination grouped into three main categories (functional, symbolic and experiential). Therefore, two multi-dimensional brand personality models were estimated by using structural equation modelling. Findings of this study indicate that golf players ascribe personality characteristics to destinations. The brand personality of the Algarve is translated into three main dimensions enjoyableness, distinctiveness and friendliness when tourists/golf players reveal their overall perception of the destination. The brand personality of golf destination Algarve is reflected in the dimensions reliability, hospitality, uniqueness and attractiveness when tourists assess the components of the relational brand personality. Refined scales consisting of 10 and 12 items were finally derived meeting both reliability and validity requirements. This study does not replicate Aaker’s (1997) personality dimensions and very little parallelism can be drawn with Aaker’s (1997) brand personality scale since only three items from her scale were validated in both models: friendly and cheerful, (sincerity), reliable (competence). The same is verified concerning the ‘Big-five’. The human personality traits (HPT) validated to describe golf destinations personality are only four helpful, pleasant (agreeableness), relaxed (emotional stability), and innovative (intellect or openness). As far as destination image descriptors (DID) are concerned, the items appealing, relaxed and safe were validated, while traits suggested by the interviews and website promotional texts such as calm, natural, spectacular, unique, welcoming, and the best (destination-specific traits) appear to be appropriate to describe the personality of a golf destination. The results suggest that the overall perception of the Algarve´s brand personality is described by the dimensions enjoyableness, distinctiveness and friendliness. Moreover, the relational perspective revealed that the functional attributes of the destination are described by the dimension reliablility, while the symbolic attributes are described by the dimensions hospitablility and uniqueness and finally its experiential attributes are described by the dimension attractiveness. These results show that a golf destination´s brand personality should not just be based on good golf practices. Theoretical and practical implications are discussed in the context of destination brand personality.

Characterization of adenosinergic system in Rett syndrome

Tese de mestrado, Neurociências, Faculdade de Medicina, Universidade de Lisboa, 2015

Habiter l’enfance approche de l’habitat dans les premiers récits d’Eugène Savitzkaya

L‘auteur entreprend l‘approche de l‘importance particulière du rapport aux espaces habités ou inhabités dans l‘imaginaire et la construction narrative des textes fictionnels de l‘écrivain belge francophone contemporain Eugène Savitzkaya de Mentir (1977) jusqu‘à En vie (1994). Il s‘agit de souligner la pertinence de l‘habitat en tant que support des imaginaires de l‘enfance et de la poétisation du quotidien. L‘espace s‘avère en effet un repère symbolique et poétique chez Savitzkaya ; ce qui lui permet de s‘exprimer et d‘exprimer son enfance sur un mode autofictionnel.

Desenvolvendo o pensamento algébrico no 2.º ciclo do ensino básico: o sentido dos símbolos e da generalização

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de mestre em Educação Matemática na Educação Pré-escolar e nos 1.º e 2.º Ciclos do Ensino Básico

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Relação entre qualidade da quditoria e manipulação de resultados

A presente dissertação tem como objetivo analisar se existe relação entre a manipulação de resultados e a qualidade da auditoria, baseado no estudo do comportamento de determinados “accruals” nas empresas portuguesas não cotadas. Nos diversos estudos existentes sobre o tema “Relação da Qualidade da Auditoria e Manipulação de Resultados”, surgem abordados muitos aspetos, nomeadamente no que respeita às motivações, às formas de manipulação e métodos de deteção que se verifica no campo da auditoria e, este trabalho, pretende abordar se o processo da auditoria é, ou não, eficaz na deteção destas práticas efetuadas pelos gestores, pois isso influencia a confiança naqueles que utilizam a informação financeira. Desta forma, o trabalho pretende basear-se nestas abordagens e complementar visões e conclusões. Neste âmbito, surgem perspetivas e informações que alertam para comportamentos de risco, assim como a sua origem, ou seja, as motivações que provocam esta prática, tanto por parte dos gestores como dos administradores. É nesta perspetiva que este trabalho se enquadra, numa sociedade contemporânea que continuadamente dá exemplos reais e concretos destas práticas. Um ponto é comum, que é o facto de a manipulação dos resultados surgir principalmente pelo motivo dos interesses e motivações por parte dos gestores em conseguirem benefícios. Na tese são abordados os incentivos que levam à manipulação no contexto português, que parecem estar relacionados com o contexto económico e fiscal, onde é desenvolvida a atividade dos agentes económicos. Outra abordagem importante no trabalho é a referência às principais metodologias de detenção da manipulação de resultados, nomeadamente os modelos baseados nos accruals e na distribuição de resultados. O modelo empírico deste estudo consiste numa regressão linear múltipla, com o objetivo de explicar a relação, entre a variável accruals discricionários e as variáveis Big4, a dimensão da empresa, o endividamento, o volume de negócios e a rendibilidade. Para complementar este estudo a análise empírica incidiu sobre 4723 empresas portuguesas não cotadas, a amostra usada foi baseada na base de dados SABI, para um período de análise entre 2011 a 2013. Os resultados encontrados sugerem que existe relação entre a qualidade da auditoria e a manipulação dos resultados concluindo que as empresas auditadas pelas Big4 apresentam accruals discricionários inferiores às restantes empresas.

Elucidating the role of glycans in leucocyte function

RESUMO:O processo de glicosilação é a modificação pós-traducional de proteínas mais comum e está envolvido em vários processos fisiológicos e patológicos. Especificamente, certos perfis glicosídeos estão correlacionados a estados específicos de diferenciação celular, e podem modular vários eventos celulares, como sinalização celular, migração celular e interações hospedeiro-patogénio. Assim sendo, a glicosilação desempenha um papel crucial na modulação de vários processos imunológicos. No entanto, permanece por esclarecer como as estruturas glicosídicas influenciam a imunidade. Especificamente, algumas estruturas glicosídicas terminais que estão modificadas pela ligação de ácido siálico desempenham um papel importante em várias funções do sistema imune, nomeadamente migração leucocitária em contexto de inflamação e ativação de células imunes. Como tal, este trabalho teve como objectivo investigar como a expressão de certos glicanos influencia componentes importantes da resposta imune inata e adaptativa. Este trabalho está dividido em três componentes principais: 1) A imunidade está amplamente dependente da habilidade das células circulantes migrarem para os tecidos inflamados, sendo que a ligação de leucócitos à Eselectina endotelial é o primeiro passo. Assim, nós analisámos a estrutura e função dos ligandos de E-selectina que são expressos pelas células humanas mononucleares de sangue periférico (PBMCs), fornecendo novos conhecimentos para a compreensão dos intervenientes moleculares que mediam a ligação dos monócitos, células CD4+ e CD8+T e células B ao endotélio vascular. Surpreendentemente, os monócitos apresentaram maior capacidade de ligação à E-selectina comparativamente aos linfócitos. Esta observação pode ser explicada pelo facto de os monócitos humanos expressarem, uniformemente, um vasto reportório de glicoproteínas que exibem afinidade de ligação à E-selectina, nomeadamente: as glicoformas do CD43 (CD43E) e do CD44 (HCELL), em adição à já previamente reportada glicoforma da PSGL-1 (CLA). Consistentemente, a diferente capacidade que as diversas populações linfocitárias apresentam de se ligar à E-selectina, está integralmente relacionada com a sua expressão de glicoproteínas com afinidade de ligação à E-selectina. Enquanto que as células CD4+T apresentam uma elevada reatividade à E-selectina, as células CD8+T e B demonstram pouca ou nenhuma capacidade de ligação à E-selectina. Esta atividade de ligação à E-selectina das células CD4+T é conferida pela expressão de HCELL, em adição às já previamente reportadas CLA e CD43E. As células CD8+ T não expressam HCELL e apenas expressam pequenas quantidades de CLA e CD43E, enquanto que as células B não expressam ligandos de Eselectina. Mais, a exofucosilação da superfície destas células, levou ao dramático aumento da expressão dos ligandos de E-selectina em todos as populações leucocitárias, verificando-se que a criação de certos ligandos de E-selectina está dependente do tipo de célula, após fucosilação. Colectivamente, estes resultados redefinem o nosso conhecimento acerca dos mecanismos moleculares que governam o tráfico das células mononucleares de sangue periférico em contexto de inflamação. 2) A habilidade das células dendríticas (DCs) para extravasarem em locais de inflamação é crucial para o sucesso da terapia com DCs. Assim, analisámos a estrutura e função das moléculas de adesão que mediam a migração transendotelial (TEM) das DCs. Para isso, foram usadas DCs geradas a partir da diferenciação de monócitos (mo-DCS), obtidos quer pelo métodos de separação imuno-magnética de células CD14+ (CD14-S) ou por isolamento por aderência ao plástico (PA-S). Os resultados obtidos indicam que as glicoformas de ligação à Eselectina de PSGL-1, CD43 e CD44 são expressas pelas CD14-S mo-DCs, enquanto que as PA-S mo-DCs expressam apenas CLA. É importante notar que a ligação do CD44 nas mo-DCs, mas não nas PA-S mo-DCs, desencadeia a ativação e consequente adesão da VLA-4 ao endotélio na ausência de um gradiente de quimiocinas. Procedeu-se também à análise dos ligandos E-selectina expressos em mo-DCs geradas a partir de monócitos do sangue do cordão umbilical (UCB) e, inesperadamente, as UCB mo-DCs não expressam qualquer glicoproteína com reatividade à E-selectina. Além disso, a exofucosilação das mo- DCs humanas utilizando uma α(1,3)-fucosiltransferase aumenta significativamente a expressão de HCELL e, portanto, estas células apresentam uma capacidade aumentada para se ligarem à E-selectina em condições de fluxo hemodinâmico. Estes resultados destacam o papel do HCELL no desencadeamento do TEM das CD14-S mo-DCs e sugerem que estratégias para potenciar a expressão de HCELL poderão impulsionar o recrutamento de mo-DCs para locais de inflamação. 3) Outro obstáculo para alcançar o sucesso promissor de vacinas baseadas em DCs é o estabelecimento de abordagens eficientes que poderão melhorar o estado de maturação e apresentação antigénica das DCs. Por conseguinte, foram investigadas abordagens alternativas que podem superar este obstáculo. Através da remoção de ácido siálico de superfície celular das DCs, conseguiu-se induzir a maturação de DC humanas e de ratinhos. Notavelmente, tanto as DCs humanas como as de ratinho, ao serem desialiladas mostraram uma capacidade aumentada para induzir a proliferação de células T, para secretar citocinas Th1 e para induzir a morte específica de células tumorais. Em adição, as DCs desialiladas apresentam uma maior capacidade de apresentação cruzada de antigénios tumorais às células T citotóxicas. Colectivamente, o presente estudo oferece uma visão chave para optimizar a capacidade das DCs em induzir respostas imunitárias anti-tumorais, e indica que o tratamento com sialidase é uma nova tecnologia para melhorar a eficácia e aplicabilidade das vacinas baseadas em DCs. Coletivamente, os nossos resultados demostram como a glicosilação e a sua manipulação podem modular a imunidade. Concretamente, através de uma reação de exofucosilação conseguimos aumentar fortemente a capacidade de os leucócitos extravasarem para os tecidos afectados, enquanto que a remoção dos níveis de ácido siálico da superfície celular das DCs, induz potentes respostas anti-tumorais mediadas por células T citotóxicas. ---------------------------- ABSTRACT: Glycosylation is the most widely form of protein post-translational modification and is involved in many physiological and pathological processes. Specifically, certain patterns of glycosylation are associated with determined stages of cell differentiation and can modulate processes like cell-signaling and migration and host-pathogen interactions. As such, glycosylation plays a crucial role in the modulation of several immune events. However, how glycans execute this immune-modulation and, therefore, influence immunity is still poorly unknown. Specifically, some terminal sialic acid-modified determinants are known to be involved in several physiological immune processes, including leukocyte trafficking into sites of inflammation and cell immune activation. Therefore, in this work, we sought to investigate more deeply how the expression of these glycosidic structures affects events form both innate and adaptive immune responses. To this end, we divided our work into three main parts: 1) Immunity critically depends on the ability of sentinel circulating cells to infiltrate injured sites, of which leukocyte binding to endothelial E-selectin is the critical first step. Thus, we first analyzed the structure and function of the E-selectin ligands expressed on native human peripheral blood mononuclear cells (PBMCs), providing novel insights into the molecular effectors governing adhesion of circulating monocytes, and of circulating CD4+T, CD8+T and B cells, to vascular endothelium under hemodynamic shear conditions. Strikingly, monocytes show a higher ability to tether and roll on endothelial cells than lymphocyte subsets. This is due to the fact that human circulating monocytes uniformly display a wide repertoire of E-selectin binding glycoproteins, namely the E-selectin-binding glycoforms of CD43 (CD43E) and CD44 (HCELL), in addition to the previously described E-selectin-binding glycoform of PSGL-1 (CLA). In addition, we also observed a differential ability of the different lymphocyte subsets to bind to Eselectin under hemodynamic shear stress conditions, and these differences were highly correlated with their individual expression of E-selectin binding glycoproteins. While CD4+T cells show a robust E-selectin binding ability, CD8+T and B cells show little to no E-selectin reactivity. CD4+T cell potent Eselectin rolling activity is conferred by HCELL expression, in addition to the previously reported E-selectin-binding glycoproteins CD43E and CLA. CD8+T cells display no HCELL and low amounts of CLA and CD43E, whereas B cells lack E-selectin ligand expression. Moreover, enforced exofucosylation of cell surface of these cells noticeably increases expression of functional E-selectin ligands among all leukocytes subsets, with cell type-dependent specificity in the protein scaffolds that are modified. Taken together, these findings redefine our understanding of the molecular mechanisms governing the trafficking patterns of PBMCs that are relevant in the context of acute or chronic inflammatory conditions. 2) The ability of circulating dendritic cells (DCs) to extravasate at inflammatory sites is critical to the success of DC-based therapies. Therefore, we assessed the structure and function of adhesion molecules mediating the transendothelial migration (TEM) of human monocyte derived-DCs (mo-DCs), obtained either by CD14 positive immune-magnetic selection (CD14-S) or by plastic adherence of blood monocytes (PA-S). We report for the first time that the E-selectin binding glycoforms of PSGL-1, CD43 and CD44 are all expressed on CD14-S mo-DCs, in contrast to PA-S mo-DCs that express only CLA. Importantly, CD44 engagement on CD14-S mo-DCs, but not on PA-S mo-DCs, triggers VLA-4-dependent adhesiveness and programs TEM in absence of chemokine gradient. We also analyzed the E-selectin ligands expressed on mo-DCs generated from umbilical cord blood (UCB) monocytes, and unexpectedly, UCB mo-DCs do not express any glycoprotein with E-selectin reactivity. Furthermore, exoglycosylation of human mo-DCs using an α(1,3)-fucosyltransferase significantly increases expression of HCELL, and therefore exofucosylated mo-DCs exhibit an augmented ability to bind to E-selectin under hemodynamic shear stress conditions. These findings highlight a role for HCELL engagement in priming TEM of CD14-S mo-DCs, and suggest that strategies to enforce HCELL expression could boost mo-DC recruitment to inflammatory sites.3) Another obstacle to achieve the promising success of DC-based vaccines is the establishment of efficient approaches that could successfully enhance maturation and cross-presentation ability of DCs. Therefore, we investigated an alternative approach that can overcome this problem. Through removal of sialic acid content from DC cell surface we are able to elicit maturation of both human and mouse DCs. Notably, desialylated human and murine DCs showed enhanced ability to induce autologous T cell to proliferate, to secrete Th1 cytokines and to kill tumor cells. Moreover, desialylated DCs display enhanced cross-presentation of tumor antigens to cytotoxic CD8+ T cells. Collectively, this study offers key insight to optimize the ability of DCs to boost anti-tumor immune responses, and indicates that the treatment with an exogenous sialidase is a powerful new technology to improve the efficacy and applicability of DC-based vaccines. Overall, our findings show how glycosylation and its manipulation can modulate immunity. Concretely, through an exofucosylation reaction we are able to greatly augment the ability of leukocytes to extravasate into injured tissues, while removal of sialic acid moieties from cell surface of DCs, significantly potentiate their ability to induce anti-tumor cytotoxic T cell-mediate responses.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.