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)
SNP markers for QTL analysis of 4-MTB-GSL contents in radish roots were developed by determining nucleotide sequences of bulked PCR products using a next-generation sequencer. DNA fragments were amplified from two radish lines by multiplex PCR with six primer pairs, and those amplified by 2,880 primer pairs were mixed and sequenced. By assembling sequence(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)
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)
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)
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)
  • 1