Drenagem anômala total das veias pulmonares: terapêutica cirúrgica dos tipos anatômicos infracardíaco e misto

OBJETIVO: Estudar a evolução hospitalar em portadores de drenagem anômala total de veias pulmonares (DATVP), nas formas infracardíaca e mista, submetidos a tratamento cirúrgico. MÉTODOS: De 65 pacientes operados com o diagnóstico isolado de DATVP, de dezembro/1993 a março/2002, foram selecionados, retrospectivamente, 7 (10,8%) pacientes das formas mista e infradiafragmática, sendo 5 (71,4%) do sexo masculino, idades variando de 5 dias a 19 (média de 7) meses, com diagnóstico clínico feito pelo ecocardiograma bidimensional. Quatro (57,1%) pacientes apresentavam formas mistas, em um, obstrutiva intrínseca, com estenose discreta da veia inferior esquerda. Os restantes três (42,9%) apresentavam a forma infradiafragmática obstrutiva, extrínseca ao nível do diafragma. Todas as operações foram realizadas através de esternotomia mediana, sob circulação extracorpórea hipotérmica com parada circulatória total em 2 casos. RESULTADOS: Óbito hospitalar ocorreu em 1 paciente com DATVP infradiafragmática com conexão da veia vertical inferior com a veia porta. A causa mortis foi relacionada à falência de múltiplos órgãos e sistemas. O pós-operatório foi caracterizado pela presença de baixo débito cardíaco e hipertensão pulmonar em 4 (57,1%) pacientes. CONCLUSÃO: O resultado da correção cirúrgica desta anomalia está associado à morbidade e mortalidade aceitáveis, na dependência do encaminhamento e tratamento cirúrgico precoces, sem progressão do quadro de hipertensão vascular pulmonar.

Modelos de gestão pública e as opções de reforma do XIX governo constitucional: análise do discurso

Dissertação de Mestrado em Gestão e Políticas Públicas

Proyectos de olvido y memoria de las víctimas. Aportes inspirados en la «nueva teología política» de Johann Baptist Metz para una hermenéutica del discurso y de la praxis eclesial en relación con la memoria de las víctimas del «proceso de reorganización nacional»

La sociedad argentina vive una revalorización de la memoria en relación con los hechos de la última dictadura militar; simultáneamente, la Iglesia argentina elabora su propia interpretación autocrítica, tomando conciencia de los motivos que configuraron su comportamiento. En la relación Iglesia y «proceso» hay dos momentos: la actuación y el discurso eclesial durante la última dictadura y, concluida ésta, la comprensión que manifiesta sobre la misma, su toma de posición frente a las víctimas, y el pedido de perdón por las culpas del pasado. Investigaciones recientes vinculan la ideología de la seguridad nacional a una autocomprensión de la iglesia ligada al «mito de la nación católica». La teología «académica» argentina, por su parte, prácticamente no ha generado una reflexión a la altura de las circunstancias y del debate general de la sociedad, sobre estos años. Este silencio es en sí mismo una cuestión teológica a ahondar. El objetivo del proyecto es repensar críticamente, a partir de diversos conceptos y perspectivas de la teología de Metz, los discursos y las prácticas institucionales de la Iglesia católica, desde 1981 hasta hoy, en relación con la memoria de las víctimas. Se procura determinar los motivos teológicos y prácticos que dificultaron una oposición efectiva y pública a la violación de los derechos humanos; e individualizar los argumentos que impulsaron un discurso y una praxis de reconciliación que privilegió el olvido de las víctimas y apoyó acríticamente los «proyectos de olvido», como la ley de punto final, los indultos. Para analizar dichos discursos y praxis se recurre principalmente a Metz quien, vinculado a Ernst Bloch y a Walter Benjamin, sus “interlocutores cruciales” y, en general, a la Escuela de Frankfurt, propone, en diálogo crítico con Jürgen Habermas, una razón anamnética del sufrimiento ajeno. La originalidad del proyecto es doble, por su contenido y por su enfoque: la confrontación del «servicio de reconciliación» eclesial con la «memoria de las víctimas».

Influencia de los diferentes tipos de tostados, en el contenido de ocratoxina A, en café (Coffea arabica L.) de Córdoba, Argentina

La siguiente investigación se propone estudiar la relación entre los factores que determinan los distintos tipos de tostado de café (tiempo y temperatura) y el contenido final de ocratoxina A en muestras de granos de café verdes procedentes de Brasil y comercializados en Argentina (en el periodo 2009-2010). Las Ocratoxinas químicamente son un conjunto de siete derivados de la isocumarina unidos por enlace amida a fenilalanina. La OTA incrementa la formación de aductos, induce micronúcleos, intercambio de cromátidas hermanas y mutación génica en S. tiphimurium tras activación metabólica. Está clasificada por las IARC como posiblemente carcinógeno (2B) debido a que induce adenomas renales, carcinomas en rata y ratón, si bien los datos en humanos no son concluyentes

Agendas de género y discurso de las organizaciones internacionales en América Latina

Desde los años noventa del siglo pasado, la presencia de mujeres en instancias de gobierno, y en puestos de relevancia en las organizaciones internacionales, ha supuesto un aumento en la calidad de la representación de los regímenes democráticos a nivel interno, y una gradual modificación en los discursos, en las prácticas y en las culturas organizacionales de las instancias multilaterales, a nivel internacional. La investigación que presentamos se propone analizar la emergencia de la cuestión de género en la agenda de las organizaciones internacionales, la redefinición del discurso de estos organismos en función de este nuevo elemento, y cómo y en qué medida estas redefiniciones responden a las transformaciones impulsadas por la introducción de la cuestión de género en la vida política de América Latina

Fundamentación y problemas de aplicación de la ética del discurso

Desde hace aproximadamente una década, pensadores de distintas corrientes filosóficas vienen discutiendo el tema de la fundamentación de las normas morales en estrecha vinculación con el problema de su aplicación en los contextos históricos y culturales y en la praxis individual. Esta discusión es amplia y notoria sobre todo entre aquellos filósofos que intentan contribuir a una ampliación de o complementación de la ética del discurso. (...) El tema del presente proyecto de investigación -"Fundamentación y problemas de aplicación de la ética del discurso"-reviste una relevancia no solo histórica sino también sistemática. Desde un punto de vista histórico-filosófico, las teorías éticas tradicionales han insistido o bien en la fundamentación o bien en la aplicación de la ética, pero la articulación entre teoría y praxis no ha sido y tratada con la seriedad y aptitud que requiere. Esta afirmación es válida para todas las teorías éticas en general, pero especialmente para las éticas de principios de origen Kantiano. La ética del discurso se propone justamente esta deficiencia a través de una tematización explícita de esta articulación. (...) 1. Ofrecer un panorama sistemático de la ética del discurso, desde sus inicios hasta el presente. 2. Mostrar las posibilidades y dificultades que se presentan a la ética del discurso en un intento de articular la fundamentación última de las normas morales con la aplicación de las normas bien fundamentadas a la praxis histórica e individual. 3. Analizar los resultados de las posiciones ético-filosóficas afines a la pragmática universal/trascendental que intentan una complementación y/o ampliación de la ética del discurso. 4. Presentar algunas posiciones ético-filosóficas latinoamericanas que -desde presupuestos teóricos y metodológicos diferentes a los enunciados por la posición ético-discursiva-ensayan una crítica superadora de la ética del discurso.

Estudio de la formación y evolución de galaxias en diferentes tipos de sistemas. Study of the fomation and evolution of galaxies in different types of systems.

Se propone el estudio de galaxias en diferentes tipos de sistemas para lograr un mejor entendimiento de los procesos físicos que actúan en la formación y evolución de estas galaxias. En particular, se analizarán las propiedades de galaxias en cúmulos, grupos difusos, grupos compactos y grupos fósiles. Para el desarrollo de este trabajo, se utilizarán catálogos observacionales públicos y propios, simulaciones cosmológicas combinadas con modelos semianalíticos y catálogos sintéticos basados en dichas simulaciones. Entender el comportamiento de las galaxias pertenecientes a cada clase de sistema permitirá la comparación entre los distintos entornos y posteriormente, la distinción de los diferentes procesos astrofísicos que actúan.

El discurso de los derechos humanos entre el pasado y el presente.

El objetivo de esta investigación es analizar y comprender la disponibilidad y permanencia del discurso de los derechos humanos en la nueva fase de consolidación democrática entre los años 1983 y 2007. En primer lugar se estudiarán dos formas de articulación política de la demanda de derechos humanos en la formación política argentina que tuvieron lugar a principios de los años ochenta y durante los primeros años del nuevo siglo. En ambas coyunturas, la articulación del discurso de los derechos humanos fue central en la constitución de los proyectos políticos que hegemonizaron la formación política de ese entonces, el Alfonsinismo y el Kirchnerismo. Sin embargo, estas dos formas de articulación política si bien contribuyeron a la credibilidad y disponibilidad de este discurso, condujeron a concepciones muy distintas de los derechos humanos. Por un lado, en la articulación Alfonsinista los derechos humanos quedaron sujetos a la noción de democracia y su sentido quedó plasmado en los significados de imparcialidad e inocencia. Por el otro, en el discurso de Kirchner, los derechos humanos se asociaron a la lucha contra la impunidad del pasado y del presente y quedaron atados a los predicados de lucha popular, militancia e idealismo de los años setenta. En segundo lugar, se buscará elucidar las distintas modalidades de lucha alrededor de los derechos humanos que estas dos formas particulares de articulación política posibilitaron. Ambas formas de articulación condujeron a concepciones distintas de los derechos humanos y también a diferentes sentidos de lucha y formas de reclamos poniendo en juego diferentes identidades sociopolíticas.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Atividade proteolítica e amonificante de vários tipos de solo do estado de São Paulo. I. - Solo latosol vermelho amarelo, com e sem cobertura morta

Os autores estudam, no presente trabalho, um solo tipo Latosol Vermelho Amarelo, com e sem cobertura morta, em 2 profundidades diferentes. Concluiram sôbre as vantagens de se manter um solo com cobertura morta que permite um aumento da microflora total e dos elementos nutritivos, confirmado pelo pronunciado índice de atividade protelítica e amonificante do solo.

Determinação e comparação dos valôres Mi, A, Y e S, em dois tipos de solo do est. de S. Paulo

No presente trabalho, determinou-se e comparou-se os valores Mi de BARBIER et al., 1954, SCHEFFER e ULRICH, 1958, A de FRIED e DEAN, 1952 Y de LARSEN, 1952, e S de SOKOLOV, 1958, em dois tipos de solo do Estado de São Paulo: terra roxa legítima e um solo arenoso do campo da Secção Técnica de Química Agrícola da Escola Superior de Agricultura "Luiz de Queiroz". Aplicou-se 23,58 mg de fósforo, por vaso, na forma de superfosfato simples, contendo fósforo radioativo com uma atividade de 120.736 ipm; na forma de solução, aplicou-se também 200 mg de NH4N0(3) e 100 mg de KC1. Misturou-se bem para que houvesse homogenização a mais perfeita possível. Depois plantou-se 25 sementes de trigo, variedade 1146BH, deixando-se apenas 16 plantas após o desbaste. Procedeu-se àcolheita 55 dias após o plantio. Tanto a parte aérea como as raízes foram sêcas em estufa a 70-80°C. Sôbre o material triturado, digerido e diluído, retirou-se partes alíquotas para a determinação do P81 e do P32. Os valores obtidos para os dois tipos de solos foram os seguintes: mg de P por 1,5 kg de solo Valores Terra roxa legítima Solo arenoso Mi 177,96 92,62 A 177,55 92,71 Y 178,97 92,98 S 173,42 64,75 A análise estatística não revelou diferença significativa entre os valores Mi, A e Y, mas sim dêstes para o valor S. Quanto a este último valor, pode-se dizer que quanto mais rico em fósforo fôr o solo e quanto menor fôr o teor dêste elemento na semente, quanto mais êle deverá se aproximar dos valores Mi, A e Y.