Learn More
DNA repair has long been considered impossible in human spermatozoa due to the high level of DNA compaction observed in these cells. However, detailed examination of the base excision repair pathway in human spermatozoa has revealed the presence of an enzyme critical to this pathway, 8-oxoguanine DNA glycosylase 1 (OGG1). This glycosylase was associated(More)
In proof planning, common patterns of mathematical reasoning are embodied in tactics. Each of these is associated with a method, specifying its preconditions and eeects. Using methods, a plan for a proof can be constructed from tactics. This plan is then used to guide a theorem prover through the proof. We have implemented diagonalization, a common form of(More)
This study demonstrates for the first time the presence of an L-amino acid oxidase (LAAO) enzyme in equine spermatozoa that is able to generate significant amounts of reactive oxygen species (ROS) and create a state of oxidative stress. RT-PCR analysis revealed that the mRNA for this enzyme was present in the equine testis and spermatozoa, while(More)
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and how we can represent the set of trees belonging to that class using constraints. The method enables the specification of a set of trees without having to generate all of the members(More)
  • 1