This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.
This book constitutes the proceedings of the 22nd International Semantic Web Conference, ISWC 2023, which took place in October 2023 in Athens, Greece.
These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 - Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6-10, 2023.
This book constitutes the proceedings of the 22nd International Semantic Web Conference, ISWC 2023, which took place in October 2023 in Athens, Greece.
This book constitutes the refereed proceedings of the 11th International Conference on Code-Based Cryptography, CBCrypto 2023, held in Lyon, France, during April 22-23, 2023.
This book constitutes the proceedings of the 22nd International Semantic Web Conference, ISWC 2023, which took place in October 2023 in Athens, Greece.
This book constitutes the refereed proceedings of the 11th International Conference on Code-Based Cryptography, CBCrypto 2023, held in Lyon, France, during April 22-23, 2023.
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2023, held in Langkawi, Malaysia, during October 25-26, 2023.
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2023, held in Langkawi, Malaysia, during October 25-26, 2023.
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11-13, 2023.
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2023, held in Langkawi, Malaysia, during October 25-26, 2023.
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2023, held in Langkawi, Malaysia, during October 25-26, 2023.
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023.
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11-13, 2023.
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023.
The main focus of the book is solvability of cellular automata, that is, expressing the state of a given cell after a given number of steps by an explicit formula.
The main focus of the book is solvability of cellular automata, that is, expressing the state of a given cell after a given number of steps by an explicit formula.
This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held in Florence, Italy, in June 2023.
This book constitutes the refereed proceedings of the 19th China Conference on Machine Translation, CCMT 2023, held in Jinan, China, during October 19-21, 2023.
This book constitutes the refereed proceedings of the 19th China Conference on Machine Translation, CCMT 2023, held in Jinan, China, during October 19-21, 2023.
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023.
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023.
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023.
This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023.
This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023.
This book constitutes the referred proceedings of the 24th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2024, held as part of EvoStar 2024, in Aberystwyth, UK, during April 3-5, 2024.
The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2024, held in Zakopane, Poland, during June 16-20, 2024.
This handbook delves into the rapidly evolving field of artificial intelligence and optimization, focusing on the intersection of machine learning, combinatorial optimization, and real-world applications in transportation and network design.
This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7-8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions.
This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held in Florence, Italy, in June 2023.
This book constitutes the refereed proceedings of the 13th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2023, which took place in Vietri sul Mare, Italy, in September 2023.
The two-volume set LNAI 14125 and 14126 constitutes the refereed conference proceedings of the 22nd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2023, held in Zakopane, Poland, during June 18-22, 2023.
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research.
The two-volume set LNAI 14125 and 14126 constitutes the refereed conference proceedings of the 22nd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2023, held in Zakopane, Poland, during June 18-22, 2023.
This book constitutes refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research: Recent Trends, MOTOR 2023, held in Ekaterinburg, Russia, during July 2-8, 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27-29, 2023.
This book constitutes the refereed proceedings of the 46th German Conference on Artificial Intelligence, KI 2023, which took place in Berlin, Germany, in September 2023.
This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11-13, 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Flexible Query Answering Systems, FQAS 2023, held in September 2023 in Palma de Mallorca, Spain.
