Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Mathematical logic --- Engineering sciences. Technology --- Artificial intelligence. Robotics. Simulation. Graphics --- Translation science --- Linguistics --- analyse (wiskunde) --- vertalen --- linguïstiek --- wiskunde --- ingenieurswetenschappen --- logica --- robots

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents the outcomes of the 15th International Conference on Distributed Computing and Artificial Intelligence, held in Toledo (Spain) from 20th to 22nd June 2018 and hosted by the UCLM, and which brought together researchers and developers from industry, education and the academic world to report on the latest scientific research, technical advances and methodologies. Highlighting multi-disciplinary and transversal aspects, the book focuses on the conferences Special Sessions, including Advances in Demand Response and Renewable Energy Sources in Smart Grids (ADRESS); AI- Driven Methods for Multimodal Networks and Processes Modeling (AIMPM); Social Modelling of Ambient Intelligence in Large Facilities (SMAILF); Communications, Electronics and Signal Processing (CESP); Complexity in Natural and Formal Languages (CNFL); and Web and Social Media Mining (WASMM). .

Electronic data processing --- Distributed processing --- Engineering. --- Artificial intelligence. --- Computational Intelligence. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Construction --- Industrial arts --- Technology --- Computational intelligence. --- Intelligence, Computational --- Artificial intelligence --- Soft computing