We report a case of a 47-year-old woman with McCune-Albright syndrome associated with unusual growth-hormone and prolactin hypersecretion. Acromegaly was suspected on clinical examination, and she was referred to us. She had no history of precocious puberty or pathological fracture. She was 154cm tall, weighing 62kg with so-called acromegalic facies. There were two lumps, one of which was on he...

McCune-Albright Syndrome (MAS) is a rare sporadic disease characterized by bone fibrous dysplasia, Café au lait spots and a variable association of hyperfunction endocrine disorders. There is not any certain treatment available for this syndrome, and both physical and emotional disability in these patients is still a major concern for physicians. In present report we have described a 10- year-o...

OBJECTIVES/HYPOTHESIS To characterize the spectrum, symptoms, progression, and effects of endocrine dysfunction on sinonasal disease in polyostotic fibrous dysplasia (PFD) and McCune-Albright Syndrome (MAS). STUDY DESIGN Retrospective review. METHODS A prospectively followed cohort of subjects with PFD/MAS underwent a comprehensive evaluation that included otolaryngologic and endocrine eval...

SCOTT (Semantically Constrained Otter) is a resolution-based automatic theorem prover for first order logic. It is based on the high performance prover OTTER by W. McCune and also incorporates a model generator. This finds finite models which SCOTT is able to use in a variety of ways to direct its proof search. Clauses generated by the prover are in turn used as axioms of theories to be modelle...

This article presents examples of the monumental contributions of Bill McCune to mathematics, logic, computer science, and especially automated reasoning. The examples are presented in the form of short stories and recollections of the author during his long association with Bill. In addition to Bill’s accomplishments as a researcher, the author provides personal memories giving glimpses into B...