This book introducesthe Vienna Simulator Suite for 3rd-Generation Partnership Project(3GPP)-compatible Long Term Evolution-Advanced (LTE-A) simulators and presentsapplications to demonstrate their uses for describing, designing, and optimizingwireless cellular LTE-A networks.
This bookconstitutes the refereed proceedings of the First National Conference on BigData Technology and Applications, BDTA 2015, held in Harbin, China, in December2015.
This bookaims at promoting high-quality research by researchers and practitioners fromacademia and industry at the InternationalConference on Computational Intelligence, Cyber Security, and ComputationalModels ICC3 2015 organized by PSG College of Technology, Coimbatore, Indiaduring December 17 19, 2015.
This book constitutes the thoroughly refereed papers of the 4th National Conference of Social Media Processing, SMP 2015, held in Guangzhou, China, in November 2015.
The two-volume set CCIS 1712 and 1713 constitutes the proceedings of the 21st Asian Simulation Conference, AsiaSim 2022, which took place in Changsha, China, in January 2023.
The two-volume set CCIS 1712 and 1713 constitutes the proceedings of the 21st Asian Simulation Conference, AsiaSim 2022, which took place in Changsha, China, in January 2023.
This volume convenes selected, peer-reviewed research and survey articles that address the modern state-of-the-art in varied areas of applied mathematical analysis.
This book constitutes the refereed post proceedings of the 17th Research Conference on Metadata and Semantic Research, MTSR 2023, held in Milan, Italy, during October 25-27, 2023.
This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22-25, 2024.
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024.
This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for the fundamentals of computing rather than delving into the higher mathematical concepts.
This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for the fundamentals of computing rather than delving into the higher mathematical concepts.
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.
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 the refereed proceedings of the 28th International Conference on Developments in Language Theory, DLT 2024, held in Gottingen, Germany, during August 12-16, 2024.
This book is a collection of selected research papers presented at the Mathematics, Statistics and Computing Technology (ICMSCT2023), held at the UST Angelicum College, Philippines, from 20th to 21st September 2023.
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.
The LNCS journal Transactions on Large-scale Data and Knowledge-centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.
This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications.
This, the 27th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of 12 papers presented at the Big Data and Technology for Complex Urban Systems symposium, held in Kauai, HI, USA in January 2016.
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This, the24th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems,contains extended and revised versions of seven papers presented at the 25thInternational Conference on Database and Expert Systems Applications, DEXA2014, held in Munich, Germany, in September 2014.
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations.
This book is a collection of thoroughly refereed papers presented at the 26th IFIP TC 7 Conference on System Modeling and Optimization, held in Klagenfurt, Austria, in September 2013.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This collection of essays is above all intended to pay tribute to the fact that while QM today is a refined and incredibly successful instrument, many issues concerning the internal consistency and the interpretation of this theory are still not nearly as well understood as they ought to be.
This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming.
This volume contains the proceedings of RTA-93, the fifthInternational Conference on Rewriting Techniques andApplications, held in Montreal, Canada, in June 1993.
My aim in this introductory text is to present a comprehensible discussion of certain technical topics and recent developments in color science that I believe are of real interest to artists and designers.
Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power series are no longer an appropriate tool.
This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "e;intelligent"e; computer systems.
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, or deciding whether two points belong in the same connected component of a semi-algebraic set occur in many contexts.
In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited lecturers.