Haruo Hosoya

发表

Convex Configurations on Nana-kin-san Puzzle

Takashi Horiyama, Ryuhei Uehara, Haruo Hosoya, 2016, FUN.

Parametric polymorphism for XML

Giuseppe Castagna, Alain Frisch, Haruo Hosoya, 2009, ACM Trans. Program. Lang. Syst..

Compact Representation for Answer Sets of n-ary Regular Queries

Haruo Hosoya, Kazuhiro Inaba, 2009, CIAA.

Formal Description for Collecting Reachable Garbage via Dynamic Type Inference

Akinori Yonezawa, Haruo Hosoya, H. Hosoya, 2007 .

Bayesian Interpretation of Border-Ownership Signals in Early Visual Cortex

Haruo Hosoya, 2010, ICONIP.

Regular expression types for XML

Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2000, TOPL.

Multinomial Bayesian Learning for Modeling Classical and Nonclassical Receptive Field Properties

Haruo Hosoya, H. Hosoya, 2012, Neural Computation.

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

Umpei Nagashima, Haruo Hosoya, Yoshimi Isu, 1996, J. Chem. Inf. Comput. Sci..

Xduce: an xml processing language

Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 1999 .

Development of NEural network simulator for structure-activity COrrelation of molecules:Neco. (3). Performance Evaluation of Self-organized Network and Perceptron.

Umpei Nagashima, Haruo Hosoya, Tomoo Aoyama, 1998 .

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

Haruo Hosoya, Jingyan Xia, H. Hosoya, 2002, J. Chem. Inf. Comput. Sci..

Compact representation for answer sets of n-ary regular queries

Haruo Hosoya, Kazuhiro Inaba, H. Hosoya, 2009, Theor. Comput. Sci..

Foundations of XML Processing: Preface

Haruo Hosoya, 2010 .

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

Mitsuhisa Sato, Umpei Nagashima, Satoshi Sekiguchi, 1997, Parallel Comput..

Validation algorithm for attribute-element constraints of RELAX NG

Makoto Murata, Haruo Hosoya, 2003, Extreme Markup Languages®.

Multi isosurface display of atomic orbitals using surround screen projection based virtual reality system

Takao Sugiyama, Haruo Hosoya, Sumio Tokita, 2001 .

Stereo Model with an Envelope. From Cyclohexane to Footballene (<Special Issue>Teaching Materials for Science Education based upon Common Experiences of Japanese Pupils)

Haruo Hosoya, H. Hosoya, 1990 .

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

Haruo Hosoya, Umpei Nagashima, Sachiko Hyugaji, 1994, J. Chem. Inf. Comput. Sci..

Multi-Return Macro Tree Transducers

Haruo Hosoya, Kazuhiro Inaba, 2008, PLAN-X.

XDuce: A Typed XML Processing Language (Preliminary Report)

Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2000, WebDB.

A Hierarchical Statistical Model of Natural Images Explains Tuning Properties in V2

Aapo Hyvärinen, Haruo Hosoya, H. Hosoya, 2015, The Journal of Neuroscience.

Estimating invariant dimensions in V2

Haruo Hosoya, Izumi Ohzawa, Kota S Sasaki, 2013, BMC Neuroscience.

A deep generative model explaining tuning properties of monkey face processing patches

Haruo Hosoya, H. Hosoya, 2019, 2019 Conference on Cognitive Computational Neuroscience.

Foundations of XML Processing: Schemas

Haruo Hosoya, 2010 .

XSL Formatting Objects

Ioana Manolescu, Christoph Koch, Cong Yu, 2009, Encyclopedia of Database Systems.

Sparse coding of harmonic vocalization in monkey auditory cortex

Masato Okada, Haruo Hosoya, Hiroki Terashima, 2013, Neurocomputing.

Neural Network Reproduction of Time Series Data with Varying Amplitudes and Frequencies

Umpei Nagashima, Hiroaki Yoshida, Haruo Hosoya, 1998 .

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

Haruo Hosoya, Tadahiro Suda, 2005, CIAA.

XML Typechecking

Giuseppe Castagna, Stijn Vansummeren, Benjamin C. Pierce, 2009, Encyclopedia of Database Systems.

Boolean Operations for Attribute-Element Constraints

Makoto Murata, Haruo Hosoya, 2003, CIAA.

Garbage Collection via Dynamic Type Inference - A Fomal Treatment

Akinori Yonezawa, Haruo Hosoya, H. Hosoya, 1998, Types in Compilation.

XML Type-Checking

Ling Liu, Giuseppe Castagna, Stijn Vansummeren, 2009 .

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

Mitsuhisa Sato, Umpei Nagashima, Satoshi Sekiguchi, 1995, Parallel Comput..

Topological Index as a Sorting Device for Coding Chemical Structures.

Haruo Hosoya, H. Hosoya, 1972 .

Important Mathematical Structures of the Topological Index Z for Tree Graphs

Haruo Hosoya, H. Hosoya, 2007, J. Chem. Inf. Model..

On some counting polynomials in chemistry

Haruo Hosoya, H. Hosoya, 1988, Discret. Appl. Math..

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, 1999, J. Chem. Inf. Comput. Sci..

Xduce: a typed xml processing language

Benjamin C. Pierce, Haruo Hosoya, 1997 .

Partial Evaluation Scheme for Concurrent Languages and Its Correctness

Akinori Yonezawa, Naoki Kobayashi, Haruo Hosoya, 1996, Euro-Par, Vol. I.

XML Database

Ioana Manolescu, Cong Yu, Andrew Trotman, 2009, Encyclopedia of Database Systems.

Boolean operations for attribute-element constraints: (Extended abstract)

Makoto Murata, Haruo Hosoya, 2003 .

Does CNN Explain Tuning Properties of Macaque Face-Processing System?

Haruo Hosoya, Rajani Raman, H. Hosoya, 2019, 2019 Conference on Cognitive Computational Neuroscience.

Real Target of Chemical Education

Haruo Hosoya, H. Hosoya, 1994 .

Type Systems for XML

Haruo Hosoya, 2005, APLAS.

XDuce: A statically typed XML processing language

Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2003, TOIT.

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

Aapo Hyvärinen, Haruo Hosoya, 2016 .

Regular expression pattern matching for XML

Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2003, POPL '01.

Learning Visual Spatial Pooling by Strong PCA Dimension Reduction

Aapo Hyvärinen, Haruo Hosoya, H. Hosoya, 2016, Neural Computation.

Validation and boolean operations for attribute-element constraints

Haruo Hosoya, 2002 .

Foundations of XML Processing: Appendix Solutions to selected exercises

Haruo Hosoya, H. Hosoya, 2010 .

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

Haruo Hosoya, Yukari Okuma, Yoko Tsukano, 1995, Journal of chemical information and computer sciences.

Semantic subtyping: challenges, perspectives, and open problems

Daniele Varacca, Alain Frisch, Haruo Hosoya, 2005 .

XQuery 1.0 and XPath 2.0 Full-Text

Cong Yu, Andrew Trotman, Christoph Koch, 2009, Encyclopedia of Database Systems.

Towards Practical Typechecking for Macro Tree Transducers

Alain Frisch, Haruo Hosoya, H. Hosoya, 2007, DBPL.

Regular expression types for XML

Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2005, ACM Trans. Program. Lang. Syst..

Noise Filtering Using FFT, Bayesian Model and Trend Model for Time Series Data.

Umpei Nagashima, Hiroaki Yoshida, Haruo Hosoya, 1999 .

Foundations of XML Processing: Exact typechecking

Haruo Hosoya, H. Hosoya, 2010 .

Development of NEural network simulator for structure-activity COrrelation of molecules: Neco(2). The structure-activity relationship between 13C-NMR chemical shifts and the carcinogenicity of polycyclic aromatic hydrocarbons(PAH).

Umpei Nagashima, Haruo Hosoya, Yoshimi Isu, 1994 .

Logic-based queries

Haruo Hosoya, H. Hosoya, 2010 .

XML Typechecking

Giuseppe Castagna, Stijn Vansummeren, Benjamin C. Pierce, 2009, Encyclopedia of Database Systems.

Boolean operations and inclusion test for attribute-element constraints

Makoto Murata, Haruo Hosoya, 2006, Theor. Comput. Sci..

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

Haruo Hosoya, H. Hosoya, 2009, 2009 International Joint Conference on Neural Networks.

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

Haruo Hosoya, Yuuji Ichisugi, H. Hosoya, 2010, ICONIP.

Development of a Computer-Aided-Education System of Polyhedra

Haruo Hosoya, Yukiko Maruyama, 2002 .

Foundations of XML Processing: Pattern matching

Haruo Hosoya, 2010 .

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

Haruo Hosoya, H. Hosoya, 2018, ArXiv.

Foundations of XML Processing: Typechecking

Haruo Hosoya, H. Hosoya, 2010 .

Abstract category learning

Atsushi Hashimoto, Haruo Hosoya, 2011, ESANN.

Parametric polymorphism for XML

Giuseppe Castagna, Alain Frisch, Haruo Hosoya, 2005, POPL '05.

Quantum chemistry literature data base

Shinichi Yamabe, Haruo Hosoya, Haruo Hosoya, 1981, J. Chem. Inf. Comput. Sci..

Regular expression pattern matching for XML

Benjamin C. Pierce, Haruo Hosoya, 2003, J. Funct. Program..

Regular expression pattern matching---a simpler design

Haruo Hosoya, Haruo Hosoya, 2003 .

Foundations of XML Processing: Unorderedness

Haruo Hosoya, H. Hosoya, 2010 .

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

Aapo Hyvärinen, Haruo Hosoya, H. Hosoya, 2016, bioRxiv.

biXid: a bidirectional transformation language for XML

Shinya Kawanaka, Haruo Hosoya, 2006, ICFP '06.

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

Haruo Hosoya, Sayaka Iwata, Minako Murokoshi, 2001, J. Chem. Inf. Comput. Sci..