Find Research outputs

Search results

• Program synthesis through Gödel's interpretation

  Goto, S., 1979 Jan 1, Mathematical Studies of Information Processing - Proceedings of the International Conference. Springer-Verlag, p. 302-325 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 75 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Progresses in separation and sensing technologies using DNA as affinity ligands (Review)

  Umeno, D. & Maeda, M., 1999, In: BUNSEKI KAGAKU. 48, 10, p. 871-890 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Progress in nickel chalcogenide electrocatalyzed hydrogen evolution reaction

  Anantharaj, S., Kundu, S. & Noda, S., 2020 Feb 28, In: Journal of Materials Chemistry A. 8, 8, p. 4174-4192 19 p.

  Research output: Contribution to journal › Review article › peer-review
  94 Citations (Scopus)

• Progress in quantum computational cryptography

  Kawachi, A. & Koshiba, T., 2006, In: Journal of Universal Computer Science. 12, 6, p. 691-709 19 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• Progress in search for antihelium with BESS

  Sasaki, M., Matsumoto, H., Nozaki, M., Saeki, T., Abe, K., Anraku, K., Asaoka, Y., Fujikawa, M., Fuke, H., Imori, M., Haino, S., Izumi, K., Maeno, T., Makida, Y., Matsuda, S., Matsui, N., Matsukawa, T., Matsunaga, H., Mitchell, J. W., Mitsui, T. & 22 others, Moiseev, A., Motoki, M., Nishimura, J., Orito, S., Ormes, J. F., Sanuki, T., Shikaze, Y., Seo, E. S., Sonoda, Y., Streitmatter, R., Suzuki, J., Tanaka, K., Tanizaki, K., Ueda, I., Wang, J. Z., Yajima, Y., Yamagami, Y., Yamamoto, A., Yamamoto, Y., Yamato, K., Yoshida, T. & Yoshimura, K., 2002 Dec, In: Nuclear Physics B - Proceedings Supplements. 113, 1-3, p. 202-207 6 p.

  Research output: Contribution to journal › Article › peer-review
  24 Citations (Scopus)

• Progress in the control system of the undulation pump total artificial heart

  Saito, I., Chinzei, T., Abe, Y., Ishimaru, M., Mochizuki, S., Ono, T., Isoyama, T., Iwasaki, K., Kouno, A., Baba, A., Ozeki, T., Takiura, K., Tohyama, T., Nakagawa, H. & Imachi, K., 2003, In: Artificial Organs. 27, 1, p. 27-33 7 p.

  Research output: Contribution to journal › Article › peer-review
  11 Citations (Scopus)

• Progress in the Development of Conduction-Cooled REBCO Magnets for Ultrahigh-Field MRI Systems

  Miyazaki, H., Iwai, S., Uto, T., Otani, Y., Takahashi, M., Tosaka, T., Tasaki, K., Nomura, S., Kurusu, T., Ueda, H., Noguchi, S., Ishiyama, A., Urayama, S. I. & Fukuyama, H., 2017 Jun, In: IEEE Transactions on Applied Superconductivity. 27, 4, 7835709.

  Research output: Contribution to journal › Article › peer-review
  12 Citations (Scopus)

• Progress in the development of the undulation pump total artificial heart

  Abe, Y., Chinzei, T., Isoyama, T., Ono, T., Mochizucki, S., Saito, I., Iwasaki, K., Ishimaru, M., Baba, A., Kouno, A., Karita, T., Baba, K. & Imachi, K., 2000, In: Journal of Congestive Heart Failure and Circulatory Support. 1, 4, p. 167-170 4 p.

  Research output: Contribution to journal › Article › peer-review
  3 Citations (Scopus)

• Progress in thermal comfort research over the last twenty years

  De Dear, R. J., Akimoto, T., Arens, E. A., Brager, G., Candido, C., Cheong, K. W. D., Li, B., Nishihara, N., Sekhar, S. C., Tanabe, S., Toftum, J., Zhang, H. & Zhu, Y., 2013 Dec, In: Indoor Air. 23, 6, p. 442-461 20 p.

  Research output: Contribution to journal › Review article › peer-review
  297 Citations (Scopus)

• Progression of Combat Sport Activities for Youth Athletes

  Morales, J., Fukuda, D. H., Curto, C., Iteya, M., Kubota, H., Pierantozzi, E. & La Monica, M., 2020 Jun 1, In: Strength and Conditioning Journal. 42, 3, p. 78-89 12 p.

  Research output: Contribution to journal › Article › peer-review

• Progressive dopaminergic neurodegeneration of substantia nigra in the zitter mutant rat

  Nakadate, K., Noda, T., Sakakibara, S. I., Kumamoto, K., Matsuura, T., Joyce, J. N. & Ueda, S., 2006 Jul, In: Acta Neuropathologica. 112, 1, p. 64-73 10 p.

  Research output: Contribution to journal › Article › peer-review
  19 Citations (Scopus)

• Progressive ocean oxygenation at ~2.2 Ga inferred from geochemistry and molybdenum isotopes of the Nsuta Mn deposit, Ghana

  Goto, K. T., Sekine, Y., Ito, T., Suzuki, K., Anbar, A. D., Gordon, G. W., Harigane, Y., Maruoka, T., Shimoda, G., Kashiwabara, T., Takaya, Y., Nozaki, T., Hein, J. R., Tetteh, G. M., Nyame, F. K. & Kiyokawa, S., 2021 Apr 20, In: Chemical Geology. 567, 120116.

  Research output: Contribution to journal › Article › peer-review
  3 Citations (Scopus)

• Progressive representations of the nation: Early post-war Japan and Beyond

  Gayle, C. A., 2001, In: Social Science Japan Journal. 4, 1, p. 1-19 19 p.

  Research output: Contribution to journal › Article › peer-review
  17 Citations (Scopus)

• Progressive ripple-based service discovery for high response time in autonomous decentralized community system

  Mahmood, K., Horikoshi, Y., Niki, S., Lu, X. & Mori, K., 2008, Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems. p. 81-87 7 p. 4683118

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Progressive Slice Recovery With Guaranteed Slice Connectivity After Massive Failures

  Zhang, Q., Ayoub, O., Wu, J., Musumeci, F., Li, G. & Tornatore, M., 2022 Apr 1, In: IEEE/ACM Transactions on Networking. 30, 2, p. 826-839 14 p.

  Research output: Contribution to journal › Article › peer-review

• Progress of 275 kV-3 kA YBCO HTS cable

  Yagi, M., Mukoyama, S., Amemiya, N., Ishiyama, A., Wang, X., Aoki, Y., Saito, T., Ohkuma, T. & Maruyama, O., 2011 Nov, In: Physica C: Superconductivity and its applications. 471, 21-22, p. 1274-1278 5 p.

  Research output: Contribution to journal › Article › peer-review
  28 Citations (Scopus)

• Progress of crystallization into zeolite beta in the absence of steam

  Inagaki, S., Nakatsuyama, K., Kikuchi, E. & Matsukata, M., 2005 Jan 1, In: Studies in Surface Science and Catalysis. 158 A, p. 343-350 8 p.

  Research output: Contribution to journal › Article › peer-review
  4 Citations (Scopus)

• Progress of high average power, short-pulse laser technology for the Compton X-ray source

  Endo, A., Sakaue, K. & Washio, M., 2011 May 1, In: Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 637, 1 SUPPL., p. S33-S36

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• Progress of network experiments in research collaboration between NTT Laboratories and the University of Chile: AccessNova

  Yamauchi, N., Vera, E., Yamamoto, H. & Uose, H., 2002 Mar 1, In: NTT Review. 14, 2, p. 53-58 6 p.

  Research output: Contribution to journal › Article › peer-review
  5 Citations (Scopus)

• Progress of Theoretical Physics: Preface

  Sasaki, M., Soda, J., Tanaka, T., Futamase, T., Kodama, H., Kojima, Y., Maeda, K. I., Mukohyama, S., Ohta, N., Oohara, K., Shibata, M., Shiromizu, T., Yamaguchi, M., Yokoyama, J., Hikida, W., Ioka, K., Kogo, N., Nagataki, S. & Nakamura, T., 2006 Oct 31, In: Progress of Theoretical Physics. SUPPL. 163, p. i-ii

  Research output: Contribution to journal › Editorial › peer-review

• Progress of Theoretical Physics Supplement: Preface

  Robnik, M., Aizawa, Y. & Kuramoto, Y., 2003, In: Progress of Theoretical Physics Supplement. 150

  Research output: Contribution to journal › Article › peer-review

• Progress of Theoretical Physics Supplement: Preface

  Maeda, K. I. & Sasaki, M., 2002 Jan 1, In: Progress of Theoretical Physics Supplement. 148, 2, p. i

  Research output: Contribution to journal › Article › peer-review
  3 Citations (Scopus)

• Progress of Theoretical Physics Supplment: Preface

  Nakamura, K., Harayama, T. & Takatsuka, K., 2007 Aug 23, In: Progress of Theoretical Physics Supplement. 166, p. i

  Research output: Contribution to journal › Editorial › peer-review

• Progress of Yoroi-Coil Structure in Mechanical Strength with High Current Density

  Watanabe, T., Nagaya, S., Hirano, N., Awaji, S., Oguro, H., Ishiyama, A., Hojo, M. & Nishikawa, M., 2017 Jun, In: IEEE Transactions on Applied Superconductivity. 27, 4, 7839265.

  Research output: Contribution to journal › Article › peer-review
  6 Citations (Scopus)

• Progress on nanoparticle-based carbon nanotube complex: fabrication and potential application

  Yousefi, A. T., Fukumori, M., Reetu Raj, P., Liu, P., Fu, L., Bagheri, S. & Tanaka, H., 2016 Dec 1, In: Reviews in Inorganic Chemistry. 36, 4, p. 183-201 19 p.

  Research output: Contribution to journal › Review article › peer-review
  1 Citation (Scopus)

• Progress report on the MD-A under TIBET III array

  THE TIBET ASγ COLLABORATION, 2013 Jan 1, Proceedings of the 33rd International Cosmic Rays Conference, ICRC 2013. Sociedade Brasileira de Fisica, Vol. 2013-October.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Projectable interactive surface using microsoft kinect V2: Recovering information from coarse data to detect touch

  Sharma, P., Joshi, R. P., Boby, R. A., Saha, S. K. & Matsumaru, T., 2016 Feb 10, 2015 IEEE/SICE International Symposium on System Integration, SII 2015. Institute of Electrical and Electronics Engineers Inc., p. 795-800 6 p. 7405081

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  9 Citations (Scopus)

• Projectile-charge dependence of quasi-free-electron bremsstrahlung

  Ishii, K., Sera, K., Arai, H., Morita, S. & Tokuda, K., 1983, In: Physical Review A. 27, 4, p. 2225-2228 4 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• Projecting cell polarity into the next decade

  Csikász-Nagy, A., Sato, M. & Carazo Salas, R. E., 2013 Nov, In: Philosophical Transactions of the Royal Society B: Biological Sciences. 368, 1629, 20130001.

  Research output: Contribution to journal › Editorial › peer-review
  2 Citations (Scopus)

• Projecting Climate Change Impacts Both On Rice Quality And Yield In Japan

  Okada, M., Hayashi, Y., Iizumi, T. & Yokozawa, M., 2011 Sep 1, In: journal of agricultural meteorology. 67, 4, p. 285-295 11 p.

  Research output: Contribution to journal › Article › peer-review
  12 Citations (Scopus)

• Projecting future changes in element concentrations of approximately 100 untreated discharges from legacy mines in Japan by a hierarchical log-linear model

  Iwasaki, Y., Fukaya, K., Fuchida, S., Matsumoto, S., Araoka, D., Tokoro, C. & Yasutaka, T., 2021 Sep 10, In: Science of the Total Environment. 786, 147500.

  Research output: Contribution to journal › Article › peer-review

  Open Access
  3 Citations (Scopus)

• Projection of coastal floods in 2050 Jakarta

  Takagi, H., Esteban, M., Mikami, T. & Fujii, D., 2016 Sep 1, In: Urban Climate. 17, p. 135-145 11 p.

  Research output: Contribution to journal › Article › peer-review
  58 Citations (Scopus)

• Projections of events and propositions in Japanese: A case study of Koto-nominalized clauses in causal relations

  Hara, Y., Kim, Y., Sakai, H. & Tamura, S., 2013, In: Lingua. 133, p. 262-288 27 p.

  Research output: Contribution to journal › Article › peer-review

• Projective geometry of Freudenthal's varieties of certain type

  Kaji, H. & Yasukura, O., 2004, In: Michigan Mathematical Journal. 52, 3, p. 515-542 28 p.

  Research output: Contribution to journal › Article › peer-review
  7 Citations (Scopus)

• Projective structures inducing covering maps

  Matsuzaki, K., 1995, In: Duke Mathematical Journal. 78, 2, p. 413-425 13 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• Projective varieties admitting an embedding with Gauss map of rank zero

  Fukasawa, S., Furukawa, K. & Kaji, H., 2010 Aug, In: Advances in Mathematics. 224, 6, p. 2645-2661 17 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• Project management inspired framework for action selection in wireless sensor networks

  Suenaga, S. & Tei, K., 2014 Oct 10, Proceedings, APWiMob 2014: IEEE Asia Pacific Conference on Wireless and Mobile 2014. Institute of Electrical and Electronics Engineers Inc., p. 54-59 6 p. 6920263. (Proceedings, APWiMob 2014: IEEE Asia Pacific Conference on Wireless and Mobile 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Project of radio on free space optic system development for heterogeneous wireless services

  Tsukamoto, K., Onodera, H., Kim, K. H., Nakamura, T., Higashino, T., Aburakawa, Y., Komaki, S., Wakamori, K., Takahashi, K., Suzuki, T., Kazaura, K., Shah, A. M., Omae, K., Satou, T. & Matsumoto, M., 2008, 2008 IEEE PhotonicsGlobal at Singapore, IPGC 2008. 4781462. (2008 IEEE PhotonicsGlobal at Singapore, IPGC 2008).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Project Overview of HTS Magnet for Ultra-high-field MRI System

  Tosaka, T., Miyazaki, H., Iwai, S., Otani, Y., Takahashi, M., Tasaki, K., Nomura, S., Kurusu, T., Ueda, H., Noguchi, S., Ishiyama, A., Urayama, S. & Fukuyama, H., 2015, In: Physics Procedia. 65, p. 217-220 4 p.

  Research output: Contribution to journal › Conference article › peer-review

  Open Access
  14 Citations (Scopus)

• Project report: High-reliable object-oriented embedded software design

  Kishi, T., Aoki, J., Nakajima, S., Noda, N. & Katayama, T., 2004 Sep 24, Proceedings - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems. Mock, M., Nakajima, T. & Moody, S. (eds.). p. 144-148 5 p. (Proceedings - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• Project report: Toward the realization of highly reliable embedded systems

  Katayama, T., Yuasa, T., Kishi, T., Hosoai, S., Sugaya, M., Nakajima, T. & Ugawa, T., 2009 Nov 6, Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. p. 105-111 7 p. 5232024. (Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Project risk management in global manufacturing environment

  Kim, Y. S. & Murata, T., 2016 Aug 31, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 1016-1021 6 p. 7557762

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Projects to accelerate the practical use of innovative medical devices to collaborate with TWIns, Center for Advanced Biomedical Sciences, Waseda University and School of Engineering, The University of Tokyo

  Niimi, S., Umezu, M., Iseki, H., Iwasaki, K., Kasanuki, H., Harada, N., Mitsuishi, M., Kitamori, T., Tei, Y., Nakaoka, R. & Haishima, Y., 2014, In: Bulletin of National Institute of Health Sciences. 132, p. 16-18 3 p.

  Research output: Contribution to journal › Article › peer-review

• Prolactin acts centrally to enhance newt courtship behavior

  Toyoda, F., Hasunuma, I., Yamamoto, K., Yamashita, M. & Kikuyama, S., 2005 Apr, In: General and Comparative Endocrinology. 141, 2, p. 172-177 6 p.

  Research output: Contribution to journal › Article › peer-review
  23 Citations (Scopus)

• Prolactin and its role in growth, metamorphosis and reproduction in amphibians

  Kikuyama, S., Yamamoto, K. & Seki, T., 1980, In: Gunma Symposia on Endocrinology. Vol. 17, p. 3-13 11 p.

  Research output: Contribution to journal › Article › peer-review
  26 Citations (Scopus)

• Prolactin and progesterone receptors in pregnancy-dependent mammary tumors in GR/A mice

  Sakai, S., Yamamoto, K., Aihara, M., Suzuki, M. & Nagasawa, H., 1990, In: Proceedings of the Society for Experimental Biology and Medicine. 195, 3, p. 375-378 4 p.

  Research output: Contribution to journal › Article › peer-review
  8 Citations (Scopus)

• Prolactin and stress response in frog Rana esculenta

  Mosconi, G., Nabissi, M., Carnevali, O., Cardinali, M., Polzonetti-Magni, A. M., Yamamoto, K., Takahashi, N. & Kikuyama, S., 1998 May 15, In: Annals of the New York Academy of Sciences. 839, p. 639-641 3 p.

  Research output: Contribution to journal › Article › peer-review

• Prolactin augments luteinizing hormone binding to rat Leydig cells in serum-free culture

  Takase, M., Tsutsui, K. & Kawashima, S., 1996 Jun, In: Journal of Biosciences. 21, 4, p. 511-517 7 p.

  Research output: Contribution to journal › Article › peer-review

• Prolactin increases the synthesis of 7α-hydroxypregnenolone, a key factor for induction of locomotor activity, in breeding male newts

  Haraguchi, S., Koyama, T., Hasunuma, I., Vaudry, H. & Tsutsui, K., 2010 May, In: Endocrinology. 151, 5, p. 2211-2222 12 p.

  Research output: Contribution to journal › Article › peer-review
  46 Citations (Scopus)

• Prolactin-like immunoreactivity in the granules of neural complex cells in the ascidian Halocynthia roretzi

  Terakado, K., Ogawa, M., Inoue, K., Yamamoto, K. & Kikuyama, S., 1997, In: Cell and Tissue Research. 289, 1, p. 63-71 9 p.

  Research output: Contribution to journal › Article › peer-review
  27 Citations (Scopus)