INFSOC: Informatics Society
  • Home
  • About INFSOC
  • Conferences
    • IWIN 2025
    • SAIS 2019
    • Past Conferences
  • Japan Chapter
    • Symposium 2024
    • Past Symposium
  • Journals
    • Current Issue
    • Past Issues
    • For Authors
  • Organization
  • Contact

International Journal of Informatics Society (IJIS)

ISSN: 1883-4566
Volume: 9, No: 1, Date: June 2017
Full Image: PDF (10.7MB)

Contents


Guest Editor's Message
H. Hayami
Page: 1 (PDF)

Verifying Timed Anonymity of Security Protocols
Y. Kawabe, and N. Ito
Pages: 3-11 (PDF)

Development and Evaluation of a Near-Miss Map System utilizing Driver's Emotions
Y. Saito
Pages: 13-20 (PDF)

GPU Acceleration of EDA-based Algorithms to Learn Bayesian Networks
T. Mori, Y. Yamanaka, T. Fujiki, and T. Yoshihiro
Pages: 21-29 (PDF)

Electronic Smell Picture Book for Children Using Pulse Ejection
S. Horiguchi, S. Matsumoto, H. Shigeno, and K. Okada
Pages: 31-39 (PDF)

On the Generation of Human-oriented Counter-examples using a Test Automaton
C. Yanagisawa, S. Ogata, and K. Okano
Pages: 41-50 (PDF)
Copyright 2025 INFSOC. All rights reserved.