Find Research outputs

Search results

• Vector control specialized for switched reluctance motor drives

  Nakao, N. & Akatsu, K., 2014 Nov 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).

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

• Vector control specialized for switched reluctance motor drives

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

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

• Vector control specialized for switched reluctance motor drives

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

  Research output: Contribution to journal › Article › peer-review
  3 Citations (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.

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

• Vehicle 3D localization in mountainous woodland environments

  Morales, Y., Tsubouchi, T. & Yuta, S., 2009 Dec 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).

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

• Vehicle command system and trajectory control for autonomous mobile robots

  Iida, S. & Yuta, S., 1992 Dec 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).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  44 Citations (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.

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

• 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 Mar 1, In: Advanced Robotics. 24, 4, p. 489-513 25 p.

  Research output: Contribution to journal › Article › peer-review
  8 Citations (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 Mar 1, In: Advanced Robotics. 24, p. 489-813

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

• Vehicle Path Specification by a Sequence of Straight Lines

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

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

• Vehicles detection using sensor fusion

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

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

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

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

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

• 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 May 24, In: Proceedings of the 6th International Conference on Mobile Computing and Ubiquitous Networking (ICMU2012). p. 62-68

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

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

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

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

• Venous architecture of the glabellar to the forehead region

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

  Research output: Contribution to journal › Article › peer-review
  10 Citations (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 Jan 1, In: Plastic and Reconstructive Surgery. 109, 7, p. 2197-2203 7 p.

  Research output: Contribution to journal › Article › peer-review
  34 Citations (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 Feb, In: Plastic and Reconstructive Surgery. 103, 2, p. 494-498 5 p.

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

• 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 Sep, In: British Journal of Plastic Surgery. 50, 6, p. 389-401 13 p.

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

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

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

• Verification and optimization of formula SAE suspension employing inerter mechanism

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

  Research output: Contribution to conference › Paper › peer-review

• Verification in Software Product Line Development.

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

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

• Verification Methods for Linear Systems on a GPU

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

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

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

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

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

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

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

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

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

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

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

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

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

  Aoki, Y. & Matsuura, S., 2011 Sep 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).

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

• Verification of fall detection sensor

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

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

  Open Access
  2 Citations (Scopus)

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

  Watanuki, Y. & Akimoto, T., 2011 Dec 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).

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

• 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 Aug 13, In: E3S Web of Conferences. 111, 02044.

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

  Open Access
  1 Citation (Scopus)

• Verification of visual attitude control for outdoor autonomous mobile robots

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

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

• 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 Jun, In: AIJ Journal of Technology and Design. 22, 51, p. 441-446 and 834

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

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

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

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

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

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

• Verified Convex Hull based on Graham's Algorithm

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

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

  3 Citations (Scopus)

• Verified numerical computations for dense linear systems in supercomputing

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

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

  Open Access

• Verified Numerical Computations for Large-Scale Linear Systems

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

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

• Verified solutions of linear systems on GPU

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

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

• Verifying business rules using model-checking techniques for non-specialist in model-checking

  Aoki, Y. & Matsuura, S., 2014 May, In: IEICE Transactions on Information and Systems. E96-D, 5, p. 1097-1108 12 p.

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

• Verifying security requirements using model checking technique for UML-based requirements specification

  Aoki, Y. & Matsuura, S., 2014 Sep 23, 2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 18-25 8 p. 6908674. (2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  9 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)

• VERSATILE PROTON BEAM WRITING SYSTEM FOR MICRO FLUIDIC DEVICES

  N.T.Phi, N. T. P., R.Teshima, R. T., T.Hasegawa, T. H., H.Nishikawa, H. N. & Hasegawa, T., 2010 Mar 24, In: Proceedings of The 5th South East Asian Technical University Consortium (SEATUC) Symposium. p. 390-391

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

• Versatile proton beam writing system with stage movement

  Nguyen, P. T., Kawakami, N., Hasegawa, T. & Nishikawa, H., 2012 Dec 1, NANOMED 2012 - 6th IEEE International Conference on Nano/Molecular Medicine and Engineering. p. 51-55 5 p. 6509122. (IEEE International Conference on Nano/Molecular Medicine and Engineering, NANOMED).

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

• Vertex disjoint cycles containing specified linear forests in a bipartite graph

  Matsubara, R. & Matsumura, H., 2005 Aug 10, In: Discrete mathematics and Application Meeting.

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

• Vertex disjoint cycles containing specified odd paths in a bipartite graph

  Matsubara, R. & Matsumura, H., 2005 Sep 20, In: Mathematical Society of Japan Autum Meeting 2005.

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

• Vertex Disjoint Cycles Containing　Specified Paths of Order 3 in a Bipartite Graph

  Matsubara, R. & Matsumura, H., 2005 Dec 15, In: SUT Journal of Mathematics. 41, p. 179-195

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

  1 Citation (Scopus)

• Vertex-Disjoint Cycles Containing Specified Vertices in a Graph

  Egawa, Y. & Matsubara, R., 2006 Jun 1, In: AKCE International Journal of Graphs and Combinatorics. 3, p. 65-92

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

• Vertex-disjoint cycles passing through specified elements in graphs

  Matsubara, R., Egawa, Y., Sakai, T. & Matsumura, H., 2006 Feb 22, In: Combination Theory young Meeting.

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

• Vertical structure of the transition zone from infalling rotating envelope to disc in the Class 0 protostar, IRAS 04368+2557

  Sakai, N., Oya, Y., Higuchi, A. E., Aikawa, Y., Hanawa, T., Ceccarelli, C., Lefloch, B., López-Sepulcre, A., Watanabe, Y., Sakai, T., Hirota, T., Caux, E., Vastel, C., Kahane, C. & Yamamoto, S., 2017 May 1, In: Monthly Notices of the Royal Astronomical Society: Letters. 467, 1, p. L76-L80

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

  Open Access
  35 Citations (Scopus)

• Very fast chromatic dispersion measurement using lightwave synthesized frequency sweeper and lock-in detection with phase diversity technique

  Takesue, H. & Horiguchi, T., 2001 Jan 1, p. WDD87/1-WDD87/3.

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