Frank Bennett

Learn More
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite quasigroups. Several of the problems were pre­ viously open. In this paper, we discuss our the­ orem proving methods, related to those of the existing provers SATCHMO (Manthey, Bry) and OTTER (McCune), and note how parallel(More)
Patients with metastatic melanoma or multiple myeloma have a dismal prognosis because these aggressive malignancies resist conventional treatment. A promising new oncologic approach uses molecularly targeted therapeutics that overcomes apoptotic resistance and, at the same time, achieves tumor selectivity. The unexpected selectivity of proteasome inhibition(More)
Chronic lymphocytic leukemia (CLL) B cells have defects in apoptosis pathways and therefore accumulate in vivo. However, when removed from the patient and cultured in vitro, these malignant cells rapidly undergo apoptosis. Recent studies suggest that leukemia cell survival is influenced by interactions with nonleukemia cells in the microenvironment of lymph(More)
Survivin, a member of the inhibitor of apoptosis protein (IAP) family, is detected in most common human cancers but not in adjacent normal cells. Previous studies suggest that survivin associates with the mitotic spindle and directly inhibits caspase activity. To further investigate the function of survivin, we used a survivin antisense (AS) oligonucleotide(More)
Chronic lymphocytic leukemia (CLL) cells develop chemo-resistance over time. Most anticancer agents function through induction of apoptosis, and therefore resistance against these agents is likely to be caused by selection for CLL cells with defects in the particular apoptosis pathway that is triggered by these drugs. Anticancer agents that function through(More)
Antibody-drug conjugates (ADCs) are potent cytotoxic drugs linked to antibodies through chemical linkers, and allow specific targeting of drugs to neoplastic cells. The expression of CD22 is limited to B-cells, and we show that CD22 is expressed on the vast majority of non-Hodgkin's lymphomas (NHLs). An ideal target for an ADC for the treatment of NHL would(More)
Once melanoma metastasizes, no effective treatment modalities prolong survival in most patients. This notorious refractoriness to therapy challenges investigators to identify agents that overcome melanoma resistance to apoptosis. Whereas many survival pathways contribute to the death-defying phenotype in melanoma, a defect in apoptotic machinery previously(More)
The structures of both the native holo-HCV NS3/4A protease domain and the protease domain with a serine 139 to alanine (S139A) mutation were solved to high resolution. Subsequently, structures were determined for a series of ketoamide inhibitors in complex with the protease. The changes in the inhibitor potency were correlated with changes in the buried(More)
Small-molecule hepatitis C virus (HCV) NS3 protease inhibitors such as boceprevir (SCH 503034) have been shown to have antiviral activity when they are used as monotherapy and in combination with pegylated alpha interferon and ribavirin in clinical trials. Improvements in inhibitor potency and pharmacokinetic properties offer opportunities to increase drug(More)