Find Research outputs

Search results

• Verified numerical computations for eigenvalues of non-commutative harmonic oscillators

  Nagatou, K., Nakao, M. T. & Wakayama, M., 2002 Aug, In: Numerical Functional Analysis and Optimization. 23, 5-6, p. 633-650 18 p.

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

• Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data

  Nakao, M. T., Watanabe, Y. & Yamamoto, N., 2001 Jun, In: Japan Journal of Industrial and Applied Mathematics. 18, 2, p. 587-602 16 p.

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

• Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains

  Nakao, M. T., Hashimoto, K. & Kobayashi, K., 2007 Jan 1, In: Hokkaido Mathematical Journal. 36, 4, p. 777-799 23 p.

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

• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

  Tanaka, K., Takayasu, A., Liu, X. & Oishi, S., 2014 Nov 1, In: Japan Journal of Industrial and Applied Mathematics. 31, 3, p. 665-679 15 p.

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

• Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval

  Yamanaka, N., Okayama, T. & Oishi, S., 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (eds.). Springer Verlag, p. 224-228 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).

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

• Verified eigenvalue evaluation for the laplacian over polygonal domains of arbitrary shape

  Liu, X. & Oishi, S., 2013, In: SIAM Journal on Numerical Analysis. 51, 3, p. 1634-1654 21 p.

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

• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

  Watanabe, Y., Yamamoto, N. & Nakao, M. T., 1997 Feb 3, In: Nonlinear Analysis, Theory, Methods and Applications. 28, 3, p. 577-587 11 p.

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

• Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces

  Watanabe, Y., Nagatou, K., Plum, M. & Nakao, M. T., 2014, In: SIAM Journal on Numerical Analysis. 52, 2, p. 975-992 18 p.

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

• Verified computations for solutions to semilinear parabolic equations using the evolution operator

  Takayasu, A., Mizuguchi, M., Kubo, T. & Oishi, S., 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (eds.). Springer Verlag, p. 218-223 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).

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

• Verified Computations for Hyperbolic 3-Manifolds

  Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S. & Takayasu, A., 2016 Jan 2, In: Experimental Mathematics. 25, 1, p. 66-78 13 p.

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

• Verification tests of a 66 kV HTSC cable system for practical use (first cooling tests)

  Masuda, T., Kato, T., Yumura, H., Watanabe, M., Ashibe, Y., Ohkura, K., Suzawa, C., Hirose, M., Isojima, S., Matsuo, K., Honjo, S., Mimura, T., Kuramochi, T., Takahashi, Y., Suzuki, H. & Okamoto, T., 2002 Oct, In: Physica C: Superconductivity and its applications. 378-381, PART 2, p. 1174-1180 7 p.

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

• Verification tests of a 100 m high-Tc superconducting cable

  Masuda, T., Hirose, M., Isojima, S., Honjo, S., Takahashi, Y. & Suzuki, H., 2002, p. 1298-1303. 6 p.

  Research output: Contribution to conference › Paper › peer-review
  4 Citations (Scopus)

• Verification test of foreign-made solar heat panels and examination of dissemination measures including hybrid system

  Kono, J., Nishimiya, N., Onoda, H. & Nagata, K., 2011, In: Nihon Kikai Gakkai Ronbunshu, B Hen/Transactions of the Japan Society of Mechanical Engineers, Part B. 77, 776, p. 929-933 5 p.

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

• Verification of the simulated residual stress in the cross section of gray cast iron stress lattice shape casting via thermal stress analysis

  Motoyama, Y., Inukai, D., Okane, T. & Yoshida, M., 2014 Apr, In: Metallurgical and Materials Transactions A: Physical Metallurgy and Materials Science. 45, 4, p. 2315-2325 11 p.

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

• Verification of thermal comfort and PV generation self-consumption operation effect under precooling operation

  Kim, J., Xu, T., Maruyama, Y., Tsuneoka, Y., Yamaguchi, S., Tanabe, S. I., Hayashi, Y. & Morito, N., 2018, 15th Conference of the International Society of Indoor Air Quality and Climate, INDOOR AIR 2018. International Society of Indoor Air Quality and Climate, (15th Conference of the International Society of Indoor Air Quality and Climate, INDOOR AIR 2018).

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

• Verification of the post-earthquake fire resistance of traditional timber frame clay wall designed for large-scale buildings

  Kikuchi, D., Hasemi, Y., Yasui, N., Kaku, C., Kimura, T., Yokouchi, H. & Takada, M., 2018 Aug, In: Journal of Environmental Engineering (Japan). 83, 750, p. 637-646 10 p.

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

• Verification of the Mechanism of Grain Refinement by Ultrasonic Treatment of Aluminum-4 Wt Pct Silicon Molten Alloy

  Matsuda, K., Takehara, T., Yang, M., Uno, H., Kubo, T., Miyano, G. & Yoshida, M., 2016 May 1, In: Metallurgical and Materials Transactions A: Physical Metallurgy and Materials Science. 47, 5, p. 2509-2516 8 p.

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

• Verification of the Lightning Protection Effect Produced by the Difference in the Grounding Systems at High Voltage Receipt Equipment

  Sakamoto, Y., Miyazaki, T., Taki, S., Okabe, S., Hashimoto, T. & Higano, A., 2010 Mar 19, In: IEEJ Transactions on Power and Energy. 130, 2, p. 239-245 7 p.

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

• Verification of the influencing factors concerning the accuracy of distance perception in immersive virtual environment

  Mabuchi, D., Yoshioka, Y., Fujii, K., Enta, A. & Sano, T., 2017 Feb, In: AIJ Journal of Technology and Design. 23, 53, p. 223-228 6 p.

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

• Verification of the estimation accuracy of acrophobic physiological stress measured by an immersive VR system based on motion capture and head mounted display

  Mabuchi, D., Nagasawa, N., Watanabe, H., Nitta, K. & Motooka, N., 2013 Oct, In: AIJ Journal of Technology and Design. 19, 43, p. 1073-1078 6 p.

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

• Verification of the differences of scoring effect in current scoring balloons

  Kinoshita, Y., Iwasaki, K. & Suzuki, T., 2022 Jul, In: Cardiovascular Intervention and Therapeutics. 37, 3, p. 513-518 6 p.

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

• Verification of the Astro-E Hard X-ray Detector based on newly developed Ground Support Equipment

  Kataoka, J., Nomachi, M., Takahashi, T., Kawaguchi, G., Terada, Y., Murakami, T., Tanihata, C., Uchiyama, Y., Yamaoka, K., Fukazawa, Y., Kamae, T., Makishima, K., Tashiro, M. & Kubo, H., 1998 Dec 1, In: Proceedings of SPIE - The International Society for Optical Engineering. 3445, p. 143-154 12 p.

  Research output: Contribution to journal › Conference article › peer-review
  14 Citations (Scopus)

• Verification of the applicability to contents assessment system of the chat system using sense of touch

  Yoshida, H., Itou, J., Munemori, J. & Shiratori, N., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Vol. 4694 LNAI. p. 547-553 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4694 LNAI, no. PART 3).

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

• Verification of risk countermeasures regarding expressway traffic control system based on creative risk management approach

  Sawaguchi, M. & Nakahara, I., 2014 Oct 10, PICMET 2014 - Portland International Center for Management of Engineering and Technology, Proceedings: Infrastructure and Service Integration. Institute of Electrical and Electronics Engineers Inc., p. 3430-3440 11 p. 6921182

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

• Verification of radiodynamic therapy by medical linear accelerator using a mouse melanoma tumor model

  Takahashi, J., Murakami, M., Mori, T. & Iwahashi, H., 2018 Dec 1, In: Scientific reports. 8, 1, 2728.

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

  Open Access
  27 Citations (Scopus)

• Verification of loss reduction effect on loss minimum configuration of distribution system by zero-suppressed binary decision diagram for large penetration of residential PV

  Watanabe, T., Fujimoto, Y. & Hayashi, Y., 2013 May 6, 2013 IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013. 6497872. (2013 IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013).

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

• Verification of Loss Cut Effect in Scenario-tree-type Multi-period Probability Planning Model

  Ohshima, K. & Hasuike, T., 2021, Proceedings - 2021 10th International Congress on Advanced Applied Informatics, IIAI-AAI 2021. Institute of Electrical and Electronics Engineers Inc., p. 631-636 6 p. (Proceedings - 2021 10th International Congress on Advanced Applied Informatics, IIAI-AAI 2021).

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

• Verification of fraudulent PIN holders by brain waves

  Iwasa, H., Horie, T. & Matsuyama, Y., 2016 Oct 31, 2016 International Joint Conference on Neural Networks, IJCNN 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-October. p. 2068-2075 8 p. 7727454

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

• Verification of error recovery specification for distributed data by using colored Petri net

  Akatsu, M., Murata, T. & Kurihara, K., 1991 Dec 1, In: Proceedings - IEEE International Symposium on Circuits and Systems. 2, p. 930-933 4 p.

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

• Verification of efficiency of searching methods determining optimal control parameters of advanced SVRs

  Yamamoto, Y., Yoshizawa, S., Yoshinaga, J., Hayashi, Y., Sasaki, S., Shigetou, T. & Nomura, H., 2014 Jan 1, ENERGYCON 2014 - IEEE International Energy Conference. IEEE Computer Society, p. 1076-1082 7 p. 6850558. (ENERGYCON 2014 - IEEE International Energy Conference).

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

• Verification of effect of damper windings on the transient condition of synchronous generator

  Matsuki, J., Taoka, H., Hayashi, Y., Iwamoto, S. & Daikoku, A., 2012 Jul 30, In: Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi). 180, 2, p. 33-42 10 p.

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

• Verification of effect of damper windings on the transient condition of synchronous generator

  Matsuki, J., Taoka, H., Hayashi, Y., Iwamoto, S. & Daikoku, A., 2011, In: IEEJ Transactions on Power and Energy. 131, 5, p. 447-454 8 p.

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

• Verification of damage identification technique based on Transfer Function and using on a real bridge

  Shao, C., Ogai, H., Zheng, J. Q. & Huang, J., 2010 Jan 1, Proceedings of SICE Annual Conference 2010, SICE 2010 - Final Program and Papers. Society of Instrument and Control Engineers (SICE), p. 2146-2150 5 p. 5603929. (Proceedings of the SICE Annual Conference).

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

• Verification of damage evaluation method based on measurement of relative story displacements through shaking table test of full-scale building

  Hatada, T., Katamura, R., Hagiwara, H., Takahashi, M., Nitta, Y. & Nishitani, A., 2013 Apr 1, In: Journal of Structural and Construction Engineering. 78, 686, p. 703-711 9 p.

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

• Verification of charge and discharge system composed of multiple lithium ion batteries

  Satoh, N., Kosugi, A., Arai, H. & Uchida, M., 2017 Oct 2, 2017 20th International Conference on Electrical Machines and Systems, ICEMS 2017. Institute of Electrical and Electronics Engineers Inc., 8056242. (2017 20th International Conference on Electrical Machines and Systems, ICEMS 2017).

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

• Verification of a sub-ontology update mechanism for the semantic grid

  Uchibayashi, T., Apduhan, B. O., Shiratori, N., Rahayu, W. & Taniar, D., 2010, Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010. p. 380-385 6 p. 5667169

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

• Verification of a dependability model of IT services associated with social and economic infrastructure

  Ohtaka, H., Oshika, K., Gotou, M., Yoshitani, T. & Fukazawa, Y., 2010 Oct 11, Proceedings - 3rd International Conference on Information Sciences and Interaction Sciences, ICIS 2010. p. 577-582 6 p. 5534760. (Proceedings - 3rd International Conference on Information Sciences and Interaction Sciences, ICIS 2010).

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

• Verification of 5-aminolevurinic radiodynamic therapy using a murine melanoma brain metastasis model

  Takahashi, J., Nagasawa, S., Ikemoto, M. J., Sato, C., Sato, M. & Iwahashi, H., 2019 Oct 2, In: International journal of molecular sciences. 20, 20, 5155.

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

  Open Access
  11 Citations (Scopus)

• Verification in Software Product Line Development.

  Noda, N. & Kishi, T., 2013, In: Computer Software. 30, 3, p. 3-17 15 p.

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

• Verification and refinement for system requirements

  Song, K., Togashi, A. & Shiratori, N., 1995 Nov, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E78-A, 11, p. 1468-1478 11 p.

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

• Verification and modification of breaker height formulas

  Rattanapitikon, W. & Shibayama, T., 2000 Dec, In: Coastal Engineering Journal. 42, 4, p. 389-406 18 p.

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

• Verification and extension of Goda formulas for computing representative wave heights transformation

  Rattanapitikon, W. & Shibayama, T., 2013 Sep, In: Coastal Engineering Journal. 55, 3, 1350009.

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

• Verb subcategorization frequencies: American English corpus data, methodological studies, and cross-corpus comparisons

  Gahl, S., Jurafsky, D. & Roland, D., 2004 Aug, In: Behavior Research Methods, Instruments, and Computers. 36, 3, p. 432-443 12 p.

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

  Open Access
  41 Citations (Scopus)

• Venture capital affiliation with underwriters and the underpricing of initial public offerings in Japan

  Arikawa, Y. & Imad'eddine, G., 2010 Nov, In: Journal of Economics and Business. 62, 6, p. 502-516 15 p.

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

• VENTRICULAR ASSIST DEVICE (VAD) FOR CHILDREN: IN VITRO AND IN VIVO EVALUATION.

  Taenaka, Y., Takano, H., Nakatani, T., Umezu, M., Tanaka, T., Akutsu, T., Naito, Y. & Manabe, H., 1984 Dec 1, In: Transactions - American Society for Artificial Internal Organs. 30, p. 155-158 4 p.

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

• Ventricle-valve-aorta flow analysis with the Space–Time Isogeometric Discretization and Topology Change

  Terahara, T., Takizawa, K., Tezduyar, T. E., Tsushima, A. & Shiozaki, K., 2020 May 1, In: Computational Mechanics. 65, 5, p. 1343-1363 21 p.

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

  Open Access
  38 Citations (Scopus)

• Ventral striatum dysfunction in children and adolescents with reactive attachment disorder: Functional MRI study

  Takiguchi, S., Fujisawa, T. X., Mizushima, S., Saito, D. N., Okamoto, Y., Shimada, K., Koizumi, M., Kumazaki, H., Jung, M., Kosaka, H., Hiratani, M., Ohshima, Y., Teicher, M. H. & Tomoda, A., 2015, In: BJPsych Open. 1, 2, p. 121-128 8 p.

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

  Open Access
  37 Citations (Scopus)

• Ventilatory capacity and exercise-induced arterial desaturation of highly trained endurance athletes.

  Miyachi, M. & Shibayama, H., 1992 May, In: The Annals of physiological anthropology = Seiri Jinruigaku Kenkyūkai kaishi. 11, 3, p. 263-267 5 p.

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

  Open Access
  9 Citations (Scopus)

• Ventilatory and Cardiovascular Responses to Hypercapnia after 20 Days of Head-Down Bed Rest

  Katayama, K., Sato, K., Akima, H., Ishida, K., Yanagiya, T., Kanehisa, H., Fukuoka, H., Fukunaga, T. & Miyamura, M., 2004 Apr, In: Aviation Space and Environmental Medicine. 75, 4 SEC. I, p. 312-316 5 p.

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

• Ventilaroty threshold as a event of sympahto-vagal transition in autonomic nervous controls: Assessment from a view point of exercise prescription for positive health

  Nakamura, Y. & Yamamoto, Y., 1991 Jan 1, In: Bulletin of the Physical Fitness Research Institute. 77, p. 82-91 10 p.

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