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

研究成果 1994 2019

  • 44 引用
  • 4 h指数
  • 8 記事
  • 7 会議での発言
  • 1 Conference article
2019

A linear algorithm for Brick Wang tiling

Derouet-Jourdan, A., Kaji, S. & Mizoguchi, Y., 9 1 2019, : : Japan Journal of Industrial and Applied Mathematics. 36, 3, p. 749-761 13 p.

研究成果: ジャーナルへの寄稿記事

Linear Algorithm
Tile
Brick
Tiling
Computer graphics
2018
1 引用 (Scopus)

Class dependency of fuzzy relational database using relational calculus and conditional probability

Akbar, M. D., Mizoguchi, Y. & Adiwijaya, 4 5 2018, : : Journal of Physics: Conference Series. 971, 1, 012001.

研究成果: ジャーナルへの寄稿Conference article

calculus
equivalence
projection
injection
formulations
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
2015

Uniqueness of Butson Hadamard matrices of small degrees

Hirasaka, M., Kim, K. T. & Mizoguchi, Y., 9 1 2015, : : Journal of Discrete Algorithms. 34, p. 70-77 8 p.

研究成果: ジャーナルへの寄稿記事

Hadamard matrices
Hadamard Matrix
Uniqueness
Roots of Unity
P-matrix
2014
3 引用 (Scopus)

A formulation of composition for cellular automata on groups

Inokuchi, S., Ito, T., Fujio, M. & Mizoguchi, Y., 1 1 2014, : : IEICE Transactions on Information and Systems. E97-D, 3, p. 448-454 7 p.

研究成果: ジャーナルへの寄稿記事

Cellular automata
Chemical analysis
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
2005
3 引用 (Scopus)

On reversible cellular automata with finite cell array

Inokuchi, S., Honda, K., Lee, H. Y., Sato, T., Mizoguchi, Y. & Kawahara, Y., 2005, : : Unknown Journal. 3699, p. 130-141 12 p.

研究成果: ジャーナルへの寄稿記事

cellular automaton
Cellular automata
5 引用 (Scopus)

Statistical properties of a quantum cellular automaton

Inui, N., Inokuchi, S., Mizoguchi, Y. & Konno, N., 9 1 2005, : : Physical Review A - Atomic, Molecular, and Optical Physics. 72, 3, 032323.

研究成果: ジャーナルへの寄稿記事

cellular automata
tungsten
trajectories
configurations
cells
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
1999
2 引用 (Scopus)

Properties of graphs preserved by relational graph rewritings

Mizoguchi, Y., 10 2 1999, : : Information Sciences. 119, 3, p. 289-299 11 p.

研究成果: ジャーナルへの寄稿記事

Graph Rewriting
Graph in graph theory
Rewriting Systems
Rewriting
Lemma
1995
3 引用 (Scopus)

Period lengths of cellular automata on square lattices with rule 90

Kawahara, Y., Kumamoto, S., Mizoguchi, Y., Nohmi, M., Ohtsuka, H. & Shoudai, T., 1 1 1995, : : Journal of Mathematical Physics. 36, 3, p. 1435-1456 22 p.

研究成果: ジャーナルへの寄稿記事

cellular automata
Square Lattice
Cellular Automata
Configuration
configurations
8 引用 (Scopus)

Relational graph rewritings

Mizoguchi, Y. & Kawahara, Y., 4 17 1995, : : Theoretical Computer Science. 141, 1-2, p. 311-328 18 p.

研究成果: ジャーナルへの寄稿記事

Graph Rewriting
Rewriting
Rewriting Systems
Binary relation
Commute
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