Haruo Hosoya

52 papers A* 4A 3B 3C 4Misc 1Journal 24Unranked 11
YearRankTypeTitle / Venue / Authors
2024 A* conf
A Cognitive Model for Learning Abstract Relational Structures from Memory-based Decision-Making Tasks.
ICLR
Haruo Hosoya
2022 A conf
CIGMO: Categorical invariant representations in a deep generative framework.
UAI
Haruo Hosoya
2022 J jnl
CIGMO: Categorical invariant representations in a deep generative framework.
CoRR
Haruo Hosoya
2019 A* conf
Group-based Learning of Disentangled Representations with Generalizability for Novel Contents.
IJCAI
Haruo Hosoya
2018 J jnl
A simple probabilistic deep generative model for learning generalizable disentangled representations from grouped data.
CoRR
Haruo Hosoya
2018 — ch.
XML Typechecking.
Encyclopedia of Database Systems (2nd ed.)
Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2017 J jnl
A mixture of sparse coding models explaining properties of face neurons related to holistic and parts-based processing.
PLoS Comput. Biol.
Haruo Hosoya, Aapo Hyvärinen
2016 Misc conf
Convex Configurations on Nana-kin-san Puzzle.
FUN
Takashi Horiyama, Ryuhei Uehara, Haruo Hosoya
2016 J jnl
Learning Visual Spatial Pooling by Strong PCA Dimension Reduction.
Neural Comput.
Haruo Hosoya, Aapo Hyvärinen
2013 J jnl
Sparse coding of harmonic vocalization in monkey auditory cortex.
Neurocomputing
Hiroki Terashima, Haruo Hosoya, Toshiki Tani, Noritaka Ichinohe, Masato Okada
2012 J jnl
Multinomial Bayesian Learning for Modeling Classical and Nonclassical Receptive Field Properties.
Neural Comput.
Haruo Hosoya
2011 B conf
Abstract category learning.
ESANN
Atsushi Hashimoto, Haruo Hosoya
2010 — conf
Bayesian Interpretation of Border-Ownership Signals in Early Visual Cortex.
ICONIP (1)
Haruo Hosoya
2010 J jnl
Compact representation for answer sets of n-ary regular queries.
Theor. Comput. Sci.
Kazuhiro Inaba, Haruo Hosoya
2010 — conf
Computational Model of the Cerebral Cortex That Performs Sparse Coding Using a Bayesian Network and Self-Organizing Maps.
ICONIP (1)
Yuuji Ichisugi, Haruo Hosoya
2009 B conf
A motor learning neural model based on Bayesian network and reinforcement learning.
IJCNN
Haruo Hosoya
2009 C conf
Compact Representation for Answer Sets of n-ary Regular Queries.
CIAA
Kazuhiro Inaba, Haruo Hosoya
2009 J jnl
Parametric polymorphism for XML.
ACM Trans. Program. Lang. Syst.
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
2009 — ch.
XML Typechecking.
Encyclopedia of Database Systems
Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2008 — conf
Multi-Return Macro Tree Transducers.
PLAN-X
Kazuhiro Inaba, Haruo Hosoya
2008 C conf
Multi-Return Macro Tree Transducers.
CIAA
Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth
2007 J jnl
Important Mathematical Structures of the Topological Index
J. Chem. Inf. Model.
Haruo Hosoya
2007 — conf
MTran: An XML Transformation Language Based on Monadic Second Order Logic.
PLAN-X
Kazuhiro Inaba, Haruo Hosoya
2007 J jnl
Towards Practical Typechecking for Macro Tree Transducers
CoRR
Alain Frisch, Haruo Hosoya
2007 — conf
Towards Practical Typechecking for Macro Tree Transducers.
DBPL
Alain Frisch, Haruo Hosoya
2007 — conf
XML Transformation Language Based on Monadic Second Order Logic.
PLAN-X
Kazuhiro Inaba, Haruo Hosoya
2006 J jnl
Boolean operations and inclusion test for attribute-element constraints.
Theor. Comput. Sci.
Haruo Hosoya, Makoto Murata
2006 A conf
biXid: a bidirectional transformation language for XML.
ICFP
Shinya Kawanaka, Haruo Hosoya
2005 C conf
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.
CIAA
Tadahiro Suda, Haruo Hosoya
2005 A* conf
Parametric polymorphism for XML.
POPL
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
2005 J jnl
Regular expression types for XML.
ACM Trans. Program. Lang. Syst.
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
2005 B conf
Type Systems for XML.
APLAS
Haruo Hosoya
2003 C conf
Boolean Operations for Attribute-Element Constraints.
CIAA
Haruo Hosoya, Makoto Murata
2003 J jnl
Regular expression pattern matching for XML.
J. Funct. Program.
Haruo Hosoya, Benjamin C. Pierce
2003 — conf
Validation algorithm for attribute-element constraints of RELAX NG.
Extreme Markup Languages®
Makoto Murata, Haruo Hosoya
2003 J jnl
XDuce: A statically typed XML processing language.
ACM Trans. Internet Techn.
Haruo Hosoya, Benjamin C. Pierce
2002 J jnl
Analysis of the Relationship among the Graphs Isomorphic to Multilayered Cyclic Fence Graphs (MLCFG).
J. Chem. Inf. Comput. Sci.
Jingyan Xia, Haruo Hosoya
2001 J jnl
Graph-Theoretical Analysis of Tunneling Electron Transfer in Large Polycyclic Aromatic Hydrocarbon Networks.
J. Chem. Inf. Comput. Sci.
Haruo Hosoya, Sayaka Iwata, Minako Murokoshi, Michiko Atsumi
2001 A* conf
Regular expression pattern matching for XML.
POPL
Haruo Hosoya, Benjamin C. Pierce
2000 A conf
Regular expression types for XML.
ICFP
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
2000 — conf
XDuce: A Typed XML Processing Language (Preliminary Report).
WebDB (Informal Proceedings)
Haruo Hosoya, Benjamin C. Pierce
2000 — conf
XDuce: A Typed XML Processing Language (Preliminary Report).
WebDB (Selected Papers)
Haruo Hosoya, Benjamin C. Pierce
1999 J jnl
Topological Index and Thermodynamic Properties, 5. How Can We Explain the Topological Dependency of Thermodynamic Properties of Alkanes with the Topology of Graphs?
J. Chem. Inf. Comput. Sci.
Haruo Hosoya, Machiko Gotoh, Miyuki Murakami, Shigeko Ikeda
1998 — conf
Garbage Collection via Dynamic Type Inference - A Fomal Treatment.
Types in Compilation
Haruo Hosoya, Akinori Yonezawa
1997 J jnl
Performance Evaluation of a Workstation Cluster, TMC CM-5, and Intel Paragon/XP Using a Parallel Homology Analysis Program.
Parallel Comput.
Satoko Sakata, Umpei Nagashima, Mitsuhisa Sato, Satoshi Sekiguchi, Haruo Hosoya
1996 J jnl
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.
J. Chem. Inf. Comput. Sci.
Yoshimi Isu, Umpei Nagashima, Tomoo Aoyama, Haruo Hosoya
1996 — conf
Partial Evaluation Scheme for Concurrent Languages and Its Correctness.
Euro-Par, Vol. I
Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa
1995 J jnl
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.
Parallel Comput.
Umpei Nagashima, Sachiko Hyugaji, Satoshi Sekiguchi, Mitsuhisa Sato, Haruo Hosoya
1995 J jnl
Multilayered Cyclic Fence Graphs: Novel Cubic Graphs Related to the Graphite Network.
J. Chem. Inf. Comput. Sci.
Haruo Hosoya, Yukari Okuma, Yoko Tsukano, Kyoko Nakada
1994 J jnl
Topological Twin Graphs. Smallest Pair of Isospectral Polyhedral Graphs with Eight Vertices.
J. Chem. Inf. Comput. Sci.
Haruo Hosoya, Umpei Nagashima, Sachiko Hyugaji
1988 J jnl
On some counting polynomials in chemistry.
Discret. Appl. Math.
Haruo Hosoya
1981 J jnl
Quantum chemistry literature data base.
J. Chem. Inf. Comput. Sci.
Y. Osamura, Shinichi Yamabe, F. Hirota, Haruo Hosoya, Sayaka Iwata, H. Kashiwagi, Keiji Morokuma, M. Togasi, Shigeru Obara