研究成果を検索

検索結果

• Verified solutions of linear systems on GPU

  Morikura, M., Ozaki, K. & Oishi, S., 2011 6月 29, In: Default journal. p. 174-175

  研究成果: Article › 査読

• Verified Numerical Computations for Large-Scale Linear Systems

  Ozaki, K., Terao, T., Ogita, T. & Katagiri, T., 2021 4月, In: Applications of Mathematics. 66, 2, p. 269-285 17 p.

  研究成果: Article › 査読

• Verified numerical computations for dense linear systems in supercomputing

  Ozaki, K., 2019 5月 31, In: Journal of Physics: Conference Series. 1218, 1, 012014.

  研究成果: Conference article › 査読

  Open Access

• Verified Convex Hull based on Graham's Algorithm

  Ozaki, K., Ogita, T. & Oishi, S., 2009 6月 8, In: The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference. p. 39-40

  研究成果: Article › 査読

  3 被引用数 (Scopus)

• Verification on asbestos release during surface preparation of deteriorated asbestos containing cement sheets

  Hayashi, A., Motohashi, K., Koga, J. & Tamura, M., 2012, In: AIJ Journal of Technology and Design. 18, 39, p. 421-426 6 p.

  研究成果: Article › 査読

• Verification on asbestos release during surface preparation of deteriorated asbestos containing cement sheets

  Koga, J., Hayashi, A., Motohashi, K. & Tamura, M., 2014 6月, In: AIJ Journal of Technology and Design. 20, 45, p. 471-476 6 p.

  研究成果: Article › 査読

• Verification on asbestos dispersal during repair and removal of asbestos containing coating materials for textured finishes of buildings

  Koga, J., Hayashi, A., Fukuoka, T., Mori, K., Konishi, Y., Miyauchi, H. & Motohashi, K., 2016 6月, In: AIJ Journal of Technology and Design. 22, 51, p. 441-446 and 834

  研究成果: Article › 査読

• Verification of visual attitude control for outdoor autonomous mobile robots

  Iwata, S., Sahashi, S. & Hasegawa, T., 2013 1月 1, p. 319-320. 2 p.

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

• Verification of the effect of sleeping environment and humidification on middle-aged people in whole-house air-conditioning ventilation system housing

  Iwaki, A., Akimoto, T., Misumi, N. & Furuhashi, T., 2019 8月 13, In: E3S Web of Conferences. 111, 02044.

  研究成果: Conference article › 査読

  Open Access
  1 被引用数 (Scopus)

• Verification of renewal actions in long-life office building by CASBEE

  Watanuki, Y. & Akimoto, T., 2011 12月 1, 12th International Conference on Indoor Air Quality and Climate 2011. p. 1803-1808 6 p. (12th International Conference on Indoor Air Quality and Climate 2011; vol. 3).

  研究成果: Conference contribution

• Verification of fall detection sensor

  Hasegawa, T. & Yokota, H., 2012 12月, In: Journal of Robotics and Mechatronics. 24, 6, p. 1089-1091 3 p.

  研究成果: Article › 査読

  Open Access
  2 被引用数 (Scopus)

• Verification of embedded system by a method for detecting defects in source codes using model checking

  Aoki, Y. & Matsuura, S., 2011 9月 1, ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics. p. 530-535 6 p. 5958972. (ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics).

  研究成果: Conference contribution

• Verification of Amplitude Enhancement Effects on comprehensions of English speeches and brain functions

  Inada, K. & Yamazaki, A., 2017 1月 1, In: Procedia Computer Science. 112, p. 1926-1934 9 p.

  研究成果: Article › 査読

• Verification of airflow control methods according to individual differences in the development of combined convection-radiation air conditioning system

  Chiba, T., Akimoto, T., Takahashi, M., Nakamoto, S., Ito, S. & Kawamura, A., 2020, 16th Conference of the International Society of Indoor Air Quality and Climate: Creative and Smart Solutions for Better Built Environments, Indoor Air 2020. International Society of Indoor Air Quality and Climate, (16th Conference of the International Society of Indoor Air Quality and Climate: Creative and Smart Solutions for Better Built Environments, Indoor Air 2020).

  研究成果: Conference contribution

• Verification model translation method toward behavior model for CAST

  Ando, T., Wang, B., Hisazumi, K., Kong, W., Fukuda, A., Michiura, Y., Sakemi, K. & Matsumoto, M., 2018 12月 5, Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018. Institute of Electrical and Electronics Engineers Inc., p. 142-147 6 p. 8563204. (Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018).

  研究成果: Conference contribution

• Verification methods for linear systems using ufp estimation with rounding-to-nearest

  Morikura, Y., Ozaki, K. & Oishi, S., 2012 6月 25, In: Default journal.

  研究成果: Article › 査読

• Verification Methods for Linear Systems on a GPU

  Morikura, Y., Ozaki, K. & Oishi, S., 2012 9月 27, In: Book of Abstracts. p. 113-114

  研究成果: Article › 査読

• Verification in Software Product Line Development.

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

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

• Verification and optimization of formula SAE suspension employing inerter mechanism

  Tran, T. T., Hori, C. & Hasegawa, H., 2014.

  研究成果: Paper › 査読

• Verification and optimization advantage of inerter devices apply to grounded vehicle dynamics

  Tran, T. T. & Hasegawa, H., 2015, Proceedings of the ECCOMAS Thematic Conference on Multibody Dynamics 2015, Multibody Dynamics 2015. International Center for Numerical Methods in Engineering, p. 1341-1352 12 p.

  研究成果: Conference contribution

• Venous drainage of the radial forearm and anterior tibial reverse flow flaps: Anatomical and radiographic perfusion studies

  Nakajima, H., Imanishi, N., Aiso, S. & Fujino, T., 1997 9月, In: British Journal of Plastic Surgery. 50, 6, p. 389-401 13 p.

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

• Venous drainage of the distally based lesser saphenous-sural veno- neuroadipofascial pedicled fasciocutaneous flap: A radiographic perfusion study

  Imanishi, N., Nakajima, H., Fukuzumi, S. & Aiso, S., 1999 2月, In: Plastic and Reconstructive Surgery. 103, 2, p. 494-498 5 p.

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

• Venous drainage architecture of the temporal and parietal regions: Anatomy of the superficial temporal artery and vein

  Imanishi, N., Nakajima, H., Minabe, T., Chang, H. & Aiso, S., 2002 1月 1, In: Plastic and Reconstructive Surgery. 109, 7, p. 2197-2203 7 p.

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

• Venous architecture of the glabellar to the forehead region

  Shimizu, Y., Imanishi, N., Nakajima, T., Nakajima, H., Aiso, S. & Kishi, K., 2013 3月, In: Clinical Anatomy. 26, 2, p. 183-195 13 p.

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

• Velocity Classification using Artificial Neural Network Towards Adaptive SCTP Handover Mechanism

  Baharudin, M. A., Minh, Q. T. & Kamioka, E., 2012 3月 21, In: Proceedings of IEICE General Conference. p. S49-S50

  研究成果: Article › 査読

• Velocity Classification Model Based on Artificial Neural Network for the Velocity-Centric Ant Colony Optimization-Inspired SCTP Handover System

  Baharudin, M. A., Minh, Q. T. & Kamioka, E., 2012 5月 24, In: Proceedings of the 6th International Conference on Mobile Computing and Ubiquitous Networking (ICMU2012). p. 62-68

  研究成果: Article › 査読

• Vela as the most likely source for the primary electrons in Tev region

  Kobayashi, T., Nishimura, J., Komori, Y. & Yoshida, K., 2001 1月 1, In: Advances in Space Research. 27, 4, p. 653-658 6 p.

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

• Vehicles detection using sensor fusion

  Takizawa, H., Yamada, K. & Ito, T., 2004, p. 238-243. 6 p.

  研究成果: Paper › 査読
  23 被引用数 (Scopus)

• Vehicle Path Specification by a Sequence of Straight Lines

  Kanayama, Y. & Yuta, S., 1988 6月, In: IEEE Journal on Robotics and Automation. 4, 3, p. 265-276 12 p.

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

• Vehicle Localization in Outdoor Mountainous Forested Paths and Extention of Two-Dimensional Road Centerline Maps to Three-Dimensional Maps

  Morales, Y., Tsubouchi, T. & Yuta, S., 2010 3月 1, In: Advanced Robotics. 24, p. 489-813

  研究成果: Article › 査読

• Vehicle localization in outdoor mountainous forested paths and extension of two-dimensional road centerline maps to three-dimensional maps

  Morales, Y., Tsubouchi, T. & Yuta, S., 2010 3月 1, In: Advanced Robotics. 24, 4, p. 489-513 25 p.

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

• Vehicle detection based on perspective transformation using rear-view camera

  Tanaka, S., Yamada, K., Ito, T. & Ohkawa, T., 2011, In: International Journal of Vehicular Technology. 2011, 279739.

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

• Vehicle command system and trajectory control for autonomous mobile robots

  Iida, S. & Yuta, S., 1992 12月 1, Proc 91 IEEE RSJ Int Workshop Intell Robots Syst IROS 91. Publ by IEEE, p. 212-217 6 p. (Proc 91 IEEE RSJ Int Workshop Intell Robots Syst IROS 91).

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

• Vehicle 3D localization in mountainous woodland environments

  Morales, Y., Tsubouchi, T. & Yuta, S., 2009 12月 11, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009. p. 3588-3594 7 p. 5354818. (2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009).

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

• Vector quantization of LSP parameters using moving average interframe prediction

  Ohmuro, H., Moriya, T., Mano, K. & Miki, S., 1994, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 77, 10, p. 12-26 15 p.

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

• Vector control specialized for switched reluctance motor drives

  Nakao, N. & Akatsu, K., 2014 11月 17, Proceedings - 2014 International Conference on Electrical Machines, ICEM 2014. Institute of Electrical and Electronics Engineers Inc., p. 943-949 7 p. 6960294. (Proceedings - 2014 International Conference on Electrical Machines, ICEM 2014).

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

• Vector control specialized for switched reluctance motor drives

  Nakao, N. & Akatsu, K., 2014 1月 1, In: IEEJ Transactions on Industry Applications. 134, 12, p. 1006-1015 10 p.

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

• Vector control specialized for switched reluctance motor drives

  Nakao, N. & Akatsu, K., 2016 1月 1, In: Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi). 194, 2, p. 24-36 13 p.

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

• Vector control scheme for an induction motor controlled by a voltage model - Operation with current control loop

  Matsumoto, H., Takami, H. & Takase, R., 1989, In: Conference Record - IAS Annual Meeting (IEEE Industry Applications Society). pt 1, p. 368-374 7 p.

  研究成果: Conference article › 査読

• Vector control for switched reluctance motor drives using an improved current controller

  Nakao, N. & Akatsu, K., 2014 11月 11, 2014 IEEE Energy Conversion Congress and Exposition, ECCE 2014. Institute of Electrical and Electronics Engineers Inc., p. 1379-1386 8 p. 6953579. (2014 IEEE Energy Conversion Congress and Exposition, ECCE 2014).

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

• V-band MMIC LNA using superlattice-inserted InP heterojunction FETS

  Fujihara, A., Miyamoto, H., Yamanoguchi, K., Mizuki, E., Samoto, N. & Tanaka, S., 2001 1月 1, p. 622-625. 4 p.

  研究成果: Paper › 査読
  3 被引用数 (Scopus)

• V-band MMIC LNAs using Superlattice-Inserted InP HJFETs.

  A.Fujihara, A. F., N.Samoto, A. F. H. M. Y. M., S.Tanaka, S. T. & Tanaka, S., 2001 1月 1, In: International Conference on Indium Phosphide and Related Componds (2001).

  研究成果: Article › 査読

• Vasodilation of intramuscular arterioles under shear stress in dystrophin-deficient skeletal muscle is impaired through decreased nNOS expression

  Sato, K., Yokota, T., Ichioka, S., Shibata, M. & Takeda, S., 2008 7月, In: Acta Myologica. 27, JULY, p. 30-36 7 p.

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

• Vascular wall energetics in arterioles during nitric oxide-dependent and -independent vasodilation

  Shibata, M., Qin, K., Ichioka, S. & Kamiya, A., 2006 6月, In: Journal of Applied Physiology. 100, 6, p. 1793-1798 6 p.

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

• Vascular wall energetics in arterioles during nitric oxide dependent and independent vasodilation

  Shibata, M., Qin, K., Ichioka, S. & Kamiya, A., 2006 4月 1, In: J Appl Physiol. 100, p. 1793-1798

  研究成果: Article › 査読

  17 被引用数 (Scopus)

• Vascular remodeling processes in an integrated microfluidic device

  Futai, N., Sano, T., Sumita, M., Takano, A., Yokokawa, R. & Miura, T., 2020, 21st International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2017. Chemical and Biological Microsystems Society, p. 1080-1081 2 p. (21st International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2017).

  研究成果: Conference contribution

• Vascular anatomy of the anterolateral thigh flap

  Kawai, K., Imanishi, N., Nakajima, H., Aiso, S., Kakibuchi, M. & Hosokawa, K., 2004 10月, In: Plastic and Reconstructive Surgery. 114, 5, p. 1108-1117 10 p.

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

• Various Power Conversion Equipment for Railroad

  Tada, K., Shinoda, K., Kato, Y., Fujita, G. & Hiroyama, N., 2006, In: Journal of the Institute of Electrical Engineers of Japan. 126, 8, p. 550-553 4 p.

  研究成果: Article › 査読

• Various bonding forms of OH groups in hydrogen-treated silica

  Kitagawa, M., Nishikawa, H. & Ohki, Y., 1993 8月 1, In: Journal of Applied Physics. 74, p. 2378-2380

  研究成果: Article › 査読

  12 被引用数 (Scopus)

• Various bonding forms of OH groups in hydrogen-treated silica

  Kitagawa, M., Nishikawa, H., Ohki, Y. & Hama, Y., 1993, In: Journal of Applied Physics. 74, 4, p. 2378-2380 3 p.

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