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.

Efecto de la distribución del diámetro de la fibra sobre el tipo y frecuencia de fibras objetables en vellones mixtos. 1- Aspectos físicos (Programa Red Supprad)

Las fibras pertenecientes a los Camélidos y a los Caprinos reciben entre otros nombres el de fibras lujosas. Los atributos y caracteres que le confieren valor a estas fibras son: suavidad, brillo, escasez o rareza, precio alto, carácter de misterioso, romántico, elegante y exclusivo. Siendo suavidad y brillo o lustrosidad los únicos atributos que solo depende de la fibra cruda en sí. La expresión ´suave´ textilmente hablando se reconoce cómo suavidad al tacto o ´mano´ y reúne en sí mismo varios atributos: confort sobre la piel (picazón), rigidez, lisura, suavidad. El término ´prickle´ o picazón (prurito) se aplica solo para las prendas que se usan en contacto con la piel (directa o indirectamente) y cada vez resulta más importante. Diversos estudios han demostrado que la sensación de picazón o prurito proviene de las fibras gruesas de la cola derecha de la distribución del diámetro de la fibra (´borde grueso´), de ahí la importancia de estudiar esta distribución en el contexto físico primero y en el genético luego. Se hipotetiza que: La distribución del diámetro de la fibra puede ser evaluada correctamente con el desvío estándar y el coeficiente de variación del diámetro, desde el punto de vista cuantitativo y por la morfología (tipo de rizo), desde el punto de vista cualitativo y esta determinación permite predecir la suavidad al tacto del hilo y/o tejido a confeccionar. Para testar esta hipótesis se han formulado los siguientes objetivos generales: Determinar la relación entre la variación o dispersión del diámetro de la fibra y parámetros estadísticos cuantitativos en fibra de Camélidos y Caprinos. Determinar la relación entre la variación o dispersión del diámetro de la fibra y la morfología de la fibra de Camélidos y Caprinos. Determinar la relación entre la variación del diámetro y la morfología de la fibra y la suavidad al tacto del hilo y/o tejido producido Camélidos y Caprinos. El proyecto se desarrollará en el contexto del programa SUPPRAD y se utilizará la información capturada en los trabajos de campo con caprinos criollos, ovinos Merino y Camélidos Sudamericanos, tratando de obtener una respuesta formal a la disyuntiva de homogeneizar la distribución de tipos de fibras y diámetros por vía mecánica (´descerdado´), selección genética, o una combinación de ambas.

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

Vacunación en la Enfermedad de Chagas experimental: estudio de mediadores involucrados en la protección en ratones y aplicación de la vacuna en perros. Vaccination in experimental Chagas'disease: study of intermediates involved in the protection of mice and application of the vaccine in dogs.

La Enfermedad de Chagas es una de las principales endemias de América Latina donde existen cerca de 18 millones de infectados y 90 millones en riesgo. Entre el 25 y el 30 por ciento desarrolla patología cardíaca o digestiva en el período crónico. Se ha postulado que mecanismos autoinmunes, sumados a la acción directa del parásito, podrían estar involucrados en la patogenia de la enfermedad. El desarrollo de vacunas tradicionales en Enfermedad de Chagas es una meta difícil de alcanzar, por lo cual parece más factible abordar estrategias basadas en la inmunomodulación, para disminuir la carga parasitaria, minimizar las acciones deletéreas en el periodo agudo y prevenir el desarrollo de patología en la etapa crónica. Para ello es necesario avanzar en el conocimiento de los mecanismos involucrados en la protección y en la patogenia. Si se acepta la hipótesis autoinmune, una estrategia de vacunación con un tripanosoma antigénicamente similar al T. cruzi pero no patógeno podría evitar posibles mecanismos autoagresivos. En nuestro Laboratorio se ha empleado un modelo de vacunación en ratones utilizando como inmunógeno el Trypanosoma rangeli, no patógeno en humanos. Los ratones vacunados, infectados con T. cruzi, mostraron buena respuesta inmune celular y humoral, bajas parasitemias, ausencia de lesiones histológicas, y sobrevida cercana al 100 por ciento. Los controles no vacunados tuvieron una elevada mortalidad. Debido al ciclo biológico del parásito, la defensa efectiva contra el T. cruzi requiere una potente respuesta de anticuerpos contra las formas extracelulares y una eficaz respuesta celular contra los amastigotes intracelulares. En el modelo desarrollado en nuestro laboratorio la protección se asocia con un adecuado equilibrio entre respuesta TH1 y TH2, con leve predominio TH1, disminución de citoquinas (Ck) proinflamatorias e incremento de receptores solubles de Ck. El esquema de inmunización demostró asimismo su eficacia en cobayos y en perros mantenidos en el Laboratorio. Hipótesis de trabajo: - La vacunación con T. rangeli desencadena mecanismos inmunomodulatorios que protegen de la infección con T. cruzi, entre los cuales se encuentran eventos que actúan tempranamente en el sitio de inoculación y en los que están involucradas células y moléculas del sistema inmune innato. - La vacunación a perros constituye una nueva herramienta en la lucha contra la Enfermedad de Chagas. Objetivos: i) profundizar el estudio tendiente a dilucidar los mecanismos involucrados en la resistencia inducida por la inmunización con T. rangeli en ratones; ii) estudiar el efecto que tiene el estrés físico de los ratones sobre la eficacia de la vacunación y iii) analizar la inmunogenicidad de la vacuna en perros de zonas endémicas para Enfermedad de Chagas. Material y metodos: Los ratones y perros serán vacunados con tres dosis de epimastigotes de T. rangeli, fijados con glutaraldehido y los controles solo recibirán PBS. Los ratones seran desafiados con T. cruzi. Se estudiará en liquido peritoneal: a) poblaciones celulares por Citometria de flujo; b) cuantificación de los distintos tipos de inmunoglobulinas, de citoquinas y sus receptores solubles, por ELISA, c) ON y arginasa, por técnicas colorimetricas; d) est.udio de la interacción macrófago-parásito y de receptores celulares por Inmunofluorescencia. e) En perros, se realizarán estudios parasitológicos (xenodiagnostico) y serológicos en vacunados y controles, 12 y 24 meses post vacunación. Resultados esperados e importancia del proyecto: se espera conocer los principales eventos tempranos que participan en la eliminación de los parásitos en los animales vacunados, el efecto del stress sobre la vacunación y asimismo, la inmunogenicidad de la vacuna en perros de campo. Todo ello permitirá obtener información sobre la eficacia de la vacunación experimental y podría aportar una herramienta adicional contra la Enfermedad de Chagas, interfiriendo en la cadena epidemiológica en áreas endémicas.

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.

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.

Influência do cloro, sôbre a composição do caldo da cana de açúcar Co 290, aplicado no solo, na forma de cloreto de sódio

Considering the economic importance of the sugar industry among ourselves, the authors carried out a field experiment (Latin square) with Co 290 sugar cane, on a white sandy soil of Piracicaba, State of São Paulo, Brazil, applying NaCl in increasing rates (from 6.8 to 54.5 grams per plant), in order to study the effects of chlorides, on productivity and on the composition of juice. No toxic or stimulating effect was found, and there was no change in yield, in degree of purity of the juice, in general aspect of plants or in colour of leaves and culms. No difference was observed between potassium sulphate or chloride, as source of potash for sugar cane culture. Data collected and the literature cited suggest: (a) that the use of the variety Co 290 is indicated for soils rich in chlorine, such as the saline soils of the North-east and Atlantic Coast of Brazil; (b) that it is necessary to extend studies in Research Institutes and Agricultural Experiment Stations of the country to verify the behaviour of other varieties of sugar cane in the types of soils mentioned, especially with respect their yielding capacity. The authors are already planning such investigations.

Sorbímetro (Um aparêlho para a determinação das relações solo/água)

Os autores descrevem um aparelho destinado à medida contínua da água absorvida pela TFSA em condições de laboratório. O sorbímetro, cujo funcionamento obedece ao princípio dos vasos comunicantes, consta de um tubo em U cujos ramos verticais se ligam respectivamente à uma coluna de terra e à uma bureta de 100 ml. A bureta restabelece no tubo, a água absorvida pela terra. As leituras de bureta substituem as pesagens do método gravimétrico. O aparelho é recomendado para medidas a intervalos de tempo para os quais, o método usual é ineficiente.

Avaliação da capacidade de fixação de fósforo pelo solo

Phosphate "fixation" is the convertion of soluble into insoluble phosphate in the soil. There are many factors conditioning phosphate fixation by soil such as reactions originating less soluble compounds (phosphates of iron, aluminum, calcium, magnesium, etc.), PO4-3 adsorption by the colloidal fraction of soils, PO4-3 absorption by the soil microflora, etc. Certain soils of the state of São Paulo (Brazil) are relatively rich in both iron and aluminum oxides. PO4-3 fixation, using P31 and P32 has been verified by researchers, specially with "Terra Roxa". The known methods for fixation evaluation are conventional as this depends on phosphate solution concentration, pH, time of contact between soil and solution, relation of sample weight to solution volume, shaking time, etc. In this experiment, the following conventional method was used: 4 g of soil were shaken for 15 minutes at 30-40 rpm, in 300 ml Erlenmeyer flask in a Wagner shaking machine, together with 100 ml of 0,03 normal phosphate solution (being 0,01 normal as PO4-3 contributed by H8PO4 and 0,02 normal as PO4-3 from KH2PO4). After shaking it was set aside for 24 hours and then filtered. Phosphate was determined in a suitable aliquot of both the original solution (blank) and the soil extract, by the vanadomolibidic-phosphoric acid method. From phosphate concentration in the blank minus phosphate concentration in the soil stract the rate of fixation by 100 g of soil was calculated. The data obtained show that "Terra Roxa" and "Terra Roxa Misturada" have a fairly high PO4-3 fixation capacity, varying from 10 to 24 milliequivalents of PO4-3 per 100 g of soil.

Cinética da reação de redução de nitrato a nitrito por actinomicetos isolados de solo I - Influência da concentração hidrogênio-iônica

Among some strains of Actinomycetes isolated from Latosol red-yelow soil during the four seasons of the year only few strains had the capacity to reduce nitrate to nitrite. The stronger activity was shown by t !he strains isolated in springtime and at a pH of 5,5.

Cinética da reação de redução de nitrato por actinomicetos isolados do solo II - Influência dos elementos minerais

Some strains of Actinomycetes showed variation in its activity to reduce nitrate to nitrite when the nutrient solution was modified in relation to the major elements. One of these strains incapable of !this reaction showed a strong activity in nutrient solution without K and little activity without P. Otherwise strains capable of reducing nitrate to nitrite had this capacity decreased in absence of each one of the following elements: K, P, Mg, e S. K showed to be the most important of them, followed by P, Mg e S. Without any of these elements the pH of the nutrient solution has to be increased from 5,5 to 6,5 for the strains capable to reduce nitrate to nitrite preserve its capacity. The time for the reaction is increased from 5 to 8 days and the amount of nitrite obtained is small.

Ocorrência de Actinomicetos com atividade proteolitica, em um solo cultivado

Among 327 strains of Actinomycetes isolated in 1958 during the four seasons, 97,85 per cent had proteolytic activity. Most of the strains wete isolated in spring time. About the organic matter no conclusions were reached, because it was mantained constant with a average value of 4.099. So the different number of the strains was a consequence of the season. We can conclude that the Latosol red-yellow soil, from where these microorganisms were isolated, has a strong proteolytic capacity, since this reaction is very strong in a maximum limit of sixteen days during the spring season. Consequently, this soil has one of the most importante caracteristics of fertility. The role of the Actinomycetes in the soil is so important of the soil microflora.