Mathematical theory of computation

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP.

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017.

This book constitutes the refereed proceedings of the 27th International Conference on Algorithmic Learning Theory, ALT 2016, held in Bari, Italy, in October 2016, co-located with the 19th International Conference on Discovery Science, DS 2016.

This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan.

Field-coupled nanocomputing (FCN) paradigms offer fundamentally new approaches to digital information processing that do not utilize transistors or require charge transport.

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6-10, 2024.

Mechatronics is a mongrel, a crossbreed of classic mechanical engineering, the relatively young pup of computer science, the energetic electrical engineering, the pedigree mathematics and the bloodhound of Control Theory.

This volume contains the proceedings of the International Conference on Inf- mation Computing and Applications (ICICA 2010), which was held in Tangshan, China, October 15-18, 2010.

An enterprise architecture tries to describe and control an organisation's structure, processes, applications, systems and techniques in an integrated way.

The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language.

This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019.

This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019.

Rule-basedevolutionaryonlinelearningsystems,oftenreferredtoasMichig- style learning classi?

This volume constitutes the proceedings of the 13th International Workshop on Groupware (CRIWG 2007).

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.

This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL).

Speech and language technologies continue to grow in importance as they are used to create natural and efficient interfaces between people and machines, and to automatically transcribe, extract, analyze, and route information from high-volume streams of spoken and written information.

The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ISNN 2008, held in Beijing, China in September 2008.

This graduate textbook provides a unified view of quantum information theory.

This book constitutes the thoroughly refereed post proceedings of two international workshops on special aspects of digital libraries, namely the First International Workshop on Natural Language Processing for Digital Libraries, NLP4DL 2009, held in Viareggio, Italy in June 2009 and the CACAO Project Workshop Advanced Technologies for Digital Libraries, AT4DL 2009, held in Trento, Italy in September 2009.

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020.

-The present book provides an introduction to using space-filling curves (SFC) as tools in scientific computing.

This book constitutes the proceedings of the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16, 2023.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011.

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics.

?

This textbook introduces the theories and practical procedures used in planetary spacecraft navigation.

This book constitutes extended and revised versions of a set of selected papers from the 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019, held in Prague, Czech Republic, in February 2019.

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

This book constitutes the refereed proceedings of the 20th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoMUSART and EvoApplications.

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014.

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008.

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.

Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in the area.

This book constitutes the thoroughly refereed post-workshop proceedings of the 20th Chinese Lexical Semantics Workshop, CLSW 2019, held in Chiayi, Taiwan, in June 2019.

This book constitutes the refereed proceedings of the 15th European PVM/MPI Users' Group Meeting held in Dublin, Ireland, in September 2008.

This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on Genetic and Evolutionary Computing, held from August 28-29, 2024 in Miyazaki, Japan.

This book presents the latest knowledge of the newly discovered Earth-like exoplanets and reviews improvements in both radio and optical SETI.

Protein informatics is a newer name for an already existing discipline.

Quantum computing is not merely an incremental advancement in computing technology; it represents a fundamentally new paradigm, distinct from classical computing.

This book presents different experimental results as evidence of the good results obtained compared with respect to conventional approaches and literature references based on fuzzy logic.

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites.