Showing posts with label Theory of Computing. Show all posts
Showing posts with label Theory of Computing. Show all posts

Wednesday, 19 January 2011

Polystochastic Models for Complexity (Understanding Complex Systems)



Polystochastic Models for Complexity (Understanding Complex Systems)
Octavian Iordache | 2010-04-19 00:00:00 | Springer | 298 | Theory of Computing
This book is devoted to complexity understanding and management, considered as the main source of efficiency and prosperity for the next decades. Divided into six chapters, the book begins with a presentation of basic concepts as complexity, emergence and closure. The second chapter looks to methods and introduces polystochastic models, the wave equation, possibilities and entropy. The third chapter focusing on physical and chemical systems analyzes flow-sheet synthesis, cyclic operations of separation, drug delivery systems and entropy production. Biomimetic systems represent the main objective of the fourth chapter. Case studies refer to bio-inspired calculation methods, to the role of artificial genetic codes, neural networks and neural codes for evolutionary calculus and for evolvable circuits as biomimetic devices. The fifth chapter, taking its inspiration from systems sciences and cognitive sciences looks to engineering design, case base reasoning methods, failure analysis, and multi-agent manufacturing systems. Perspectives and integrative points of view are discussed in the sixth chapter with reference to the classification of sciences, cybernetics and its extensions, and to transdisciplinarity and categorification. Written for: engineers, researchers, and students in chemical, biochemical, computing and systems science engineering, in neuroscience, psychology, philosophy and mathematics

Download this book!

Free Ebooks Download

Wednesday, 12 January 2011

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings (Lecture Notes in Computer Science)



Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings (Lecture Notes in Computer Science)
Albert R. Meyer,Michael A. Taitslin | 1989-07-10 00:00:00 | Springer | 289 | Theory of Computing
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Download this book!

Free Ebooks Download