Masami Hagiya - Böcker

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on DNA Based Computers, DNA8, held in Sapporo, Japan, in June 2002. The 30 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 68 submissions. The papers are organized in topical sections on self-assembly and autonomous molecular computation, molecular evolution and application to biotechnology, applications to mathematical problems, nucleic acid sequence design, and theory.

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.

This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.

This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.

The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring June 21–25,2010(seehttp://arn.local.frs.riken.jp/UC10/). The venue was the Sanjo (Hilltop) Conference Hall at Hongo Campus of the University of Tokyo. Hongo Campus was formerly the residence of the Maeda family, one of the richest feudal lords in the Edo period of Japan. The Japanese garden in the residence is partially preserved, including the pond and the hill on which the conference hall is located. Within walking distance from Hongo Campus are Ueno park with many museums, the Akihabara area, which is now the center of Japanesepop culture, and the Korakuenamusement park/baseball stadium. The International Conference on Unconventional Computation (UC) series (seehttp://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/)isdevotedto all aspects of unconventional computation — theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model.

This book highlights recent advances in natural computing, including biology and its theory, bio-inspired computing, computational aesthetics, computational models and theories, computing with natural media, philosophy of natural computing and educational technology. It presents extended versions of the best papers selected from the symposium “7th International Workshop on Natural Computing” (IWNC7), held in Tokyo, Japan, in 2013.The target audience is not limited to researchers working in natural computing but also those active in biological engineering, fine/media art design, aesthetics and philosophy.

This book highlights recent advances in natural computing, including biology and its theory, bio-inspired computing, computational aesthetics, computational models and theories, computing with natural media, philosophy of natural computing, and educational technology. It presents extended versions of the best papers selected from the “8th International Workshop on Natural Computing” (IWNC8), a symposium held in Hiroshima, Japan, in 2014. The target audience is not limited to researchers working in natural computing but also includes those active in biological engineering, fine/media art design, aesthetics, and philosophy.

This book highlights recent advances in natural computing, including biology and its theory, bio-inspired computing, computational aesthetics, computational models and theories, computing with natural media, philosophy of natural computing and educational technology. It presents extended versions of the best papers selected from the symposium “7th International Workshop on Natural Computing” (IWNC7), held in Tokyo, Japan, in 2013.The target audience is not limited to researchers working in natural computing but also those active in biological engineering, fine/media art design, aesthetics and philosophy.

This book highlights recent advances in natural computing, including biology and its theory, bio-inspired computing, computational aesthetics, computational models and theories, computing with natural media, philosophy of natural computing, and educational technology. It presents extended versions of the best papers selected from the “8th International Workshop on Natural Computing” (IWNC8), a symposium held in Hiroshima, Japan, in 2014. The target audience is not limited to researchers working in natural computing but also includes those active in biological engineering, fine/media art design, aesthetics, and philosophy.

Most natural and artificial systems transform information in a predictable or programmable way; such transformation can be interpreted as harnessing nature for computing. Recently we have witnessed a burst of research in unconventional computing, resulting in the development of experimental prototypes of natural computers, plasmodium computers, reaction-diffusion processors, and DNA computers as well as theoretical paradigms of natural computation such as cellular automata, artificial chemistry, evolutionary computing, and neural networks. The International Workshop on Natural Computing (IWNC) brings together computer scientists, biologists, mathematicians, electronic engineers, physicists, and others to critically assess present findings in the field, and to outline future developments in nature-inspired computing. This compilation of papers presented at the most recent workshop, held in Nagoya, Japan, makes a valuable contribution to the understanding of natural computing.