Publication
Journal articles
- Freiwald, W. A., Hosoya, H.
Neuroscience: A Face's Journey through Space and Time. Current Biology, Dispatch, 31, R13-R15 (2021).New!
- Raman, R., Hosoya, H.
Convolutional neural networks explain tuning properties of anterior, but not middle, face-processing areas in macaque inferotemporal cortex. Communications Biology, volume 3, Article number: 221 (2020) New!
- 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.
[matlab code]
- Haruo Hosoya, Aapo Hyvärinen. Learning Visual Spatial Pooling by Strong PCA Dimension Reduction. Neural Computation, 82:1-16, 2016.
[matlab code]
- Hosoya H, Hyvärinen A. A Hierarchical Statistical Model of
Natural Images Explains Tuning Properties in V2.
Journal of Neuroscience, 35:10412-10428, 2015.
[matlab code]
- 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.
- Haruo Hosoya. Multinomial bayesian learning for modeling
classical and non-classical receptive field properties.
Neural Computation, 24(8):2119-2150, 2012.
- 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.
- Haruo Hosoya, Alain Frisch, and Giuseppe Castagna. Parametric
polymorphism for XML.
ACM Transactions on Programming Languages and Systems,
32(1):2:1-56, 2009.
- 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.
- Haruo Hosoya. Regular expression filters for XML.
Journal of Functional Programming, 16(6):711-750, 2006.
- Haruo Hosoya and Makoto Murata. Boolean operations and
inclusion test for attribute-element constraints.
Theoretical Computer Science, 360(1-3):327-351, 2006.
- 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.
- Haruo Hosoya and Benjamin C. Pierce.
XDuce: A typed XML processing language.
ACM Transactions on Internet Technology, 3(2):117-148, 2003.
- Haruo Hosoya and Benjamin C. Pierce.
Regular expression pattern matching for XML.
Journal of Functional Programming, 13(6):961-1004, 2002.
Conference contributions (Refereed)
- Hosoya, H.
A Cognitive Model for Learning Abstract Structures from Memory-based Relational Decision-Making Tasks. in International Conference on Learning Representations (ICLR), May, 2024.
[python code]
New!
- Hosoya, H.
CIGMO: Categorical invariant representations in a deep generative framework. in Uncertainty in Artificial Intelligence (UAI), Aug, 2022. Also presented at ICLR Workshop on Weakly Supervised Learning, 2021.
[python code]
- H. Hosoya.
A deep generative model explaining tuning properties of monkey face processing patches,
in Computational Cognitive Neuroscience, Sep, 2019.
- R. Raman and H. Hosoya.
Does CNN Explain Tuning Properties of Face-Selective Neurons in Macaque IT?,
in Computational Cognitive Neuroscience, Sep, 2019.
- Hosoya, H.
Group-based learning of disentangled representations with generalizability for novel contents.
The International Joint Conference on Artificial Intelligence (IJCAI) , Aug, 2019.
[matlab code]
- H. Hosoya and A. Hyvärinen. A mixture of sparse coding models for holistic and parts-based face processing in the IT cortex, in
Computation and Systems Neuroscience (Cosyne), Mar, 2018.
- H. Hosoya and A. Hyvärinen. Denoising theory of neural pooling.
Japan Neuroscience Society Meeting (oral pres.) , July, 2015
- H. Hosoya and A. Hyvärinen. Four-layer statistical
learning model of natural images that explains tuning properties in
V2 and V4. Japan Neuroscience Meeting (oral pres.), Sep, 2014.
- H. Hosoya and A. Hyvärinen. Four-layer sparse coding model of
natural images that reproduces tuning properties in V2 and V4, in
Computation and Systems Neuroscience (Cosyne), Feb. 2014.
- Haruo Hosoya, Kota Sasaki, and Izumi Ohzawa. Estimating
invariant dimensions in V2. Neuro 2013 (oral pres.), June, 2013.
- Haruo Hosoya, Kota Sasaki, and Izumi Ohzawa. V2 receptive field
structure revealed by Bayesian spike-triggered
analysis. Society for Neuroscience (nanosympo, oral pres.), October, 2012.
- H. Hosoya. Multinomial multilayer belief net model reproducing
properties of V1 simple cells and V2. Computational and Systems
Neuroscience (Cosyne), Feb, 2011.
- Atsushi Hashimoto and Haruo Hosoya.
Abstract category learning.
European Symposim on Artificial Neural Networks, 2011.
- Haruo Hosoya. Bayesian belief propagation and border-ownership
signals in early visual cortex.
Computational and Systems Neuroscience (Cosyne), 2010.
- 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.
- Haruo Hosoya. Unsupervised learning for Bayesian networks based
on Gibbs-sampling.
Neuro (oral), 2010.
- 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.
- 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.
- Haruo Hosoya. Modeling V1 and V2 by multilayer multinomial
belief net.
NIPS workshop on Deep learning and unsupervised feature
learning, 2010.
- 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.
- 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.
- Kazuhiro Inaba and Haruo Hosoya. Multi-return macro tree
transducers.
Workshop on Programming Language Technologies for XML
(PLAN-X), 2008.
- 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.
- 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.
- Alain Frisch and Haruo Hosoya. Towards practial typechecking
for macro tree transducers.
International Symposium on Database Programming Languages
(DBPL), pages 246-260, 2007.
- Shinya Kawanaka and Haruo Hosoya.
bixid: A bidirectional transformation language for XML.
International Conference on Functional Programming (ICFP),
pages 201-214, 2006.
- 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.
- 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.
- 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.
- Haruo Hosoya.
Regular expression filters for XML.
Workshop on Programming Language Technologies for XML
(PLAN-X), pages 13-27, 2004.
- 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.
- Makoto Murata and Haruo Hosoya.
Validation algorithm for attribute-element constraints of RELAX NG.
Extreme Markup Languages, 2003.
Electronic edition.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- Haruo Hosoya.
Foundations of XML Processing: The Tree-automata
Approach. Cambridge University Press, 2010.
Theses
- Haruo Hosoya.
Regular Expression Types for XML.
PhD thesis, The University of Tokyo, December 2000.
- Haruo Hosoya.
Type inference garbage collection and its parallelization.
Master's thesis, The University of Tokyo, February 1997.
Technical Reports
- Alain Frisch and Haruo Hosoya.
Towards practial typechecking for macro tree transducers.
Technical report, INRIA, 2007.
- Haruo Hosoya.
Regular expression pattern matching - a simpler design.
Technical Report 1397, RIMS, Kyoto University, 2003.
- Haruo Hosoya and Benjamin Pierce.
How good is local type inference?
Technical Report MS-CIS-99-17, University of Pennsylvania, 1999.
Author's home