Publication


Journal articles

  1. Haruo Hosoya, Aapo Hyvärinen. A mixture of sparse coding models explaining properties of face neurons related to holistic and parts-based processing. PLoS Computational Biology, 13(7): e1005667, 2017.
  2. Haruo Hosoya, Aapo Hyvärinen. Learning Visual Spatial Pooling by Strong PCA Dimension Reduction. Neural Computation, 82:1-16, 2016.
  3. Hosoya H, Hyvärinen A. A Hierarchical Statistical Model of Natural Images Explains Tuning Properties in V2. Journal of Neuroscience, 35:10412-10428, 2015.
  4. Hiroki Terashima, Haruo Hosoya, Toshiki Tani, Noritaka Ichinohe, Masato Okada. Sparse coding of harmonic vocalization in monkey auditory cortex, Neurocomputing, 103, pp. 14-21, 2013.
  5. Haruo Hosoya. Multinomial bayesian learning for modeling classical and non-classical receptive field properties. Neural Computation, 24(8):2119-2150, 2012.
  6. Kazuhiro Inaba and Haruo Hosoya. Compact representation for answer sets of n-ary regular querie. Theoretical Computer Science, 411(38-39), pp. 3481-3492, 2010.
  7. Haruo Hosoya, Alain Frisch, and Giuseppe Castagna. Parametric polymorphism for XML. ACM Transactions on Programming Languages and Systems, 32(1):2:1-56, 2009.
  8. Hiroki Terashima and Haruo Hosoya. Sparse codes of harmonic natural sounds and their modulatory interactions. Network: Computation in Neural Systems, 20(4):253-267, 2009.
  9. Haruo Hosoya. Regular expression filters for XML. Journal of Functional Programming, 16(6):711-750, 2006.
  10. Haruo Hosoya and Makoto Murata. Boolean operations and inclusion test for attribute-element constraints. Theoretical Computer Science, 360(1-3):327-351, 2006.
  11. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems, 27(1):46-90, 2004.
  12. Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language. ACM Transactions on Internet Technology, 3(2):117-148, 2003.
  13. Haruo Hosoya and Benjamin C. Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 13(6):961-1004, 2002.

Conference contributions (Refereed)

  1. H. Hosoya and A. Hyävrinen. Denoising theory of neural pooling. Japan Neuroscience Society Meeting (oral) , July, 2015
  2. H. Hosoya and A. Hyävrinen. Four-layer statistical learning model of natural images that explains tuning properties in V2 and V4. Japan Neuroscience Meeting (oral), Sep, 2014.
  3. H. Hosoya and A. Hyävrinen. Four-layer sparse coding model of natural images that reproduces tuning properties in V2 and V4, in Computation and Systems Neuroscience (Cosyne), Feb. 2014.
  4. Haruo Hosoya, Kota Sasaki, and Izumi Ohzawa. Estimating invariant dimensions in V2. Neuro 2013 (oral), June, 2013.
  5. Haruo Hosoya, Kota Sasaki, and Izumi Ohzawa. V2 receptive field structure revealed by Bayesian spike-triggered analysis. Society for Neuroscience (nanosympo, oral), October, 2012.
  6. H. Hosoya. Multinomial multilayer belief net model reproducing properties of V1 simple cells and V2. Computational and Systems Neuroscience (Cosyne), Feb, 2011.
  7. Atsushi Hashimoto and Haruo Hosoya. Abstract category learning. European Symposim on Artificial Neural Networks, 2011.
  8. Haruo Hosoya. Bayesian belief propagation and border-ownership signals in early visual cortex. Computational and Systems Neuroscience (Cosyne), 2010.
  9. Hiroki Terashima and Haruo Hosoya. Sparse codes of harmonic sound and their interaction explain harmony-related response of auditory cortex. Computational Neuroscience Meeting (CNS2010), 2010.
  10. Haruo Hosoya. Unsupervised learning for Bayesian networks based on Gibbs-sampling. Neuro (oral), 2010.
  11. Haruo Hosoya. Bayesian interpretation of border-ownership signals in early visual cortex. International Conference on Neural Information Processing (Lecture Notes in Computer Science, Volume 6443/2010), pages 1-8, 2010.
  12. Yuuji Ichisugi and Haruo Hosoya. Computational model of the cerebral cortex that performs sparse coding using a bayesian network and self-organizing maps. International Conference on Neural Information Processing, 2010.
  13. Haruo Hosoya. Modeling V1 and V2 by multilayer multinomial belief net. NIPS workshop on Deep learning and unsupervised feature learning, 2010.
  14. Kazuhiro Inaba and Haruo Hosoya. Compact representation for answer sets of n-ary regular queries. Conference on Implementation and Applications of Automata (CIAA), pages 94-104, 2009.
  15. Haruo Hosoya. A motor learning neural model based on Bayesian network and reinforcement learning. Proceedings of International Joint Conference on Neural Networks, pages 1251-1258, 2009.
  16. Kazuhiro Inaba and Haruo Hosoya. Multi-return macro tree transducers. Workshop on Programming Language Technologies for XML (PLAN-X), 2008.
  17. Kazuhiro Inaba, Haruo Hosoya, and Sebastian Maneth. Multi-return macro tree transducers. Proceedings of Conference on Implementation and Applications of Automata (CIAA), pages 102-111, 2008.
  18. Kazuhiro Inaba and Haruo Hosoya. XML transformation language based on monadic second-order logic. Workshop on Programming Language Technologies for XML (PLAN-X), pages 49-60, 2007.
  19. Alain Frisch and Haruo Hosoya. Towards practial typechecking for macro tree transducers. International Symposium on Database Programming Languages (DBPL), pages 246-260, 2007.
  20. Shinya Kawanaka and Haruo Hosoya. bixid: A bidirectional transformation language for XML. International Conference on Functional Programming (ICFP), pages 201-214, 2006.
  21. Kazuhiro Inaba and Haruo Hosoya. XML transformation language based on monadic second-order logic. 8th Workshop on Programming and Programming Languages (PPL), pages 43-55, 2006.
  22. Haruo Hosoya, Alain Frisch, and Giuseppe Castagna. Parametric polymorphism for XML. The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 50-62, 2005.
  23. Tadahiro Suda and Haruo Hosoya. Non-backtracking top-down algorithm for checking tree automata containment. Proceedings of Conference on Implementation and Applications of Automata (CIAA), pages 83-92, 2005.
  24. Haruo Hosoya. Regular expression filters for XML. Workshop on Programming Language Technologies for XML (PLAN-X), pages 13-27, 2004.
  25. Haruo Hosoya and Makoto Murata. Boolean operations and inclusion test for attribute-element constraints. Eighth International Conference on Implementation and Application of Automata, volume 2759 of Lecture Notes in Computer Science, pages 201-212. Springer-Verlag, 2003.
  26. Makoto Murata and Haruo Hosoya. Validation algorithm for attribute-element constraints of RELAX NG. Extreme Markup Languages, 2003. Electronic edition.
  27. Haruo Hosoya and Makoto Murata. Validation and boolean operations for attribute-element constraints. Workshop on Programming Language Technologies for XML (PLAN-X), pages 1-10, 2002.
  28. Haruo Hosoya and Benjamin C. Pierce. Regular expression pattern matching for XML. The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 67-80, January 2001.
  29. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. Proceedings of the International Conference on Functional Programming (ICFP), pages 11-22, September 2000.
  30. Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language (preliminary report). Proceedings of Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, pages 226-244. Springer-Verlag, May 2000.
  31. Haruo Hosoya and Akinori Yonezawa. Garbage collection via dynamic type inference - a formal treatment -. In Second International Workshop on Types in Compilation (TIC'98), volume 1473 of Lecture Notes in Computer Science, pages 215-239. Springer-Verlag, March 1998.
  32. Haruo Hosoya, Naoki Kobayashi, and Akinori Yonezawa. Partial evaluation scheme for concurrent languages and its correctness. Euro-Par'96 Parallel Processing, volume 1123 of Lecture Notes in Computer Science, pages 625-632. Springer-Verlag, August 1996.

Book

  1. Haruo Hosoya. Foundations of XML Processing: The Tree-automata Approach. Cambridge University Press, 2010.

Theses

  1. Haruo Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, December 2000.
  2. Haruo Hosoya. Type inference garbage collection and its parallelization. Master's thesis, The University of Tokyo, February 1997.

Technical Reports

  1. Alain Frisch and Haruo Hosoya. Towards practial typechecking for macro tree transducers. Technical report, INRIA, 2007.
  2. Haruo Hosoya. Regular expression pattern matching - a simpler design. Technical Report 1397, RIMS, Kyoto University, 2003.
  3. Haruo Hosoya and Benjamin Pierce. How good is local type inference? Technical Report MS-CIS-99-17, University of Pennsylvania, 1999.

Author's home