This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...
This book is about quantum computing and quantum algorithms. The book starts with a chapter introducing the basic rules of quantum mechanics and how they can be used to build quantum circuits and perform computations.
Further, Grover's algorithm is presented for unstructured search discussing its consequences and...
Calculus has been used in solving many scientific and engineering problems. For optimization problems, however, the differential calculus technique sometimes has a drawback when the objective function is step-wise, discontinuous, or multi-modal, or when decision variables are discrete rather than continuous. Thus, researchers have...
Design an enterprise solution from scratch that allows the migration of a legacy application. Begin with the planning and design phase and be guided through all the stages of selecting the architecture framework that fits your enterprise.
Join Microsoft MVP Josh Garverick as he addresses all major areas of design and...
Get a 360-degree view of digital project management. Learn proven best practices from case studies and real-world scenarios. A variety of project management tools, templates, models, and frameworks are covered.
This book provides an in-depth view of digital project management from initiation to execution to monitoring and...
Understand critical cybersecurity and risk perspectives, insights, and tools for the leaders of complex financial systems and markets. This book offers guidance for decision makers and helps establish a framework for communication between cyber leaders and front-line professionals. Information is provided to help in the analysis of...
With an emphasis on social science applications, Event History Analysis with R presents an introduction to survival and event history analysis using real-life examples. Keeping mathematical details to a minimum, the book covers key topics, including both discrete and continuous time data, parametric proportional...
With the presentation at an introductory level, the third edition of the book (2007 copyright) contains a comprehensive treatment of continuous-time and discrete-time signals and systems, with demos on the textbook website (users.ece.gatech.edu/~bonnie/book3), data downloaded from the Web, and illustrations of numerous MATLAB commands for the...
Reveals How HMMs Can Be Used as General-Purpose Time Series Models
Implements all methods in R Hidden Markov Models for Time Series: An Introduction Using R applies hidden Markov models (HMMs) to a wide range of time series types, from continuous-valued, circular, and...
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer-based solution of certain classes of mathematical problems are illustrated. The authors show how to compute the zeros or the integrals of continuous functions, solve linear systems, approximate functions using polynomials and...
This book examines the Capacitated Lot Sizing Problem (CLSP) in process industries. In almost all process industries, there are situations where products have short/long setup times, and the setup of the product and its subsequent production are carried over, across consecutive periods. The setup of a product is carried over across...
