研究成果を検索

検索結果

• Vehicles detection using sensor fusion

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

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

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

• 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 › 査読

• 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 › 査読

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

• 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 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 › 査読
  79 被引用数 (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 9月, In: British Journal of Plastic Surgery. 50, 6, p. 389-401 13 p.

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

  研究成果: Conference contribution

• Verification and optimization of formula SAE suspension employing inerter mechanism

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

  研究成果: Paper › 査読

• 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 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 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 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 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 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 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 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 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 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 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 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 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 › 査読

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

• 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 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 solutions of linear systems on GPU

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

  研究成果: Article › 査読

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

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

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

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

  Aoki, Y. & Matsuura, S., 2014 9月 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).

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

• 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 3月 24, In: Proceedings of The 5th South East Asian Technical University Consortium (SEATUC) Symposium. p. 390-391

  研究成果: Article › 査読

• Versatile proton beam writing system with stage movement

  Nguyen, P. T., Kawakami, N., Hasegawa, T. & Nishikawa, H., 2012 12月 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).

  研究成果: Conference contribution

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

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

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読

  1 被引用数 (Scopus)

• Vertex-Disjoint Cycles Containing Specified Vertices in a Graph

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

  研究成果: Article › 査読

• Vertex-disjoint cycles passing through specified elements in graphs

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

  研究成果: Article › 査読

• 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 5月 1, In: Monthly Notices of the Royal Astronomical Society: Letters. 467, 1, p. L76-L80

  研究成果: Article › 査読

  Open Access
  35 被引用数 (Scopus)

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

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

  研究成果: Paper › 査読
  7 被引用数 (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 12月 15, In: Physica C: Superconductivity and its applications. 383, 3, p. 214-222 9 p.

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

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

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

  研究成果: Article › 査読

• 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 1月 1, In: Electronics Letters. 30, 8, p. 637-639 3 p.

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

• Very Small Singlemode Ten-Fiber Connector

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

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

• Very small single-mode ten-fiber connector

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

  研究成果: Article › 査読

• 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 1月 1, In: IEEE MTT-S International Microwave Symposium Digest. 3, p. 1221-1224 4 p.

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

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

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

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

• Vibrational communication system in ultrasonic frequency band

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

  研究成果: Article › 査読

• 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 9月 5, In: Inorganic Chemistry. 50, 17, p. 8007-8011 5 p.

  研究成果: Article › 査読
  7 被引用数 (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 1月 1, In: Journal of Molecular Structure. p. 239-247

  研究成果: Article › 査読