研究成果を検索

検索結果

• Vibration control of membrane structures using multiple dielectric elastomer actuators

  Hiruta, T., Ishihara, H., Hosoya, N., Maeda, S. & Kajiwara, I., 2021, 2021 21st International Conference on Control, Automation and Systems, ICCAS 2021. IEEE Computer Society, p. 1932-1936 5 p. (International Conference on Control, Automation and Systems; vol. 2021-October).

  研究成果: Conference contribution

• Vibration Control for Articulated Robots without Disturbance Estimates

  Kosaka, Y., Pakpoom, V. & Shimada, A., 2003 11月 4, In: The 29th Annual Conference of the Industrial Electronics Society (IECON2003). p. 854-859

  研究成果: Article › 査読

• Vibration control for a high-Tc superconducting non-linear levitation system

  Nagaya, K., Tsukagoshi, M., Kosugi, Y. & Murakami, M., 1997 11月 27, In: Journal of Sound and Vibration. 208, 2, p. 299-311 13 p.

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

• Vibration control evaluation of smart microstructures with non-contact laser excitation

  Kajiwara, I., Nakamura, S., Zhu, Y. & Hosoya, N., 2012 12月 1, ASME 2012 5th Annual Dynamic Systems and Control Conference Joint with the JSME 2012 11th Motion and Vibration Conference, DSCC 2012-MOVIC 2012. p. 833-841 9 p. (ASME 2012 5th Annual Dynamic Systems and Control Conference Joint with the JSME 2012 11th Motion and Vibration Conference, DSCC 2012-MOVIC 2012; vol. 3).

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

• Vibration control evaluation of micro smart structures with non-contact laser excitation

  Nakamura, S., Zhu, Y., Kajiwara, I. & Hosoya, N., 2011, In: Nihon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C. 77, 784, p. 4413-4424 12 p.

  研究成果: Article › 査読

• Vibration control evaluation for underwater structures using non-contact laser excitation

  Umenai, K., Hosoya, N. & Kajiwara, I., 2014.

  研究成果: Paper › 査読

• Vibration based energy harvester employing ZnO film on the stainless steel substrate

  Hosokawa, S., Hara, M., Oguchi, H. & Kuwano, H., 2013, In: IEEJ Transactions on Sensors and Micromachines. 133, 4, p. 126-127 2 p.

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

• Vibration-based Data Communications on Two Dimensions Insulator

  Takemura, T. & Kamioka, E., 2010 2月 25, In: Proceedings of the 4th South East Asia Technical University Consortium Symposium (SEATUC2010). p. 277-280

  研究成果: Article › 査読

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

  López Navarrete, J. T., Casado, J., Muguruma, H., Hotta, S. & Hernández, V., 2000 3月 28, In: Journal of Molecular Structure. 521, 1-3, p. 239-247 9 p.

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

• 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 communication system in ultrasonic frequency band

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

  研究成果: Article › 査読

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

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

• 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 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 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 › 査読
  16 被引用数 (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 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 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 › 査読
  9 被引用数 (Scopus)

• 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
  40 被引用数 (Scopus)

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

• 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 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 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 linear forests in a bipartite graph

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

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

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

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

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

• 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

  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 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 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 › 査読
  2 被引用数 (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
  2 被引用数 (Scopus)

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