1. Integrating external deduction tools with ACL2

    Journal of Applied Logic 7(1):3 (2009)

    We present an interface connecting the ACL2 theorem prover with external deduction tools. The ACL2 logic contains several mechanisms for proof structuring, which are important to the construction of industrial-scale proofs. The complexity induced by these mechanisms makes the design of the ...
  2. Integrating external deduction tools with ACL2

    Journal of Applied Logic 7(1):3 (2009)

    We present an interface connecting the ACL2 theorem prover with external deduction tools. The ACL2 logic contains several mechanisms for proof structuring, which are important to the construction of industrial-scale proofs. The complexity induced by these mechanisms makes the design of the ...
  3. Classification and prediction of clinical Alzheimer's diagnosis based on plasma signaling proteins.

    Nature Medicine 13(11):1359 (2007) PMID 17934472

    A molecular test for Alzheimer's disease could lead to better treatment and therapies. We found 18 signaling proteins in blood plasma that can be used to classify blinded samples from Alzheimer's and control subjects with close to 90% accuracy and to identify patients who had mild cognitive impa...
  4. Classification and prediction of clinical Alzheimer's diagnosis based on plasma signaling proteins.

    Nature Medicine 13(11):1359 (2007) PMID 17934472

    A molecular test for Alzheimer's disease could lead to better treatment and therapies. We found 18 signaling proteins in blood plasma that can be used to classify blinded samples from Alzheimer's and control subjects with close to 90% accuracy and to identify patients who had mild cognitive impa...
  5. S2-02-04:Plasma protein biomarkers to predict early Alzheimer’s disease

    Alzheimer's & Dementia 3(3):S181 (2007)

  6. Global analysis of ligand sensitivity of estrogen inducible and suppressible genes in MCF7/BUS breast cancer cells by DNA microarray.

    PNAS 100(24):13994 (2003) PMID 14610279 PMCID PMC283534

    To obtain comprehensive information on 17beta-estradiol (E2) sensitivity of genes that are inducible or suppressible by this hormone, we designed a method that determines ligand sensitivities of large numbers of genes by using DNA microarray and a set of simple Perl computer scripts implementing...
  7. Global analysis of ligand sensitivity of estrogen inducible and suppressible genes in MCF7/BUS breast cancer cells by DNA microarray.

    PNAS 100(24):13994 (2003) PMID 14610279 PMCID PMC283534

    To obtain comprehensive information on 17beta-estradiol (E2) sensitivity of genes that are inducible or suppressible by this hormone, we designed a method that determines ligand sensitivities of large numbers of genes by using DNA microarray and a set of simple Perl computer scripts implementing...
  8. Sequence variation between alleles reveals two types of copy correction at the 27-kDa zein locus of maize

    Genomics 11(4):849 (1991)

    In many inbred lines of maize, two 27-kDa storage protein (zein) genes are found within tandem duplications of 12 kb. Both genes of the duplicated allele from the maize inbred line A188 were sequenced and compared to a similar duplicated allele in another inbred line, W22, and to a single-c...
  9. Sequence variation between alleles reveals two types of copy correction at the 27-kDa zein locus of maize

    Genomics 11(4):849 (1991)

    In many inbred lines of maize, two 27-kDa storage protein (zein) genes are found within tandem duplications of 12 kb. Both genes of the duplicated allele from the maize inbred line A188 were sequenced and compared to a similar duplicated allele in another inbred line, W22, and to a single-c...