Yoshihiro Mizoguchi's Papers

  • Recent Manuscripts
  • Y.Mizoguchi, H.Tanaka, S.Inokuchi
    Formalization of proofs using relational calculus,
    Proc. International Symposium on Information Theory and Its Applications (ISITA2016),
    pp. 532-536, November, 2016.
  • A.D.Jourdan, S.Kaji, Y.Mizoguchi,
    A linear algorithm for Brick Wang tiling,
    arXiv:1603.04292 [cs.DM].
  • K.K.K.R. Perera, Y.Mizoguchi
    Bipartition of graphs based on the normalized cut and spectral methods,
    arXiv:1210.7253 [math.CO, cs.DM].
  • K.Perera, Y.Mizoguchi,
    Laplacian energy of directed graphs and minimizing maximum outdegree algorithms,
    (MI 2010-35)
  • Published Papers
  • M.D.Akbar, Y.Mizoguchi,
    A Formalization of a Fuzzy Relational Database Model using Relational Calculus,
    Bulletin of Infromatics and Cybernecs, pp.83--104, Vol.48, 2016.
  • T.Matsushima, Y.Mizoguchi, A.D.Jourdan,
    Verification of a brick Wang tiling algorithm,
    SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing, Vol.39, pp.107-116, 2016.
  • M.Kondo, T.Matsuo, Y.Mizoguchi, H.Ochiai,
    A Mathematica module for Conformal Geometric Algebra and Origami Folding,
    SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing, Vol.39, pp.60-80, 2016.
  • A.D.Jourdan, Y.Mizoguchi and M.Salvati,
    Wang Tiles Modeling of Wall Patterns,
    Mathematical Progress in Expressive Image Systems, H.Ochiai and Y.Dobashi (eds.),
    MI Lecture Note, Kyushu University, Vol.64, pp.61-70, 2015.
  • Y.Ikeda, Y.Fukai, Y.Mizoguchi
    A Property of Random Walks on a Cycle Graph,
    Pacific Journal of Mathematics for Industry, Vol. 7:3, 2015.
  • M.Hirasaka, K.Kim, Y.Mizoguchi
    Uniqueness of Buston Hadamard matrices of small degrees,
    Journal of Discrete Algorithms, Vol. 34, pp.70-77, 2015.
  • M.D.Akbar, Y.Mizoguchi
    Fuzzy Relational Database Model Using Relational Calculus,
    Proc. of 7th International Conference on Soft Computing and Intelligent Systems,
    December 3-6, 2014, Kitakyushu, Japan, (4pages).
  • H.Tanaka, I.Sakashita, S.Inokuchi and Y.Mizoguchi,
    Formal Proofs for Automata and Sticker Systems,
    Proc. of 1st International Workshop on Computing and Networking (CANDAR), 563-566, 2013, DOI:10.1109/CANDAR.2013.100.
  • Y.Mizoguchi,
    Theory of Automata, Abstraction and Applications, pages 337-348,
    R.Nishii et al. (eds.), A Mathematical Approach to Research Problems of Science and Technology,
    Mathematis for Industry 5, DOI:10.1007/987-4-431-55060-0_25, Springer, 2014.
  • S.Kaji, S.Hirose, S.Sakata, Y.Mizoguchi, K.Anjyo,
    Mathematical Analysis on Affine Maps for 2D Shape Interpolation,
    In Proceedings of SCA2012 (ACM/Eurographics Symposium on Computer Animation 2012), pages 71-76, 2012. (pdf)
  • K.K.K.R. Perera, Y. Mizoguchi,
    Bipartition of graphs based on the normalized cut and spectral methods, Part I: Minimum normalized cut,
    Journal of Math-for-industory, Vol.5(2013A-8),pp.59-72.
  • S. Inokuchi, Y. Kawahara, Y. Mizoguchi,
    Sets of Collisions and Connected Subsets, Bull. of Informatics and Cybernetics, Vol.44(2012), 111-115.
  • T. Ito, M. Fujio, S. Inokuchi, Y. Mizoguchi,
    Composition, union and division of cellular automata on groups,
    Proc. of the 16th International Workshop on Cellular Automata and Discrete Complex Systems, Automata2010, Nancy, France, June 2010, pp.255-264.
    (MI 2010-23)
  • T. Ito, S. Inokuchi, Y. Mizoguchi,
    Abstract collision systems simulated by cellular automata,
    Proc. of the 3rd International Workshop on Natural Computing, IWNC2008, Yokohama, Japan, September 2008, pp.27-38.
    (MI 2008-1)
  • S. Inokuchi, Y. Mizoguchi, H. Y. Lee and Y. Kawahara,
    Periodic behaviors of quantum cellular automata,
    Bull. of Informatics and Cybernetics, Vol.40(2008), pp.17-50.
  • T. Ito, S. Inokuchi, Y. Mizoguchi,
    An abstract collision system,
    Automata-2008, Theory and Applications of Cellular Automata, Luniver Press, 2008, pp.339-355.
  • A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio,
    The number of orbits of periodic box-ball systems. Proc. of the 5th International Conference, UC 2006, York, UK, Septenmber 2006, Lecture Notes in Computer Science, Vol.4135(2006), pp.181-194. (MHF2006-24)
  • S. Inokuchi, K. Honda, H. Lee, T. Sato, Y. Mizoguchi, Y. Kawahara,
    On reversible cellular automata with finite cell array.
    Proc. of the 4th International Conference, UC 2005, Sevilla, Spain, October 2005
    Lecture Notes in Computer Science, Vol.3699(2005), pp.130-141. (arXiv:nlin/0504058)
  • Y.Mizoguchi,
    Shortest path length calculation using graph transformations, Proc. 6th Joint Conference on Information Sciences, North Carolina, 358-361(2002).
  • Y.Mizoguchi, P.Loucopoulos,
    Formalizing the Definition and Evolution of Models in a Repository, Proc. the 5th RelMiCS (Seminar on Relational Methods in Computer Science), Quebec, 203-209(2000). (PDF)
  • Y.Mizoguchi,
    Properties of graphs preserved by relational graph rewritings, J. of Information Science, Vol.119(1999), 289-299.
  • Y. Kawahara, S. Kumamoto, Y. Mizoguchi, M. Nohmi, H. Ohtsuka and T. Shoudai,
    On the characteristic Numbers associated with two-dimentional cellular automata ca-90(m,n), J. of Math. Phys., Vol.36(1995), 1435-1456.
  • Y. Kawahara and Y. Mizoguchi,
    Relational structures and their partial morphisms in view of single pushout rewriting, Lecture Notes in Computer Science, Vol.776(1994), 218-233.
  • Y. Mizoguchi, Y. Kawahara,
    Critical pairs of relational graph rewriting system, Proc. the 5th International workshop on graph grammars and their application to computer science, Wiliamsburg, 326-331(1994).
  • Y. Kawahara and Y. Mizoguchi,
    Relational calculus and categorical assertion semantics in toposes, Information Modeling and Knowledge Bases IV, IOS Press, 305-318, 1993.
  • Y. Kawahara and Y. Mizoguchi,
    Categorical assertion semantics in toposes, Advances in Software Science and Technology, Vol.4(1992), 137-150. (PDF)

Return to -- Yoshihiro MIZOGUCHI

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2017-05-03 (水) 05:32:16 (141d)