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)
Binary Decision Diagrams(BDDs) have been used as a very powerful tool for manipulating Boolean functions in various application domains, in particular, design veriication of logic circuits. We can represent m a n y practical functions with reasonable size of BDDs, and perform Boolean operations very eeciently. Unfortunately, the sizes of the BDDs for(More)
We investigated the components of ginger that are involved in increasing body temperature. Gingerols ([6,8,10]-gingerols) and shogaols ([6,8,10]-shogaols) having different alkyl carbon chain lengths were targeted. All the gingerols and shogaols increased intracellular calcium concentration in rat transient receptor potential vanilloid subtype 1(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)
Peroxisome proliferator-activated receptor (PPAR) c coactivator 1a (PGC-1a) 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-1a(More)
Endothelin-1 (21 amino acids; ET-21) is considered to be derived from a precursor, proendothelin (38 amino acids; ET-38). In order to make the physiological significance of this conversion clear, we synthesized various C-terminal elongated derivatives of ET-21, such as ET-22, ET-23, ET-25, ET-31, ET-36 and ET-38 (each number implies the number of amino acid(More)
  • 1