Keith A. Bauer

Learn More
The frequency of the most common sporadic Apert syndrome mutation (C755G) in the human fibroblast growth factor receptor 2 gene (FGFR2) is 100-1,000 times higher than expected from average nucleotide substitution rates based on evolutionary studies and the incidence of human genetic diseases. To determine if this increased frequency was due to the(More)
Molecular profiling of tumor tissue to detect alterations, such as oncogenic mutations, plays a vital role in determining treatment options in oncology. Hence, there is an increasing need for a robust and high-throughput technology to detect oncogenic hotspot mutations. Although commercial assays are available to detect genetic alterations in single genes,(More)
Targeted anticancer therapies rely on the identification of patient subgroups most likely to respond to treatment. Predictive biomarkers play a key role in patient selection, while diagnostic and prognostic biomarkers expand our understanding of tumor biology, suggest treatment combinations, and facilitate discovery of novel drug targets. We have developed(More)
Single nucleotide polymorphisms (SNPs) are now widely used for many DNA analysis applications such as linkage disequilibrium mapping, pharmacogenomics and traceability. Many methods for SNP genotyping exist with diverse strategies for allele-distinction. Mass spectrometers are used most commonly in conjunction with primer extension procedures with(More)
abstract This chapter reviews key debates about the meaning of telehealth and also considers how new and emerging systems in telehealth work to protect patient confidentiality, improve healthcare relationships, and diminish instances of compromised access and equity in the healthcare system. This chapter also looks at how these same telehealth systems could(More)
Approaches developed for sequencing DNA with detection by mass spectrometry use strategies that deviate from the Sanger-type methods. Procedures demonstrated so far used the sequence specificity of RNA endonucleases, as unfortunately equivalent enzymes for DNA do not exist and therefore require transcription of DNA into RNA prior to fragmentation. We have(More)
We present research into how best to do machine-assisted reasoning about concurrent algorithms involving dynamic memory allocation, particularly concentrating on algorithms implementing linear data structures. We present PVS formalisms for reasoning about concurrency based on IO Automata, and for reasoning about dynamic memory allocation based on work by(More)
  • 1