Satoshi Kobayashi

Ren Katsurada

Tatsuhito Hasegawa

Proceedings of the ICIT 2019, 2019

2017

Modular robot using helical magnet for bonding and transformation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016

Molecular computers for molecular robots as hybrid systems.

[BibT_eX]

[DOI]

Masami Hagiya

Nathanaël Aubert-Kato

Shaoyu Wang

Theor. Comput. Sci., 2016

2013

Enumeration approach to computing chemical equilibria.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Molecular Robotics: A New Paradigm for Artifacts.

[BibT_eX]

[DOI]

New Gener. Comput., 2013

Development of an Ultrasonically-Assisted Electrolytic Grinding System.

[BibT_eX]

[DOI]

Int. J. Autom. Technol., 2013

2012

Molecular Computing Machineries - Computing Models and Wet Implementations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Natural Computing, 2012

On the properties of language classes defined by bounded reaction automata.

[BibT_eX]

[DOI]

Fumiya Okubo

Theor. Comput. Sci., 2012

Reaction automata.

[BibT_eX]

[DOI]

Fumiya Okubo

Theor. Comput. Sci., 2012

An Adaptive Approach for Network Traffic Load Balancing by Using One-Way Delay.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/IPSJ International Symposium on Applications and the Internet, 2012

Towards a Data Hub for Biodiversity with LOD.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2010

Electric field effects on radiative transition in quantum dot inorganic electroluminescent devices.

[BibT_eX]

[DOI]

Yuki Tani

Eisuke Tokumitsu

IEICE Electron. Express, 2010

Efficient State Minimization Algorithm of Linear Separation Automata.

[BibT_eX]

Yuji Numai

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

2009

Necessary and sufficient conditions for learning with correction queries.

[BibT_eX]

[DOI]

Cristina Tîrnauca

Theor. Comput. Sci., 2009

Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Bioprocesses, 2009

2008

A New Translation for Semi-classical Theories - Backtracking without CPS.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

A Characterization of the Language Classes Learnable with Correction Queries.

[BibT_eX]

[DOI]

Cristina Tîrnauca

Proceedings of the Theory and Applications of Models of Computation, 2007

Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation.

[BibT_eX]

Kazuya Ogasawara

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

An Efficient Multiple Alignment Method for RNA Secondary Structures Including Pseudoknots.

[BibT_eX]

[DOI]

Shinnosuke Seki

Proceedings of the Natural Computing, 2007

Probabilistic Inference in Test Tube and its Application to Gene Expression Profiles.

[BibT_eX]

[DOI]

Proceedings of the Formal Models, 2007

A New Approach to Computing Equilibrium State of Combinatorial Hybridization Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Bio-Inspired Models of Network, 2007

2006

Mathematical Foundations of Learning Theory.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Formal Languages and Applications, 2006

Towards a Semantic Wiki-Based Japanese Biodictionary.

[BibT_eX]

[DOI]

Proceedings of the SemWiki2006, First Workshop on Semantic Wikis, 2006

Semantic Wiki as a Lightweight Knowledge Management System.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2006

2005

A Grammatical Approach to the Alignment of Structure-Annotated Strings.

[BibT_eX]

[DOI]

Shinnosuke Seki

IEICE Trans. Inf. Syst., 2005

Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences.

[BibT_eX]

[DOI]

Atsushi Kijima

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

2004

Efficient Learning of <i>k</i>-Reversible Context-Free Grammars from Positive Structural Examples.

[BibT_eX]

[DOI]

Shinnosuke Seki

Proceedings of the Grammatical Inference: Algorithms and Applications, 2004

Testing Structure Freeness of Regular Sets of Biomolecular Sequences.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

An Algorithm for Testing Structure Freeness of Biomolecular Sequences.

[BibT_eX]

[DOI]

Proceedings of the Aspects of Molecular Computing, 2004

2002

DNA Sequence Design Using Templates.

[BibT_eX]

[DOI]

Masanori Arita

New Gener. Comput., 2002

A modality-independent MMI system architecture.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Spoken Language Processing, ICSLP2002, 2002

On Template Method for DNA Sequence Design.

[BibT_eX]

[DOI]

Tomohiro Kondo

Masanori Arita

Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

A Magic Pot : Self-assembly Computation Revisited.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

2001

Multiple splicing systems and the universal computability.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Formal properties of PA-matching.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Sticker systems with complex structures.

[BibT_eX]

[DOI]

Soft Comput., 2001

Automatic construction of CALL system from TV news program with captions.

[BibT_eX]

[DOI]

Proceedings of the EUROSPEECH 2001 Scandinavia, 2001

XISL: an attempt to separate multimodal interactions from XML contents.

[BibT_eX]

[DOI]

Proceedings of the EUROSPEECH 2001 Scandinavia, 2001

XISL: An Attempt to Seperate Interactions from Data.

[BibT_eX]

Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Horn Clause Computation by Self-assembly of DNA Molecules.

[BibT_eX]

[DOI]

Hiroki Uejima

Masami Hagiya

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Approximate identification of finite elasticity.

[BibT_eX]

Proceedings of the Where Mathematics, 2001

2000

On the universality of Post and splicing systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Iterated Transductions and Efficient Learning from Positive Data: A Unifying View.

[BibT_eX]

[DOI]

Proceedings of the Grammatical Inference: Algorithms and Applications, 2000

1999

Tree Adjoining Grammars for RNA Structure Prediction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Horn Clause Computation with DNA Molecules.

[BibT_eX]

[DOI]

J. Comb. Optim., 1999

1998

Learning Local Languages and Their Application to DNA Sequence Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 1998

Locality, Reversibility, and Beyond: Learning Languages from Positive Data.

[BibT_eX]

[DOI]

Tom Head

Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

1997

Learning Approximately Regular Languages with Reversible Languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Monad as Modality.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Extraction and representation rhythmic components of spontaneous speech.

[BibT_eX]

[DOI]

Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997

DNA-EC: A model of DNA-computing based on equality checking.

[BibT_eX]

[DOI]

Proceedings of the DNA Based Computers, 1997

Identifiability of Subspaces and Homomorphic Images of Zero-Reversible Languages.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996

Families of Noncounting Languages and Their Learnability from Positive Data.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1996

Two Extensions of PX system.

[BibT_eX]

[DOI]

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1995

A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure.

[BibT_eX]

[DOI]

Sususmu Hayashi

Int. J. Found. Comput. Sci., 1995

Identifying Strategies Using Decision Lists from Trace Information.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

Consistency of inter-transcribers' transcription.

[BibT_eX]

[DOI]

Shigeyoshi Kitazawa

Proceedings of the Fourth European Conference on Speech Communication and Technology, 1995

On Approximately Identifying Concept Classes in the Limit.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 6th International Conference, 1995

1994

Realizability Interpretation of Generalized Inductive Definitions.

[BibT_eX]

[DOI]

Makoto Tatsuta

Theor. Comput. Sci., 1994

Tempo estimation by wave envelope for recognition of paralinguistic features in spontaneous speech.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Spoken Language Processing, 1994

Learning Local Languages and its Application to Protein \alpha-Chain Identification.

[BibT_eX]

Nobuyuki Ishida

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Learning Concatenations of Locally Testable Languages from Positive Data.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 1994

1993

Learning Decision Lists over Tree Patterns and Its Application.

[BibT_eX]

Koichi Hori

Setsuo Ohsuga

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Learning Strategies Using Decision Lists.

[BibT_eX]

[DOI]