Recent Advances in Formal Languages and Applications


Book Description

The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.




New Developments in Formal Languages and Applications


Book Description

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc. This volume presents the main results of some recent, quickly developing subfields of formal language theory in an easily accessible way and provides the reader with extensive bibliographical references to go deeper. Open problems are formulated too. The intended audience consists of undergraduates and graduates in computer science or mathematics. Graduates in other disciplines (linguistics, electrical engineering, molecular biology, logic) with some basic level of mathematical maturity may find the volume appealing and useful too. The book represents 'a gate to formal language theory and its applications' and a source of information in computation theory in general. This volume is complementary of the volumes in the Springer series Studies in Fuzziness and Soft Computing, number 148, and Studies in Computational Intelligence, 25.




Theory of Formal Languages with Applications


Book Description

Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as data transmission and compression, computer networks, etc. This book combines an algebraic approach with algorithmic aspects and decidability results and explores applications both within computer science and in fields where formal languages are finding new applications such as molecular and developmental biology. It contains more than 600 graded exercises. While some are routine, many of the exercises are in reality supplementary material. Although the book has been designed as a text for graduate and upper-level undergraduate students, the comprehensive coverage of the subject makes it suitable as a reference for scientists.





Book Description




Formal and Practical Aspects of Domain-Specific Languages: Recent Developments


Book Description

"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--




Stigmergic Optimization


Book Description

First studied in social insects like ants, indirect self-organizing interactions - known as "stigmergy" - occur when one individual modifies the environment and another subsequently responds to the new environment. The implications of self-organizing behavior extend to robotics and beyond. This book explores the application of stigmergy for a variety of optimization problems. The volume comprises 12 chapters including an introductory chapter conveying the fundamental definitions, inspirations and research challenges.




Swarm Intelligence in Data Mining


Book Description

This volume examines the application of swarm intelligence in data mining, addressing the issues of swarm intelligence and data mining using novel intelligent approaches. The book comprises 11 chapters including an introduction reviewing fundamental definitions and important research challenges. Important features include a detailed overview of swarm intelligence and data mining paradigms, focused coverage of timely, advanced data mining topics, state-of-the-art theoretical research and application developments and contributions by pioneers in the field.




Complex-Valued Neural Networks


Book Description

This monograph instructs graduate- and undergraduate-level students in electrical engineering, informatics, control engineering, mechanics, robotics, bioengineering on the concepts of complex-valued neural networks. Emphasizing basic concepts and ways of thinking about neural networks, the author focuses on neural networks that deal with complex numbers; the practical advantages of complex-valued neural networks, and their origins; the development of principal applications? The book uses detailed examples to answer these questions and more.




Trends in Neural Computation


Book Description

Trends in Neural Computation includes twenty chapters contributed by leading experts or formed by extending well-selected papers presented in the 2005 International Conference on Natural Computation. The book reviews the latest progress in a range of different areas of neural computation, including theoretical neural computation, biologically plausible neural modeling, computational cognitive science, artificial neural networks – architectures and learning algorithms and their applications in real-world problems.




Chance Discoveries in Real World Decision Making


Book Description

For this book, the editors invited and called for contributions from indispensable research areas relevant to "chance discovery," which has been defined as the discovery of events significant for making a decision, and studied since 2000. From respective research areas as artificial intelligence, mathematics, cognitive science, medical science, risk management, methodologies for design and communication, the invited and selected authors in this book present their particular approaches to chance discovery. The chapters here show contributions to identifying rare or hidden events and explaining their significance, predicting future trends, communications for scenario development in marketing and design, identification effects and side-effects of medicines, etc. The methods presented in this book are based on the interaction of human, machine, and human's living environment, rather than based purely automated predictions of the future. This is a promising direction of computer-supported decision of human in a radically changing environment.