This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020.
This book constitutes the thoroughly refereed conference proceedings of the 9th International Workshop on Algorithms and Computation, WALCOM 2015, held in Dhaka, Bangladesh, in February 2015.
This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.
The aim of this volume is to reinforce the interaction between the three main branches (abstract, convex and computational) of the theory of polytopes.
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.
Das an Studienanfänger der Mathematik gerichtete Lehrbuch bietet eine breit angelegte Einführung in verschiedene Facetten der computerorientierten Mathematik.
This book constitutes the refereed proceedings of the 17th International Conference on Web and Internet Economics, WINE 2021, which was held online during December 14-17, 2021.
This book constitutes the refereed proceedings of the 18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023, held in Harbin, China, during September 23-24, 2023.
This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.
This book constitutes the proceedings of the 22nd Annual Conference on Research in Computational Molecular Biology, RECOMB 2018, held in Paris, France, in April 2018.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization.
This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.
constitutive of reference in laboratory sciences as cultural sign systems and their manipulation and superposition, collectively shared classifications and associated conceptual frameworks,* and various fonns of collective action and social institutions.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, in May 2020.
This book presents task-scheduling techniques for emerging complex parallel architectures including heterogeneous multi-core architectures, warehouse-scale datacenters, and distributed big data processing 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, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering.
This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017.
The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.
The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017.
This book constitutes the proceedings of the 4th International Conference on Geometric Science of Information, GSI 2019, held in Toulouse, France, in August 2019.
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 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.
This proceedings volume is a collection of peer reviewed papers presented at the 8th International Conference on Soft Methods in Probability and Statistics (SMPS 2016) held in Rome (Italy).
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.
One of the challenges facing professionals working in computer animation is keeping abreast of the latest developments and future trends - some of which are determined by industry where the state-of-the-art is continuously being re-defined by the latest computer-generated film special effects, while others arise from research projects whose results are quickly taken on board by programmers and animators working in industry.
The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, held in Sydney, New South Wales, Australia, during June 10–13, 2025.
A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics.
It has been stated in psychology that human brain arranges information in a way that improves efficiency in performing common tasks, for example, information about our spatial environment is conveniently structured for efficient route finding.
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm).
"e;Information Theory and Statistical Learning"e; presents theoretical and practical results about information theoretic methods used in the context of statistical learning.
This book constitutes revised selected papers from the workshops of the 6th Asia-Pacific Web and Web-Age Information Management International Joint Conference on Web and Big Data, APWeb-WAIM 2022: The Fifth International Workshop on Knowledge Graph Management and Applications, KGMA 2022, The Fourth International Workshop on Semi-structured Big Data Management and Applications, SemiBDMA 2022, and The Third International Workshop on Deep Learning in Large-scale Unstructured Data Analytics, DeepLUDA 2022, held in Nanjing, China, in August 2022.
This book constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2018, held in Ho Chi Minh City, Vietnam, in December 2018.
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.
While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable.
