研究成果を検索

検索結果

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

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

  研究成果: Conference article › 査読

• Verification of fraudulent PIN holders by brain waves

  Iwasa, H., Horie, T. & Matsuyama, Y., 2016 10月 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

  研究成果: 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).

  研究成果: 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 5月 6, 2013 IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013. 6497872. (2013 IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013).

  研究成果: 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 12月 1, In: Scientific reports. 8, 1, 2728.

  研究成果: Article › 査読

  Open Access
  27 被引用数 (Scopus)

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

  Sawaguchi, M. & Nakahara, I., 2014 10月 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

  研究成果: 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).

  研究成果: 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 12月 1, In: Proceedings of SPIE - The International Society for Optical Engineering. 3445, p. 143-154 12 p.

  研究成果: Conference article › 査読
  14 被引用数 (Scopus)

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

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

  研究成果: Article › 査読

• 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 10月, In: AIJ Journal of Technology and Design. 19, 43, p. 1073-1078 6 p.

  研究成果: Article › 査読
  1 被引用数 (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 2月, In: AIJ Journal of Technology and Design. 23, 53, p. 223-228 6 p.

  研究成果: Review article › 査読
  5 被引用数 (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 3月 19, In: IEEJ Transactions on Power and Energy. 130, 2, p. 239-245 7 p.

  研究成果: Article › 査読

• 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 5月 1, In: Metallurgical and Materials Transactions A: Physical Metallurgy and Materials Science. 47, 5, p. 2509-2516 8 p.

  研究成果: Article › 査読
  8 被引用数 (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 8月, In: Journal of Environmental Engineering (Japan). 83, 750, p. 637-646 10 p.

  研究成果: Article › 査読
  1 被引用数 (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).

  研究成果: 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 4月, In: Metallurgical and Materials Transactions A: Physical Metallurgy and Materials Science. 45, 4, p. 2315-2325 11 p.

  研究成果: Article › 査読
  12 被引用数 (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.

  研究成果: Article › 査読

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

  研究成果: Paper › 査読
  4 被引用数 (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 10月, In: Physica C: Superconductivity and its applications. 378-381, PART 2, p. 1174-1180 7 p.

  研究成果: Article › 査読
  43 被引用数 (Scopus)

• Verified Computations for Hyperbolic 3-Manifolds

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

  研究成果: Article › 査読
  20 被引用数 (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).

  研究成果: Conference contribution
  1 被引用数 (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.

  研究成果: Article › 査読
  12 被引用数 (Scopus)

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

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

  研究成果: Article › 査読
  7 被引用数 (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.

  研究成果: Article › 査読
  45 被引用数 (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).

  研究成果: Conference contribution
  1 被引用数 (Scopus)

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

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

  研究成果: Article › 査読
  8 被引用数 (Scopus)

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

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

  研究成果: Article › 査読
  5 被引用数 (Scopus)

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

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

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読
  19 被引用数 (Scopus)

• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

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

  研究成果: Article › 査読
  6 被引用数 (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 12月 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).

  研究成果: Conference contribution
  7 被引用数 (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.

  研究成果: Paper › 査読
  1 被引用数 (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

  研究成果: Article › 査読
  27 被引用数 (Scopus)

• Vermiculite board for novel building material

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

  研究成果: Article › 査読
  11 被引用数 (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 12月 1, 2009 IEEE Nuclear Science Symposium Conference Record, NSS/MIC 2009. p. 3542-3545 4 p. 5401811. (IEEE Nuclear Science Symposium Conference Record).

  研究成果: Conference contribution
  1 被引用数 (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).

  研究成果: 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 1月 1, In: Advanced Optical Materials. 8, 1, 1901126.

  研究成果: Article › 査読
  5 被引用数 (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 1月 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).

  研究成果: Conference contribution
  1 被引用数 (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 4月, In: Proceedings of the IEEE. 106, 4, p. 594-612 19 p.

  研究成果: Article › 査読
  35 被引用数 (Scopus)

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

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

  研究成果: Article › 査読
  56 被引用数 (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 7月, In: Energy and Environmental Science. 9, 7, p. 2257-2261 5 p.

  研究成果: Article › 査読
  467 被引用数 (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 11月 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).

  研究成果: Conference contribution
  1 被引用数 (Scopus)

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

  Hasuike, T., Tsubaki, H., Katagiri, H. & Tsuda, H., 2012 12月 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).

  研究成果: Conference contribution
  5 被引用数 (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.

  研究成果: Article › 査読
  2 被引用数 (Scopus)

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

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

  研究成果: Article › 査読

• Versatile Utilities of Amphibians (part 1)

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

  研究成果: Editorial › 査読

• Versatile utilities of amphibians (part 2)

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

  研究成果: Editorial › 査読

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

  研究成果: Conference contribution
  2 被引用数 (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 11月, In: Journal of Clinical Neuroscience. 57, p. 182-184 3 p.

  研究成果: Article › 査読
  6 被引用数 (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.

  研究成果: Article › 査読
  1 被引用数 (Scopus)