A representação da desregulamentação em Flores, de Mario Bellatin

IX Congresso Brasileiro de Hispanistas realizado nos dias 22 a 25 agosto 2016O romance Flores (2001), do autor mexicano Mario Bellatin, permite a reflexão sobre a representação da experiência humana na pósmodernidade. Tanto por seu aspecto aparente, em função de ser uma narrativa elíptica constituída por 36 fragmentos cada um batizado com o nome de uma flor, como pelo seu conteúdo representado, a temática do fragmentário e do informe se faz presente. A narrativa em terceira pessoa conforma o descontinuo, instável e movediço, e este universo caleidoscópico é passível de ser aproximado às definições sobre o pósmoderno de Zigmunt Bauman em sua obra O malestar na pósmodernidade (1995), e de Pósmodernismo, lógica cultural no capitalismo tardio (1999), de Fredric Jameson. A nossa hipótese é de que, o narrador em terceira pessoa, apenas emitindo o que vê, sem estabelecer relações e continuidades, ao negarse a dar sentido, a imagem de homem e mundo que faz surgir destes mosaicos narrativos podem ser vistas como metáforas da condição humana na contemporaneidade, conforme buscaremos demonstrar.UNILA­-UNIOEST

Leveraging Large Language Models to Boost Dafny's Developers Productivity

This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as Dafny, has increased considerably in the last decade, these are still not widely adopted. Often the cost of using such languages is too high, due to the level of expertise required from the developers and challenges that they often face when trying to prove a program correct. Even though Dafny automates a lot of the verification process, sometimes there are steps that are too complex for Dafny to perform on its own. One such case is that of missing lemmas, i.e. Dafny is unable to prove a result without being given further help in the form of a theorem that can assist it in the proof of the step. In this paper, we describe preliminary work on a new Dafny plugin that leverages LLMs to assist developers by generating suggestions for relevant lemmas that Dafny is unable to discover and use. Moreover, for the lemmas that cannot be proved automatically, the plugin also attempts to provide accompanying calculational proofs. We also discuss ideas for future work by describing a research agenda on using LLMs to increase the adoption of verification-aware languages in general, by increasing developers productivity and by reducing the level of expertise required for crafting formal specifications and proving program properties

Discredited legacy: Stigma and familial amyloid polyneuropathy in Northwestern Portugal

Rationale Genetic inherited conditions may result in feelings of stigmatisation, mainly because of visible physical appearance and its transmissibility to offspring. Objective This article reports accounts of stigmatisation from Portuguese patients affected by the inherited neurodegenerative disease, familial amyloid polyneuropathy (FAP), living in the largest cluster of patients worldwide. Method We draw on semi-structured interviews conducted with individuals at-risk or affected by FAP, recruited through the national patients' association, about their experiences of stigmatisation related to the illness. Results Findings highlight the influence of a discrediting social context in the enactment of stigma. FAP was described as a source of devaluation and social distance and was permeated by beliefs of contagion in the community, especially in the past. The multigenerational nature of the illness within small communities was felt as a source of rejection for courtship and of devalued reproductive worth. Decisions to have (potentially affected) children seemed to be a target of implicit negative judgment. Dealing with stigma entailed restraint in talking about FAP especially outside the family, resistance to being treated as different, and social withdrawal. Some participants referred to recent substantial improvements in their social acceptance and a reduction in the intensity of the stigmatisation to which they are subject. Conclusion The pattern of stigma may have changed considerably within the past few decades, as medical information about the disease became more widespread, as new medications have been introduced and as clinical trials of other potential treatments have been established. Our findings report the social consequences of stigma towards this disease group and may help to understand how stigma is experienced in other heritable diseases

AIR ACCESSIBILITY IN NORTHERN CANADA: PROSPECTS AND LESSONS FOR REMOTER COMMUNITIES

This paper assesses the impact of Canada's air transportation policy on air accessibility of remote and arctic communities in a context of liberalization of the aviation industry. The central objective is to examine policy's impact on essential air service - travel and shipment. An observational study of the federal government's National Airports Policy (NAP) of divesting smaller airports to local entities is conducted using airport cases both inside and outside the National Airports System (NAS) covering 12 communities in Ontario (Ont.), Manitoba (Man.), British Columbia (B.C.), Quebec (Que.), the Northwestern Territories (NWT), and Yukon Territory (YT). The paper also evaluates the impact of Airports Operations and Maintenance Subsidy Program (O&MSP) and investigates the impact of several federal government departments in assuring air accessibility to remote areas. It is argued that: (a) local management allows for greater entrepreneurship and leads to some efficiency gains, (b) remote and arctic airports seem to be unable to sustain and operate their infrastructures without receiving local or federal contributions, and (c) Health Canada, Indian and Northern Affairs Canada (INAC), and Inuit organizations, such as the Makivik Corporation through its subsidiaries carriers First Air and Air Inuit, play a significant role in making air travel accessible. It concludes that, although the decentralization strategy and the subsidy mechanisms are benefiting remote communities, Canada's policy success is constrained by its failure to incorporate changing conditions, loss of focus, and flaws in performance evaluation

Aplicação de Superfícies Paramétricas de Grau Dois na Simulação de Processos de Estampagem: Análise de Erro e Performance

A correcta descrição das superfícies de contacto é um factor fundamental para garantir a precisão da solução obtida na aplicação do método dos elementos finitos (MEF), à resolução de problemas que envolvem contacto com atrito. Este tipo de problemas é comum a muitas áreas da mecânica, incluindo a simulação de processos de conformação plástica de materiais. A estratégia mais utilizada para descrever as superfícies é a sua discretização com elementos finitos bidimensionais, devido à sua flexibilidade e simplicidade. No entanto, esta estratégia pode conduzir a problemas de convergência e introduz incorrecções na solução numérica, devido à rugosidade artificial resultante da discretização poliédrica. A recuperação da curvatura das interpolações poliédricas pode ser realizada adoptando superfícies Nagata para a descrição das superfícies de contacto, com a vantagem de estas utilizarem o grau mínimo necessário. Tal garante a simplicidade dos algoritmos de gestão de contacto com atrito. Este trabalho foca-se na avaliação do erro cometido pela interpolação com superfícies Nagata, na descrição de geometrias elementares (cilindro, cone, esfera e toróide), em função da tipologia da discretização poliédrica e da dimensão média dos elementos finitos. Para cada geometria é avaliado o erro geométrico e o erro do vector normal, de modo a optimizar a discretização a adoptar, em função do erro admissível. A influência da descrição adoptada para as superfícies de contacto nos resultados de simulação numérica de processos de conformação é avaliada recorrendo à equivalência entre as superfícies Nagata quadrangulares e de Bézier de grau dois. Todas as simulações numéricas são realizadas com o programa DD3IMP que, actualmente, adopta superfícies Bézier na descrição das ferramentas. São estudados 3 exemplos de complexidade crescente: indentação esférica, flexão cilíndrica livre e a estampagem de uma taça em cruz. Para cada exemplo é construído um modelo de ferramenta com superfícies Bézier de grau variável, o qual apresenta um reduzido erro geométrico. Este é utilizado como referência na comparação dos modelos que utilizam apenas superfícies de grau 2. Verifica-se que uma escolha correcta da discretização, apoiada na estratégia apresentada neste trabalho para superfícies simples, conduz a resultados numéricos de igual precisão, qualquer que seja o grau adoptado para as superfícies Bézier

Comparing Air Transport Policies for Small Remote Communities: U.S.A., Canada, Portugal, Spain and Brazil

This paper examines the regulatory status in the aviation industry, and the efforts of the U.S.A., Canada, Portugal, Spain and Brazil to adopt air transport policies and mechanisms to provide their populations with universal accessibility. A systems engineering grounded theory approach and a cross-national case-based comparison framework are used to look at the impacts of different policies and mechanisms on the air service to small remote communities. It is found that the success of a policy design critically depends on five factors: 1) the joint support of infrastructure investment, maintenance and operations and air services; 2) governments’ ability to promote competition and protect passengers in markets where competition does not exist; 3) the operating carrier’s choice of business model, technology for thin routes, and network; 4) political interest; and 5) local participation. Based on the evaluation of policy designs and assessment of policies in five substantially different national contexts and interviews with several stakeholders, the authors provide insights and suggest recommendations in small remote air transport policy for policy makers and practitioners. The recommendations are applicable to other countries reforming their aviation industries

Contributo para a implementação de um sistema de gestão de qualidade, segundo a Norma NP EN ISSO 9001:2015, na empresa Success Work Empresa de um Trabalho Temporário, Lda

O presente trabalho demonstra o contributo prestado na implementação de um Sistema de Gestão da Qualidade na empresa Success Work – Empresa de Trabalho Temporário Lda., segundo a norma NP EN ISO 9001:2015. Nos dias de hoje, a implementação de um sistema de gestão da qualidade ganha cada vez mais adeptos, a sua importância é reconhecida por empresas que procuram atingir benefícios relacionados com produtividade, clientes, qualidade de P&S e processos. Desta forma, para obter a certificação, as organizações têm que cumprir os requisitos do referencial e estruturar a sua organização para o efeito. Coexiste a necessidade de o mesmo ser definido de forma clara, organizada, completa e atualizada. A decisão de implementação de um Sistema de Gestão da Qualidade partiu da Gestão da SW. A concorrência no mercado, as exigências dos seus clientes, a imagem e reputação da organização, foram fatores que depois de analisados, contribuíram para a decisão que esta implementação levaria a uma melhoria da posição da SW no mercado do trabalho temporário e consolidaria a sua presença junto dos seus clientes. Apesar do sistema não estar implementado na sua totalidade, este trabalho serve para explicar o que foi feito até ao momento e explorar os requisitos de norma que já se encontram executados

O processo de dádiva de sangue do dador de primeira vez no Hospital do Espírito Santo - Évora, EPE : satisfação e retorno para a dádiva seguinte

RESUMO - Introdução: Com este trabalho, pretendeu-se averiguar em que medida a satisfação no processo de dádiva de sangue afeta o regresso dos dadores que doam pela primeira vez na vida, ou que se apresentaram pela primeira vez no Serviço de sangue do HESE. Material e métodos: Estudo observacional transversal descritivo. Dos dadores com uma única inscrição no período de 2011 a 2012 inclusive, (531+541 dadores) foram retirados os que entretanto completaram 66 anos (idade limite para a dádiva); os que não tinham contacto telefónico válido; e os que tinham morada fora do Distrito de Évora. Os dadores restantes (327 + 330 dadores), foram então inquiridos através de um questionário efetuado telefonicamente para determinar as causas de não regresso. Resultados: Obtiveram-se 360 respostas válidas ao questionário, correspondentes a 50% da amostra com um IC de 95%. Apesar de estar amplamente demonstrado que a satisfação na dádiva contribui decisivamente para o retorno à dádiva seguinte, apenas 12% da amostra referiu não regressar por algum motivo de insatisfação decorrente do processo de dádiva. Evidentemente, o mérito destes resultados é devido à equipa do Serviço de Imunohemoterapia do HESE. Porém uma outra realidade fica aqui patente, os dadores de primeira vez estão a decrescer há vários anos, e destes, os que regressam são cada vez menos. A manter-se esta tendência, a taxa de renovação da bolsa de dadores poderá tornar-se insuficiente para a manutenção da atual bolsa de dadores. Se o HESE conseguisse recuperar para a dádiva metade da amostra de dadores de primeira vez que não regressam, a sua autonomia em termos de consumo de sangue sairia reforçada, com o incremento de proveitos financeiros consequente. Conclusão: Este trabalho concretiza os objetivos a que se propôs, nomeadamente o de produzir conhecimento útil e de suporte à decisão no âmbito da administração hospitalar. O HESE tem agora ao seu dispor, a caraterização dos dadores de primeira vez e a descrição de como se está a processar a renovação da sua bolsa de dadores.ABSTRACT - Introduction: In this study, I have been seeking to determine to what extent blood donors are satisfied with the blood donation in order to return after their first time in HESE Blood Center. Materials and methods: A descriptive cross-sectional observational study. From Donors with a single entry in the period between 2011 and 2012 inclusive, (541+531 donors) have been removed those, in the meantime, because they have reached 66 years, (upper age limit for donation) those who had no valid telephone contact number, address, as well as those living outside the District of Évora. The remaining donors (327 + 330 donors), have been questioned by telephone, so as to obtain the reason for not returning to this blood center. Results: A survey of 360 effective questionnaires was carried out by telephone, which means 50% of the sample with a CI of 95%. Although it is widely demonstrated that satisfaction in the donation contributes decisively for the next donation, only 12 % referred not to return for some reason of dissatisfaction resulting from the donation process. Of course, the merit of these results is due to the Blood Center of HESE team. But another reality is clear, first time donors are decreasing over the years, and it is noticeable that they are returning, less and less. If this trend continues, the rate of renewal of the grant donors may become insufficient to maintain the current grant donors. If HESE could recover half of the sample of first time donors who did not return, it’s autonomy in terms of blood consumption, would be enhanced, embodied as well as an increase in financial income. Conclusion: This work reveals the aims that it has set itself. It produces useful knowledge and decision support within the hospital administration. The HESE now has at its disposal, the characterization of first time donors and description of how it is processing the renewal of their grant donors

Empowering staff in dementia long-term care: A psychoeducational approach

Sem resumo disponível.publishe