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 variation.Provides a comprehensive guide to optimization and robustness for probabilistic design.Features examples, case studies and exercises throughout.The methods presented can be applied to a wide range of disciplines such as mechanics, ele...

An essential introduction to discrete and computational geometryDiscrete geometry is a relatively new development in pure mathematics, while computational geometry is an emerging area in applications-driven computer science. Their intermingling has yielded exciting advances in recent years, yet what has been lacking until now is an undergraduate textbook that bridges the gap between the two. Discrete and Computational Geometry offers a comprehensive yet ac...

Rooted in a pedagogically successful problem-solving approach to linear algebra, this work fills a gap in the literature that is sharply divided between, on the one end, elementary texts with only limited exercises and examples, and, at the other end, books too advanced in prerequisites and too specialized in focus to appeal to a wide audience. Instead, it clearly develops the theoretical foundations of vector spaces, linear equations, matrix algebra, eigenvectors, and orthogonality, while...

Bridges combinatorics and probability and uniquely includes detailed formulas and proofs to promote mathematical thinkingCombinatorics: An Introduction introduces readers to counting combinatorics, offers examples that feature unique approaches and ideas, and presents case-by-case methods for solving problems.Detailing how combinatorial problems arise in many areas of pure mathematics, most notably in algebra, probability theory, topology, and geom...

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical ex...

This book presents an in-depth review of the state of the art of cyber-physical systems (CPS) and their applications. Relevant case studies are also provided, to help the reader to master the interdisciplinary material. Features: includes self-test exercises in each chapter, together with a glossary; offers a variety of teaching support materials at an associated website, including a comprehensive set of slides and lecture videos; presents a brief overview of the study of systems, and embe...

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Swarm Intelligence Based Optimization, ICSIBO 2016, held in Mulhouse, France, in June 2016. The 9 full papers presented were carefully reviewed and selected from 20 submissions. They are centered around the following topics: theoretical advances of swarm intelligence metaheuristics; combinatorial discrete, binary, constrained, multi-objective, multi-modal, dynamic, noisy, and...

The BIRS Workshop “Advances in Interactive Knowledge Discovery and Data Mining in Complex and Big Data Sets” (15w2181), held in July 2015 in Banff, Canada, was dedicated to stimulating a cross-domain integrative machine-learning approach and appraisal of “hot topics” toward tackling the grand challenge of reaching a level of useful and useable computational intelligence with a focus on real-world problems, such as in the health domain. This encompasses learning from prior data, extracting ...

In honor of the work of Professor Shunji Osaki, Stochastic Reliability and Maintenance Modeling provides a comprehensive study of the legacy of and ongoing research in stochastic reliability and maintenance modeling. Including associated application areas such as dependable computing, performance evaluation, software engineering, communication engineering, distinguished researchers review and build on the contributions over the last four decades by Professor Shunji Osaki.F...

Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning Boolean network topology – fixed points, cycles, transient times and basins of attractors – can ...

This textbook is a thorough, accessible introduction to advanced digital Fourier analysis for advanced students. Assuming knowledge of the Fast Fourier Transform, this book covers advanced topics including the Hilbert transform, cepstrum analysis and the two-dimensional Fourier transform.Saturated with clear, coherent illustrations, "Digital Fourier Analysis: Volume 2" includes practice problems and thorough Appendices. As a central feature, the book includes interactive applets (a...

This book constitutes the refereed proceedings of the 28th Australasian Joint Conference on Artificial Intelligence, AI 2015, held in Canberra, Australia, in November/December 2015.The 39 full papers and 18 short papers presented were carefully reviewed and selected from 102 submissions.