Find Research outputs

Search results

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

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

• Vibration Control for Articulated Robots without Disturbance Estimates

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

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

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

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

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

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

  Kajiwara, I., Nakamura, S., Zhu, Y. & Hosoya, N., 2012 Dec 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).

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

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

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

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

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

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

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

• Vibration-based Data Communications on Two Dimensions Insulator

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

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

• 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 Mar 28, In: Journal of Molecular Structure. 521, 1-3, p. 239-247 9 p.

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

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

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

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

• 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 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 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
  16 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 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 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
  9 Citations (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 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
  40 Citations (Scopus)

• 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

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

• 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

• 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

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

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

• 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

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

• 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

• 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 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 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
  2 Citations (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 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 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 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 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 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 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 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
  2 Citations (Scopus)

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