Takahiro Minamikawa

Learn More
Using a confocal laser scanning microscope (CLSM), we observed subcellular three-dimensional (3-D) arrangements of actin filaments stained with fluorescein-labeled phalloidin during myofibrinogenesis of chick embryonic heart (7- to 13-somite stages). Serial optical tomograms were obtained from whole-mounted heart tubes and reconstructed into stereoscopic(More)
BACKGROUND Fibrosis or fatty infiltration of the human sinoatrial (SA) node is generally believed to represent replacement of the SA nodal cells by connective tissue. Quantitative analysis, however, has not been performed precisely to validate the interpretation of such histological changes. METHODS AND RESULTS The actual volume of the SA node and its(More)
We describe here the use of a confocal laser scanning microscope for imaging fast dynamic changes of the intracellular calcium ion concentration ([Ca2+]i) in isolated ventricular cell pairs. The scanning apparatus of our system, paired galvanometer mirrors, can perform narrow band scanning of an area of interest at a high temporal resolution of less than 70(More)
Although primary carcinoid tumor of the ovary is an extremely rare neoplasm, survival is excellent if the disease is confined to one ovary. Herein, we present a case of primary strumal carcinoid tumor of the ovary, stage IA, borderline malignancy, in a 34-year-old woman. Histological findings of the right ovary indicated higher atypical nuclei, higher(More)
We analyzed spatio-temporal characteristics of Ca2+ transients in the cytosol and the nucleus of cultured neonatal rat heart cells using confocal imaging with Indo-1 and Fluo-3. In resting heart muscle cells, nuclear [Ca2+] was maintained lower than the cytosolic level. The rise in nuclear [Ca2+], during either E-C coupling or propagation of the Ca2+ wave,(More)
Twelve patients of five families with familial hypertrophic cardiomyopathy were examined. Within each family, the older patients showed dilation or diminished contraction of the left ventricle by echocardiography or angiocardiography more frequently than did younger patients. LDH1 fraction (lactic dehydrogenase isoenzyme) and MB-CPK (creatinine(More)
In an attempt to analyse the kinetics of angiogenesis in the brain, we developed a new lectin-histochemical staining technique for identifying the vasculature. Three horseradish-peroxidase-conjugated lectins, i.e., Griffonia simplicifolia agglutinin 1 (GS1), Ricinus communis agglutinin 1 (RCA1) and soybean agglutinin (SBA), selectively stained vascular(More)
Model checking is a successful formal verification technique; however, its application to fault-tolerant distributed algorithms is still not common practice. One major reason for this is that model checking requires non-negligible users¿ efforts in representing the algorithm to be verified in the input language of a model checker. To alleviate this problem(More)
This paper presents an approach to facilitating model checking of consensus protocols, a class of distributed protocols. Model checking is a successful formal verification method. However its application to these protocols is still not a common practice because of the following problems. First, model checking requires non-negligible users' efforts in(More)
A 53-year-old woman who had suffered from severe rheumatoid arthritis developed pulmonary hypertension. Her small arteries in the lung showed plexogenic arteriopathy with fibrous intimal hyperplasia. There was also vasculitis of the small arteries in other organs and mural thrombosis in the pulmonary stem and abdominal aorta. The plexogenic arteriopathy(More)