Comparação entre os métodos de coloração panótico rápido e giemsa para o diagnóstico de protozoários do gênero Babesia (Starcovici, 1893) e de riquétsias do gênero Ehrlichia (Ehrlich, 1888) em cães (Canis familiaris) no município de Porto Alegre, RS, Brasil.

O trabalho realizado determinou a freqüência dos gêneros Babesia e Ehrlichia, em 250 caninos com suspeita clínica de hemoparasitose, atendidos no Hospital de Clínicas Veterinárias da Universidade Federal do Rio Grande do Sul (HCV–UFRGS), clínicas e hospitais veterinários particulares. Foi analisada a influência da faixa etária e do gênero dos animais na positividade, assim como comparadas as colorações de Giemsa e Panótico Rápido. A pesquisa dos parasitas no sangue de caninos foi realizada através de esfregaços sangüíneos corados pelos métodos Giemsa e Panóptico Rápido. Das 250 amostras analisadas, 45 (18%) foram positivas para hemoparasitas, sendo que 7 (3%) eram animais com idade igual ou inferior a 1 ano (grupo I) e 38 (15%) animais a partir de 1 ano de idade (grupo II). O Teste Exato de Fisher aplicado aos dados revelou não haver diferença significativa entre os resultados encontrados nos animais do grupo I e do grupo II. A Odds ratio calculada para os dois grupos foi igual a 2,142. Os resultados obtidos através da metodologia proposta em função do gênero dos 250 animais pesquisados, envolveram 144 fêmeas, sendo 29 positivas e 106 machos, sendo 16 positivos. O Teste Exato de Fisher aplicado aos dados revelou também não haver diferença significativa entre os resultados encontrados entre machos e fêmeas de todas as idades. A Odds ratio calculada a partir dos dados encontrados foi igual a 0,7050. Em relação aos resultados obtidos com as colorações utilizadas, das 250 amostras analisadas, 26 amostras foram positivas com o kit Panótico Rápido, sendo 19 (7,6%) positivas para Ehrlichia spp e 7 (2,8%) para Babesia spp. Com a coloração de Giemsa, obteve-se 22 amostras positivas: 21 (8,4%) para Babesia spp e 1 (0,4%) para Ehrlichia spp. Apenas 3 amostras (1,2%) apresentaram-se positivas para Babesia spp nas duas colorações e nenhuma amostra foi positiva para Ehrlichia spp com as duas colorações. O teste de Mc Nemar aplicado a estes dados revelou que houve diferença significativa em relação às amostras positivas para Babesia spp pela coloração de Giemsa e pelo Panótico Rápido. A porcentagem de co-positividade e co-negatividade para as duas colorações foi de 14,3% e 98,2%, respectivamente, perfazendo uma porcentagem de concordância total de 91,2%, enquanto o valor Kappa calculado foi de 0,18. O teste de Mc Nemar apresentou uma diferença extremamente significativa nos esfregaços de animais positivos para Ehrlichia spp com as duas colorações utilizadas. A porcentagem de co-positividade e co-negatividade para as duas colorações foi de 0% e 92,3%, respectivamente, perfazendo uma porcentagem de concordância total de 92%, enquanto o valor Kappa calculado foi de 0 (zero). Com base nesses resultados, pode-se concluir que 18% dos animais analisados foram positivos para os hemoparasitos Babesia ou Ehrlichia e que tanto a variável gênero quanto a idade não apresentaram associação com a positividade. Além disso, o corante de Giemsa mostrou-se mais eficiente para o diagnóstico de babesiose canina, enquanto o kit Panótico Rápido foi mais eficiente para a detecção de erliquiose canina.

Maturação e fecundação "in vitro" de ovócitos de caninos domésticos (Canis familiaris)

Este estudo foi realizado com o objetivo de 1) determinar a eficácia de duas temperaturas (370 C e 390 C) e três intervalos de tempo (48, 72 e 96h) comumente usados na maturação in vitro (MIV) de ovócitos caninos, 2) verificar o efeito de hormônios heterólogos: hormônio folículo estimulante (FSH) 0,5µg/ml, estradiol 20µg/ml e somatotropina humana (hST) 1µg/ml; e o efeito de proteínas: 0,4 % albumina sérica bovina (BSA), 10 % de soro de vaca em estro inativado (SVE), e 10 % soro de cadela em estro inativado (SCE) na maturação nuclear de ovócitos caninos, 3) observar a influência da condição reprodutiva das doadoras de ovários (folicular, diestro, anestro, piometra, e prenhez) sobre os índices de maturação in vitro ovocitária, 4) verificar a habilidade para fecundação in vitro de ovócitos coletados de fêmeas em diferentes estágios do ciclo estral, previamente maturados in vitro e adicionalmente, examinar sua capacidade de desenvolvimento embrionário in vitro. O meio de maturação usado nos experimentos foi TCM-199 suplementado com 25 mM Hepes/l (v/v) com 10 % de soro de vaca em estro inativado (SVE), 50 µg/ml de gentamicina, 2,2 mg/ml de bicarbonato de sódio, 22 µg/ml de ácido pirúvico, 1 µg/ml de estradiol, 0,5 µg/ml de FSH e 0,03 UI/ml de hCG. O meio de maturação era modificado de acordo com a proposta experimental apresentada. Os resultados do primeiro experimento não mostraram diferença estatística no índice de meiose de ovócitos maturados à 37oC ou à 39oC em quaisquer dos intervalos testados (48, 72, 96 horas), embora a proporção de ovócitos que alcançaram metáfase II a 37oC após 72 horas da maturação in vitro, mostrasse uma tendência estatística à significância (p = 0,064), quando comparada àquela dos ovócitos maturados à 39oC. Foi concluído que temperaturas de 37oC e 39oC são similares para maturação in vitro de ovócitos de cadelas. No segundo experimento deste estudo, os índices mais elevados (p < 0,05) de retomada da meiose após 72 horas de maturação in vitro foram obtidos, quando TCM 199 era suplementado com 0,4 % de BSA. Uma influência positiva sobre a aquisição de metáfase II (MII) foi observada com a suplementação de 1µg/ml de hST no meio de maturação. Ao contrário, ovócitos maturados em TCM 199 com 10 % de soro de cadela em estro não se desenvolveram até o estádio de MII. Os resultados deste experimento mostraram que a suplementação de proteínas e de hormônios ao TCM-199 não facilitam as etapas finais da maturação in vitro de ovócitos de cadelas.No terceiro experimento, os resultados de maturação dos ovócitos não mostraram diferença estatística na progressão do material nuclear até o estádio de MII entre os ovócitos provenientes de cadelas em várias condições reprodutivas (fase folicular: 5,4 %; diestro: 4,2 %; anestro: 4,4 %; piometra: 8,1 % e prenhez: 4,7 %). A retomada da meiose mostrou índices de 24,6 % na fase folicular, 19,6 % no diestro, 16,4 % no anestro, 37,1 % na piometra e 29,2 % na prenhez. Índices positivos e mais elevados de resíduo acima do valor esperado foram observados para as condições de piometra e de prenhez nos estádios de metáfase/anáfase I (MI/AI). Nossos resultados indicam que a maturação nuclear in vitro de ovócitos caninos não é influenciada pela condição reprodutiva in vivo da fêmea no momento da coleta ovariana. No experimento de fecundação in vitro (FIV), 888 ovócitos selecionados através de sua qualidade morfológica superior foram distribuídos em 3 grupos de acordo com o estágio do ciclo estral da doadora em: a) folicular, b) anestro, c) luteal . Após período de 48 horas de maturação a 37oC em TCM 199 suplementado com 25 mM Hepes/l (v/v), com 10 % soro de vaca em estro inativado (SVE), 50 µg/ml de gentamicina, 2,2 mg/ml de bicarbonato de sódio, 22 µg/ml de ácido pirúvico, 20 µg/ml de estradiol, 0,5 µg/ml de FSH, 0,03 UI/ml hCG e 1 µg/ml de hST, os ovócitos eram fecundados in vitro (2x106 espermatozóides/ml) por um período de 24 horas. A percentagem de ovócitos nucleados desenvolvendo-se em embriões foi de 10,1 % (27/ 267). O índice de clivagem (2-8 células) após cinco dias da FIV foi similar nas fases reprodutivas (folicular, anestro, e luteal). Contudo, o índice geral de fecundação foi superior nos ovócitos oriundos de cadelas nos estágios folicular (42,4 %) e anestro do ciclo (34,3 %) comparativamente àqueles provenientes da fase luteal (18,6 %) (p < 0,001). Além disso, foi verificada influência da fase folicular sobre o desenvolvimento de pronúcleos, com os índices nesta fase (24,2 %) sendo estatisticamente diferentes daqueles observados no anestro e na fase luteal (9,6 % e 3,7 %, respectivamente) (p < 0,004). Não foi estabelecida correlação entre a proporção de espermatozóides capacitados ou com reação acrossômica e formação pronuclear e/ou percentagem de clivagem. Em resumo, conclui-se que: a) ovócitos caninos podem ser maturados in vitro de forma similar às temperaturas de 39oC e 37o. b) a adição de hormônios (FSH, estradiol, hST) e proteínas (BSA, SVE, SCE) ao meio TCM 199 não eleva os índices de maturação nuclear até o estádio de MII de ovócitos caninos maturados in vitro. c) em cães, a seleção de ovócitos com base na coleta dentro de um estágio específico do ciclo estral não deve ser usada para prever índices de meiose ou habilidade para desenvolvimento embrionário in vitro. d) ovócitos caninos maturados, fecundados e cultivados in vitro podem se desenvolver a zigotos com até 8 células.

Simulação computacional por dinâmica molecular de propriedades de equilíbrio e espectroscópicas de misturas líquidas CS2/C6H6

Propriedades de equilíbrio e espectroscópicas são determinadas para a mistura líquida CS2/C6H6 na temperatura de 298K e nas frações molares de benzeno iguais a 0,25, 0,50 e 0,75, usando simulação computacional por Dinâmica Molecular. As interações intermoleculares são descritas em relaçãao a todos os átomos por um potencial Lennard-Jones (12/6), com as interações eletrostáticas representadas por quadrupolos pontuais, localizados nos centros de massa das mol´eculas. Um segundo potencial também é considerado, onde a distribuição de cargas na molécula é usada para descrever as interações eletrostáticas. Dados termodinâmicos e propriedades estruturais, descritas através de funções de distribuição radial e de correlação angular, são calculados. Os resultados obtidos com os dois potenciais mostram boa concordância com os dados experimentais. A análise das frações molares locais e das energias internas indica que a mistura líquida CS2/C6H6 apresenta comportamento aproximadamente ideal. As funções de distribuição radial e de correlação angular evidenciam uma configuração preferencialmente paralela entre as moléculas de CS2 e C6H6 a distâncias menores em relação a distância do máximo da função de distribução , correspondente a primeira camada de coordenação . Nesta região, a configuração perpendicularé fracamente favorecida em relação as demais orientações. Funções de correlação temporal da polarizabilidade coletiva e da polarizabilidade molecular, correspondentes aos espalhamentos Rayleigh e Raman, respectivamente, são calculadas a partir do modelo de interação dipolo induzido por dipolo de 1a ordem. As funções de correlação são divididas nas contribuições orientacional, induzida por colisão e cruzada, e nas contribuições dos componentes. Propriedades de equilíbrio como anisotropia efetiva e intensidades integradas são determinadas para as misturas e líquidos puros. Os resultados indicam que a correlação orientacional entre as moléculas de CS2 é a maior responsável pelos espectros Rayleigh e espectros Raman deste componente. A maior participação do benzeno ocorre no espalhamento Raman com uma maior correlação na contribuição induzida por colisão. A separação na escala temporal entre a dinâmica reorientacional e induzida por colisão determinada na simulação é menor em relação ao experimento. Tempos de correlação da contribuição induzida por colisão são maiores nas misturas em relação aos líquidos puros no espalhamento Rayleigh, conforme o experimento, e estão relacionados a contribuições significativas das funções de correlação entre os componentes CS2 e benzeno a tempo longo. Funções de correlação temporal do momento dipolar coletivo são determinadas a partir do modelo dipolo induzido por quadrupolo e analisadas em termos de contribuições isotrópicas, anisotrópicas e cruzadas, como também de contribuições dos componentes. A relação entre estes termos é concordante com os parâmetros moleculares de anisotropia e quadrupolo dos componentes. Os resultados da simulação indicam absorbância de excesso para as misturas em uma ordem semelhante a do experimento. O tempo de correlação maior na mistura de fração molar de benzeno igual a 0,25, também encontrado no experimento, está relacionado a elevada contribuição a tempo longo da função de correlação entre dipolos induzidos em moléculas de CS2 por moléculas de C6H6. Os espectros calculados na simulação e os espectros experimentais do espalhamento de luz despolarizado Rayleigh apresentam boa concordância, validando os modelos de potenciais de interação e de indução usados. No entanto, diferenças são encontradas no infravermelho longínquo. Modi cações no modelo simplificado de indução são propostas.

Rinoplastia experimental com enxerto autógeno de costela de cães

A rinoplastia é a cirurgia plástica da cavidade nasal, que é muito difundida na medicina humana por motivos estéticos. Os animais possuem doenças que exigem cirurgia na cavidade nasal e na espécie canina pouco foi estudado com relação a rinoplastia. Algumas lesões causadas por traumatismo, tumores, fungos e reações inflamatórias crônicas, podem causar destruição de tecidos, sendo necessária a reconstituição do local. O uso de enxertos em animais é bastante difundido, principalmente os ósseos. No presente trabalho estudou-se o uso de costela autógena para correção de defeito criado em osso nasal em cães. O experimento foi realizado na Faculdade de Veterinária da Universidade Federal do Rio Grande do Sul. Utilizou-se 15 animais, separados em três grupos de pós-operatório onde após 30, 60 e 90 dias finalizavam-se seus acompanhamentos. Cada grupo era composto de quatro animais enxertados e um animal controle onde se utilizava o material do próprio defeito criado para coaptação. Os animais foram acompanhados clinicamente, a integração do enxerto foi avaliada com exames radiográficos obtidos a cada 15 dias até o final de seu acompanhamento pós-operatório. A histopatologia foi realizada no último dia de acompanhamento, conforme a distribuição dos animais nos grupos. Os resultados mostraram que a técnica cirúrgica é de fácil execução e possui praticidade em seu uso. O emprego da costela foi suficiente para cobertura de todos defeitos criados. O efeito estético foi excelente. Os exames radiográficos comprovaram a integração do enxerto e a avaliação histopatológica evidenciou a presença de células compatíveis com a viabilização da técnica proposta. Sendo possível então o uso de enxerto autógeno de costela para reconstrução de defeito criado experimentalmente em dorso nasal de cães.

O gás de elétrons degenerado não-comutativo

A dinâmica quântica de sistemas de partícula única não-relativística envolvendo coordenadas não-comutativas, usualmente chamada mecânica quântica não-comutativa, tem sido objeto de numerosas investigações. Neste trabalho estendemos esses estudos para o caso de sistema de muitas partículas. Usamos como protótipo o modelo do gás de elé- trons degenerado cuja dinâmica é bem conhecida no limite comutativo. Nosso objetivo principal aqui é entender qualitativamente, em vez de quantitativamente, as principais modi cações induzidas pela presença de coordenadas não-comutativas. Primeiro veremos que a não-comutatividade modi ca a energia de correlação de troca enquanto preserva a neutralidade elétrica do modelo. Logo, através da teoria de perturbações independente do tempo juntamente com o mapa de Seiberg-Witten mostramos que o potencial de ioniza ção é modi cado pela não-comutatividade e, também, que o parâmetro não-comutativo atua como uma temperatura de referência. Sendo assim, a não-comutatividade levanta a degenerescência do gás de elétrons a temperatura zero.

Estudo da população de Malassezia pachydermatis em otite externa canina e avaliação da sensibilidade in vitro e in vivo frente a antifúngicos.

Otite externa é uma enfermidade comumente observada em cães encaminhados a clínica veterinária e a etiologia desta doença varia em função de diversas combinações entre os fatores predisponentes, primários e perpetuantes responsáveis pela enfermidade. Este trabalho teve como objetivo pesquisar a presença da Malassezia pachydermatis em otite externa canina e avaliar a suscetibilidade in vivo e in vitro da levedura frente ao cetoconazol e tiabendazol. Para isto foi pesquisada a presença da levedura M. pachydermatis em otite externa de 168 cães encaminhados aos Hospitais de Clínicas Veterinárias da Universidade Federal do Rio Grande do Sul e da Universidade Federal de Pelotas, assim como em clínicas e canis particulares. Após identificação morfológica e bioquímica da levedura, foi realizada extração de DNA pelo método de fenol-clorofórmio de amostras selecionadas para análise pela técnica de RAPD- PCR, para verificação de heterogeneidade molecular. Foi realizada a reprodução experimental de malasseziose ótica em 14 cães inoculados com a levedura para posterior tratamento. Dois grupos de 30 cães com malasseziose ótica foram selecionados para tratamento com os produtos comerciais otológicos contendo tiabendazol e cetoconazol (Otodem plus® e Aurivet® respectivamente). Com os isolados de M. pachydermatis obtidos desses animais tratados foi realizado antifungigrama através da técnica de Microdoluição em Caldo (MC) para o tiabendazol e técnica do ETEST para o cetoconazol. Os resultados deste último foram comparados com a técnica de MC. A M. pachydermatis foi isolada em 139 (82,7%) casos de otite externa, sendo que molecularmente, a levedura apresentou diferenças, recebendo nove subdivisões a partir do primer utilizado. Os animais inoculados com a levedura desenvolveram a otite externa e o tratamento realizado com os produtos comerciais Aurivet® e Otodem plus® foi eficaz. Dos 60 animais tratados para malasseziose, 86,7% apresentaram cura clínica. A CIM do tiabendazol através da técnica de MC variou de 0,03 a >4mg/ml, com média de 3,67mg/ml. A CIM do cetoconazol, através do ETEST, variou de 0,004 a 0,75mg/ml, com média de 0,156mg/ml. A CIM do cetoconazol, através do método MC variou de 0,0009375 a 0,06mg/ml, com CIM média de 0,00815mg/ml. Através do cálculo de CIM50 e CIM90, observou-se frente ao tiabendazol, resistência em 13,7% dos isolados, sensibilidade intermediária em 47,1% e 39,2% isolados foram sensíveis. Quanto ao cetoconazol, através da técnica do ETEST, a resistência foi observada em 11,1% dos isolados, sensibilidade intermediária foi encontrada em 41,7% e 47,2% isolados foram sensíveis. Pela MC, foi observada resistência em 15,4% isolados, sensibilidade intermediária em 35,9% isolados e 48,7% foram sensíveis. As médias das CIMs observadas entre os 17 isolados testados simultaneamente frente ao cetoconazol com as duas metodologias, ETEST e MC, foi 0,103mg/ml e 0,0119mg/ml respectivamente. Nesta comparação podemos observar a concordância de resultados em apenas seis amostras (35,3%), quatro sensíveis e duas, sensibilidade intermediária. As combinações terapêuticas testadas nos animais foram eficazes no tratamento da malasseziose ótica canina, porém não houve relação entre resultado do teste in vitro e a resposta in vivo dos antifúngicos frente a levedura.

Espectroscopia resolvida no tempo : caracterização de pulsos curtos, dinâmica molecular em líquidos, modelamento de luz incoerente

Nesta tese realizamos três trabalhos que envolvem diferentes aspectos da espectroscopia resolvida no tempo. No primeiro discutimos brevemente a teoria e as principais técnicas para a caracterização de pulsos curtos. Analisamos detalhamente uma destas técnicas e propusemos modi cações que possibilitaram o barateamento dos custos da montagem e, além disso, introduziram novas características que sanaram alguns problemas que a montagem original apresentava e que também possibilitaram uma melhor caracterização da própria técnica. Descrevemos cuidadosamente as condições que devem ser satisfeitas pela geometria dos feixes e pelos componentes da montagem para obter uma caracterização correta dos pulsos curtos. Também apresentamos o procedimento de calibração do sistema. Pulsos com diferentes tempos e funções de fase foram caracterizados e os resultados foram validados por testes de con abilidade da informação recuperada. O trabalho seguinte foi o estudo da dinâmica molecular em líquidos puros e em misturas através da técnica efeito Kerr óptico resolvido no tempo, que é uma técnica do tipo bombeio e prova não ressonante, usando um sistema laser Ti:Sa ra com pulsos de 170 fs, centrados em 800 nm. As moléculas estudadas foram o dissulfeto de carbono (CS2), benzeno (C6H6), alilbenzeno (C9H10) e o poliestireno (PS). A teoria necessária para descrever os resultados medidos foi desenvolvida no regime temporal. O modelo de Debye para a relaxação difusiva da anisotropia orientacional descreve a componente de tempos longa, acima de um picosegundo. Partindo do Hamiltoniano de interação, desenvolvemos a teoria da função resposta linear, chegando a uma expressão para a relaxação da polarizabilidade anisotrópica, necessária para descrever os tempos curtos (subpicosegundos). Além disso, a passagem para o regime espectral utilizando somente dados experimentais, ou seja, sem a necessidade de levar em conta modelos especí cos, também foi discutida. Os resultados mostram que os tempos difusivos tanto nos líquidos puros quanto nas misturas seguem a equação de Debye-Stokes-Einstein que prevê um aumento deste tempo para viscosidades maiores. Os tempos curtos são analisados em termos da componente não difusiva da resposta espectral associada à dinâmica molecular. As alterações do espectro foram quanti cadas e a explicação para as mudanças observadas foi dada em termos das con gurações estruturais de interação que levam a uma alteração do potencial intermolecular dentro do qual as moléculas executam movimentos libracionais. Por último, investigamos a questão do modelamento de pulsos de luz incoerente. Para isto trabalhamos com um laser de corante banda larga sem elemento de seleção espectral intracavidade. A técnica utilizada foi o espalhamento forçado de luz ao qual foi acoplado um modelador composto por uma grade, uma lente e uma máscara que alterava a função de fase espectral relativa entre os feixes formadores da grade transiente na amostra de interesse. Realizamos uma análise detalhada desta montagem e obtivemos expressões para ajustar os dados medidos. Os resultados mostram que a função de correlação pode ser alterada de forma especí ca através da escolha de determinadas funções de fase espectrais.

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Toxic acute hepatitis associated to the administration of prostaglandin in a dog

A prostaglandina F2a pode ser usada em caes para aumentar o volume do ejaculado em casos de inseminação artificial, criopreservação seminal ou biotecnologias de reprodução. Os efeitos colaterais após a administração da PGF2a, como taquicardia, salivação, emese, diarréia e convulsões geralmente são relacionadas com a dose utilizada. Esse trabalho objetiva relatar a ocorrência de hepatite tóxica aguda após a administração de PGF2a em um cão, e discutir a importância de se utilizar essa droga com cautela nessa espécie.

Esterase enzymes involved in pyrethroid and organophosphate resistance in a Brazilian population of Riphicephallus (Boophilus) microplus (Acari, Ixodidae)

Esterases are a group of enzymes that are reportedly associated with acaricide resistance in Riphicephallus (Boophilus) microplus. A comparative analysis was made of the esterase patterns in malathion and deltamethrin-sensitive, tolerant and resistant tick groups, using non-denaturing polyacrylamide gel electrophoresis. Electrophoretical profiles revealed four bands of esterase activity against alpha-naphthyl acetate; which were dubbed EST-1 to EST-4. The EST-3 and EST-4 were detected in all strains and were classified as carboxylesterases (CaEs). The EST-2, classified as an acetylcholinesterase (AChE), was detected in all groups, but its staining intensity increased from susceptible to resistant groups, indicating an altered production according to the degree of resistance. EST-1, which was also classified as an AChE, was detected exclusively in tolerant and resistant groups to both acaricides, but displayed greater activity in the malathion-resistant group. These data suggest that these AChEs may represent an important detoxification strategy developed to overcome the effects of acaricides. (C) 2008 Elsevier B.V. All rights reserved.

Avaliação da função renal de cães sadios e nefropatas sob infusão de dopamina

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Sobre a equivalência de contato topológica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Efeitos da administração epidural de dexmedetomidina sobre a concentração alveolar mínima do isofluorano em cães

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)