You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
In the ?rst part of the present volume of LNCS, the reader will ?nd the invited talks given at the MCU 2001 conference. In the second part, he/she will ?nd the contributions that were presented at the conference after selection. In both cases, papers are arranged in the alphabetical order of the authors. MCU 2001 is the third conference in theoretical computer science, Machines, computations and universality, formerly, Machines et calculs universels. Both previous conferences, MCU’95 and MCU’98, were organized by Maurice M- genstern in Paris and in Metz (France), respectively. From the very beginning, MCU conferences have been an international sci- ti?c event. For the third conference, i...
Molecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual computations while, on the other hand, it attempts to understand the computational nature of molecular processes going on in living cells. The book presents a unique and authorative state-of-the-art survey on current research in molecular computing: 30 papers by leading researchers in the area are drawn together on the occasion of the 70th birthday of Tom Head, a pioneer in molecular computing. Among the topics addressed are molecular tiling, DNA self-assembly, splicing systems, DNA-based cryptography, DNA word design, gene assembly, and membrane computing.
A DNA computer is a collection of specially selected DNA strands, which when encoded into specific combinations are then subjected to bio-molecular manipulation in order to solve computational problems. Rather than storing information in the 1s and 0s of the binary number system, it is now stored in the form of the bases adenine (A), thymine (T), cytosine (C) and guanine (G). These bases can be arranged into short sequences of DNA that are then artificially synthesised for use as algorithmic inputs. The remarkable advantages of DNA computing, including dense data storage, massively parallel computation, and extraordinary energy efficiency, underscore its potential to revolutionize convention...
This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference (AII '94) and the Fifth International Workshop on Algorithmic Learning Theory (ALT '94), held jointly at Reinhardsbrunn Castle, Germany in October 1994. (In future the AII and ALT workshops will be amalgamated and held under the single title of Algorithmic Learning Theory.) The book contains revised versions of 45 papers on all current aspects of computational learning theory; in particular, algorithmic learning, machine learning, analogical inference, inductive logic, case-based reasoning, and formal language learning are addressed.
This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand in December 2004. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 47 submissions. The main subjects are formal languages, automata, conventional and unconventional computation theory, and applications of automata theory. Among the topics addressed are grammars and acceptors for strings, graphs, and arrays; efficient text algorithms, combinatorial and algebraic properties of languages; decision problems; relations to complexity theory and logic; picture description and analysis; cryptography; concurrency; DNA computing; and quantum computing.
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on DNA Computing and Molecular Programming, DNA16, held in Hong Kong, China, in June 2010. The 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 59 submissions. The papers are well balanced between theoretical and experimental work and address all areas that relate to biomolecular computing, including demonstrations of biomolecular computing, theoretical models of biomolecular computing, biomolecular algorithms, computational processes in vitro and in vivo, analysis and theoretical models of laboratory techniques, biotechnological and other applications of DNA computing, DNA nanostructures, DNA devices such as DNA motors, DNA error evaluation and correction, in vitro evolution, molecular design, self-assembled systems, nucleic acid chemistry, and simulation tools.
This book constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. The 58 revised full papers presented together with 3 invited lectures and two tutorials were carefully reviewed and selected from 121 submissions. The papers address all the various issues related to automata theory and formal languages.
This volume presents the proceedings of the Second European Conference on Computational Learning Theory (EuroCOLT '95), held in Barcelona, Spain in March 1995. The book contains full versions of the 28 papers accepted for presentation at the conference as well as three invited papers. All relevant topics in fundamental studies of computational aspects of artificial and natural learning systems and machine learning are covered; in particular artificial and biological neural networks, genetic and evolutionary algorithms, robotics, pattern recognition, inductive logic programming, decision theory, Bayesian/MDL estimation, statistical physics, and cryptography are addressed.
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.