Engenharia molecular de polímeros naturais para aplicação em terapia genética ocular
Variantes contemporâneas de métodos de decomposição para otimização de grande porte
Verificação formal de redes neurais via lógica infinitamente-valorada de Lukasiewicz
Desenvolvimento de software destinado à avaliação dos riscos de queda de árvores e...
Teoria de singularidades e aplicações a geometria diferencial, equações diferencia...