This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2019, and 5th International Conference on Fuzzy and Neural Computing, FANCCO 2019, held in Maribor, Slovenia, in July 2019.
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.
This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015.
This book constitutes the proceedings of the 7th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2011, held in Karlsruhe, Germany in September 2011.
The three volume set LNCS 8834, LNCS 8835, and LNCS 8836 constitutes the proceedings of the 20th International Conference on Neural Information Processing, ICONIP 2014, held in Kuching, Malaysia, in November 2014.
CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications.
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models.
This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA2 2019, held in Kalamata, Greece, in June 2019.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages.
This volume presents the proceedings of the 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness and of the Third International ICST Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, held in Paris, France, in January 2012.
This book is a pedagogical presentation aimed at advanced undergraduate students, beginning graduate students and professionals who are looking for an introductory text to the field of Distance Geometry, and some of its applications.
This book constitutes the refereed proceedings of the 17th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2020, held in Sant Cugat, Spain, in September 2020.
This proceedings contains the papers presented at the 2004 IFIP International Conference on Network and Parallel Computing (NPC 2004), held at Wuhan, China, from October 18 to 20, 2004.
Constraint and Integer Programming presents some of the basic ideas of constraint programming and mathematical programming, explores approaches to integration, brings us up to date on heuristic methods, and attempts to discern future directions in this fast-moving field.
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions.
An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research.
This book presents a modified spherical harmonic expansion method in which the electromagnetic fields and their sources are expanded with the same set of spherical vector basis functions in a similar procedure.
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.
This book constitutes the refereed proceedings of the 21th International Conference on Distributed and Computer and Communication Networks, DCCN 2018, held in Moscow, Russia, in September 2018.
This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory of an aircraft in conditions of its limited resource.
This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in October/November 2011.
This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023.
Based on eight extensive lectures selected from those given at the renowned Chris Engelbrecht Summer School in Theoretical Physics in South Africa, this text on the theoretical foundations of quantum information processing and communication covers an array of topics, including quantum probabilities, open systems, and non-Markovian dynamics and decoherence.
This book constitutes the refereed proceedings of the 8th International Conference on Web Reasoning and Rule Systems, RR 2014, held in Athens, Greece in September 2014.