Ｙ．Ａ - Discrete Mathematics 3

This book aims to help engineers, Masters students and young researchers to understand and gain a general knowledge of logistic systems optimization problems and techniques, such as system design, l……続きを見る

Probabilistic Design for Optimization and Robustness: Presents the theory of modeling with variation using physical models and methods for practical applications on designs more insensitive to vari……続きを見る

This monograph presents theoretical methods involving the Hamilton–Jacobi–Bellman formalism in conjunction with set-valued techniques of nonlinear analysis to solve significant problems in dynamics ……続きを見る

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other discipline……続きを見る

This book covers novel research on construction and analysis of optimal cryptographic functions such as almost perfect nonlinear (APN), almost bent (AB), planar and bent functions. These functions h……続きを見る

Due to the fast growth of the Web and the difficulties in finding desired information, efficient and effective information retrieval systems have become more important than ever, and the search engi……続きを見る

This book describes recent theoretical findings relevant to bilevel programming in general, and in mixed-integer bilevel programming in particular. It describes recent applications in energy problem……続きを見る

Kronecker products are used to define the underlying Markov chain (MC) in various modeling formalisms, including compositional Markovian models, hierarchical Markovian models, and stochastic process……続きを見る

Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathem……続きを見る

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the ve……続きを見る

This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequal……続きを見る

This graduate textbook provides a unified view of quantum information theory. Clearly explaining the necessary mathematical basis, it merges key topics from both information-theoretic and quantum- m……続きを見る

This book explains the group representation theory for quantum theory in the language of quantum theory. As is well known, group representation theory is very strong tool for quantum theory, in part……続きを見る

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available……続きを見る

This book begins with a concentrated introduction into deterministic global optimization and moves forward to present new original results from the authors who are well known experts in the field. M……続きを見る

This book investigates tropospheric delays, one of the main error sources in Global Navigation Satellite Systems (GNSS), and its impact plays a crucial role in near real-time weather forecasting. Ac……続きを見る

From those who read a poster asking them to join the school’s Number Sense team to the seasoned competitor eyeing State medals, this book serves as a guide and as inspiration, to not only pique inte……続きを見る

The book describes several techniques used to bridge the semantic gap and reflects on recent advancements in content-based image retrieval (CBIR). It presents insights into and the theoretical found……続きを見る

This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on mul……続きを見る

Explore powerful R packages to create predictive models using ensemble methods Key Features Implement machine learning algorithms to build ensemble-efficient models Explore powerful R packages to c……続きを見る

This book provides the basis of a formal language and explores its possibilities in the characterization of multiplex networks. Armed with the formalism developed, the authors define structural metr……続きを見る

This book shows machine learning enthusiasts and practitioners how to get the best of both worlds by deriving Fisher kernels from deep learning models. In addition, the book shares insight on how to……続きを見る

Implement state-of-the-art deep reinforcement learning algorithms using Python and its powerful libraries Key Features Implement Q-learning and Markov models with Python and OpenAI Explore the powe……続きを見る

This book offers a comprehensive and accessible exposition of Euclidean Distance Matrices (EDMs) and rigidity theory of bar-and-joint frameworks. It is based on the one-to-one correspondence between……続きを見る

The vast amounts of ontologically unstructured information on the Web, including HTML, XML and JSON documents, natural language documents, tweets, blogs, markups, and even structured documents like ……続きを見る

This thesis devotes three introductory chapters to outlining basic recipes for constructing the quantum Hamiltonian of an arbitrary superconducting circuit, starting from classical circuit design. S……続きを見る

This introductory book equips the reader to apply the core concepts and methods of network reliability analysis to real-life problems. It explains the modeling and critical analysis of systems and p……続きを見る

This book addresses a broad community of physicists, engineers, computer scientists and industry professionals, as well as the general public, who are aware of the unprecedented media hype surroundi……続きを見る

This book offers a holistic framework to study behavior and evolutionary dynamics in large-scale, decentralized, and heterogeneous crowd networks. In the emerging crowd cyber-ecosystems, millions of……続きを見る

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theo……続きを見る