Author: Zoltán Ésik
Publisher: Springer Science & Business Media
ISBN: 3540334602
Category : Computers
Languages : en
Pages : 376
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.
Recent Advances in Formal Languages and Applications
Author: Zoltán Ésik
Publisher: Springer Science & Business Media
ISBN: 3540334602
Category : Computers
Languages : en
Pages : 376
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.
Publisher: Springer Science & Business Media
ISBN: 3540334602
Category : Computers
Languages : en
Pages : 376
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
Author: Gemma Bel-Enguix
Publisher: Springer
ISBN: 3540782915
Category : Technology & Engineering
Languages : en
Pages : 279
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.
Publisher: Springer
ISBN: 3540782915
Category : Technology & Engineering
Languages : en
Pages : 279
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
Author: Dan A. Simovici
Publisher: World Scientific
ISBN: 9789810237295
Category : Computers
Languages : en
Pages : 646
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.
Publisher: World Scientific
ISBN: 9789810237295
Category : Computers
Languages : en
Pages : 646
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.
Author:
Publisher: Springer Nature
ISBN: 3031700945
Category :
Languages : en
Pages : 415
Book Description
Publisher: Springer Nature
ISBN: 3031700945
Category :
Languages : en
Pages : 415
Book Description
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
Author: Mernik, Marjan
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678
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"--
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678
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
Author: Ajith Abraham
Publisher: Springer
ISBN: 3540346902
Category : Technology & Engineering
Languages : en
Pages : 311
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.
Publisher: Springer
ISBN: 3540346902
Category : Technology & Engineering
Languages : en
Pages : 311
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
Author: Ajith Abraham
Publisher: Springer
ISBN: 3540349561
Category : Computers
Languages : en
Pages : 276
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.
Publisher: Springer
ISBN: 3540349561
Category : Computers
Languages : en
Pages : 276
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
Author: Akira Hirose
Publisher: Springer
ISBN: 3540334572
Category : Computers
Languages : en
Pages : 180
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.
Publisher: Springer
ISBN: 3540334572
Category : Computers
Languages : en
Pages : 180
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
Author: Ke Chen
Publisher: Springer Science & Business Media
ISBN: 3540361219
Category : Computers
Languages : en
Pages : 510
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.
Publisher: Springer Science & Business Media
ISBN: 3540361219
Category : Computers
Languages : en
Pages : 510
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
Author: Yukio Ohsawa
Publisher: Springer Science & Business Media
ISBN: 3540343520
Category : Computers
Languages : en
Pages : 402
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.
Publisher: Springer Science & Business Media
ISBN: 3540343520
Category : Computers
Languages : en
Pages : 402
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.