研究成果を検索

検索結果

• A methodology to develop energy adaptive software using model-driven development

  Tanaka, F., Hisazumi, K., Ishida, S. & Fukuda, A., 2017 12月 19, TENCON 2017 - 2017 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., p. 769-774 6 p. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2017-December).

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

• A Methodology for improving reusability of educational materials using product line software engineering

  Okada, T., Hisazumi, K., Nakanishi, T. & Fukuda, A., 2009, Proceedings of the 17th International Conference on Computers in Education, ICCE 2009. p. 170-172 3 p. (Proceedings of the 17th International Conference on Computers in Education, ICCE 2009).

  研究成果: Conference contribution

• A method of verification from the third party view for iot prototype system and its implementational evaluation

  Dosaka, S., Ohe, N., Nakajima, K., Yonemori, H., Inoue, M., Kambe, H. & Koizumi, H., 2018 1月 1, In: IEEJ Transactions on Electronics, Information and Systems. 138, 6, p. 743-754 12 p.

  研究成果: Article › 査読

• A Method of Torque Ripple Reduction by Using Harmonic Current Injection in PMSM

  Nishio, T., Ryosuke, Y., Masahiko, K. & Akatsu, K., 2019 11月, 2019 IEEE 4th International Future Energy Electronics Conference, IFEEC 2019. Institute of Electrical and Electronics Engineers Inc., 9014937. (2019 IEEE 4th International Future Energy Electronics Conference, IFEEC 2019).

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

• A method of removing metal ions from silicate glasses for recycling by liquid-phase deposition

  Homma, T., 2001 10月, In: Journal of Non-Crystalline Solids. 291, 1-2, p. 25-31 7 p.

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

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

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

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

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

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読
  6 被引用数 (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 12月 17, 2009 IEEE Power and Energy Society General Meeting, PES '09. 5275617. (2009 IEEE Power and Energy Society General Meeting, PES '09).

  研究成果: Conference contribution
  1 被引用数 (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 3月 23, In: Agricultural Engineering International: CIGR Journal. 17, 1, p. 188-196 9 p.

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

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読
  21 被引用数 (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 10月 1, In: Default journal.

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読

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

  研究成果: Article › 査読

  Open Access
  11 被引用数 (Scopus)

• A method for recording and analyzing design processes

  Nakajima, T., 1990 10月 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).

  研究成果: Conference contribution

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

  Kishi, T., Noda, N. & Katayama, T., 2002 1月 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).

  研究成果: Conference contribution
  8 被引用数 (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 1月 1, In: Japanese journal of medical electronics and biological engineering. 38, 3, p. 251-256 6 p.

  研究成果: Article › 査読

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

  研究成果: Paper › 査読
  15 被引用数 (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 1月 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).

  研究成果: Chapter
  1 被引用数 (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).

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

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

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

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

• A Method for Detecting Unusual Defects in Enterprise System

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

  研究成果: Article › 査読

  4 被引用数 (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).

  研究成果: Conference contribution
  2 被引用数 (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 3月 1, In: 技報ＨＩＰ2007. 107, p. 157-162

  研究成果: Article › 査読

• 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 1月 1, In: Advanced Robotics. 24, 1-2, p. 69-83 15 p.

  研究成果: Article › 査読
  1 被引用数 (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 4月 3, In: Language Testing. 26, p. 219-244

  研究成果: Article › 査読

  59 被引用数 (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 4月 1, In: Language Testing. 26, 2, p. 219-244 26 p.

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

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

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

  研究成果: Article › 査読

• 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 3月 20, In: Default journal.

  研究成果: Article › 査読

• 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 6月 28, In: Default journal.

  研究成果: Article › 査読

• A message reduction scheme for DTN by using positional information

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

  研究成果: 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 10月 19, In: 5th　International conference of polyphenol and health.

  研究成果: Article › 査読

• A media handover system with an IrDA pointer

  Kamioka, E. & Yamada, S., 2007 12月 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).

  研究成果: 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 4月 30, In: Journal of Alloys and Compounds. 496, 1-2, p. 81-86 6 p.

  研究成果: Article › 査読
  16 被引用数 (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 9月 22, In: Proc. of WESPAC X. p. 1-6

  研究成果: Article › 査読

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

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

  研究成果: Article › 査読

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

  研究成果: Article › 査読

  Open Access

• AMBULATORY MONITORING INSTRUMENT USING SHORT-RANGE BIOTELEMETRY TECHNIQUE.

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

  研究成果: Conference article › 査読

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

  Shimazu, H., Shibata, M., Yamakoshi, K. & Togawa, T., 1979 12月 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.

  研究成果: Article › 査読

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

  研究成果: Article › 査読

• 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 11月 2, In: Applied Sciences (Switzerland). 10, 22, p. 1-20 20 p., 8293.

  研究成果: Article › 査読

  Open Access
  1 被引用数 (Scopus)

• Ambiguous command understanding with commonsense

  Ngo, L. T., Maeda, Y., Lee, H. & Mizukawa, M., 2012 12月 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).

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

  研究成果: Article › 査読

  Open Access
  9 被引用数 (Scopus)

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

  Kanzawa, Y., 2014 9月 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).

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

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

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

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

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

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

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

  研究成果: Article › 査読
  1 被引用数 (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 9月 1, In: Acta Bioengineering and Biomechanics,. 1, p. 117-121

  研究成果: Article › 査読

• 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 1月 1, In: Proceedings of 1999 Bioengineering Conference. 42, p. 575-576

  研究成果: Article › 査読