Haruo Hosoya

According to our database, Haruo Hosoya authored at least 44 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

CIGMO: Categorical invariant representations in a deep generative framework.

Haruo Hosoya

Proceedings of the Uncertainty in Artificial Intelligence, 2022

2019

Group-based Learning of Disentangled Representations with Generalizability for Novel Contents.

Haruo Hosoya

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

A simple probabilistic deep generative model for learning generalizable disentangled representations from grouped data.

Haruo Hosoya

CoRR, 2018

2017

A mixture of sparse coding models explaining properties of face neurons related to holistic and parts-based processing.

Haruo Hosoya, Aapo Hyvärinen

PLoS Comput. Biol., 2017

2016

Learning Visual Spatial Pooling by Strong PCA Dimension Reduction.

Haruo Hosoya, Aapo Hyvärinen

Neural Comput., 2016

Convex Configurations on Nana-kin-san Puzzle.

Takashi Horiyama, Ryuhei Uehara, Haruo Hosoya

Proceedings of the 8th International Conference on Fun with Algorithms, 2016

2013

Sparse coding of harmonic vocalization in monkey auditory cortex.

Hiroki Terashima, Haruo Hosoya, Toshiki Tani, Noritaka Ichinohe, Masato Okada

Neurocomputing, 2013

2012

Multinomial Bayesian Learning for Modeling Classical and Nonclassical Receptive Field Properties.

Haruo Hosoya

Neural Comput., 2012

2011

Abstract category learning.

Atsushi Hashimoto, Haruo Hosoya

Proceedings of the 19th European Symposium on Artificial Neural Networks, 2011

2010

Compact representation for answer sets of n-ary regular queries.

Kazuhiro Inaba, Haruo Hosoya

Theor. Comput. Sci., 2010

Computational Model of the Cerebral Cortex That Performs Sparse Coding Using a Bayesian Network and Self-Organizing Maps.

Yuuji Ichisugi, Haruo Hosoya

Proceedings of the Neural Information Processing. Theory and Algorithms, 2010

Bayesian Interpretation of Border-Ownership Signals in Early Visual Cortex.

Haruo Hosoya

Proceedings of the Neural Information Processing. Theory and Algorithms, 2010

2009

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, 2009

Parametric polymorphism for XML.

Haruo Hosoya, Alain Frisch, Giuseppe Castagna

ACM Trans. Program. Lang. Syst., 2009

A motor learning neural model based on Bayesian network and reinforcement learning.

Haruo Hosoya

Proceedings of the International Joint Conference on Neural Networks, 2009

2008

Multi-Return Macro Tree Transducers.

Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth

Proceedings of the Implementation and Applications of Automata, 2008

Multi-Return Macro Tree Transducers.

Kazuhiro Inaba, Haruo Hosoya

Proceedings of the PLAN-X 2008, 2008

2007

Important Mathematical Structures of the Topological Index <i>Z</i> for Tree Graphs.

Haruo Hosoya

J. Chem. Inf. Model., 2007

MTran: An XML Transformation Language Based on Monadic Second Order Logic.

Kazuhiro Inaba, Haruo Hosoya

Proceedings of the PLAN-X 2007, 2007

XML Transformation Language Based on Monadic Second Order Logic.

Kazuhiro Inaba, Haruo Hosoya

Proceedings of the PLAN-X 2007, 2007

Towards Practical Typechecking for Macro Tree Transducers.

Alain Frisch, Haruo Hosoya

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

Boolean operations and inclusion test for attribute-element constraints.

Haruo Hosoya, Makoto Murata

Theor. Comput. Sci., 2006

biXid: a bidirectional transformation language for XML.

Shinya Kawanaka, Haruo Hosoya

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Regular expression types for XML.

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

ACM Trans. Program. Lang. Syst., 2005

Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.

Tadahiro Suda, Haruo Hosoya

Proceedings of the Implementation and Application of Automata, 2005

Type Systems for XML.

Haruo Hosoya

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

XDuce: A statically typed XML processing language.

Haruo Hosoya, Benjamin C. Pierce

ACM Trans. Internet Techn., 2003

Regular expression pattern matching for XML.

Haruo Hosoya, Benjamin C. Pierce

J. Funct. Program., 2003

Boolean Operations for Attribute-Element Constraints.

Haruo Hosoya, Makoto Murata

Proceedings of the Implementation and Application of Automata, 2003

Validation algorithm for attribute-element constraints of RELAX NG.

Makoto Murata, Haruo Hosoya

Proceedings of the Extreme Markup Languages® 2003 Conference, 2003

2002

Analysis of the Relationship among the Graphs Isomorphic to Multilayered Cyclic Fence Graphs (MLCFG).

Jingyan Xia, Haruo Hosoya

J. Chem. Inf. Comput. Sci., 2002

2001

Graph-Theoretical Analysis of Tunneling Electron Transfer in Large Polycyclic Aromatic Hydrocarbon Networks.

Haruo Hosoya, Sayaka Iwata, Minako Murokoshi, Michiko Atsumi

J. Chem. Inf. Comput. Sci., 2001

2000

XDuce: A Typed XML Processing Language (Preliminary Report).

Haruo Hosoya, Benjamin C. Pierce

Proceedings of the World Wide Web and Databases, 2000

1999

Topological Index and Thermodynamic Properties, 5. How Can We Explain the Topological Dependency of Thermodynamic Properties of Alkanes with the Topology of Graphs?

Haruo Hosoya, Machiko Gotoh, Miyuki Murakami, Shigeko Ikeda

J. Chem. Inf. Comput. Sci., 1999

1998

Garbage Collection via Dynamic Type Inference - A Fomal Treatment.

Haruo Hosoya, Akinori Yonezawa

Proceedings of the Types in Compilation, Second International Workshop, 1998

1997

Performance Evaluation of a Workstation Cluster, TMC CM-5, and Intel Paragon/XP Using a Parallel Homology Analysis Program.

Satoko Sakata, Umpei Nagashima, Mitsuhisa Sato, Satoshi Sekiguchi, Haruo Hosoya

Parallel Comput., 1997

1996

Development of Neural Network Simulator for Structure-Activity Correlation of Molecules (NECO). Prediction of Endo/Exo Substitution of Norbornane Derivatives and of Carcinogenic Activity of PAHs from 13C-NMR Shifts.

Yoshimi Isu, Umpei Nagashima, Tomoo Aoyama, Haruo Hosoya

J. Chem. Inf. Comput. Sci., 1996

Partial Evaluation Scheme for Concurrent Languages and Its Correctness.

Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

An Experience with Super-Linear Speedup Achieved by Parallel Computing on a Workstation Cluster: Parallel Calculation of Density of States of Large Scale Cyclic Polyacenes.

Umpei Nagashima, Sachiko Hyugaji, Satoshi Sekiguchi, Mitsuhisa Sato, Haruo Hosoya

Parallel Comput., 1995

Multilayered Cyclic Fence Graphs: Novel Cubic Graphs Related to the Graphite Network.

Haruo Hosoya, Yukari Okuma, Yoko Tsukano, Kyoko Nakada

J. Chem. Inf. Comput. Sci., 1995

1994

Topological Twin Graphs. Smallest Pair of Isospectral Polyhedral Graphs with Eight Vertices.

Haruo Hosoya, Umpei Nagashima, Sachiko Hyugaji

J. Chem. Inf. Comput. Sci., 1994

1988

On some counting polynomials in chemistry.

Haruo Hosoya

Discret. Appl. Math., 1988

1981

Quantum chemistry literature data base.

Y. Osamura, Shinichi Yamabe, F. Hirota, Haruo Hosoya, Sayaka Iwata, H. Kashiwagi, Keiji Morokuma, M. Togasi, Shigeru Obara

J. Chem. Inf. Comput. Sci., 1981