Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer science --- Informatica --- Informatique --- Computer Science --- Takasu, Satoru, --- Mathematical logic. --- Computers. --- Architecture, Computer. --- Computer logic. --- Programming languages (Electronic computers). --- Mathematical Logic and Formal Languages. --- Theory of Computation. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Langages formels --- Formal languages --- Computer science. --- Formal languages. --- Takasu, Satoru, - 1931 --- -Informatique --- Algorithmique --- Automates abstraits --- Complexite --- -Computer science --- -Computer Science --- Takasu, Satoru, - 1931-

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

COMMON LISP (Computer program language) --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Common lisp (computer program language)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Engineering. --- Computational Intelligence. --- Simulation and Modeling. --- Computational Science and Engineering. --- Statistics and Computing/Statistics Programs. --- Computational Biology/Bioinformatics. --- Computer simulation. --- Bioinformatics. --- Computer science. --- Mathematical statistics. --- Ingénierie --- Simulation par ordinateur --- Bio-informatique --- Informatique --- Statistique mathématique --- Combinatorial optimization. --- Computing. --- Natural computation. --- Engineering & Applied Sciences --- Computer Science --- Biologically-inspired computing --- Bio-inspired computing --- Natural computing --- Computer mathematics. --- Statistics. --- Computational intelligence. --- Intelligence, Computational --- Artificial intelligence --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Construction --- Industrial arts --- Technology --- Data processing --- Soft computing --- Bionics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Informatics --- Science --- Statistics .

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Natural computation -- Congresses. --- Engineering & Applied Sciences --- Computer Science --- Natural computation --- Biologically-inspired computing --- Bio-inspired computing --- Natural computing --- Engineering. --- Computer simulation. --- Bioinformatics. --- Computer mathematics. --- Statistics. --- Computational intelligence. --- Computational Intelligence. --- Simulation and Modeling. --- Computational Science and Engineering. --- Statistics and Computing/Statistics Programs. --- Computational Biology/Bioinformatics. --- Intelligence, Computational --- Artificial intelligence --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Construction --- Industrial arts --- Technology --- Data processing --- Soft computing --- Bionics --- Computer science. --- Mathematical statistics. --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Informatics --- Science --- Statistics .

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming (Computer science) --- Logic programming --- Programmation fonctionnelle --- Programmation logique --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Functional programming (Computer science) - Congresses. --- Logic programming - Congresses.