This book constitutes the conference proceedings of the 7th International Conference on Algorithmic Decision Theory, ADT 2021, held in Toulouse, France, in November 2021.
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, held in September 2020: The 11th International Workshop on Biological Knowledge Discovery from Data, BIOKDD 2020, the 4th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2020, the 2nd International Workshop on Machine Learning and Knowledge Graphs, MLKgraphs2019.
This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing.
In the present era dominated by computers, graph theory has come into its own as an area of mathematics, prominent for both its theory and its applications.
This book constitutes the conference proceedings of the 10th International Conference on Network Games, Control and Optimization, NETGCOOP 2020, held in Cargese, Corsica, France, in September 2021*.
This book constitutes the thoroughly refereed workshop post-proceedings of the 18th International Workshop on Approximation and Online Algorithms, WAOA 2019, held virtually in September 2020 as part of ALGO 2020.
This book constitutes the proceedings of the 29th International Conference on Case-Based Reasoning, ICCBR 2021, which took place in Salamanca, Spain, during September 13-16, 2021.
This book constitutes the proceedings of the 47th International Workshop on Graph-Theoretic Concepts in Computer Science which was held during June 23-25, 2021.
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.
This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.
This book constitutes the proceedings of the 23rd International Symposium on Fundamentals of Computation Theory, FCT 2021, held in Athens, Greece, in September 2021.
This book constitutes the refereed proceedings of the 19th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2019, held as part of Evo* 2019, in Leipzig, Germany, in April 2019, co-located with the Evo* 2019 events EuroGP, EvoMUSART and EvoApplications.
This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Evolutionary Computation, EvoApplications 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoMUSART.
This book constitutes the refereed proceedings of the 22nd European Conference on Genetic Programming, EuroGP 2019, held as part of Evo* 2019, in Leipzig, Germany, in April 2019, co-located with the Evo* events EvoCOP, EvoMUSART, and EvoApplications.
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020.
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020.
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020.
This book constitutes the refereed proceedings of the 5th International Symposium on Ubiquitous Networking, UNet 2019, held in Limoges, France, in November 2019.
This book constitutes the refereed proceedings of the 13th International Symposium on Algorithmic Game Theory, SAGT 2020, held in Augsburg, Germany, in September 2020.
This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020.
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 proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020.
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019.
This book constitutes the revised selected papers of the 14th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2019, held in Rende, Italy, in September 2019.
This volume constitutes the post- conference proceedings of the 7th International Conference on Variable Neighborhood Search, ICVNS 2019, held in Rabat, Morocco, in October 2019.
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 edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.
This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019.
This book constitutes revised selected papers from the 7th International Conference on Operations Research and Enterprise Systems, ICORES 2018, held in Funchal, Madeira, Portugal, in January 2018.
This book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019.
This book constitutes the refereed post-conference proceedings of the Fourth International Conference on IoT as a Service, IoTaaS 2018, which took place in Xi'an, China, in November 2018.
This is the first book to cover GRASP (Greedy Randomized Adaptive Search Procedures), a metaheuristic that has enjoyed wide success in practice with a broad range of applications to real-world combinatorial optimization problems.
Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies.
This book introduces empirical methods for machine learning with a special focus on applications in natural language processing (NLP) and data science.
This book introduces empirical methods for machine learning with a special focus on applications in natural language processing (NLP) and data science.
This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA 2022, which took place as a hybrid event in Trier, Germany, during June 7-9, 2022.
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on the Arithmetic of Finite Field, WAIFI 2016, held in Ghent, Belgium, in July 2016.
This book presents selected peer-reviewed contributions from the International Conference on Time Series and Forecasting, ITISE 2018, held in Granada, Spain, on September 19-21, 2018.
The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.
The vast amounts of ontologically unstructured information on the Web, including HTML, XML and JSON documents, natural language documents, tweets, blogs, markups, and even structured documents like CSV tables, all contain useful knowledge that can present a tremendous advantage to the Artificial Intelligence community if extracted robustly, efficiently and semi-automatically as knowledge graphs.
Scientific Computing for Scientists and Engineers is designed to teach undergraduate students relevant numerical methods and required fundamentals in scientific computing.
This book provides an up-to-date account of current research in quantum information theory, at the intersection of theoretical computer science, quantum physics, and mathematics.
This book provides an up-to-date account of current research in quantum information theory, at the intersection of theoretical computer science, quantum physics, and mathematics.
