Pureに変更を加えた場合、すぐここに表示されます。

研究成果 1994 2019

  • 44 引用
  • 4 h指数
  • 8 記事
  • 7 会議での発言
  • 1 Conference article
フィルター
会議での発言
2017

Formal equivalence classes model of fuzzy relational databases using relational calculus

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

研究成果: 著書/レポートタイプへの貢献会議での発言

Equivalence classes
Soft computing
Websites
Relational database
Equivalence

Formalization of proofs using relational calculus

Mizoguchi, Y., Tanaka, H. & Inokuchi, S., 2 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).

研究成果: 著書/レポートタイプへの貢献会議での発言

formalization
Automata theory
Computer science
computer science
assistant
2013

Formal proofs for automata and sticker systems

Tanaka, H., Sakashita, I., Inokuchi, S. & Mizoguchi, Y., 12 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).

研究成果: 著書/レポートタイプへの貢献会議での発言

2012
8 引用 (Scopus)

Mathematical analysis on affine maps for 2D shape interpolation

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

研究成果: 著書/レポートタイプへの貢献会議での発言

Interpolation
Rigidity
2006
1 引用 (Scopus)

The number of orbits of periodic box-ball systems

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

研究成果: 著書/レポートタイプへの貢献会議での発言

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. (版). 巻 6. p. 358-361 4 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

Labels
1994
10 引用 (Scopus)

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

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

研究成果: 著書/レポートタイプへの貢献会議での発言

Rewriting
Morphisms
Partial
Simple Graph
Hypergraph