Satoshi Morishita

Learn More
Conjugated polymers, such as polyfluorene and poly(phenylene vinylene), have been used to selectively disperse semiconducting single-walled carbon nanotubes (sc-SWNTs), but these polymers have limited applications in transistors and solar cells. Regioregular poly(3-alkylthiophene)s (rr-P3ATs) are the most widely used materials for organic electronics and(More)
AIM To determine the distance between the branching point of the left colic artery (LCA) and the inferior mesenteric artery (IMA) by computed tomography (CT) scanning, for preoperative evaluation before laparoscopic colorectal operation. METHODS From February 2004 to May 2005, 100 patients (63 men, 37 women) underwent angiography performed with a(More)
It is recognized that iodine-123-labelled 15-(p-iodophenyl)-3-(R,S)-methylpentadecanoic acid (123I-BMIPP) slowly washes out of the myocardium. The mechanism for the washout was investigated in normal rat hearts by analyses of the subcellular distribution and lipid classes based on the BMIPP metabolism. Rat hearts were excised at 1-120 min after intravenous(More)
We propose a method to search for illustrative sentences for English multiword expressions (MWEs) from a research paper database. We focus on syntactically flexible expressions such as " regard – as. " Traditionally, illustrative sentences that contain such expressions have been searched for by limiting the maximum number of words between the component(More)
Tuning the threshold voltage of a transistor is crucial for realizing robust digital circuits. For silicon transistors, the threshold voltage can be accurately controlled by doping. However, it remains challenging to tune the threshold voltage of single-wall nanotube (SWNT) thin-film transistors. Here, we report a facile method to controllably n-dope SWNTs(More)
—A semi-formal verification technique, which performs a brute-force compiled simulation with a sophisticated search space pruning, has been proposed and shown to be competitive with the state-of-the-art SAT-based verification techniques [1]. This paper presents a novel approach for accelerating the semi-formal verification by utilizing hardware/software(More)
A 63-year-old female was admitted because of cardiogenic shock due to complete rupture of the posterior papillary muscle. The diagnosis was made by echocardiography. She was treated successfully by an emergency replacement of the mitral valve. Early diagnosis and surgical treatment are mandatory and life-saving in the case of complete papillary muscle(More)
The verification becomes important now as the design becomes complex and large-scale. Model checking which is one of the most important verification has been held back by the state explosion problem, which is the problem that the number of states grows exponentially in the number of system components. So we propose an efficient model checking method in this(More)