1
“.... Este trabalho apresenta a implementacao de um provador de teoremas para o sistema modal S4, denominado ProS...”
ProS4 - provador automático de teoremas para a lógica modal S4
Dissertação
2
“... de informações de teste. Este trabalho é realizado a partir do modelo RAModel e do processo ProSA-RA. O RAModel...”
ProSA-RAT: Um processo para estabelecimento de arquiteturas de referência com informações de teste de software
Dissertação
3
6
8
10
11
“...O presente trabalho tem como objetivo analisar a obra em prosa de escritora chilena Gabriela...”
Os recados na prosa de Gabriela Mistral
Dissertação
13
14
Assuntos:
“...Receptores de reconhecimento padrão (PRRs)...”
Avaliação do papel dos receptores de reconhecimento de padrões Dectina-2 e Dectina-3 na infecção experimental por Paracoccidioides brasiliensis
Tese
15
Assuntos:
“...PRRS...”
Desenvolvimento de técnicas biomoleculares para diagnóstico de circovírus suíno
Dissertação
16
Assuntos:
“...Bothrops jararaca (Bj-PROs)...”
Efeitos de peptídeos ricos em prolina do veneno da serpente Bothrops Jararaca sobre a revascularização de membros posteriores isquêmicos de camundongos normoglicêmicos e hiperglicê...
Tese
17
Assuntos:
“...ProSA-RA...”
Uma arquitetura de referência para projetar ferramentas de modernização baseadas em ADM
Tese