Gheorghe Paun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration ...from living nature. He has significantly contributed to the development of these diverse fields, initiating and pioneering some of them with remarkable imaginativeness and enthusiasm. Gheorghe Paun's research focusses on systems inspired by structures and processes found in living systems, with the field of membrane computing or P systems being the most important of his initiatives. This Festschrift volume, published to honor Gheorghe Paun on the occasion of his 60th birthday, includes 16 contributions by his students and collaborators. The research presented aims to gain a better understanding of what computation is, to find better models of computation, and to look for new computing devices inspired by the structure and/or functioning of natural or societal systems. The papers are preceded by an introduction by Solomon Marcus, Gheorghe Paun's lifelong teacher and mentor, and are organized in topical sections on general computing, grammar systems, membrane systems, and inspirations from natural computing.
Computation, Physics and Beyond Dinneen, Michael J; Khoussainov, Bakhadyr; Nies, Prof. Andre
2012, 2012-02-15, Letnik:
7160
eBook
This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the ...International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kucera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).
This book constitutes the refereed proceedings of the 5th International Conference on Artificial General Intelligence, AGI 2012, held in Oxford, UK, in December 2012. The 34 revised full papers ...presented together with 4 invited keynote lectures were carefully reviewed and selected from 80 submissions. The papers are written by leading scientists involved in research and development of AI systems possessing general intelligence at the human level and beyond; with a special focus on humanoid robotics and AGI, cognitive robotics, creativity and AGI, the future evolution of advanced AGIs, and the dynamics of AGI goal systems.
Logic Colloquium 2006 Cooper, S. Barry; Geuvers, Herman; Pillay, Anand ...
09/2009, Letnik:
v.Series Number 32
eBook
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with ...contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a ...follow up of the AB Conference. The 10 papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods.
This book constitutes the refereed proceedings of the 8th International Conference on Advances in Natural Language Processing, JapTAL 2012, Kanazawa, Japan, in October 2012.The 27 revised full papers ...and 5 revised short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on machine translation, multilingual issues, resouces, semantic analysis, sentiment analysis, as well as speech and generation.
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. ...The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented ...together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.