Projetos de Pesquisa

 

Foto de perfil

Abilio Azambuja Rodrigues Filho

Ciências Humanas

Filosofia
  • negações, excessos e lacunas
  • A negação clássica é um operador de contraditoriedade no sentido em que transforma o valor semântico V em F, e vice-versa. Lógicas paraconsistentes admitem excessos (gluts), que são circunstâncias em que uma dada proposição e sua negação recebem ambas o valor V, e lógicas paracompletas admitem lacunas (gaps), circunstâncias em que uma proposição e sua negação recebem ambas o valor F. Lógicas paraconsistentes tem aplicações no processamento de informação, pois bancos de dados frequentemente contém contradições. A lógica intuicionista, que é paracompleta, tem uma estreita conexão com a ciência da computação, expressada pelo isomorfismo de Curry-Howard, que estabelece uma relação direta entre provas intuicionistas e programas. A interpretação de lógicas paraconsistentes e paracompletas coloca diversas questões de caráter filosófico-conceitual. Excessos e lacunas ocorrem também em topologia, álgebra, e áreas correlatas. A topologia oferece um arcabouço conceitual natural para modelar lacunas e excessos - o interior do complemento de um conjunto define uma negação com lacunas, e o fecho do complemento de um conjunto define uma negação com excessos. Abstraindo as operações topológicas conjuntistas, obtêm-se as álgebras de Heyting, que são modelos da lógica intuicionista. A abordagem algébrica também fornece semânticas adequadas para diversas lógicas paraconsistentes e paracompletas, por meio das estruturas Fidel, twist e swap. O objetivo deste projeto é prosseguir de forma colaborativa com as investigações técnicas e conceituais em paracompletude e paraconsistência já realizadas pelos membros da equipe, como também investigar tópicos ainda inexplorados em lógica, matemática e teoria da computabilidade. Pretende-se que a reunião de pesquisadores com experiências diferentes mas complementares no tema do projeto levante novas questões e produza novos resultados em um tópico central da subárea lógica e sua interseção com a matemática e a ciência da computação.
  • Universidade Federal de Minas Gerais - MG - Brasil
  • 08/02/2022-28/02/2025
Foto de perfil

Abraham Cézar de Brito Rocha

Ciências Agrárias

Medicina Veterinária
  • desenvolvimento e avaliação de proteínas quiméricas para um diagnóstico sorológico rápido da dirofilariose canina.
  • A Dirofilariose canina é uma doença causada pelo verme Dirofilaria immitis que leva a um comprometimento cardiorrespiratório e posterior morte dos animais. Essa parasitose chama atenção da indústria farmacêutica, porque a prevenção anual gira em torno de $75 por cão e existe aproximadamente 80 milhões de cães infectados nos EUA e 54 milhões no Brasil. O padrão ouro do diagnóstico é o teste de detecção de antígeno circulante, porém há limitações em cães com baixa carga parasitária de fêmeas de D. immitis. Somado a isso, não há um teste de captura de anticorpos disponível comercialmente. Diante do exposto, o objetivo é desenvolver e avaliar proteínas quiméricas para o desenvolvimento de um teste rápido de captura de anticorpos para a dirofilariose canina. Primeiro, serão desenhados genes quiméricos (in silico) que reúnam regiões antigênicas de proteínas de D. immitis identificadas como epítopos para linfócitos B. A fim de diminuir a possibilidade de reação cruzada, as sequências similares a outras espécies de parasitas serão excluídas do gene em construção. Os genes serão clonados em vetores de expressão, que serão usados para transformar células competentes de E. coli. A expressão das proteínas quiméricas será estimulada por IPTG e a purificação será feita por cromatografia. Então, as proteínas serão avaliadas por ELISA indireto com soros de cães positivos e negativos para a dirofilariose (de áreas endêmicas e não endêmicas), além de outras parasitoses para avaliar a reação cruzada. Para cada antígeno, serão analisados a sensibilidade, especificidade, o valor preditivo positivo e negativo. Após a identificação da melhor proteína nos resultados do ELISA, será produzido um teste rápido do tipo lateral flow para avaliar o desempenho dessa plataforma e seu futuro uso no diagnóstico da dirofilariose canina. A expectativa é que o novo teste possa contribuir para um maior conhecimento sobre a epidemiologia da doença, direcionando esforços para controlar esta parasitose.
  • Fundação Oswaldo Cruz - PE - Brasil
  • 17/03/2022-31/03/2025