Akihito Morita

Learn More
BDD-based approaches cannot handle some arithmetic functions such as multiplication efficiently, while Binary Moment Diagrams proposed by Bryant and Chen provide compact representations for those functions. They reported a BMD-based polynomial-time algorithm for verifying multipliers. This approach requires high-level information such as specifications to(More)
Peroxisome proliferator-activated receptor (PPAR) γ coactivator 1α (PGC-1α) is a coactivator of various nuclear receptors and other transcription factors, which is involved in the regulation of energy metabolism, thermogenesis, and other biological processes that control phenotypic characteristics of various organ systems including skeletal muscle. PGC-1α(More)
  • 1