Mathematical theory of computation

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational.

Protein informatics is a newer name for an already existing discipline.

Terrorist groups throughout the world have been studied primarily through the use of social science methods.

Finite Element Methods are used for numerous engineering applications where numerical solutions of partial differential equations are needed.

This book presents the theory of matrix algebra for statistical applications, explores various types of matrices encountered in statistics, and covers numerical linear algebra.

This book constitutes the proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020.

This book will serve as a reference, presenting state-of-the-art research on theoretical aspects of optimal sensor coverage problems.

This book constitutes the proceedings of the 5th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2019, held in Kharagpur, India, in February 2019.

Get to grips with building robust XGBoost models using Python and scikit-learn for deploymentKey FeaturesGet up and running with machine learning and understand how to boost models with XGBoost in no timeBuild real-world machine learning pipelines and fine-tune hyperparameters to achieve optimal resultsDiscover tips and tricks and gain innovative insights from XGBoost Kaggle winnersBook DescriptionXGBoost is an industry-proven, open-source software library that provides a gradient boosting framework for scaling billions of data points quickly and efficiently.

This practical guidebook describes the basic concepts, the mathematical developments, and the engineering methodologies for exploiting possibility theory for the computer-based design of an information fusion system where the goal is decision support for industries in smart ICT (information and communications technologies).

Welcome to the second volume of the Kluwer International Series on ADVANCES IN INFORMATION SECURITY.

This guide to computational fluid mechanics introduces beginning graduate students to the subject''s standard methods and common pitfalls.

With the advent of portable and autonomous computing systems, power con- sumption has emerged as a focal point in many research projects, commercial systems and DoD platforms.

Build smart applications by implementing real-world artificial intelligence projectsKey FeaturesExplore a variety of AI projects with PythonGet well-versed with different types of neural networks and popular deep learning algorithmsLeverage popular Python deep learning libraries for your AI projectsBook DescriptionArtificial Intelligence (AI) is the newest technology that's being employed among varied businesses, industries, and sectors.

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.

This book constitutesselected, revised and extended papers of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, held in Heraklion, Crete, Greece, in May 2019.

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.

A number of important issues form the basis of this book: How can the Information Technology (IT) standardization process, leading to unified products which are needed on the market, be made more efficient?

This is the first book on "e;phylogenetic supertrees"e;, a recent, but controversial development for inferring evolutionary trees.

Effective Polynomial Computation is an introduction to the algorithms of computer algebra.

This book constitutes the refereed and revised post-conference proceedings of the 7th International Workshop on Code-Based Cryptography, CBC 2019, held in Darmstadt, Germany, in May 2019.

Leverage the power of Tensorflow to Create powerful software agents that can self-learn to perform real-world tasksKey FeaturesExplore efficient Reinforcement Learning algorithms and code them using TensorFlow and PythonTrain Reinforcement Learning agents for problems, ranging from computer games to autonomous driving.

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019.

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.

This volume constitutes the refereed proceedings of the Third International Conference on Optimization and Learning, OLA 2020, held in Cadiz, Spain, in February 2020.

Dependable Network Computing provides insights into various problems facing millions of global users resulting from the `internet revolution'.

This book constitutes the refereed proceedings of the 14th International Conference on Scalable Uncertainty Management, SUM 2020, which was held in Bozen-Bolzano, Italy, in September 2020.

The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications.

In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently than is possible with the known algorithms for a classical com- puter.

Practical Mathematical Cryptography provides a clear and accessible introduction to practical mathematical cryptography.

This book summarizes recent inventions, provides guidelines and recommendations, and demonstrates many practical applications of homomorphic encryption.

This book deals with the analysis of the structure of complex networks by combining results from graph theory, physics, and pattern recognition.

This book is about the verification of reactive systems.

A collection of lectures on various aspects of game theory relevant for computer scientists.

Membrane computing is a class of distributed and parallel computing models inspired by living cells.

Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s.

This book provides a structured introduction to the verification of sequen- tial and concurrent programs.

There is currently a great emphasis on teaching quality in Higher Education.

Deploy supervised and unsupervised machine learning algorithms using scikit-learn to perform classification, regression, and clustering.

Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into a unified framework that allows them to be generalized and combined.

The focus of electromagnetic theory is initial boundary value and boundary value problems for the Maxwell equations.

This book contains all refereed papers accepted during the fourth asia-pacific edition & twelve edition - which were merged this year - of the CSD&M conference that took place in Beijing, People's Republic of China by 2021.

This book explores the intersection of data envelopment analysis (DEA) and various analytical decision-making methodologies.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.

Fuzzy cognitive maps (FCMs) have gained popularity in the scientific community due to their capabilities in modeling and decision making for complex problems.

Based on talks from the 2017 and 2018 Combinatorial and Additive Number Theory (CANT) workshops at the City University of New York, these proceedings offer 17 peer-reviewed and edited papers on current topics in number theory.