2,917 research outputs found

    Topological models of concurrency

    Get PDF
    Dissertação de mestrado em Mathematics and ComputationConcurrency theory is the domain of theoretical computer science that deals with systems of simultane ously executing processes. Concurrent systems can be modeled mathematically in many different ways. It turned out relatively recently that directed algebraic topology can be used as a framework for concurrency theory. This dissertation studies the principal topological models of concurrency, namely partially ordered spaces, d-spaces and precubical sets. These models are used to provide semantics for a class of concur rent programs, called simple concurrent PV-programs. Additionally, we propose and implement several algorithms that calculate the mentioned semantics and address doomed and unreachable states/regions.A teoria da concorrência é o domínio da ciência da computação teórica que estuda sistemas de processos em execução simultânea. Os sistemas concorrentes podem ser modelados matematicamente de muitas formas diferentes. Descobriu-se, há relativamente pouco tempo, que a topologia algébrica dirigida pode ser usada como uma framework para a teoria da concorrência. Esta dissertação estuda os principais modelos topológicos de concorrência, nomeadamente espaços parcialmente ordenados, d-espaços e conjuntos pré-cúbicos. Estes modelos são usados para dar semântica a uma classe de programas concor rentes, chamados programas PV simples. Adicionalmente, propomos e implementamos vários algoritmos que calculam as semânticas mencionadas e abordam estados/regiões doomed e unreachable.This dissertation was financed by a research fellowship (23/ECUM/CMAT-UIDB/00013/2020 [Project BI2022-H]) attributed and funded by the Centre of Mathematics, School of Science, University of Minho and the Portuguese Foundation for Science and Technology

    Equity research Sonae SGPS S.A. : structural approach to Sonae’s probability of default

    Get PDF
    Mestrado Bolonha em FinançasThe present document consists of an Equity Research report on Sonae SGPS, S.A. (SON). This report was used for the local Portuguese CFA Institute Research Challenge and obtained a 2nd place. Please note that this report contains solely public information until the 14/01/2021. In addition to the standard format chosen, this report has an additional chapter in which it employs a structural approach to Sonae’s Probability of Default. Three different approaches, using different parameters and assumptions are tested on Sonae to arrive at a range of Probability of Default for the conglomerate. SON is a Portuguese conglomerate, comprised of eight business units (BU) that range from food and non-food retail to commercial real estate and telecommunications. To value the conglomerate this report uses a Sum-of-the-Parts approach, where a discounted cash flow analysis was developed for most of the business units, thoroughly reflecting its different value drivers. The valuation yielded a buy recommendation with a price target of 1.25€/sh for 2021YE, with an upside potential of 75% from the January 15th 2021 closing price of 0.71€, with a medium to low risk. To support the base case of the report, other methods were also used, such as Relative Valuation.info:eu-repo/semantics/publishedVersio

    Evidence from oil-producing countries

    Get PDF
    The economies of oil-producing countries are known for their peculiarities. This study analyses the causal relationship between human development and economic growth in oil-producing countries. The model comprises variables such as gross domestic product, human development index, oil rents, exports of goods and services, the ratio of oil production to oil consumption and oil prices. The sample consists of 15 countries and a period from 1990 to 2016. The autoregressive distributed lag (ARDL) model was used to analyse the dynamic short- and long-run relationships between variables. The Driscoll-Kray estimator proved to be adequate to deal with the panel's characteristics. The results reinforce the importance that human development plays in economic growth both in the short and long run and support the hypothesis of a resource curse.As economias dos países produtores de petróleo são conhecidas pelas suas particularidades. Neste estudo é analisada a relação causal entre o desenvolvimento humano e o crescimento económico em países produtores de petróleo. O modelo compreende variáveis como o produto interno bruto, índice de desenvolvimento humano, as rendas de petróleo, as exportações de bens e serviços, o rácio produção consumo de petróleo e os preços de petróleo. A amostra é composta por 15 países e um período temporal de 1990 a 2016. Foi utilizado o modelo autorregressivo com desfasamento distribuído (ARDL), para analisar as relações dinâmicas de curto e longo prazo entre as variáveis. O estimador Driscoll-Kray mostrou-se adequado para lidar com as características do painel. Os resultados reforçam a importância que desenvolvimento humano desempenha no crescimento económico tanto a curto e como a longo prazo e apoiam a hipótese de maldição dos recursos

    O museu das bandeiras - muban da cidade de goiás- brasil: espaços não formais na educação em ciências

    Get PDF
    Partindo da compreensão de que o ensino não deve ficar preso a uma única metodologia, e da necessidade de atender aos diferentes processos de aprendizagens, a formação de professores deve contemplar estas diferenças e acontecer em múltiplos espaços. Assim, o professor adquire saberes relativos à profissão que lhe possibilitem desenvolver diferentes ações. Nessa linha de pensamento, procuramos potencializar os Museus, numa perspectiva de uma formação profissional e de estratégias de ensino de conteúdos científicos. O Museu das Bandeiras, na cidade de Goiás –GO, é o espaço não formal em foco, que permite em meio as abordagens históricas apresentadas no mesmo levantar conteúdos e relações com o conhecimento cientifico e cultural para cada parada temática e ambiente disponível

    Impedance Cardiography in the Evaluation of Patients with Arterial Hypertension

    Get PDF
    Arterial hypertension is responsible for high morbidity and mortality. Despite increasing awareness of the consequences of uncontrolled hypertension and the publication of several recommendations and guidelines, blood pressure control rates are suboptimal, and approximately half of the patients do not reach the targets. Defined as an increase in blood pressure, hypertension is characterized by hemodynamic abnormalities in cardiac output, systemic vascular resistance, or arterial compliance. Therefore, the approach to arterial hypertension can be improved by the knowledge of the hemodynamics underlying the blood pressure increase. Impedance Cardiography has emerged as a new strategy to customize therapy and monitor patients aiming to improve blood pressure control according to the hemodynamic profile, rather than a blind intensive care approach. This is a review of impedance cardiography evidence, its benefits, actual and future applications in the approach and management of arterial hypertension.publishersversionpublishe

    Palco de batalha: formação e intervenção profissional em Educação Física nas décadas 1980 e 1990

    Get PDF
    This article aims to review the history of the field of formation and professional intervention in Physical Education throughout the 1980s and 1990s, justifying how the power relations, born from the clash between the constitutive groups of civil society in the area, configure a battle stage, which expresses the contradiction between a conception of formation and intervention oriented towards the socialization of corporal culture and another oriented towards its privatization. The first topic deals with the historical determinations for the first decade mentioned, understanding how teacher formation was invaded by the regulation of the profession. The second topic, for the historical determinations for the second decade mentioned, deals with the crowning of the regulation of the profession. The considerations show, based on the notion of uncertainty, the arrival point of the field studied for the aforementioned decades studied, as well as presenting some developments, observed in the new century.Este artigo pretende colocar em revista a história do campo da formação e intervenção professional em Educação Física ao longo das décadas de 1980 e 1990, justificando como as relações de forças, nascidas do embate entre os grupos constitutivos da sociedade civil da área, configuram um palco de batalha, que imprime a contradição entre uma concepção de formação e intervenção orientada à socialização da cultura corporal e outra orientada a sua privatização. O primeiro tópico trata das determinações históricas para a primeira década mencionada, compreendendo como nela a formação de professores é invadida pelo tema da regulamentação da profissão. O segundo tópico trata das determinações históricas para a segunda década mencionada e do coroamento da regulamentação da profissão. As considerações definem, a partir da noção de incerteza, o ponto de chegada do campo estudado para essas décadas e apresentam alguns desdobramentos, observados no novo século

    Comunicação e educação ambiental ecosófica: as imagens como possibilidade poética para o desenvolvimento comunitário

    Get PDF
    When a community university enables the creation of environmental education processes through collaborative educommunication activities (with images) that involve several social groups in order to provide them with access to their right to communication, the question that arises is how can the communicational perspective, which values collective knowledge, point towards a poetic possibility for community development? The objective of this study is to reflect upon the contribution of collaborative communication to development processes. Bibliographical research provides support to the reflections upon the research-intervention that generated the co-creation 28 amateur films. The contributions of Cultural Studies, Community Communication, and Educommunication are used as theoretical references. The processes built collaboratively have enabled community development in the field of Communication, exploring the creative possibilities offered by audiovisual media, which led to new perspectives about the participants themselves and the use of media, about being and acting in groups, and about the environment we inhabit.Cuando una universidad comunitaria posibilita la creación de procesos de educación ambiental a través de actividades colaborativas de educomunicación (utilizando imágenes), que involucran a diversos grupos sociales, con el fin de promover el acceso al derecho a la comunicación de los grupos sociales, la pregunta es ¿cómo la perspectiva comunicacional, que valora el conocimiento colectivo, puede apuntar a una posibilidad poética para el desarrollo comunitario? El objetivo del artículo es reflexionar sobre la contribución de la comunicación colaborativa a los procesos de desarrollo. La investigación bibliográfica apoya las reflexiones sobre la investigación-intervención que generó la experiencia de co-creación de 28 películas de aficionados. Las referencias teóricas se toman de los aportes de los Estudios Culturales, la Comunicación Comunitaria y la Educomunicación. Los procesos construidos colaborativamente posibilitaron el desarrollo comunitario desde el campo de la Comunicación, explorando las posibilidades creativas que ofrecen los audiovisuales, que se reflejaron en nuevas miradas sobre sí mismos y los usos de los medios, sobre el ser y el hacer en grupo y sobre el entorno habitado.Quando uma universidade de caráter comunitário possibilita a criação de processos de educação ambiental por meio de atividades colaborativas de educomunicação (com uso de imagens), que envolvem diversos grupos sociais, a fim de promover o acesso ao direito à comunicação a grupos sociais, questiona-se como a perspectiva comunicacional, que valoriza os saberes coletivos, pode apontar para uma possibilidade poética para o desenvolvimento comunitário? O objetivo do artigo é refletir sobre a contribuição da comunicação colaborativa para os processos de desenvolvimento. A pesquisa bibliográfica apoia as reflexões sobre a pesquisa-intervenção que gerou a experiência de co-criação de 28 filmes amadores. Tomam-se como referenciais teóricos as contribuições dos Estudos Culturais, da Comunicação Comunitária e da Educomunicação. Os processos construídos colaborativamente possibilitaram o desenvolvimento comunitário a partir do campo da Comunicação, explorando as possibilidades criativas que os audiovisuais oferecem, os quais refletiram-se em novos olhares sobre si e os usos das mídias, sobre o estar e o fazer em grupo e sobre o ambiente habitado
    corecore