Learn More
The static dependency pair method is a method for proving the termination of higher-order rewrite systemsà la Nipkow. It combines the dependency pair method introduced for first-order rewrite systems with the notion of strong computability introduced for typed λ-calculi. Argument filterings and usable rules are two important methods of the dependency pair(More)
Autophagy is a highly-conserved cellular degradation and recycling system that is essential for cell survival during nutrient starvation. The loss of viability had been used as an initial screen to identify autophagy-defective (atg) mutants of the yeast Saccharomyces cerevisiae, but the mechanism of cell death in these mutants has remained unclear. When(More)
Background and Aim. It is difficult to master the skill of discriminating gastric adenoma from early gastric cancer by conventional endoscopy or magnifying endoscopy combined with narrow-band imaging, because the colors and morphologies of these neoplasms are occasionally similar. We focused on the surrounding gastric mucosa findings in order to determine(More)
BACKGROUND AND AIMS In hemostasis for colonic diverticular bleeding, the incidence of recurrent bleeding is higher in deep colonic diverticulum than in shallow. We aimed to improve and evaluate barium impaction therapy using an enteroscopic overtube with balloon. PATIENTS AND METHOD We performed barium impaction therapy in three patients with a diagnosis(More)
Ammonia inhibition of methane fermentation is one of the leading causes of failure of anaerobic digestion reactors. In a batch anaerobic digestion reactor with 429 mM NH3-N/L of ammonia, the addition of 25 mM phosphate resulted in an increase in methane production rate. Similar results were obtained with the addition of disodium phosphate in continuous(More)
In the mammalian auditory system, the three rows of outer hair cells (OHCs) located in the cochlea are thought to increase the displacement amplitude of the organ of Corti. This cochlear amplification is thought to contribute to the high sensitivity, wide dynamic range, and sharp frequency selectivity of the hearing system. Recent studies have shown that(More)
  • 1