Find Research outputs

Search results

• A method of proving the existence of simple turning points of two-point boundary value problems based on the numerical computation with guaranteed accuracy

  Soma, T., Oishi, S. N. I., Kanzawa, Y. & Horiuchi, K., 1998, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E81-A, 9, p. 1892-1897 6 p.

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

• A Method of Proving Existence of Solution Curve for Nonlinear Equation using Affine Arithmetic

  Kanzawa, Y. & Oishi, S., 2006 Sept 14, In: Proc. 2006 International Symposium on Nonlinear Theory and Its Applications. p. 787-790

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

• A method of obtaining verified solutions for linear systems suited for Java

  Ozaki, K., Ogita, T., Miyajima, S., Oishi, S. & Rump, S. M., 2007 Feb 15, In: Journal of Computational and Applied Mathematics. 199, 2, p. 337-344 8 p.

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

• A method of enhancement of transmission capability limit using system damping resistor and series - Shunt capacitors

  Mikuni, Y., Shirai, G., Yokoyama, R. & Fujita, G., 2009 Dec 17, 2009 IEEE Power and Energy Society General Meeting, PES '09. 5275617. (2009 IEEE Power and Energy Society General Meeting, PES '09).

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

• A method of determining cut position of automatic stem removal system for salted wakame

  Yimit, A., Takagi, M., Hagihara, Y., Miyoshi, T. & Hagihara, Y., 2015 Mar 23, In: Agricultural Engineering International: CIGR Journal. 17, 1, p. 188-196 9 p.

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

• A method of designing communication service specifications using message sequence charts

  Mizuno, O. & Niitsu, Y., 1993, In: Electronics and Communications in Japan (Part I: Communications). 76, 3, p. 1-15 15 p.

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

• A method of automatic integration test case generation from UML-based scenario

  Ogata, S. & Matsuura, S., 2010 Apr 1, In: WSEAS Transactions on Information Science and Applications. 7, 4, p. 598-607 10 p.

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

• A Method for Weight Minimization Problems of 2-Dimensional Trusses under Constraints of Stresses and Frequencies by Using Genetic Algorithm

  Miyamoto, T., Hasegawa, H. & Kawamo, K., 1999 Oct 1, In: Default journal.

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

• A Method for the Shape and Topology Optimization of Mechanical Structures Using Genetic Algorithm

  Kawamo, K., Hasegawa, H. & Turuta, Y., 1996 Jan 1, In: Current Advances in Mechanical Design and Production VI - Proceedings of the Sixth Cairo University International MDP Conference Cairo. p. 87-96

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

• A Method for the Shape and Topology Optimization of Mechanical Structures by Using Genetic Algorithm (Layout Optimization Method by Adoption of Removal and Addition parameters of Elements as Chromosomes)

  Hasegawa, H. & Kawamo, K., 1995, In: Transactions of the Japan Society of Mechanical Engineers Series A. 61, 581, p. 183-190 8 p.

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

  Open Access
  11 Citations (Scopus)

• A method for recording and analyzing design processes

  Nakajima, T., 1990 Oct 1, Proceedings of the 5th International Software Process Workshop: Experience with Software Process Models, ISPW 1990. Association for Computing Machinery, Inc, p. 106-108 3 p. (Proceedings of the 5th International Software Process Workshop: Experience with Software Process Models, ISPW 1990).

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

• A method for quantifying vascularity in breast cancer using the color Doppler method

  Hagihara, K., Shiina, T. & Ueno, E., 1996, In: Japanese Journal of Medical Ultrasonics. 23, 6, p. 21-32 12 p.

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

• A method for product line scoping based on a Decision-Making framework

  Kishi, T., Noda, N. & Katayama, T., 2002 Jan 1, Software Product Lines - 2nd International Conference, SPLC 2, Proceedings. Chastek, G. J. (ed.). Springer Verlag, p. 348-365 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2379).

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

• A method for evaluating the effect of acupuncture using multiple biosignals

  Fukumoto, T., Tanaka, H., Kanoh, S. I., Ohba, S., Futami, R., Hoshimiya, N. & Sasaki, K., 2000 Jan 1, In: Japanese journal of medical electronics and biological engineering. 38, 3, p. 251-256 6 p.

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

• A method for estimation of lightness of objects with intensity data from SOKUIKI sensor

  Kawata, H., Miyachi, K., Hara, Y., Ohya, A. & Yuta, S., 2008, p. 661-664. 4 p.

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

• A Method for Estimating Whether a User is in Smooth Communication with an Interactive Agent in Human-Agent Interaction

  Komatsu, T., Ohtsuka, S., Ueda, K., Komeda, T. & Oka, N., 2004 Jan 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Negoita, M. G., Howlett, R. J. & Jain, L. C. (eds.). Springer Verlag, p. 371-377 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3213).

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

• A method for estimating 3-D nuclear parameters using an image taken from a hepatic histopathological section

  Takahashi, M., Yoshimi, T. & Nakano, M., 2007, 29th Annual International Conference of IEEE-EMBS, Engineering in Medicine and Biology Society, EMBC'07. p. 3761-3764 4 p. 4353150. (Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings).

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

• A method for detecting unusual defects in enterprise system using model checking techniques

  Aoki, Y. & Matsuura, S., 2011 Jun 17, Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11. p. 165-171 7 p. (Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11).

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

• A Method for Detecting Unusual Defects in Enterprise System

  Aoki, Y. & Matsuura, S., 2011 Feb 1, In: Proc of SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS. p. 165-171

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

  4 Citations (Scopus)

• A method for detecting defects in source codes using model checking techniques

  Aoki, Y. & Matsuura, S., 2010, Proceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010. p. 543-544 2 p. 5676307. (Proceedings - International Computer Software and Applications Conference).

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

• A Method for Creative Communication Using Black-Circled Prompters "●"-Analysis of a Method that Allows Users' Free hand Writing

  L.J.Chen, L. J. C., J.Ohya, J. O., S.Yonemura, S. Y., Y.Tokunaga, Y. T. & Yonemura, S., 2008 Mar 1, In: 技報ＨＩＰ2007. 107, p. 157-162

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

• A Method for Constructing Collision Avoidance Route for Multiple UAVs Using OLSR-Based Link Hierarchization

  Gunji, H., Ueda, K., Miyoshi, T., Yamazaki, T. & Yamamoto, R., 2022 Jul 29, Proceedings of the 10th International Conference on Computer and Communications Management, ICCCM 2022. Association for Computing Machinery, p. 169-174 6 p. (ACM International Conference Proceeding Series).

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

• A Method for Adversarial Example Generation by Perturbing Selected Pixels

  Tomoki, K. & Masaomi, K., 2022, Proceedings of 2022 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2022. Institute of Electrical and Electronics Engineers Inc., p. 1109-1114 6 p. (Proceedings of 2022 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2022).

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

• A method for accurate map construction using time registration from a moving SOKUIKI sensor

  Kawata, H., Ueda, T., Tomizawa, T., Ohya, A. & Yuta, SI., 2010 Jan 1, In: Advanced Robotics. 24, 1-2, p. 69-83 15 p.

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

• A meta-analysis of test format effects on reading and listening test performance: Focus on multiple-choice and open-ended formats

  In'nami, Y., Koizumi, R. & Innami, Y., 2009 Apr 3, In: Language Testing. 26, p. 219-244

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

  68 Citations (Scopus)

• A meta-analysis of test format effects on reading and listening test performance: Focus on multiple-choice and open-ended formats

  In'nami, Y. & Koizumi, R., 2009 Apr 1, In: Language Testing. 26, 2, p. 219-244 26 p.

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

• A meta-analysis of task type effects on listening and reading test performance

  In'nami, Y. & Innami, Y., 2007 Oct 27, In: Default journal.

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

• A meta-analysis of multitrait-multimethod studies in language testing research: Focus on Chapelle's (1998) construct definition and language ability structure

  In'nami, Y., Koizumi, R. & Innami, Y., 2009 Mar 20, In: Default journal.

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

• A meta-analysis of effects of multiple-choice and open-ended formats on reading and listening test performance

  In'nami, Y., Koizumi, R. & Innami, Y., 2008 Jun 28, In: Default journal.

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

• A message reduction scheme for DTN by using positional information

  Niitsu, Y., Hyuga, T. & Shibuya, Y., 2014 Dec 11, International Conference on ICT Convergence. IEEE Computer Society, p. 229-231 3 p. 6983123. (International Conference on ICT Convergence).

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

• Amelioration of flavan 3-ols on microcirculation in rat cremaster muscle and mesentery evaluated by in vivo intravital microscopic technique

  Shibata, M. & Osakabe, N., 2011 Oct 19, In: 5th　International conference of polyphenol and health.

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

• A media handover system with an IrDA pointer

  Kamioka, E. & Yamada, S., 2007 Dec 1, Proceedings of the 11th IASTED International Conference on Internet and Multimedia Systems and Applications, IMSA 2007. p. 62-67 6 p. (Proceedings of the 11th IASTED International Conference on Internet and Multimedia Systems and Applications, IMSA 2007).

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

• A mechanically switchable metal-insulator transition in Mg₂NiH₄ discovers a strain sensitive, nanoscale modulated resistivity connected to a stacking fault

  Lelis, M., Milcius, D., Wirth, E., Hålenius, U., Eriksson, L., Jansson, K., Kadir, K., Ruan, J., Sato, T., Yokosawa, T. & Noréus, D., 2010 Apr 30, In: Journal of Alloys and Compounds. 496, 1-2, p. 81-86 6 p.

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

• A measurement result of sound intensity of MRI driving sound

  Kenji, M., Hideo, S., Kunihiko, T., Kazuo, Y., Kentaro, E., Guoyue, C. & Muto, K., 2009 Sept 22, In: Proc. of WESPAC X. p. 1-6

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

• A mean-field approach to a discrete dipolar spin model with uniaxial magnetic anisotropy

  Tomita, Y., Yanai, S. & Takayama, H., 2009 Sept, In: International Journal of Modern Physics C. 20, 9, p. 1335-1343 9 p.

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

• Ambulatory Monitoring Of The Biological Information During Exercise Using A Portable Digital-Recorder

  Shibata, M., Kawarada, A., Shimazu, H., Yamakoshi, K. I. & Kamiya, A., 1983, In: Japanese Journal of Physical Fitness and Sports Medicine. 32, 2, p. 58-65 8 p.

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

  Open Access

• AMBULATORY MONITORING INSTRUMENT USING SHORT-RANGE BIOTELEMETRY TECHNIQUE.

  Sato, T., Kawarada, A., Shibata, M., Yamakoshi, K., Kamiya, A. & Shimazu, H., 1984 Apr, In: Japanese journal of medical electronics and biological engineering. 22, p. 564-565 2 p.

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

• Ambulatory heart-rate monitoring instrument (author's transl)

  Shimazu, H., Shibata, M., Yamakoshi, K. & Togawa, T., 1979 Dec 1, In: Iyo Kizai Kenkyujo hokoku. Reports of the Institute for Medical and Dental Engineering, Tokyo Medical and Dental University. 13, p. 49-52 4 p.

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

• Ambulatory heart rate monitor

  Shibata, M., Torii, Y., Yamakoshi, K., Shimazu, H., Toyoshima, T., Togawa, T. & Shyoji, T., 1979, In: Japanese journal of medical electronics and biological engineering. 17, p. 524-547 24 p.

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

• A MBSE application to controllers of autonomous underwater vehicles based on model-driven architecture concepts

  Van Hien, N., Van He, N., Truong, V. T. & Bui, N. T., 2020 Nov 2, In: Applied Sciences (Switzerland). 10, 22, p. 1-20 20 p., 8293.

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

  Open Access
  2 Citations (Scopus)

• Ambiguous command understanding with commonsense

  Ngo, L. T., Maeda, Y., Lee, H. & Mizukawa, M., 2012 Dec 14, 2012 IEEE RO-MAN: The 21st IEEE International Symposium on Robot and Human Interactive Communication. p. 545-550 6 p. 6343808. (Proceedings - IEEE International Workshop on Robot and Human Interactive Communication).

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

• A maximizing model of spherical Bezdek-type fuzzy multi-medoids clustering

  Kanzawa, Y., 2015, In: Journal of Advanced Computational Intelligence and Intelligent Informatics. 19, 6, p. 738-746 9 p.

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

  Open Access
  10 Citations (Scopus)

• A maximizing model of Bezdek-like spherical fuzzy c-means clustering

  Kanzawa, Y., 2014 Sept 4, Proceedings of the 2014 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE. Institute of Electrical and Electronics Engineers Inc., p. 2482-2488 7 p. 6891670. (IEEE International Conference on Fuzzy Systems).

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

• A maximizing model of bezdek-like spherical fuzzy c-means

  Kanzawa, Y., 2015 Sept 1, In: Journal of Advanced Computational Intelligence and Intelligent Informatics. 19, 5, p. 662-669 8 p.

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

  Open Access
  11 Citations (Scopus)

• A matrix inequality based design method for consensus problems in multi-agent systems

  Zhai, G., Okuno, S., Imae, J. & Kobayashi, T., 2009 Dec 1, In: International Journal of Applied Mathematics and Computer Science. 19, 4, p. 639-646 8 p.

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

• A mathematical model of the artery focused on the behavior of smooth muscles in active state

  Yamada, H., Shinoda, T., Tanaka, E. & Yamamoto, S., 1998, In: American Society of Mechanical Engineers, Bioengineering Division (Publication) BED. 39, p. 61-62 2 p.

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

• A Mathematical Model of Bone Remodeling under Overload and its Application to Evaluation of Bone Resorption around Dental Implants

  Tanaka, T., E, E., Yamamoto, Y., S., S., Nishida, N., T, T., Aoki, A. & Y, Y., 1999 Sept 1, In: Acta Bioengineering and Biomechanics,. 1, p. 117-121

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

• A Mathematical Model of Bone Remodeling Taking Account of Bone Resorption under Overload

  Tanaka, T., E, E., Yamamoto, Y., S, S., Nishida, N., T, T., Aoki, A., Y, Y., Yamada, Y. & H, H., 1999 Jan 1, In: Proceedings of 1999 Bioengineering Conference. 42, p. 575-576

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

• A Mathematical Model of Bone Remodeling Process

  Tanaka, T., E., E., Yamamoto, Y. & S, S., 2001 Jan 1, In: Proceedings of Switzerland-Japan Workshop New Directions in Cellular and Tissue Biomechanics (2001). p. 73

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

• A Mathematical Model and Numerical Simulations of Vascular Response to Smooth Muscle Activation

  Yamada, Y., H., H., Shinoda, S., T, T., Tanaka, T., E, E., Yamamoto, Y. & S., S., 2001 Jan 1, In: Computer Methods in Biomechanics & Biomedical Engineering - 3. p. 193-198

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