Azuma Ohuchi

Satoshi Kashiwamura

Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

Combining Randomness and a High-Capacity DNA Memory.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

Sequence Design Support System for 4 × 4 DNA Tiles.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

2006

Hokkaido Sculpture Web ant Its Educational Application.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Tourism, 2006

Analysis of Circular Tour Activity Based on GPS Log.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Tourism, 2006

Automatic Classification of Websites based on Keyword Extraction of Nouns.

[BibT_eX]

[DOI]

Takatomo Honda

Proceedings of the Information and Communication Technologies in Tourism, 2006

Development of DNA Relational Database and Data Manipulation Experiments.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

Sequence Design for Stable DNA Tiles.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005

A concept formation support method and its prototype system using structural modeling and concept map.

[BibT_eX]

[DOI]

Hajime Saito

Takashi Maeda

Syst. Comput. Jpn., 2005

Hairpin-based state machine and conformational addressing: Design and experiment.

[BibT_eX]

[DOI]

Nat. Comput., 2005

Motion Design for Indoor Blimp Robot with PID Controller.

[BibT_eX]

[DOI]

J. Robotics Mechatronics, 2005

Market micro-structure analysis by multiagent simulation in X-Economy -- comparison among technical indices.

[BibT_eX]

[DOI]

Inf. Sci., 2005

Improvement of the product development process applied structural modeling.

[BibT_eX]

[DOI]

Toshihiko Takaya

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

On Constructing Hokkaido Sculpture Web.

[BibT_eX]

[DOI]

Hajime Saito

Makoto Nishimura

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

Complex/Harmonious System Engineering Viewed in the Light of General Systems Theory.

[BibT_eX]

[DOI]

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

Entropy and Mutual Information Analysis of Collective Behavior in Slime Mold Model.

[BibT_eX]

[DOI]

Koji Nishikawa

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

GPS Log Mining Method for Tourism Activity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

Effect of Congestion Reduction with Agents' Coordination in Theme Park Problem.

[BibT_eX]

[DOI]

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

Specificity of Hybridization Between DNA Sequences Based on Free Energy.

[BibT_eX]

[DOI]

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

2004

Emergence and Stability of Key Currency in Artificial International Trade.

[BibT_eX]

[DOI]

New Gener. Comput., 2004

A Study on Effects of Market Systems in an Artificial Market.

[BibT_eX]

[DOI]

New Gener. Comput., 2004

Development, evaluation and benchmarking of simulation software for biomolecule-based computing.

[BibT_eX]

[DOI]

Nat. Comput., 2004

Distributed Visitors Coordination System in Theme Park Problem.

[BibT_eX]

[DOI]

Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

An Automatically Generated Portal Site of Official Accommodation Websites.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Tourism, 2004

Aqueous Computing with DNA Hairpin-Based RAM.

[BibT_eX]

[DOI]

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

2003

Investigation of Mutual Choice Metanorm in Group Dynamics for Solving Social Dilemmas.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent for Mass User Support, International Workshop, 2003

Modeling of Theme Park Problem with Multiagent for Mass User Support.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent for Mass User Support, International Workshop, 2003

The Effect of the Bulge Loop upon the Hybridization Process in DNA Computing.

[BibT_eX]

[DOI]

Proceedings of the Evolvable Systems: From Biology to Hardware, 2003

Nearest-Neighbor Thermodynamics of DNA Sequences with Single Bulge Loo.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Conformational Addressing Using the Hairpin Structure of Single-Strand DNA.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Group formation with split rule in social dilemmas.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

A Separation Method for DNA Computing Based on Concentration Control.

[BibT_eX]

[DOI]

New Gener. Comput., 2002

Local Search by Concentration-Controlled DNA Computing.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Appl., 2002

Towards a High Reliability of the PCR Amplification Process in DNA Computing.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Appl., 2002

An Analysis of Computational Efficiency of DNA Computing.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

Emergence of Key Currency in International Trade by Production and Trader Agents.

[BibT_eX]

Proceedings of the 6th Joint Conference on Information Science, 2002

X-Economy: A Common Simulation Platform for Artificial Market and Artificial Economy.

[BibT_eX]

Proceedings of the 6th Joint Conference on Information Science, 2002

Complexity of Information Structure and Behavior of Artificial Market with Learning Trader Agents.

[BibT_eX]

Daisuke Kanehira

Proceedings of the 6th Joint Conference on Information Science, 2002

Development of autonomous blimp robot with intelligent control.

[BibT_eX]

Proceedings of the Entertainment Computing: Technologies and Applications, 2002

Study of Group-Learning Support Based on Keyword-map Structural Modeling.

[BibT_eX]

[DOI]

Hajime Saitoh

Takashi Maeda

Proceedings of the International Conference on Computers in Education, 2002

Hierarchical DNA Memory Based on Nested PCR.

[BibT_eX]

[DOI]

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

A Security System for Personal Genome Information at DNA Level.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE Computer Society Bioinformatics Conference, 2002

Simulation analysis of hybridization process for DNA computing with concentration control.

[BibT_eX]

[DOI]

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

Towards a general-purpose sequence design system in DNA computing.

[BibT_eX]

[DOI]

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

Design of a PCR protocol for improving reliability of PCR in DNA computing.

[BibT_eX]

[DOI]

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

A study on behavioral structure of artificial market based on adaptive game.

[BibT_eX]

[DOI]

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

2001

Analysis of Norms Game with Mutual Choice.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2001

World Trade League as a Standard Problem for Multi-agent Economics - Concept and Background.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2001

Solutions of Shortest Path Problems by Concentration Control.

[BibT_eX]

[DOI]

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

Developing Support System for Sequence Design in DNA Computing.

[BibT_eX]

[DOI]

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

Towards Optimization of PCR Protocol in DNA Computing.

[BibT_eX]

[DOI]

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

2000

Harmony Team.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Evolutionary algorithms for nurse scheduling problem.

[BibT_eX]

[DOI]

Ahmad Jan

Proceedings of the 2000 Congress on Evolutionary Computation, 2000

1999

A simulated annealing algorithm with the random compound move for the sequential partitioning problem of directed acyclic graphs.

[BibT_eX]

[DOI]

Taichi Kaji

Eur. J. Oper. Res., 1999

Ants War with Evolutive Pheromone Style Communication.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life, 5th European Conference, 1999

A study on the hybridization process in DNA computing.

[BibT_eX]

[DOI]

Proceedings of the DNA Based Computers, 1999

1998

GA-Based Q-CMAC Applied to Airship Evasion Problem.

[BibT_eX]

[DOI]

Yuka Akisato

Keiji Suzuki

J. Robotics Mechatronics, 1998

A reduction method for theorem proving based on the partial-instantiation technique.

[BibT_eX]

[DOI]

Decis. Support Syst., 1998

Adaptive pheromone communication for reorganization in multiple monkey banana problem.

[BibT_eX]

[DOI]

Keiji Suzuki

Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

1996

Completion of term-rewriting systems with multiple reduction orderings.

[BibT_eX]

[DOI]

Hisashi Kondo

Syst. Comput. Jpn., 1996

A Reflective Language Based on Conditional Term Rewriting.

[BibT_eX]

[DOI]

Masanobu Numazawa

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Modularity in Noncopying Term Rewriting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Decomposable Termination of Composable Term Rewriting Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

Completion for Multiple Reduction Orderings.

[BibT_eX]

[DOI]

Hisashi Kondo

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1992

Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.

[BibT_eX]

[DOI]

Hisashi Kondo

Int. J. Softw. Eng. Knowl. Eng., 1992

1991

An algebraic specification of a reflective language.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1989

Correction procedures for flexible interpretive structural modeling.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1989

1986

Implication Theory and Algorithm for Reachability Matrix Model.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1986

1985

An efficient procedure for transitive coupling in ISM.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1985

1984

A theorem and a procedure for the complete implication matrix of system interconnection matrices.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1984

Lagrangian dual coordinatewise maximization algorithm for network transportation problems with quadratic costs.

[BibT_eX]

[DOI]