Find Research outputs

Search results

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

• Very high values of J_c obtained in NdBa₂Cu₃O_x by use of the U/n process

  Weinstein, R., Sawh, R. P., Parks, D., Murakami, M., Mochida, T., Chikumoto, N., Krabbes, G. & Bieger, W., 2002 Dec 15, In: Physica C: Superconductivity and its applications. 383, 3, p. 214-222 9 p.

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

• Very Low Power Consumption Viterbi Decoder LSIC Employing SST Scheme for Multimedia Mobile Communications

  Seki, K., Kubota, S., Mizoguchi, M. & Kato, S., 1994 Apr 1, In: IEE Electronics letters.

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

• Very low power consumption Viterbi decoder LSlC employing the SST (scarce state transition) scheme for multimedia mobile communications

  Seki, K., Kubota, S., Mizoguchi, M. & Kato, S., 1994 Jan 1, In: Electronics Letters. 30, 8, p. 637-639 3 p.

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

• Very Small Singlemode Ten-Fiber Connector

  Satake, T., Kashima, N. & Oki, M., 1988 Feb, In: Journal of Lightwave Technology. 6, 2, p. 269-272 4 p.

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

• Very small single-mode ten-fiber connector

  T.Satake, T. S., N.Kashima, N. K., M.Oki, M. O. & Kashima, N., 1987 Feb 1, In: IEEE Journal of Lightwave Technology. p. 6-2

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

• Very wide-tuning range 5-GHz-band Si bipolar VCO using three-dimensional MMIC technology

  Kamogawa, K., Nishikawa, K., Yamaguchi, C., Hirano, M., Toyoda, I. & Tokumitsu, T., 1997 Jan 1, In: IEEE MTT-S International Microwave Symposium Digest. 3, p. 1221-1224 4 p.

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

• Viability of hydro-kinetic turbine as an alternative for renewable energy harvesting in Nigeria

  Masud, I. A. & Suwa, Y., 2018 Mar, Proceedings - 12th SEATUC Symposium, SEATUC 2018. Institute of Electrical and Electronics Engineers Inc., 8788852. (Proceedings - 12th SEATUC Symposium, SEATUC 2018).

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

• Vibrational communication system in ultrasonic frequency band

  Takasawa, R. & Nagasawa, S., 2020 Jun 1, In: Japanese Journal of Applied Physics. 59, SI, SIIL05.

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

• Vibrational properties of CaAlH₅ and α-AlH₃ with different AlH₆ networks studied by inelastic neutron scattering

  Sato, T., Ramirez-Cuesta, A. J., Ikeda, K., Orimo, S. I. & Yamada, K., 2011 Sep 5, In: Inorganic Chemistry. 50, 17, p. 8007-8011 5 p.

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

• Vibrational spectra of charged defects in a series of '-bis(aminomethyl) end-capped oligothiophenes induced by chemical doping with iodine

  Navarrete, J. T. L., Casado, J., Muguruma, H., Hotta, S., Hern, V. & ez, E., 2000 Jan 1, In: Journal of Molecular Structure. p. 239-247

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