Alan J. Martin

Learn More
Logical frameworks supporting higher-order abstract syntax (HOAS) allow a direct and concise specification of a wide variety of languages and deductive systems. Reasoning about such systems within the same framework is well-known to be problematic. We describe the new version of the Hybrid system, implemented on top of Isabelle/HOL (as well as Coq), in(More)
Hip dysplasia, an abnormal laxity of the hip joint, is seen in humans as well as dogs and is one of the most common skeletal disorders in dogs. Canine hip dysplasia is considered multifactorial and polygenic, and a variety of chromosomal regions have been associated with the disorder. We performed a genome-wide association study in Dutch Labrador(More)
The deleterious effects of a disrupted copper metabolism are illustrated by hereditary diseases caused by mutations in the genes coding for the copper transporters ATP7A and ATP7B. Menkes disease, involving ATP7A, is a fatal neurodegenerative disorder of copper deficiency. Mutations in ATP7B lead to Wilson disease, which is characterized by a predominantly(More)
BACKGROUND AND AIMS Prediction of severe clinical outcomes in Clostridium difficile infection (CDI) is important to inform management decisions for optimum patient care. Currently, treatment recommendations for CDI vary based on disease severity but validated methods to predict severe disease are lacking. The aim of the study was to derive and validate a(More)
Metabotropic glutamate receptors (mGluRs) constitute an important family of the G-protein coupled receptors. Due to their widespread distribution in the central nervous system (CNS), these receptors are attractive candidates for understanding the molecular basis of various cognitive processes as well as for designing inhibitors for relevant psychiatric and(More)
  • 1