Comunicação, concorrência e processos

Texto de apoio escrito no âmbito da disciplina de Opção I - Processos, Objectos e Comunicação (1994/95), leccionada à Lic. em Matemática e Ciências de Computação

A gestão de sintomas do doente em tratamento por Quimioterapia e os métodos de informação utilizados pelos enfermeiros

Introdução: O diagnóstico de cancro está frequentemente associado a tratamentos prolongados, dolorosos, em que a gestão dos sintomas dos efeitos secundários é difícil e por vezes devastadora. Os enfermeiros que prestam cuidados em hospital de dia de quimioterapia caracterizam-se pela avaliação e intervenção rápida de forma a dar resposta, num curto espaço de tempo, às necessidades reais/potenciais do doente (Glennon, 2005). Importa, por isso, saber e procurar optimizar a forma como o fazem. Objetivo: Conhecer e comparar estudos de qualidade que permitam, identificar métodos de informação utilizados pelos enfermeiros que contribuem para a gestão de sintomas dos doentes em tratamento por quimioterapia. Metodologia: Foram incluídos 7 estudos seleccionados a partir da pesquisa em bases de dados electrónicas (EBSCO), com diferentes desenhos de investigação, em que os participantes eram todos doentes com cancro em tratamento por quimioterapia. Resultados: Os vários métodos de informação utilizados pelos enfermeiros na gestão dos sintomas dos doentes em quimioterapia revistos nesta revisão mostraram alguma eficácia no controlo dos sintomas, e são uma mais-valia no processo de comunicação/educação entre o enfermeiro/doente. Devem ser, no entanto, um complemento e não um substituto no processo de cuidados. Conclusões: A eficácia da gestão dos sintomas do doente em tratamento por quimioterapia depende das intervenções de enfermagem nomeadamente na utilização de vários métodos de colheita de informação. A utilização de dispositivos de multimédia pode contribuir positivamente para melhorar o impacto de efeitos secundários relacionados com o tratamento. Isto sugere, que as necessidades educacionais e de informação dos doentes são imensas, com impacto na capacidade do indivíduo para compreender como e quando iniciar estratégias recomendadas para o auto cuidado. Os enfermeiros devem, desenvolver estratégias para optimizar os cuidados ao doente convertendo-se num elemento fundamental na garantia da qualidade de vida

Capacitar o cuidador do doente oncológico com doença avançada, para a gestão da dor no domicílio, através de um Programa educacional

Introdução: Um programa educacional de intervenções de enfermagem direccionado ao cuidador, relativamente à gestão da dor poderá ter resultados no controlo da dor do doente oncológico em domicílio. Objetivo: Conhecer e analisar estudos sobre a temática “Programa educacional ao cuidador do doente oncológico com dor no domicílio”. Metodologia: No planeamento e condução desta Revisão Sistemática foi utilizada a metodologia PICO(D). Foram seleccionados a partir da pesquisa em bases de dados electrónicas (EBSCO), cinco estudos, um de natureza qualitativa, outro de natureza quantitativa e um secundário RSL, posteriormente e após analisar o estudo de revisão sistemática da literatura incluíram-se dois estudos experimentais, cuja população não era o cuidador, mas sim o doente oncológico Resultados: Existem alguns trabalhos que apresentam dados sobre o desenvolvimento de programas educativos como intervenção de enfermagem, nomeadamente como deverá ser desenvolvido este programa e como poderão ser avaliados os resultados. Não foram encontrados estudos primários relativamente à eficácia dum programa educativo ao cuidador do doente oncológico com dor no domicílio. Foram encontrados dois estudos que comprovam a eficácia dum programa educacional, mas aplicado ao doente oncológico no domicílio, este programa educativo, poderá vir a ser desenvolvido com o cuidador. Os estudos primários e secundários, comprovam as necessidades de informação e apoio por parte do cuidador na gestão e controlo da dor. Conclusões: Foram identificadas no cuidador do doente oncológico com dor no domicílio, necessidades de informação, treino e apoio de enfermagem. O familiar cuidador do doente oncológico com doença avançada e dor no domicílio é um elemento muito importante na equipa de saúde. Um programa educacional de gestão da dor, estruturado e formalizado, que vá de encontro às necessidades apresentadas pelo cuidador e que seja aplicado de forma gradual, contribui para o envolvimento do cuidador na gestão da dor e capacita o mesmo para o auto cuidado. Palavras chave: Dor, Cuidador, programas educativos, doente oncológico Referências bibliográficas: Jung-Eun, K., Dodd, M., West, C., Paul, S., Facione, N., Schumacher, K., & ... Miaskowski, C. (2004). The PRO-SELF© Pain Control Program Improves Patients' Knowledge of Cancer Pain Management. Oncology Nursing Forum, 31(6), 1137-1143. doi:10.1188/04.ONF.1137-1143 Kim,J.,Dodd,M.,West,C.,Paul,S.,Facione,N.,Schumacher,K.,&...Miaskowski,C.(2004).ThePRO-SELF pain control program improves patients' knowledge of cancer pain management. Oncology Nursing Forum, 31(6), 1137-1143. Retrieved from EBSCOhost. Tsigaroppoulos, T., Mazaris, E., Chatzidarellis, E., Skolarikos, A., Varkarakis, I., & Deliveliotis, C. (2009). Problems faced by relatives caring for cancer patients at home. International Journal Of Nursing Practice, 15(1), 1-6. Retrieved from EBSCOhost. Vallerand, A., Riley-Doucet, C., Hasenau, S., & Templin, T. (2004). Improving cancer pain management by homecare nurses. Oncology Nursing Forum, 31(4), 809-816. Retrieved fro

Foundational certification of data-flow analyses

Data-flow analyses, such as live variables analysis, available expressions analysis etc., are usefully specifiable as type systems. These are sound and, in the case of distributive analysis frameworks, complete wrt. appropriate natural semantics on abstract properties. Applications include certification of analyses and "optimization" of functional correctness proofs alongside programs. On the example of live variables analysis, we show that analysis type systems are applied versions of more foundational Hoare logics describing either the same abstract property semantics as the type system (liveness states) or a more concrete natural semantics on transition traces of a suitable kind (future defs and uses). The rules of the type system are derivable in the Hoare logic for the abstract property semantics and those in turn in the Hoare logic for the transition trace semantics. This reduction of the burden of trusting the certification vehicle can be compared to foundational proof-carrying code, where general-purpose program logics are preferred to special-purpose type systems and universal logic to program logics. We also look at conditional liveness analysis to see that the same foundational development is also possible for conditional data-flow analyses proceeding from type systems for combined “standard state and abstract property” semantics.Fundação para a Ciência e a Tecnologia (FCT

Navegar é preciso...

Introdução simples à situação actual das redes de computadores em Portugal, assim como à rede Internet e aos protocolos de comunicação mais utilizados nessa rede (telnet, ftp, finger, mail, gofer, http, ...). Os destinatários são todas as pessoas que pretendam iniciar-se ou aprender mais qualquer coisa sobre os "segredos" da comunicação e navegação numa rede de computadores

Constructor subtyping

Constructor subtyping is a form of subtyping in which an inductive type A is viewed as a subtype of another inductive type B if B has more constructors than A. Its (potential) uses include proof assistants and functional programming languages. In this paper, we introduce and study the properties of a simply typed lambda-calculus with record types and datatypes, and which supports record subtyping and constructor subtyping. In the first part of the paper, we show that the calculus is confluent and strongly normalizing. In the second part of the paper, we show that the calculus admits a well-behaved theory of canonical inhabitants, provided one adopts expansive extensionality rules, including eta-expansion, surjective pairing, and a suitable expansion rule for datatypes. Finally, in the third part of the paper, we extend our calculus with unbounded recursion and show that confluence is preserved.(undefined

Making regulatory mechanisms work : lessons from cases of Private Sector Participation

This paper is about the regulation of private sector participation (PSP) in public water utilities. Using case studies from Argentina, Chile and the United Kingdom, it identifies and discusses the regulatory mechanisms that have been introduced and the issues surrounding information access, price and service quality regulation. The paper also analyses what measures have been implemented in these three cases in order to achieve regulatory accountability, independence and an adequate level of financial and human resources. The method adopted was case survey including the analysis of official regulatory documents and other relevant material and validation by an expert panel. It investigates the conditions that are necessary for regulatory mechanisms to be implemented and operated effectively in each context, and draws out some general conclusions for areas of improvement