This monograph illustrates important notions in security reductions and essential techniques in security reductions for group-based cryptosystems. Using digital signatures and encryption as examples,
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 metric
This volume consists of selected essays by participants of the workshop Control at Large Scales: Energy Markets and Responsive Grids held at the Institute for Mathematics and its Applic
The book examines the performance and optimization of systems where queueing and congestion are important constructs. Both finite and infinite queueing systems are examined. Many examples and ca
This book is about the mechanisms of wealth creation, or what we like to think of as evolutionary "progress." The massive circular flow of goods and services between producers and consumers is not a p
This book on modeling, simulation and design optimization deals with the latest technologies used in the creation, visualization and analysis of a design. Computer software and computer systems are us
In a unified form, this monograph presents fundamental results on the approximation of centralized and decentralized stochastic control problems, with uncountable state, measurement, and action spaces
A guide to common control principles and how they are used to characterize a variety of physiological mechanisms The second edition of Physiological Control Systems offers an updated and comprehensive
Computational materials science is a fast growing field. It involves computational tools for solving problems related to materials science. Different mathematical models are used for developing a bett
With the growing popularity of “big data”, the potential value of personal data has attracted more and more attention. Applications built on personal data can create tremendous social and economic ben
This monograph presents controllability and stabilization methods in control theory that solve parabolic boundary value problems. Starting from foundational questions on Carleman inequalities for line
This book presents a new approach that can be applied to complex, integrated individual and social human processes. It provides an alternative means of addressing complexity, better suited for its pur
In this book the author introduces a novel approach to securing exam systems. He provides an in-depth understanding, useful for studying the security of exams and similar systems, such as public tende
This textbook covers the fundamental theories of signals and systems analysis, while incorporating recent developments from integrated circuits technology into its examples. Starting with basic defini
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2017, held in Rome, Italy, , in Octo
This book presents covert, semi-covert and overt techniques for communication over printed media by modifying images, texts or barcodes within the document. Basic and advanced techniques are disc