Session Kotlin: A hybrid session type embedding in Kotlin

Concurrency and distribution have become essential for building modern applications. However, developing and maintaining these apps is not an easy task. Communication errors are a common source of problems: unexpected messages cause runtime errors, and mutual dependencies lead to deadlocks. To address these issues, developers can define communication protocols that detail the structure and order of the transmitted messages, but maintaining protocol fidelity can be complex if carried out manually. Session types formalize this concept by materializing the communication protocol as a type that can be enforced by the language’s type system. In this thesis we present the first embedding of session types in Kotlin: we propose a Domain-Specific Language (DSL) for multiparty ses- sion types that lets developers write safe concurrent applications, with built-in validation and integrating code generation in the language’s framework.A concorrência e a distribuição têm-se tornado essenciais na construção de aplicações modernas. No entanto, desenvolver e manter estas aplicações não é tarefa fácil. Erros de comunicação são uma fonte comum de problemas: mensagens inesperadas causam erros durante a execução de código, e dependências mútuas levam a deadlocks. Para resolver estas questões, é tipico definir protocolos de comunicação que detalham a estrutura e a ordem das mensagens transmitidas, mas garantir o seu cumprimento pode ser complexo se feito manualmente. Os tipos de sessão formalizam este conceito ao materializar o protocolo de comunicação como um tipo que pode ser gerido pelo sistema de tipos da linguagem. Nesta tese apresentamos o primeiro embedding de tipos de sessão em Kotlin: propomos uma Linguagem de Domínio Específica para tipos de sessão com múltiplos participantes que permite aos programadores a escrita de aplicações concorrentes seguras, incorporando validação e integrando a geração de código no framework da linguagem

The Portuguese universal access program to direct-acting antivirals (Sovaldi® and Harvoni®) for the treatment of Hepatitis C : a financial analysis of the first 2 years

Nowadays, 350.000 people die annually due to the direct or indirect action of the Hepatitis C virus, responsible for many acute and chronic hepatitis worldwide and their further progression to more severe diseases like Hepatic Cirrhosis and Hepatocellular Carcinoma. Portugal is no exception as 150.000 people are estimated to be infected with related deaths up to 1.200 annually. Two years ago, after Gilead's development of two new drugs - Sovaldi® (Sofosbuvir) and Harvoni® (Sofosbuvir + Ledipasvir) - with treatment success rates around 95%, the Portuguese government took the decision of granting universal access to this drugs to all patients infected with the HCV, regardless of the stage of progression of the disease. The objective of this thesis is therefore to perform an economic analysis of this measure, understanding the impact, costs and benefits for the patients and healthcare system, what conclusions are willing to be taken and how can it influence future deals. The collection of data from the Infarmed press releases as well as previous studies enabled the comparison of the economic profit for the government when treating patients with Sovaldi® / Harvoni® versus Pegylated Interferon and Ribavirin. The results showed that the new therapy is cost-effective, increasing HCV infected patients’ life expectancy while avoiding many severe occurrences.Actualmente, 350.000 pessoas morrem anualmente devido à acção directa ou indirecta do vírus da Hepatite C. Portugal não é excepção, uma vez que se estima que 150.000 pessoas estejam infectadas e que ocorram anualmente 1.200 mortes relacionadas com este vírus. Há dois anos atrás, após o desenvolvimento por parte da Gilead de dois novos fármacos – Sovaldi® (Sofosbuvir) e Harvoni® (Sofosbuvir + Ledipasvir) – com taxas de sucesso de tratamento à volta dos 95%, o governo português tomou a decisão de garantir o acesso universal destes fármacos a todos os pacientes infectados com o VHC, independentemente do estádio de progressão da doença. Esta tese pretende realizar uma análise económica desta medida, tentando calcular o impacto, os custos e os benefícios que pode trazer para os pacientes e para o Sistema Nacional de Saúde, tendo a noção que as conclusões obtidas poderão influenciar decisões futuras. Os dados recolhidos do Infarmed conjugados com o de estudos anteriores permitiram comparar os ganhos económicos para o Estado ao tratar pacientes com Sovaldi® / Harvoni® quando comparado com Interferão Peguilado e Ribavirina. No final, os resultados mostraram que a nova terapia é custo-efectiva, aumentando a esperança média de vida dos pacientes infectados com VHC e permitindo evitar um grande número de ocorrências graves

Impostos especiais de consumo harmonizados na Uni?o Europeia : os procedimentos de comercializa??o

Mestrado em Gest?o das Organiza??es : Ramo de Gest?o de Empresas (parceria com a APNOR) na Escola Superior de Tecnologia e Gest?o do Instituto Polit?cnico de Viana do CasteloA presente disserta??o pretende sistematizar os aspetos mais relevantes dos Impostos Especiais de Consumo harmonizados ao n?vel da Uni?o Europeia. O processo de harmoniza??o na Uni?o Europeia, o qual contribuiu para a elimina??o das barreiras fiscais entre os Estados-membros, visou garantir a exist?ncia da livre circula??o de mercadorias sem descorar, de alguma forma, uma saud?vel concorr?ncia entre operadores econ?micos a n?vel comunit?rio, para tal torna-se necess?rio identificar e definir os formalismos de acesso ao circuito de comercializa??o do regime dos Impostos Especiais de Consumo. A relev?ncia que estes impostos indiretos v?m ganhando na economia e o facto de se encontrarem harmonizados na Uni?o, os quais devem servir o prop?sito fundamental de aproximar a obriga??o tribut?ria do momento e local do consumo, imp?e aos operadores econ?micos uma log?stica muito especifica, por vezes um pouco densa, que deveria merecer uma reflex?o mais aprofundada de forma a reduzir a burocracia, mesmo informatizada, e o grau de especificidade e tecnicidade dos procedimentos, reduzindo a potencial litig?ncia e potenciando novas oportunidades atrav?s da simplifica??o das rela??es comerciais a n?vel comunit?rio.This dissertation aims to systematize the most relevant aspects of harmonized excise duties at European Union level. The harmonization process in the European Union, which contributed to the elimination of tax barriers between Member States, aimed to guarantee the existence of free movement of goods without discouraging, in some way, healthy competition between economic operators at Community level, for this makes it necessary to identify and define the formalisms for access to the commercialization circuit of the excise regime. The relevance that these indirect taxes have been gaining in the economy and the fact that they are harmonized in the Union, which should serve the fundamental purpose of bringing the tax obligation closer to the time and place of consumption requires economic operators to have very specific, sometimes somewhat dense, logistics that should merit further consideration in order to reduce bureaucracy, even computerized, and the specificity and technicality of the procedures, reducing potential litigation and enhancing new opportunities by simplifying trade relations at Community level.Esta tesis pretende sistematizar los aspectos m?s relevantes de los impuestos especiales armonizados a nivel de la Uni?n Europea. El proceso de armonizaci?n en la Uni?n Europea, que contribuy? a la eliminaci?n de las barreras fiscales entre los Estados-miembros, ten?a por objeto garantizar la existencia de la libre circulaci?n de mercanc?as sin desalentar, de alguna manera, la sana competencia entre operadores econ?micos a nivel comunitario, por esto hace que sea necesario identificar y definir los formalismos para acceder al circuito de comercializaci?n del r?gimen de impuestos especiales. La relevancia que estos impuestos indirectos han ido ganando en la econom?a y el hecho de que est?n armonizados en la Uni?n, lo que deber?a servir para el prop?sito fundamental de acercar la obligaci?n tributaria al momento y lugar del consumo, impone una log?stica muy espec?fica a los operadores econ?micos, por ejemplo. a veces un poco denso, lo que deber?a merecer una mayor reflexi?n para reducir la burocracia, incluso computarizada, y el grado de especificidad y tecnicidad de los procedimientos, reduciendo posibles litigios y aumentando nuevas oportunidades al simplificar las relaciones comerciales a nivel comunitario

Resultado contabilístico versus resultado fiscal : estágio na empresa M. Dias, Lda.

Mestrado em Contabilidade e Finanças (parceria com a APNOR) na Escola Superior de Tecnologia e Gestão do Instituto Politécnico de Viana do CasteloO tema escolhido surgiu da necessidade de explorar melhor as diferenças que existem no resultado contabilístico após a interferência da Fiscalidade, para a determinação do resultado fiscal. Assim, pretende-se mostrar de que forma ambos interagem e quais as suas diferenças. Muitos dos utilizadores da informação financeira pensam que o Imposto sobre o Rendimento das Pessoas Coletivas (IRC) deriva diretamente do resultado líquido da empresa, mas, tal não acontece, uma vez que as exigências fiscais alteram de forma significativa esse resultado, sujeitando a empresa a liquidar o imposto perante um conjunto variado de regras fiscais. Através da análise deste tema, procurar-se-á mostrar de que forma a Fiscalidade interfere no resultado da empresa e quais as suas implicações. Nos dias de hoje, um contabilista não pode exercer a sua profissão se não conhecer as exigências fiscais, como por exemplo, a tabela de depreciações. A empresa pode escolher como quer depreciar os seus ativos, porém, só irão ser aceites os gastos com depreciações que cumprirem os requisitos previamente definidos na tabela de depreciações emitidas no Regime de Depreciações e Amortizações do Anexo I e II. A Contabilidade e a Fiscalidade encontram-se interligadas, uma vez que o imposto sobre os lucros depende da relação entre elas. Contudo, não têm objetivos comuns. Na verdade, se, por um lado, a Contabilidade tem como principal objetivo proporcionar informação útil que irá ajudar nas tomadas de decisão sobre a empresa, a Fiscalidade, por seu turno, visa a redistribuição da riqueza, garantindo assim receitas para o Estado combater as despesas públicas. Para uma melhor compreensão do tema escolhido vai ser feito um pequeno estudo exploratório a fim perceber o que os colaboradores da empresa Mdias, Lda. achavam sobre este tema e verificar se as opiniões coincidem com as conclusões que retiradas do estudo empírico. Este estudo foi realizado através de entrevistas individuais aos colaboradores. Ao longo deste trabalho irei apresentar o meu estágio e descrever a entidade promotora. Seguidamente irei enumerar as atividades desenvolvidas, os procedimentos utilizados para a realização das mesmas e descrever as obrigações contributivas.El tema elegido surgió por la necesidad de explorar mejor las diferencias que hay en el resultado contables después de la interferencia de la Fiscalidad, para la determinación del resultado fiscal. Para tal, quiero demostrar de qué forma los dos se relacionan y cuales sus diferencias. Muchos de los utilizadores de la información financiera piensan que el IRC deriva directamente del resultado líquido de la empresa, pero, no sucede, una vez que las exigencias fiscales alteran de forma significativa ese resultado, obligando la empresa a liquidar un impuesto de acuerdo con un conjunto variado de reglas fiscales. Atreves del analice de este tema queremos demostrar de que forma la Fiscalidad irá interferir en el resultado de la empresa y cuales sus implicaciones. En los días de hoy, un contable no puede desempeñar su profesión sin conocer las exigencias fiscales, por ejemplo, las tabellas de depreciación. La empresa puede escoger como quiere depreciar sus activos. Todavía, solo serán reconocidos los gastos con las depreciaciones que cumplan los requisitos impuestos en la tabella de las depreciaciones emitidas pelo Regime de Depreciações e Amortizações do Anexo I e II. La Contabilidad y la Fiscalidad están relacionadas, una vez que el impuesto sobre los lucros depende de la relación entre ellas. Sin embargo, no tienen objetivos comunes, una vez que la Contabilidad tiene como objetivo principal proporcionar información que será útil para las tomadas de decisión sobre la empresa y la Fiscalidad tiene como su principal objetivo la redistribución de la riqueza de forma a combatir los gastos públicos. Para comprehender mejor el tema escogido ha sido hecho un pequeño estudio exploratorio para saber lo que los trabajadores de la empresa Mdias, Lda. piensan sobre este tema y ver si las opiniones son iguales a las conclusiones que hemos tenido en el estudio empírico. Este estudio ha sido echo a través de entrevistas individuales a los trabajadores. Durante este trabajo iré mostrar mi práctica y describir la empresa que he elegido. Después iré enumerar las actividades desarrolladas, los procedimientos utilizados para la elaboración de estas y describir las obligaciones contributivas.The chosen subject occurred by the necessity to explore the differences in the accounting result, after the interference of Taxation to determinate the tax result. Therefore, to show how they interact and the main differences. Many users of financial information think that the IRC is directly related to the net result from the company, however, this does not happen, because the taxes changes considerably these result, forcing the company to pay taxes according to the taxation. Through the study of this subject, it will be shown the way that the Taxation will interfere in the company result and its implications. Nowadays, the accounting can not do his job if he does not know the fiscal rules very well, for example, the Depreciation Table. The company can choose how to depreciate their assets, however, it will only be acceptable the depreciation expenses that are according to the rules defined on the depreciations table, issued on the Regime de Depreciações e amortizações do Anexo I e II. The Accounting and Taxation are related, because the profit depends on the relation between them. But the goals are not the same. Accounting goals are to propose useful information that will be helpful on the management decision. The Taxation main goal is the redistribution of the wealth, therefore, to guarantee the revenue for the State to support public expenses. For a better understanding about the chosen subject, It will be made an exploration study, in order to understand what the co-workers in the company MDias, Lda think about the subject, and match the results with the conclusion of the empirical study made. This study will be made by individual interviews to the co-workers. In this report, will be shown my internship and will be described the company. It will also be presented the developed activities, the procedures used for them to be realized, and described the tax liabilities

A infertilidade e o transplante de tecido ovárico: tradução e glossário

Mestrado em Tradução EspecializadaA questão da infertilidade tem vindo a destacar-se nesses últimos anos, devido à sua crescente incidência nas sociedades ocidentais. No entanto, com a ciência e a tecnologia cada vez mais desenvolvidas, começaram a surgir técnicas inovadoras de tratamento, tomando possível solucionar muitos casos de infertilidade. Dentro das várias técnicas terapêuticas que hoje em dia existem, verifica-se que as mais recentes têm tido pouca divulgação no nosso país. Refiro-me em especial ao transplante de tecido ovárico, relativamente ao qual é notória a escassez de informação disponível em português. Deste modo, este projeto final de Mestrado tem como objetivo ajudar a colmatar esta falta de informação existente, através da tradução de artigos científicos franceses, permitindo, assim, estabelecer uma ligação entre o domínio da Tradução e a área da Saúde. A tradução destes documentos exigiu ainda que se criasse um glossário bilingue, visto a linguagem técnica usada nos textos ser de primordial importância para a divulgação das novas técnicas de tratamento da infertilidade. O presente relatório tem por finalidade mostrar cada uma das fases do trabalho desenvolvido, desde a escolha do tema e dos textos, à sua descrição, às traduções, às dificuldades encontradas, às ferramentas utilizadas, até se chegar a uma reflexão crítica sobre todo o projeto.During the last years the matter of infertility has been emphasized due to its growing incidence on occidental societies. Although, with medicine and technology developing at a growing pace new and innovating treatment techniques provide solutions to many infertility cases. Within the various therapeutic techniques that exist today it is known that the most recent have found little diffusion in our country. In particular I would like to mention the transplant of ovarian tissue, which shows a lack of information available in Portuguese. The aim of my final master's degree project is to bridge this gap of information with the translation of scientific articles from French to Portuguese and so establish a connection between the translation domain and the health field. To perform the translation of these documents the creation of a bilingual glossary was a necessary step. We have to take in consideration the primordial importance of the technical language used in these articles, due to its essential role in the diffusion of new fertility treatment techniques. The aim of the present report is to show each of these steps, from the choice of the subject and texts, its description, translations, difficulties, tools, to a critical reflection of the whole project

BeSmart2: A multicriteria decision aid application

This paper presents an improved version of an application whose goal is to provide a simple and intuitive way to use multicriteria decision methods in day-to-day decision problems. The application allows comparisons between several alternatives with several criteria, always keeping a permanent backup of both model and results, and provides a framework to incorporate new methods in the future. Developed in C#, the application implements the AHP, SMART and Value Functions methods

Conhecimento dos professores de educação física de academias de Palmas quanto aos métodos de treinamento de força

Monografia (graduação)—Universidade de Brasília, Faculdade de Educação Física, Curso de Licenciatura em Educação Física, Universidade Aberta do Brasil, 2012. Curso de Licenciatura em Educação Física a Distância.O objetivo do estudo foi analisar o conhecimento dos professores de Educação Física quanto aos métodos de treinamento de força, buscando conhecer os métodos prescritos para alunos em fase inicial e na progressão do treino relacionando-os com os métodos existentes na literatura. A pesquisa é do tipo estudo de caso, transversal, com característica de delineamento descritivo e observacional, realizada através da aplicação de questionários para identificação da titulação e identificação dos métodos conhecidos e utilizados pelos professores. Na coleta de dados foram utilizadas fichas contendo questionários que contemplam as indagações necessárias para o conhecimento objetivado nesta pesquisa. Em relação aos resultados do presente estudo, foi verificado que os professores pesquisados conhecem 40% dos métodos de treinamento de força existentes. Além disso, 50% dos métodos citados pelos professores não são encontradas na literatura, o que mostra que os participantes do estudo demonstram ter conhecimento dos métodos de treinamento de força existentes na literatura, porém em baixo percentual portanto, parece existir a necessidade de formação continuada após a graduação com vistas aumentar o conhecimento a cerca dos conteúdos abordados em sua formação, o que poderá contribuir com a melhora da qualidade profissional

CUIDADOS DE ENFERMAGEM NO USO DE OPIÓIDES NO PÓS-OPERATÓRIO DE ARTROPLASTIAS TOTAIS DE QUADRIL

The present work is the result of quantitative research. Its objectives are to relate the daily duties of the nursing team as well as their knowledge relating to nursing care in the administration of opioids in the post-operatory of total hip artroplasty. It shows that training strategies need to be repeated and new evaluation must take place. The research reveals significant diagnosis for the improvement of assistance and reduction of risks to patients.O presente trabalho é resultado de pesquisa quantitativa, usando como método descrição exploratória, cujo objetivo é relatar o cotidiano da equipe de enfermagem bem como seus conhecimentos quanto aos cuidados de enfermagem relativos à administração de opioides no pós-operatório de artroplastias totais de quadril. Os resultados evidenciam que as estratégias de treinamento precisam ser repetidas e nova avaliação deverá ser implementada. Destaca-se, ainda, que a pesquisa revela diagnósticos significativos da realidade para o aprimoramento da assistência, diminuição de riscos aos pacientes e outras direções às ações de cuidados de enfermagem

Publicações científicas eletrônicas no Brasil : mudanças na comunicação formal, também?

A edição do artigo foi feito em colaboração com Departamento de Ciência da Informação e Documentação da Faculdade de Estudos Sociais Aplicados da Universidade de Brasília (CID/UNB), que atualmente possui o título de Faculdade de Ciência da Informação/ UnB.Apresenta resultados de um estudo exploratório que visou à identificação da ocorrência de publicações eletrônicos (periódicos, livros e anais de congressos) produzidos no âmbito de instituições acadêmicas (universidades e sociedades científicas) no Brasil. Discorre, de forma sucinta e com base na literatura recente, a respeito questões consideradas relevantes sobre desenvolvimentos da tecnologia de informação empregada em publicações eletrônicas, a questão da adoção de inovações e o processo de revisão pelos pares. Comenta as mudanças na comunicação formal (publicação) em comparação aos impactos já verificados na comunicação informal, à luz de um modelo híbrido do processo de comunicação que ilustra a coexistência dos meios impresso e eletrônico no cenário atual. Os resultados do estudo mostram baixa adoção das tecnologias de informação na comunicação formal entre pesquisadores acadêmicos no Brasil (poucas publicações produzidas). A maior parte das publicações disponibilizadas constituem versões eletrônicas de publicações impressas e ocorrem na área das ciências naturais, com uma significativa participação do Scielo nesse processo. Além disso, parece não haver ainda no país a exploração inteligente das tecnologias disponíveis para a produção de publicações eletrônicas, e o processo de revisão pelos pares, tal como se dá no modelo impresso, constitui igualmente questão fundamental nesse novo cenário. ___________________________________________________________________________________ ABSTRACTResults of an exploratory study which aimed to identify the occurrence of electronic publications (journals, books and conference proceedings) produced by academic institutions (universities and learned societies) in Brazil are presented. Relates, in the light of the recent literature, technology developments for electronic publishing, the issue of innovation adoption and the peer review process. Some comments on changes on the formal communication (publishing) as compared to impacts already perceived on the informal communication are presented, on the basis of a hybrid communication model that depicts the co-existence of the print and electronic media nowadays. The research data gathered in the study show that there is a low adoption of information technology in formal communication amongst academic researchers in Brazil. Most of the publications found constitute an electronic version of a print-on-paper one, and are from disciplines in the sciences. There has been a significant role played by Scielo in this process. Moreover, it seems that there has not been a fully exploitation of the technology already available to electronic publishing in the country so far. The peer review process, as it happens in the print-based communication model, is also an essential issue in this scenario