If you made any changes in Pure these will be visible here soon.

Research Output 1994 2019

  • 44 Citations
  • 4 h-Index
  • 8 Article
  • 7 Conference contribution
  • 1 Conference article
Filter
Conference contribution
2017

Formal equivalence classes model of fuzzy relational databases using relational calculus

Akbar, M. D. & Mizoguchi, Y., Dec 4 2017, Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-January. p. 1-6 6 p.

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

Equivalence classes
Soft computing
Websites
Relational database
Equivalence

Formalization of proofs using relational calculus

Mizoguchi, Y., Tanaka, H. & Inokuchi, S., Feb 2 2017, Proceedings of 2016 International Symposium on Information Theory and Its Applications, ISITA 2016. Institute of Electrical and Electronics Engineers Inc., p. 527-531 5 p. 7840480. (Proceedings of 2016 International Symposium on Information Theory and Its Applications, ISITA 2016).

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

formalization
Automata theory
Computer science
computer science
assistant
2013

Formal proofs for automata and sticker systems

Tanaka, H., Sakashita, I., Inokuchi, S. & Mizoguchi, Y., Dec 1 2013, Proceedings - 2013 1st International Symposium on Computing and Networking, CANDAR 2013. p. 563-566 4 p. 6726962. (Proceedings - 2013 1st International Symposium on Computing and Networking, CANDAR 2013).

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

2012
8 Citations (Scopus)

Mathematical analysis on affine maps for 2D shape interpolation

Kaji, S., Hirose, S., Sakata, S., Mizoguchi, Y. & Anjyo, K., Jul 29 2012, Computer Animation 2012 - ACM SIGGRAPH / Eurographics Symposium Proceedings, SCA 2012. Fellner, D. W. (ed.). Association for Computing Machinery, Inc, p. 71-76 6 p.

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

Interpolation
Rigidity
2006
1 Citation (Scopus)

The number of orbits of periodic box-ball systems

Mikoda, A., Inokuchi, S., Mizoguchi, Y. & Fujio, M., Jan 1 2006, Unconventional Computation - 5th International Conference, UC 2006, Proceedings. Springer Verlag, p. 181-194 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4135 LNCS).

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

Solitons
Orbits
Ball
Orbit
Cellular automata
2002

Shortest path length calculation using graph transformations

Mizoguchi, Y., 2002, Proceedings of the 6th Joint Conference on Information Sciences, JCIS 2002. Caulfield, J. H., Chen, S. H., Cheng, H. D., Duro, R., Caufield, J. H., Chen, S. H., Cheng, H. D., Duro, R. & Honavar, V. (eds.). Vol. 6. p. 358-361 4 p.

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

Labels
1994
10 Citations (Scopus)

Relational structures and their partial morphisms in view of single pushout rewriting

Kawahara, Y. & Mizoguchi, Y., Jan 1 1994, Graph Transformations in Computer Science - International Workshop, Proceedings. Schneider, H. J. & Ehrig, H. (eds.). Springer Verlag, p. 218-233 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 776 LNCS).

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

Rewriting
Morphisms
Partial
Simple Graph
Hypergraph