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
2019

A linear algorithm for Brick Wang tiling

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

Research output: Contribution to journalArticle

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

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

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

Research output: Contribution to journalConference article

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

Uniqueness of Butson Hadamard matrices of small degrees

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

Research output: Contribution to journalArticle

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

A formulation of composition for cellular automata on groups

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

Research output: Contribution to journalArticle

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

On reversible cellular automata with finite cell array

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

Research output: Contribution to journalArticle

cellular automaton
Cellular automata
5 Citations (Scopus)

Statistical properties of a quantum cellular automaton

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

Research output: Contribution to journalArticle

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

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

Labels
1999
2 Citations (Scopus)

Properties of graphs preserved by relational graph rewritings

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

Research output: Contribution to journalArticle

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

Period lengths of cellular automata on square lattices with rule 90

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

Research output: Contribution to journalArticle

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

Relational graph rewritings

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

Research output: Contribution to journalArticle

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