Find Research outputs

Search results

• 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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)

• 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)

• 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 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 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 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 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 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 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 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 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 multiple and nearly multiple eigenvalues of elliptic operators

  Toyonaga, K., Nakao, M. T. & Watanabe, Y., 2002 Oct 1, In: Journal of Computational and Applied Mathematics. 147, 1, p. 175-190 16 p.

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

• Verifying implementation of security design patterns using a test template

  Yoshizawa, M., Kobashi, T., Washizaki, H., Fukazawa, Y., Okubo, T., Kaiya, H. & Yoshioka, N., 2014 Dec 9, Proceedings - 9th International Conference on Availability, Reliability and Security, ARES 2014. Institute of Electrical and Electronics Engineers Inc., p. 178-183 6 p. 6980280. (Proceedings - 9th International Conference on Availability, Reliability and Security, ARES 2014).

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

• Verifying the validity of facade design strategy through optimization of digital modeling tools

  Nagoshi, M., Tsushima, S., Kato, S., Harada, N. & Tanabe, S. I., 2015.

  Research output: Contribution to conference › Paper › peer-review
  1 Citation (Scopus)

• VERITAS upper limit on the very high energy emission from the radio galaxy NGC 1275

  Acciari, V. A., Aliu, E., Arlen, T., Aune, T., Bautista, M., Beilicke, M., Benbow, W., Boltuch, D., Bradbury, S. M., Buckley, J. H., Bugaev, V., Byrum, K., Cannon, A., Celik, O., Cesarini, A., Ciupik, L., Cogan, P., Cui, W., Dickherber, R., Duke, C., & 70 othersFegan, S. J., Finley, J. P., Fortin, P., Fortson, L., Furniss, A., Galante, N., Gall, D., Gibbs, K., Gillanders, G. H., Godambe, S., Grube, J., Guenette, R., Gyuk, G., Hanna, D., Holder, J., Horan, D., Hui, C. M., Humensky, T. B., Imran, A., Kaaret, P., Karlsson, N., Kertzman, M., Kieda, D., Konopelko, A., Krawczynski, H., Krennrich, F., Lang, M. J., Lebohec, S., Maier, G., McCann, A., McCutcheon, M., Millis, J., Moriarty, P., Mukherjee, R., Ong, R. A., Otte, A. N., Pandel, D., Perkins, J. S., Pohl, M., Quinn, J., Ragan, K., Reynolds, P. T., Roache, E., Rose, H. J., Schroedter, M., Sembroski, G. H., Smith, A. W., Steele, D., Swordy, S. P., Theiling, M., Toner, J. A., Varlotta, A., Vassiliev, V. V., Vincent, S., Wagner, R. G., Wakely, S. P., Ward, J. E., Weekes, T. C., Weinstein, A., Weisgarber, T., Williams, D. A., Wissel, S., Wood, M., Zitzer, B., Kataoka, J., Cavazzuti, E., Cheung, C. C., Lott, B., Thompson, D. J. & Tosti, G., 2009, In: Astrophysical Journal. 706, 2 PART 2, p. L275-L280

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

• Vermiculite board for novel building material

  Akao, M., Yamazaki, A. & Fukuda, Y., 2003 Nov 1, In: Journal of Materials Science Letters. 22, 21, p. 1483-1485 3 p.

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

• Versatile APD-based PET modules for high resolution, fast medical imaging

  Kataoka, J., Matsuda, H., Yoshino, M., Miura, T., Nishikido, F., Koizumi, M., Tanaka, T., Ikeda, H., Ishikawa, Y., Kawabata, N., Matsunaga, Y., Kishimoto, S. & Kubo, H., 2009 Dec 1, 2009 IEEE Nuclear Science Symposium Conference Record, NSS/MIC 2009. p. 3542-3545 4 p. 5401811. (IEEE Nuclear Science Symposium Conference Record).

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

• Versatile approach for frequency resolved wavefront characterization

  Frumker, E., Paulus, G. G., Niikura, H., Villeneuve, D. M. & Corkum, P. B., 2011, Frontiers in Ultrafast Optics: Biomedical, Scientific, and Industrial Applications XI. 79250U. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7925).

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

• Versatile Homoleptic Naphthyl-Acetylide Heteronuclear [Pt₂M₄(CC-Np)₈] (M = Ag, Cu) Phosphors for Highly Efficient White and NIR Hybrid Light-Emitting Diodes

  Fresta, E., Fernández-Cestau, J., Gil, B., Montaño, P., Berenguer, J. R., Moreno, M. T., Coto, P. B., Lalinde, E. & Costa, R. D., 2020 Jan 1, In: Advanced Optical Materials. 8, 1, 1901126.

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

• Versatile In-Hand Manipulation of Objects with Different Sizes and Shapes Using Neural Networks

  Funabashi, S., Schmitz, A., Sato, T., Somlor, S. & Sugano, S., 2019 Jan 23, 2018 IEEE-RAS 18th International Conference on Humanoid Robots, Humanoids 2018. IEEE Computer Society, p. 768-775 8 p. 8624961. (IEEE-RAS International Conference on Humanoid Robots; vol. 2018-November).

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

• Versatile Modeling Platform for Cooperative Energy Management Systems in Smart Cities

  Hayashi, Y., Fujimoto, Y., Ishii, H., Takenobu, Y., Kikusato, H., Yoshizawa, S., Amano, Y., Tanabe, S. I., Yamaguchi, Y., Shimoda, Y., Yoshinaga, J., Watanabe, M., Sasaki, S., Koike, T., Jacobsen, H. A. & Tomsovic, K., 2018 Apr, In: Proceedings of the IEEE. 106, 4, p. 594-612 19 p.

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

• Versatile multimode interference photonic switches with partial index-modulation regions

  Yagi, M., Nagai, S., Inayoshi, H. & Utaka, K., 2000 Mar 16, In: Electronics Letters. 36, 6, p. 533-534 2 p.

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

• Versatile nanoporous bimetallic phosphides towards electrochemical water splitting

  Tan, Y., Wang, H., Liu, P., Shen, Y., Cheng, C., Hirata, A., Fujita, T., Tang, Z. & Chen, M., 2016 Jul, In: Energy and Environmental Science. 9, 7, p. 2257-2261 5 p.

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

• Versatile optical switching of 4x4 novel slotted multi-mode interference phase-arrayed photonic switch

  Nakamura, S., Ueda, Y., Fujimoto, S., Yamada, H. & Utaka, K., 2008 Nov 26, 2008 Int. Nano-Optoelectronics Workshop, iNOW 2008 in Cooperation With Int. Global-COE Summer School (Photonics Integration-Core Electronics: PICE) and 31st Int. Symposium on Optical Communications. p. 343-344 2 p. 4634572. (2008 Int. Nano-Optoelectronics Workshop, iNOW 2008 in Cooperation With Int. Global-COE Summer School (Photonics Integration-Core Electronics: PICE) and 31st Int. Symposium on Optical Communications).

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

• Versatile route planning for sightseeing with tourist's satisfaction dependent on fatigue degree

  Hasuike, T., Tsubaki, H., Katagiri, H. & Tsuda, H., 2012 Dec 1, 6th International Conference on Soft Computing and Intelligent Systems, and 13th International Symposium on Advanced Intelligence Systems, SCIS/ISIS 2012. p. 146-151 6 p. 6505233. (6th International Conference on Soft Computing and Intelligent Systems, and 13th International Symposium on Advanced Intelligence Systems, SCIS/ISIS 2012).

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

• Versatile synthesis of sulfonated aromatic copolymers using NiBr₂

  Hosaka, I., Kusakabe, M. & Miyatake, K., 2018, In: Chemistry Letters. 47, 2, p. 257-259 3 p.

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

• Versatile transformations of biphenylenes by transition-metal catalysts and application for the synthesis of polycyclic hydrocarbons

  Takano, H. & Shibata, T., 2021 Sep 1, In: Yuki Gosei Kagaku Kyokaishi/Journal of Synthetic Organic Chemistry. 79, 9, p. 849-858 10 p.

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

• Versatile Utilities of Amphibians (part 1)

  Michiue, T., Zorn, A. M., Kato, T., Ochi, H., Hayashi, T. & Inoue, T., 2022 Aug, In: Development Growth and Differentiation. 64, 6, p. 264-265 2 p.

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

• Versatile utilities of amphibians (part 2)

  Michiue, T., Zorn, A. M., Kato, T., Ochi, H., Hayashi, T. & Inoue, T., 2022 Sep, In: Development Growth and Differentiation. 64, 7, p. 346 1 p.

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

• Vers des agents conversationnels animés socio-affectifs

  Ochs, M., Ding, Y., Fourati, N., Chollet, M., Ravenet, B., Pecune, F., Glas, N., Prepin, K., Clavel, C. & Pelachaud, C., 2013, IHM 2013 - Actes de la 25ieme Conference Francophone sur l'Interaction Homme-Machine. p. 69-78 10 p. (IHM 2013 - Actes de la 25ieme Conference Francophone sur l'Interaction Homme-Machine).

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

• Vertebral fracture after removing pedicle screws used for posterior lumbar interbody fusion: A case report

  Mataki, K., Fukushima, M., Kaneoka, K., Ikeda, K., Kumagai, H., Nagashima, K., Miura, K., Noguchi, H., Funayama, T., Abe, T., Koda, M. & Yamazaki, M., 2018 Nov, In: Journal of Clinical Neuroscience. 57, p. 182-184 3 p.

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

• Vertebrate fossils from the Lower Cretaceous Itsuki Formation of the Tetori Group in the Kuzuryu district, Ono City, Fukui Prefecture, central Japan

  Sakai, Y., Manabe, M., Matsumoto, R., Yabumoto, Y. & Hirayama, R., 2020, In: Memoir of the Fukui Prefectural Dinosaur Museum. 19, p. 105-112 8 p.

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