The Algebra of Directed Acyclic Graphs

We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract dags with input/output interfaces. Our development provides an initial-algebra semantics for dag structure

Functionally Graded Media

The notions of uniformity and homogeneity of elastic materials are reviewed in terms of Lie groupoids and frame bundles. This framework is also extended to consider the case Functionally Graded Media, which allows us to obtain some homogeneity conditions.Comment: 20 pages, 5 figure

Hemangioma rubi: doença ou simples achado? = Cherry hemangioma: disease or just a simple finding?

Objetivos: Realizar revisão da literatura sobre os hemangiomas rubi (HR) e verificar qual seu significado clínico. Fonte de dados: Revisão da literatura nacional e internacional, através de pesquisa de livros de referência e artigos indexados no Medline, Scielo e LILACS. Síntese dos dados: Os HR têm elevada prevalência na população adulta, sendo a principal dermatose em idosos. Apresentam-se como pápulas esféricas, de cor vermelho brilhante ou violáceas, não-compressíveis à vitropressão, medindo cerca de 1-5 mm, assintomáticas, de distribuição variada no corpo, sendo encontradas mais freqüentemente no tronco. Ao exame histopatológico apresentam-se como proliferações vasculares, na derme, sob epiderme normal. A etiologia ainda não está completamente esclarecida. Embora usualmente benignos, seu achado pode sugerir associação com doenças sistêmicas. Conclusões: Os HR são dermatoses bastante freqüentes na população adulta, sendo queixa comum em consultas em ambulatório de dermatologia. Seu surgimento costuma ser imperceptível, pois se localiza em locais de difícil visualização, como dorso ou couro cabeludo. A observação das lesões é importante e, em caso de aumento do número, tamanho ou distribuição, é aconselhável procurar um dermatologista para revisã

Classical Logic with Mendler Induction

We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we introduce an extension of the Dual Calculus with a Mendler-style (co-)iterator that remains strongly normalizing under head reduction. We prove this using a non-constructive realizability argument.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/978-3-319-27683-0_

Classical logic with Mendler induction

We investigate (co-) induction in classical logic under the propositions-as-types paradigm, considering propositional, second-order and (co-) inductive types. Specifically, we introduce an extension of the Dual Calculus with a Mendler-style (co-) iterator and show that it is strongly normalizing. We prove this using a reducibility argument

Un estudio sobre los discursos del envejecimiento productivo desde los jubilados empleados en la empresa "Siglo Verde" de Viña del Mar

Tesis (Magíster en Psicología Clínica)“…todos los viejos llevan en los ojos un niño y los niños a veces nos observan como ancianos profundos…” (Extracto de Oda a la edad, Pablo Neruda). El envejecimiento poblacional es un fenómeno global y Chile no está ajeno a esta característica. Históricamente se ha debatido entre sus aspectos negativos como positivos, prevaleciendo una mirada asociada a la edad con el envejecimiento biológico y el deterioro funcional. Junto con esto, aparece la impronta social llamada la edad de jubilación, como marcadora de inicio de la vejez, la que conmina a las personas mayores al retiro de sus actividades productivas. Frente a estos estigmas conceptuales, la presente investigación abordará dicha problemática desde una visión más integral, entendiendo la complejidad que significa seguir siendo productivo en una etapa de la vida tan cargada de elementos negativos construidos desde una realidad bio-psico-social. En este sentido de seguir productivos, se trabajará con la Empresa “Siglo Verde”, la cual mantiene una contratación constante de adultos mayores jubilados dentro del área de jardinería. La perspectiva epistemológica, para la realización de esta investigación se sitúa desde el construccionismo social. Así de tal manera poder analizar el rol que juega el saber compartido por una comunidad en la mantención y reproducción de una realidad. Entendiendo que ésta se forma a partir de las interacciones sociales, bajo un determinado contexto histórico y cultural mediado por el lenguaje. El enfoque metodológico será de tipo cualitativo, debido a que el interés mismo no está puesto en cuantificar la cantidad de adultos mayores jubilados que se encuentran trabajando como jardineros en la empresa Siglo Verde de Viña del mar. Más bien radica en comprender las cualidades de los discursos que ésta misma instancia les significa, sus características, conocimientos y experiencias. De allí radica la importancia de utilizar como técnica, el análisis de contenido partir de la conformación de un grupo de discusión mixto desde el escenario de una conversación

Organizational knowledge management in the federal public administration in Brasília : an exploratory study

A premissa central deste artigo – parte de uma pesquisa de mestrado – é a verificação do entendimento sobre o conceito e prática de gestão do conhecimento na administração pública federal, onde foram selecionados e entrevistados nove gestores de organizações públicas federais em Brasília. Os resultados mostraram que a gestão do conhecimento organizacional, de acordo com o ponto de vista dos gestores públicos entrevistados, não é como conceito, uma idéia nova, mas um processo incipiente, cujo escopo, inserido no campo da cognição humana, apenas começa a ser discutido com mais profundidade na esfera da administração pública neste limiar do século XXI. Verificou-se, quando da aplicação das entrevistas, no ano de 2003, que nessas organizações públicas existe um significativo investimento nas áreas tecnológica e estratégica em detrimento dos investimentos nas áreas de capacitação e desenvolvimento de recursos humanos, que se constituem, na literatura revisada, como a essência da gestão do conhecimento. __________________________________________________________________________________________________________________ ABSTRACTThe central idea of this article – part of a Master thesis – is to check the understanding of the concept and the know-how of knowledge management. Nine federal public organization managers were selected and interviewed. The results showed that the management of the organizational knowledge, in accordance with the point of view of the interviewed, is not a new idea as a concept, but rather an incipient process, which target, in the field of human cognition, has just been inserted on the debate agenda of the public administration sphere in the threshold of the XXI century. It may be observed that, in such public organizations, there is a large investment in the technological and strategic areas, in detriment of investments in the qualification and development of human resources, which constitutes, according to the reviewed literature, the essence of the knowledge management

Eficácia de pamoato de pirantel, isolado ou associado ao triclorfon, no controle de ciatostomíneos de eqüinos

The anthelmintic efficacy of pyrantel pamoate, either alone or combined with trichlorfon, was evaluated for the control of strongyles of Thoroughbred horses. In all cases of positive strongyle egg counts per gram of feces (EPG) before and after treatment, pure populations of cyathostomes larvae with eight intestinal cells were consistently observed in fecal cultures. The fecal egg count reductions (FECR) were evaluated between day 7 and day 45 post-treatment. The post-treatment mean strongyle EPG counts of the horses treated with the combination of pyrantel pamoate (13.2 mg/kg) plus trichlorfon (30 mg/kg) and pyrantel pamoate alone (13.2 mg/kg) did not show significant differences (P≤0.05) during the trial, both groups reducing strongyle egg output by almost 100% on day 7, and still exhibiting an FECR of greater then 90% between day 7 and day 21. This finding indicates that both formulations are effective compounds in reducing the cyathostome fecal egg outputs in horses under field conditions.Através de estudo comparativo, objetivou-se avaliar a eficiência anti-helmíntica de pamoato de pirantel, isolado ou associado ao triclorfon, no controle de estrongilídeos de eqüinos da raça Puro Sangue Inglês. As coproculturas realizadas antes e após os tratamentos levaram consistentemente ao encontro de populações puras de ciatostomíneos com oito células intestinais. As reduções de ovos por grama de fezes foram avaliadas do 7º. ao 45º. dias pós-tratamento. Comparando os valores médios de OPG dos eqüinos tratados com pamoato de pirantel (13,2 mg/kg) associado ao triclorfon (30 mg/kg) e com pamoato de pirantel isolado (13,2 mg/kg), observou-se diferença não significante (P≤0,05) ao longo do experimento, verificando-se, 7 dias após o tratamento, reduções médias de OPG de quase 100% e, do 7º. ao 20º. dias, reduções ainda superiores a 90%. Os resultados indicam que os dois produtos são eficazes na redução de ovos por grama de fezes de ciatostomíneos de eqüinos mantidos sob condições a campo

THE USE OF MEDICAL AND PHYTOTHERAPIC PLANTS IN BRAZILIAN PUBLIC HEALTH.

Medicinal plants are used for the purpose of promoting quality of life, even from primordial times. This paper aimed to present the importance of the use of herbal medicines in the network public health. The practice and consumption of herbal medicines has been growing every year, with the emergence of Ordinance No. 971 of May 3, 2006 approving the National Policy for Integrative and Complementary Practices (PNPIC) in Unified Health System (SUS). But there is still a big factor to be overcome, the high requirement of the National Agency Health Surveillance Authority (ANVISA), for the production, marketing and distribution of herbal medicines in the SUS. THE Ordinance GM / MS No. 533 of March 28, 2012 (National List of Essential Medicines - RENAME), cast herbal medicines in Primary Care, consists of only 12 plant species of interest of SUS, considered low due to Brazil being considered one of the countries with the greatest biodiversity in the world. The main problems that hindering the advances of herbal products in the SUS are the lack of state and municipal public policies and the lack of of interest of the managers of these secretariats in complying also with the federal legislation in force.Medicinal plants are used for the purpose of promoting quality of life, even from primordial times. This paper aimed to present the importance of the use of herbal medicines in the network public health. The practice and consumption of herbal medicines has been growing every year, with the emergence of Ordinance No. 971 of May 3, 2006 approving the National Policy for Integrative and Complementary Practices (PNPIC) in Unified Health System (SUS). But there is still a big factor to be overcome, the high requirement of the National Agency Health Surveillance Authority (ANVISA), for the production, marketing and distribution of herbal medicines in the SUS. THE Ordinance GM / MS No. 533 of March 28, 2012 (National List of Essential Medicines - RENAME), cast herbal medicines in Primary Care, consists of only 12 plant species of interest of SUS, considered low due to Brazil being considered one of the countries with the greatest biodiversity in the world. The main problems that hindering the advances of herbal products in the SUS are the lack of state and municipal public policies and the lack of of interest of the managers of these secretariats in complying also with the federal legislation in force