Data Archiving and Networked Services (DANS) · 1993 · 11 citations · 2 references
Open access
ComputingComputer ScienceAlgorithmsFormal MethodsProgramming LanguagesData TypesDeductive VerificationModel CheckingModel TheoryType CheckingType SystemsKind SystemsType ClassesType Theory
The ability of the free thyroxine index (FTI) and the effective thyroxine ratio (ETR) to distinguish abnormal from normal thyroid function is compared in a series of 422 patients; they were equally successful in detecting hyperthyroidism. In hypothyroidism, however, the ETR values of 22% were within 95% 'normal' limits compared with 7,4% of the FTI values. Other authors have shown a similar poorer sensitivity of the ETR compared with the FTI.
2
Thierry Coquand, Gérard Huet · Information and Computation · 1988 · 1.1K citations · Full text
A survey of the project Automath
de Ng Dick Bruijn · Data Archiving and Networked Services (DANS) · 1980 · 258 citations · Full text