Frequência 180: estilismo sonoro nas narrativas audiovisuais

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Audiovisual e Multimédia)

Microfluidic based on aqueous two-phase system for plasmidic DNA purification

Dissertação de mestrado em Bioquímica Aplicada (área de especialização em Biotecnologia)

Evaluation of inflammatory response induced by different types of daily contact lenses

Dissertação de mestrado em Genética Molecular

Os sentidos da educação religiosa na construção do eu contemporâneo: espiritualidades juvenis

Dissertação de mestrado em Ciências da Educação (área de especialização em Sociologia da Educação e Políticas Educativas)

Synthetic biology approaches to shape bacteriophages towards Pseudomonas aeruginosa biofilm control

Dissertation for Ph.D. degree in Biomedical Engineering.

Susceptibility of Candida biofilms to photodynamic treatment

Dissertação de mestrado em Bioengenharia

Malolactic fermentation in winemaking: evaluation of operational parameters

Dissertação de mestrado em Bioengenharia

O sistema apelinérgico: papel na fisiologia e patologia humanas e potenciais aplicações terapêuticas

A apelina é um peptídeo recentemente descoberto e identificado como o ligando endógeno do receptor APJ. A apelina e o receptor APJ são expressos numa grande variedade de tecidos, tais como coração, cérebro, rins e pulmões, onde a sua interação pode ter importantes efeitos fisiopatológicos. Com efeito, a última década foi fértil no esclarecimento de possíveis papéis desempenhados pela apelina na fisiologia humana, nomeadamente como peptídeo regulador dos sistemas cardiovascular, hipotálamo-hipófisário, gastrointestinal e imunitário. Um possível envolvimento da apelina na patogênese de doenças com elevada prevalência e co-morbilidades, como a hipertensão arterial, a insuficiência cardíaca e o diabete melito tipo 2, perspectivam-na como um possível alvo terapêutico a explorar no futuro. Este trabalho fornece uma visão geral dos efeitos fisiológicos da apelina e apresenta o possível papel desse peptídeo na patogênese de várias doenças, associado a implicações terapêuticas que poderão vir a ser, assim, exploradas.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Estatinas nas síndromes coronarianas agudas

As estatinas são o principal recurso disponível para redução do LDL-colesterol. Seu uso contínuo reduz a morbidade e a mortalidade cardiovascular decorrente da doença aterosclerótica. A administração das estatinas demonstrou ser efetiva em estudos clínicos de prevenção primária e secundária em pacientes de baixo e alto risco. O mecanismo presumido de benefício da terapia hipolipemiante na prevenção das complicações da doença aterosclerótica age na redução da deposição de lipoproteínas aterogênicas em áreas vulneráveis da vasculatura. Estudos experimentais com estatinas demonstraram grande variedade de outros efeitos que poderiam estender o benefício clínico além da modificação do perfil lipídico por si só. A terapia com estatinas altera beneficamente componentes importantes do processo aterotrombótico: inflamação, oxidação, coagulação, parâmetros fibrinolíticos, função endotelial, vasorreatividade e função plaquetária. A demonstração dos efeitos não dependentes da redução do colesterol ou pleiotrópicos das estatinas fornece a base teórica para seu possível papel como terapia adjunta das síndromes coronarianas agudas. Análises retrospectivas de uma variedade de estudos indicam potencial benefício das estatinas durante os eventos coronarianos agudos. Estudos clínicos recentes têm abordado essa importante questão em ensaios prospectivos controlados, demonstrando fortes evidências a favor da administração das estatinas como terapia adjunta nas síndromes coronarianas agudas.

O escore de risco de sangramento como preditor de mortalidade em pacientes com síndromes coronarianas agudas

FUNDAMENTO: A ocorrência de sangramento aumenta a mortalidade intra-hospitalar em pacientes com síndromes coronarianas agudas (SCAs), e há uma boa correlação entre os escores de risco de sangramento e a incidência de eventos hemorrágicos. No entanto, o papel dos escores de risco de sangramento como fatores preditivos de mortalidade é pouco estudado. OBJETIVO: Analisar o papel do escore de risco de sangramento como fator preditivo de mortalidade intra-hospitalar numa coorte de pacientes com SCA tratados num centro terciário de cardiologia. MÉTODOS: Dos 1.655 pacientes com SCA (547 com SCA com supra de ST e 1.118 com SCA sem supra de ST), calculou-se o escore de risco de sangramento ACUITY/HORIZONS prospectivamente em 249 pacientes e retrospectivamente nos demais 1.416. Informações sobre mortalidade e complicações hemorrágicas também foram obtidas. RESULTADOS: A idade média da população estudada foi 64,3 ± 12,6 anos e o escore de risco de sangramento médio foi 18 ± 7,7. A correlação entre sangramento e mortalidade foi altamente significativa (p < 0,001; OR = 5,29), assim como a correlação entre escore de sangramento e hemorragia intra-hospitalar (p < 0,001; OR = 1,058), e entre escore de sangramento e mortalidade intra-hospitalar (OR ajustado = 1,121, p < 0,001, área sob a curva ROC 0,753; p < 0,001). O OR ajustado e a área sob a curva ROC para a população com SCA com supra de ST foram 1,046 (p = 0,046) e 0,686 ± 0,040 (p < 0,001), respectivamente, e para SCA sem supra de ST foram 1,150 (p < 0,001) e 0,769 ± 0,036 (p < 0,001), respectivamente. CONCLUSÃO: O escore de risco de sangramento é um fator preditivo muito útil e altamente confiável para mortalidade intra-hospitalar em uma grande variedade de pacientes com SCAs, especialmente aqueles com angina instável ou infarto agudo do miocárdio sem supra de ST.

O Florescimento da cana de açúcar

1 - Análise do Brix Em três das variedades analisadas - F 29-7, Co. 285 e Tuc. 519, - a diferença entre o Brix do caldo das canas florescidas e das canas não florescidas foi estatisticamente insignificante. Apenas em uma variedade - Co. 312 - tivemos um resultado duvidoso. Em F 29-7 nota-se que o erro nas' canas florescidas é maior que nas não florescidas, o que parece indicar uma tendência a maior instabilidade do Brix com o florescimento. A diferença entre os dois erros é, poréxn, de significação duvidosa, embora o valor de P exceda bastante o limite de 5% de probabilidade, sem atingir o de 1%. 2 - Análise dos redutores Houve uma diferença sem significação em F 29-7 e Co. 285. Em Co. 312, porém, o resultado foi duvidoso e em Tuc. 519 foi significante, e em ambas estas variedades as canas não florescidas eram as mais ricas em redutores, o que merece ser salientado. Nota-se que o erro nas canas não florescidas é maior do que nas florescidas, o que indica uma estabilização de percentagem de redutores com o florescimento em F 29-7. A diferença entre os erros é, porém, de significação duvidosa, de sorte que só futuras pesquisas poderão esclarecer essa dúvida. 3 - Análise da pol Neste caso a diferença foi insignificante em F 29-7 e Co. 312 e duvidosa nas outras duas variedades. E nos casos de diferença duvidosa a pol foi maior no caldo das canas florescidas, o que é digno de destaque. O erro foi insignificantemente maior nas canas florescidas do que nas não florescidas. 4 - Análise das cinzas A diferença entre as médias foi insignificante em F 29-7 e Co. 312; foi duvidosa em Tuc. 519 e significante em Co. 285. Nos dois últimos casos a quantidade de cinzas foi maior no caldo das canas não florescidas do que no das florescidas. Nota-se, pelo erro, uma maior variação nas canas não florescidas, mas o teste F dá um resultado duvidoso, que exige novas pesquisas. 5 - Análise da acidez sulfúrica A diferença entre as médias foi insignificante em F 29-7 e Tuc. 519, tendo sido significante nas duas variedades restantes. Nestes dois últimos casos foi o caldo das canas florescidas favorecido com uma acidez menor do que o das não florescidas. O teste F foi absolutamente sem significação, o que significa que a variação é a mesma nas canas florescidas e não florescidas em F 29-7. 6 - Análise de litros de cadlo por quilo de cana A diferença entre as médias foi significante em F 29-7, Co. 285 e Co. 312, sempre com menor quantidade de caldo nas canas n florescidas. Em Tuc. 519 o resultado foi duvidoso, mas como se aproxima bastante do limite de 1% e concorda com os resultados obtidos nas outras variedades e ainda com a observação de medula seca nos gomos terminais das canas florescidas, como já foi dito atrás, esse resultado pode ser tomado como significante. O erro maior nas canas n florescidas e o teste F significante indicam que com o florescimento se estabiliza a relação litros de caldo por quilo de cana. 7 - Análise da fibra Neste caso os resultados foram análogos aos obtidos no caso da relação litros de caldo por quilo' de cana, como era de se esperar. De fato, em F 29-7, Co. 285 e Co. 312 as diferenças foram significantes. Em Tuc. 519 o resultado foi duvidoso, mas as mesmas considerações apresentadas no caso anterior nos levam a considerá-lo significante. Em todas as variedades analisadas as canas florescidas foram sempre mais ricas em fibra. O teste F foi insignificante, c que indica que não há diferença notável entre os erros. 8 - Análise do pêso Esta análise, que só foi feita em F 29-7, nos leva a concluir que o pequeno excesso de peso apresentado pelas canas florescidas n tem a menor significação. Como as nossas observações indicam para as canas florescidas maior comprimento e maior grossura, esse resultado evidencia um murchamente, o que é, aliás, confirmado pela diminuição da relação litros de caldo por quilo dé caria e pelo aumento da quantidade de fibra. Sobre o teste F já salientámos que êle neste caso nos indica que o peso das canas se estabiliza com o florescimento.

Gramados para parques avícolas: nota prévia

Na Seção de Avicultura da Escola Superior de Agricultura "Luiz de Queiroz", da Universidade de São Paulo, foi iniciada uma experiência de pastagens para galinhas, para determinação das espécies mais adequadas ao fim visado. Os resultados obtidos neste primeiro ano de experiência indicaram a seguinte classificação: 1.o - Consociação de Grama Seda (Cynodon dactylon Pers.) var.? com Capim Quicúio (Pennisetum clandestinum Chiov.). 2.0 - Grama Seda (Cynodon dactylon Pers.) var.? 3.0 - Capim Quicúio (Pennisetum clandestinum Chiov.). 4.O - Grama de Batatais (Palpalum notatum Flügge.). 5.o - Uma grama ainda não determinada. 6.o - Grama Paulista (Cynodon dactylon Pers.) var.? A variedade Gigante de Cynodon dactylon Pers. não deu resultados satisfatórios. A experiência será continuada.

Tratamento de mandioca pela colquicina: III análise comparativa entre clones diplóides e tetraplóides

1) Um estudo sobre o modo de crescimento de alones tetraplóides de mandioca Vassourinha Paulista, obtido experimentalmente por meio da colquicina, foi feito em comparação ao crescimento de clones diplóides da mesma variedade. Três outros clones da mandiosa amargosa foram também incluidos na análise para comparação. As observações foram feitas nas hastes da primeira ramificação de cada planta e podem ser resumidas como segue: (Quadros n.°s 1 e 2). a) comprimento: Dos 6 clones tetraplóides analisados, 5 (n.°s 1, 3, 6, 5 e 7) tiveram um comprimento bem menor que o dos clones controles diplóides, mostrando assim serem plantas menores. Um único clone tetraplóide (n.° 15) teve um comprimento menor, porém com a média não estatisticamente diferente da média do clone diplóide. b) peso: Os seis clones tetraplóides formaram dois grupos, com relação ao peso das hastes: um grupo de 3 clones (n.°s 1, 3 e 6) com o peso médio diferente do peso médio dos controles e um grupo de 3 clones (n.°s 5, 7 e 15) com peso médio não diferindo dos controles. Estes resultados estão confirmados pelo valor do índice pêso/n.° de folhas. c) n.° de folhas: O número de folhas por unidade de comprimento foi praticamente o mesmo para os clones diplóides e tetraplóides, conforme se pode verificar pelos valores do índice comprimento/n.° de folhas. Pode-se concluir que os clones tetraplóides têm um hábito de crescimento diferente daquele dos clones diplóides; as plantas tetraplóides são menores que as diplóides e, entre os clones tetraplóides, houve também diferença, alguns clones tendo plantas mais finas que outros. As estacas da variedade Vassourinha Paulista, de onde partimos para a obtenção das formas poliplóides, não foram obtidas de uma única planta e assim não podemos garantir se a diferença verificada entre os clones tetraplóides seja devida a clones iniciais diferentes ou se produzida ainda pela colquicina. 2) A produção de raizes e ramas numa experiência de um ciclo vegetativo, em blocos ao acaso e cem 3 repetições, foi analisada e mostrou que a produção dos clones diplóides é maior que aquela dos clones tetraplóides (Quadro n.° 10). A produção dos clones tetraplóides não foi uniforme. Eles formaram uma seqüência de produção e pelo menos um clone, o de n.° 6, ficou significativamente fora do conjunto, quando a sua média foi comparada à média de raiz e rama obtidas do total de clones tetraplóides. Este clone foi o único tetraplóide do grupo de 3 com estacas mais finas, indicados na análise de crescimento, que entrou na experiência; êle confirma assim aquela separação. O índice rama/raiz foi menor para os clones diplóides que para os tetraplóides, indicando que a produção de raiz em relação à rama é menor nos clones tetraplóides, no primeiro ciclo, provavelmente devido ao retardamento de crescimento nos primeiros meses de vegetação, pois as plantas tetraplóides cresceram mais vagarosamente que as plantas diplóides. 3) Uma experiência com 2 ciclos vegetativos e 3 repetições, mostrou que o clone tetraplóide n.° 6 (Quadro n.° 20) é de fato diferente dos demais, tendo plantas muito pequenas e produção muito pequena no campo. Esta experiência mostrou também que o clone n.° 2, que foi o tetraplóide mais produtivo na experiência com um ciclo vegetativo, parece formar um outro grupo tetraplóide com relação a produção de raizes e ramas. Esta experiência de dois ciclos foi realizada com um espaçamento bastante grande, de modo a eliminar toda possível competição entre plantas; os valores médios de produção por planta, contidos no quadro n.° 20, servem para identificar um clone do outro mas não representam produção comercial. Com 2 ciclos vegetativos o índice rama/raiz torna-se igual para todos os clones, mostrando que, após o primeiro ciclo, a produção de raiz em relação à rama torna-se idêntica para todos os clones. A correlação positiva entre produção de rama e raiz é significante e grande, tanto com um como com 2 ciclos vegetativos. 4) Mais uma experiência com um ciclo vegetativo, feita sistematicamente e com os clones n.° 8 (controle) e clones tetraplóides n.°s 2 e 6, confirmou os resultados anteriores, isto é, que a produção por planta dos clones tetraplóides é menor que a produção dos clones diplóides e que existe diferença entre os clones tetraplóides obtidos (quadro n.° 26). O aproveitamento comercial dos melhores clones tetraplóides só poderá ser avaliado depois da realização de experiências de espaçamento, pois é possível que, com um maior número de plantas, possa se obter a mesma ou melhor produção que os clones diplóides, numa mesma área. O clone tetraplóide n.° 6 não suporta as condições de campo (Fig. 32) e é possível que, pelo pequeno tamanho de suas plantas, seja útil para condições hortícolas, uma questão já discutida em outra publicação (6). 5) Uma análise de estacas para plantação, medindo 20 cms. cada uma, mostrou que há diferença de peso entre estacas dos clones tetraplóides. O clone n.° 6 teve um valor médio menor e diferindo estatisticamente dos demais clones tetraplóides, confirmando assim outros resultados anteriores. 6) Um estudo detalhado sobre a percentagem de amido dos diferentes clones mostrou que os tetraplóides não diferem dos diplóides quanto ao teor amido e que eles não são também diferentes de 3 outros clones de mandioca amargosa incluidos na análise para comparação.

Variação do número e da distribuição dos espinhos nos frutos da Mamoneira (Ricinus communis, L)

1) O caráter presença de espinhos nos frutos da mamoneira é determinado por um par de fatores dominantes SS, sendo a forma recessiva ss, inerme. A interação alélica nao é bem intermediária, havendo uma predominância do fator S. Êste resultado foi anteriormente constatado por HARLAND (7), PEAT (8), DOMINGO (2), GURGEL (4) e FERNANDES (3). 2) A constatação da segregação 1 SS : 2 Ss : 1 ss foi feita após extensivas contagens de espinhos, tanto na forma paternal, como também no Fl, F2 e "back-cross". Por essas contagens foi verificado que existem variedades com números diferentes de espinhos, podendo-se distinguir dois tipos: variedades que têm muitos espinhos, com uma média aproximada de 170 espinhos por fruto e variedades que têm um número médio de espinhos, com uma média aproximada de 113 espinhos por fruto. 3) Embora a segregação dos fatores S e s seja monofatorial, todavia foi constadada por uma análise estatística detalhada, a presença de gens modificadores agindo na geração F2, introduzidos pelos tipos paternais. Assim, o segregante SS no F2, tem mais espinhos do que o pai homozigoto da mesma constituição. 4) Foram encontrados dois novos gens cal e ca2, com interação não alélica do tipo de polimeria complementar duplo-recessiva, dando no F2 uma segregação de 15 com espinhos uniformes : 1 com espinho careca, no "back-cross" uma segregação de 3 com espinhos uniformes : 1 com espinho careca. Estes gens determinaram, nos frutos com espinhos, a formação de zonas sem espinhos, ou como denominamos, "carecas". Estes novos fatores foram encontrados numa única variedade, de n.° 51, conhecida por laciniada, em virtude da for- ma especial de suas fôlhas. Esta variedade é de côr verde, apresenta cera na haste e possui numerosos cachos, porém pequenos. Ê tida como planta ornamental e foi originalmente importada de Erfurt, Alemanha. 5) Mesmo nas variedades inermes foi constatada a presença dos gens Cal e Ca2, para distribuição uniforme de espinhos, embora nas ditas variedades não se possa identificar a sua presença, em virtude do gen s ser epistático recessivo sobre Cal e Ca2. 6) Uma vez que os fatores S e CalCa2 sao independentes, isto é, possivelmente situados em cromosômios diferentes, fazendo-se o cruzamento de variedades com espinho careca x variedades sem espinho, obtem-se o PI com número de espinhos intermediário e distribuição uniforme. No F2 obtém-se a segregação de 45 com espinho uniforme : 3 com espinho careca : 16 sem espinho e no "back-cross" a segregação de 3 com espinho uniforme : 1 com espinho careca : 4 sem espinho.