Calculo 1490
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Valores preditivos positivos das categorias 3, 4 e 5 do Breast Imaging Reporting and Data System (BI-RADS®) em lesões mamárias submetidas a biópsia percutânea
Objetivo Avaliar o sistema BI-RADS como fator preditivo de suspeição para malignidade em lesões mamárias, correlacionando os achados radiológicos e os resultados histológicos por meio do cálculo do valor preditivo positivo das categorias 3, 4 e 5 em serviço de referência em diagnóstico e tratamento de câncer de mama da cidade de São Paulo. Mater
Radiol Bras. Publicado em: 2013-08
-
2. Verificação de propriedades do cálculo גex em Coq
O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com nomes, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a P
Publicado em: 2010