Find Research Outputs

Search concepts
Selected filters
1992

MGTP: A parallel theorem prover based on lazy model generation

Hasegawa, R., Koshimura, M. & Fujita, H., Jan 1 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Springer Verlag, Vol. 607 LNAI. p. 776-780 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Microcarcinoma of the Endometrium: A Mapping Study with Special Reference to Cytologic Atypia in the Endometrium

Hachisuga, T., Sugimori, H., Kaku, T. & Tsuneyoshi, M., Dec 1992, In : Japanese journal of clinical oncology. 22, 6, p. 400-405 6 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Microstructural change and its influence on fission gas release in high burnup UO2 fuel

Une, K., Nogita, K., Kashibe, S. & Imamura, M., Jun 1992, In : Journal of Nuclear Materials. 188, C, p. 65-72 8 p.

Research output: Contribution to journalArticle

87 Citations (Scopus)

Microsurgical and angiographic analysis of anterior communicating artery aneurysms with associated anomalies.

Inoue, T., Matsushima, T., Fujii, K., Suzuki, S., Fukui, M., Hasuo, K. & Matsuno, H., Nov 1992, In : Fukuoka igaku zasshi = Hukuoka acta medica. 83, 11, p. 397-402 6 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Migration of cesium, strontium and cobalt in water-saturated inada granite

Idemitsu, K., Furuya, H., Hara, T. & Inagaki, Y., May 1992, In : journal of nuclear science and technology. 29, 5, p. 454-460 7 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

Migration of Cesium, Strontium and Cobalt in Water-Saturated Inada Granite

Idemitsu, K., Furuya, H., Hara, T. & Inagaki, Y., Jan 1 1992, In : journal of nuclear science and technology. 29, 5, p. 454-460 7 p.

Research output: Contribution to journalArticle

Mineral balance and bone histology in spontaneously hypertensive rats

Furuse, M., Okumura, M., Watanabe, T. & Okumura, J. I., Jan 1 1992, In : Physiology and Behavior. 52, 4, p. 731-736 6 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Miscibility of dodecylammonium chloride and octylsulfinylethanol in the adsorbed film and micelle

Motomura, K., Kanda, T., Abe, K., Todoroki, N., Ikeda, N. & Aratono, M., Nov 9 1992, In : Colloids and Surfaces. 67, C, p. 53-59 7 p.

Research output: Contribution to journalArticle

21 Citations (Scopus)

Miscibility of dodecyltrimethylammonium bromide and dodecyltrimethylammonium chloride in surface-adsorbed film and micelle

Yamanaka, M., Amano, T., Ikeda, N., Aratono, M. & Motomura, K., Jul 1 1992, In : Colloid & Polymer Science. 270, 7, p. 682-686 5 p.

Research output: Contribution to journalArticle

21 Citations (Scopus)

Mitogenic activity of interferon gamma on growth-arrested human vascular smooth muscle cells

Yokota, T., Shimokado, K., Kosaka, C., Sasaguri, T., Masuda, J. & Ogata, J., Jan 1 1992, In : Arteriosclerosis, thrombosis, and vascular biology. 12, 12, p. 1393-1401 9 p.

Research output: Contribution to journalArticle

28 Citations (Scopus)

Mixed Oxide Capacitor of CuO—BaTiO3 as a New Type CO2 Gas Sensor

Ishihara, T., Kometani, K., Mizuhara, Y. & Takita, Y., Jan 1 1992, In : Journal of the American Ceramic Society. 75, 3, p. 613-618 6 p.

Research output: Contribution to journalArticle

95 Citations (Scopus)

Mobile Supported Monolayers of Ionic Amphiphiles: Variation of Domain Morphology via Preadsorbed Polyelectrolytes

Chi, L. F., Johnston, R. R., Ringsdorf, H., Kimizuka, N. & Kunitake, T., May 1 1992, In : Langmuir. 8, 5, p. 1360-1365 6 p.

Research output: Contribution to journalArticle

30 Citations (Scopus)

Mobility of edge dislocations in Al-Mg solution hardened alloys at high temperatures

Nakashima, H. & Yoshinaga, H., Jan 1 1992, In : Nippon Kinzoku Gakkaishi/Journal of the Japan Institute of Metals. 56, 3, p. 254-261 8 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Modeling of collision dynamics for space free-floating links with extended generalized inertia tensor

Yoshida, K., Sashida, N., Kurazume, R. & Umetani, Y., Apr 1992, Proceedings - IEEE International Conference on Robotics and Automation. Publ by IEEE, Vol. 1. p. 899-904 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

58 Citations (Scopus)

Modeling of kinetic-inductance coplanar stripline with nbn thin films

Yoshida, K., Hossain, M. S., Kisu, T., Enpuku, K. & Yamafuji, K., Dec 1992, In : Japanese Journal of Applied Physics. 31, 12 R, p. 3844-3850 7 p.

Research output: Contribution to journalArticle

36 Citations (Scopus)

Modeling of the deformation of a liquid droplet impinging upon a flat surface

Fukai, J., Zhao, Z., Poulikakos, D., Megaridis, C. M. & Miyatake, O., Dec 1 1992, In : Physics of Fluids A. 5, 11, p. 2588-2599 12 p.

Research output: Contribution to journalArticle

235 Citations (Scopus)

Modeling supply response with implicit revenue functions: A policy-switching procedure for rice

Chen, D. T. & Ito, S., Feb 1992, In : American Journal of Agricultural Economics. 74, 1, p. 186-196 11 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Modeling the dc superconducting quantum interference device coupled to the multiturn input coil. III

Enpuku, K., Cantor, R. & Koch, H., Dec 1 1992, In : Journal of Applied Physics. 72, 3, p. 1000-1006 7 p.

Research output: Contribution to journalArticle

22 Citations (Scopus)

Modeling the direct current superconducting quantum interference device coupled to the multiturn input coil. II

Enpuku, K., Cantor, R. & Koch, H., Dec 1 1992, In : Journal of Applied Physics. 71, 5, p. 2338-2346 9 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)

Model of the major disruption in tokamaks

Itoh, K., Itoh, S. I., Fukuyama, A., Tsuji, S. & Lichtenberg, A. J., Dec 1 1992, In : Nuclear Fusion. 32, 10, p. 1851-1855 5 p., I13.

Research output: Contribution to journalArticle

13 Citations (Scopus)

Modification of petroleum-derived mesophase pitch by blending naphthalene-derived partially isotropic pitches

Toshima, H., Mochida, I., Korai, Y. & Hino, T., Jan 1 1992, In : Carbon. 30, 5, p. 773-779 7 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Modified application of intra-aortic balloon pump after repair of thoracic dissecting aneurysm

Hoka, S., Tashiro, T., Haruta, Y., Tanaka, K., Nagata, M., Yamaoka, A. & Todo, K., Jan 1 1992, In : Journal of Cardiovascular Surgery. 33, 1, p. 41-43 3 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Molecular assembly of mesophase and isotropic pitches at their fused states

Korai, Y. & Mochida, I., Jan 1 1992, In : Carbon. 30, 7, p. 1019-1024 6 p.

Research output: Contribution to journalArticle

37 Citations (Scopus)

Molecular biology and biochemistry of the natriuretic peptide system. I: Natriuretic peptides

Nakao, K., Ogawa, Y., Suga, S. I. & Imura, H., Sep 1992, In : Journal of hypertension. 10, 9, p. 907-912 6 p.

Research output: Contribution to journalArticle

293 Citations (Scopus)

Molecular biology and biochemistry of the natriuretic peptide system. II: Natriuretic peptide receptors

Nakao, K., Ogawa, Y., Suga, S. N. & Imura, H., Jan 1 1992, In : Journal of hypertension. 10, 10, p. 1111-1114 4 p.

Research output: Contribution to journalEditorial

197 Citations (Scopus)

Molecular biology of the natriuretic peptide family

Ogawa, Y., Nakao, K. & Imura, H., Apr 1992, In : Nippon rinsho. Japanese journal of clinical medicine. 50 Suppl, p. 46-53 8 p.

Research output: Contribution to journalReview article

1 Citation (Scopus)

Molecular biology of the natriuretic peptide system

Ogawa, Y., Nakao, K., Itoh, H., Suga, S. & Imura, H., Dec 1992, In : Nippon rinsho. Japanese journal of clinical medicine. 50, 12, p. 2885-2892 8 p.

Research output: Contribution to journalReview article

1 Citation (Scopus)

Molecular cloning, sequence analysis and expression of a cDNA encoding human type-1 angiotensin II receptor

Takayanagi, R., Ohnaka, K., Sakai, Y., Nakao, R., Yanase, T., Haji, M., Inagami, T., Furuta, H., Gou, D. F., Nakamuta, M. & Nawata, H., Mar 16 1992, In : Biochemical and Biophysical Research Communications. 183, 2, p. 910-916 7 p.

Research output: Contribution to journalArticle

112 Citations (Scopus)

Molecular cloning and characterization of the inositol 1,4,5-trisphosphate receptor in Drosophila melanogaster

Yoshikawa, S., Tanimura, T., Miyawaki, A., Nakamura, M., Yuzaki, M., Furuichi, T. & Mikoshiba, K., Jan 1 1992, In : Journal of Biological Chemistry. 267, 23, p. 16613-16619 7 p.

Research output: Contribution to journalArticle

129 Citations (Scopus)

Molecular design of calix[4]arene-based fluorescent hosts

Aoki, I., Sakaki, T., Tsutsui, S. & Shinkai, S., Jan 1 1992, In : Tetrahedron Letters. 33, 1, p. 89-92 4 p.

Research output: Contribution to journalArticle

27 Citations (Scopus)

Molecular design of calixarene-based ion-selective electrodes

Sakaki, T., Harada, T., Deng, G., Kawabata, H., Kawahara, Y. & Shinkai, S., Sep 1 1992, In : Journal of Inclusion Phenomena and Molecular Recognition in Chemistry. 14, 3-4, p. 285-302 18 p.

Research output: Contribution to journalArticle

36 Citations (Scopus)

Molecular mechanisms for the sorting of proteins to the vacuoles

Matsuoka, K. & Nakamura, K., Jan 1 1992, In : Tanpakushitsu kakusan koso. Protein, nucleic acid, enzyme. 37, 7, p. 1172-1177 6 p.

Research output: Contribution to journalReview article

Monte Carlo calculation of solubilities of high-boiling component in supercritical carbon dioxide

Eya, H., Iwai, Y., Fukuda, T. & Arai, Y., Sep 15 1992, In : Fluid Phase Equilibria. 77, C, p. 39-51 13 p.

Research output: Contribution to journalArticle

23 Citations (Scopus)

Mössbauer studies of first-stage corrosion products on iron powder and corrosion products on highly corroded nails

Maeda, Y., Matsuo, Y., Sugihara, S., Momoshima, N. & Takashima, Y., Jan 1 1992, In : Corrosion Science. 33, 10, p. 1557-1567 11 p.

Research output: Contribution to journalArticle

18 Citations (Scopus)

Moving source model analysis of neutron production cross section for proton induced spallation reactions

Ishibashi, K., Higo, K., Sakaguchi, S., Matsumoto, Y., Wakuta, Y., Takada, H., Nishida, T., Nakahara, Y., Kaneko, Y. & Matsumoto, Y., Jan 1 1992, In : journal of nuclear science and technology. 29, 6, p. 499-512 14 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Moving Source Model Analysis of Neutron Production Cross Section for Proton Induced Spallation Reactions

Ishibashi, K., Higo, K., Sakaguchi, S., Matsumoto, Y., Wakuta, Y., Takada, H., Nishida, T., Nakahara, Y. & Kaneko, Y., Jan 1 1992, In : journal of nuclear science and technology. 29, 6, p. 499-512 14 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

M‐phase‐specific histone H1 kinase in fish oocytes: Purification, components and biochemical properties

YAMASHITA, M., FUKADA, S., YOSHIKUNI, M., BULET, P., HIRAI, T., YAMAGUCHI, A., YASUDA, H., OHBA, Y. & NAGAHAMA, Y., Jan 1 1992, In : European Journal of Biochemistry. 205, 2, p. 537-543 7 p.

Research output: Contribution to journalArticle

59 Citations (Scopus)

MRI of granular flows in a rotating cylinder

Nakagawa, M., Caprihan, A. & Fukushima, E., Jan 1 1992, p. 23-27. 5 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Mri of primary spleen angiosarcoma with iron accumulation

Kaneko, K., Onitsuka, H., Murakami, J., Honda, H., Kimura, M., Shiraishi, N. & Masuda, K., Mar 1992, In : Journal of Computer Assisted Tomography. 16, 2, p. 298-300 3 p.

Research output: Contribution to journalArticle

22 Citations (Scopus)

Multidentate phenyl-bonded phases in high-performance liquid chromatography

Jinno, K., Yamamoto, K., Kuwamoto, T., Nagashima, H., Ueda, T., Tajima, S., Kimura, E., Itoh, K., Fetzer, J. C. & Biggs, W. R., Sep 1 1992, In : Chromatographia. 34, 5-8, p. 381-385 5 p.

Research output: Contribution to journalArticle

18 Citations (Scopus)

Multi-level logic minimization based on minimal support and its application to the minimization of look-up table type FPGAs

Fujita, M. & Matsunaga, Y., 1992, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers. Publ by IEEE, p. 560-563 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Multiphase material containing poly(l-glutamate) for biomembrane mimetic sensors

Nakano, K., Fujita, Y., Maeda, M. & Takagi, M., 1992, In : polymer. 33, 19, p. 3997-4000 4 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Multiple colorectal neoplasms in a young adult with hypogammaglobulinemia - Report of a case

Adachi, Y., Mori, M., Kido, A., Shimono, R., Suehiro, T. & Sugimachi, K., Feb 1 1992, In : Diseases of the Colon & Rectum. 35, 2, p. 197-200 4 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Multiple delay model approach applied to the AIAA 1992 controls design challenge

Miyazawa, Y., Jan 1 1992, p. 1559-1568. 10 p.

Research output: Contribution to conferencePaper

Multiple phases of polymer gels

Masahiko, A. & Tanaka, T., Jan 1 1992, In : Nature. 355, 6359, p. 430-432 3 p.

Research output: Contribution to journalArticle

278 Citations (Scopus)

Multipole Shaking Field for Magnetic Shielding

Sasada, I., Inoue, I. & Harada, K., Jan 1992, In : IEEE Transactions on Magnetics. 28, 1, p. 57-60 4 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Multivariate analysis of postoperative complications after esophageal resection

Tsutsui, S., Moriguchi, S., Morita, M., Kuwano, H., Matsuda, H., Mori, M., Matsuura, H. & Sugimachi, K., Jun 1992, In : The Annals of Thoracic Surgery. 53, 6, p. 1052-1056 5 p.

Research output: Contribution to journalArticle

84 Citations (Scopus)

Mutant actin: A dead end?

Hennessey, E. S., Harrison, A., Drummond, D. R. & Sparrow, J. C., Jan 1 1992, In : Journal of Muscle Research and Cell Motility. 13, 2, p. 127-131 5 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

Mutants with delayed cell death of the ptilinal head muscles in drosophila

Kimura, K. I. & Tanimura, T., Jan 1 1992, In : Journal of Neurogenetics. 8, 2, p. 57-69 13 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

N = 2 string as a topological conformal theory

Gomis, J. & Suzuki, H., Mar 26 1992, In : Physics Letters B. 278, 3, p. 266-270 5 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)