OBJECTIVE Cyclooxygenase-1 (COX-1), but not COX-2, is expressed in human platelets, and thromboxane A2 (TXA2) produced via COX-1 induces platelet aggregation. The objectives of this study were to investigate the expression of COX-1 and COX-2 during platelet differentiation and to determine whether these enzymes are involved in the differentiation. METHODS… (More)
Inductive Logic Programming (ILP) is a method of machine learning which is based on predicate logic. In this work, we propose a new method that transforms a problem of ILP into that of MaxSAT. MaxSAT is an optimization version of SAT. It finds an variable assignment that maximizes the number of satisfied clauses.