Fingerprint Dive into the research topics where Department of Electronic Information Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Automatic verification of behavior of UML requirements specifications using model checking

    Matsuura, S., Ikeda, S. & Yokotae, K., 2020 Jan 1, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 158-166 9 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Individual status recognition system assisted by UAV in post-disaster

    Ehara, K., Aljehani, M., Yokemura, T. & Inoue, M., 2020 Jan, 2020 IEEE International Conference on Consumer Electronics, ICCE 2020. Institute of Electrical and Electronics Engineers Inc., 9043101. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics; vol. 2020-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Monitoring system for detecting decrease of living motivation based on change in activities of daily living

    Soma, T., Lawanont, W., Yokemura, T. & Inoue, M., 2020 Jan, 2020 IEEE International Conference on Consumer Electronics, ICCE 2020. Institute of Electrical and Electronics Engineers Inc., 9043016. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics; vol. 2020-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution