Wyniki wyszukiwania:

Everything we perceive comes in delightful multicoloured forms. Now, in the age of science, we want to comprehend what and why we see. Two dozen biologists, chemists, physicists, psychologists, computer scientists and mathematicians met at the Institut d'Hautes Etudes Scientifiques in Bures-sur-Yvette, France. They expounded their views on the physical, biological and physiological mechanisms creating the tapestry of patterns we see in molecules, plants, insects, seashells and even the human brain. This volume comprises surveys of different aspects of pattern formation and recognition, and is...

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on DNA Based Computers, DNA11, held in London, ON, Canada, in June 2005. The 34 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 79 submissions. The wide-ranging topics include in vitro and in vivo biomolecular computation, algorithmic self-assembly, DNA device design, DNA coding theory, and membrane computing.

This book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects and presents a new geometric language for the study of combinatorial and logical problems in complexity theory. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections with geometry of metric...