This book addresses the fundamental concepts in the theory and practice of visual cryptography. The design, construction, analysis, and application of visual cryptography schemes (VCSs) are discussed in detail. Original, cutting-edge research is presented on probabilistic, size invariant, threshold, concolorous, and cheating immune VCS. This updated second edition has also been expanded with ne…
The interdisciplinary research and development work carried out in the last ten years which is presented in this book aimed at replacing the conventional airport control tower by a new “remote tower operation” work environment (RTO) which should enhance work efficiency and safety and reduce costs. This revolutionary human–system interface allows for remote aerodrome traffic control withou…
In this book methods from Operations Research and Game Theory are used to determine companies’ profit-maximizing strategies related to pricing and (cooperative) advertising. It considers different supply chain structures as well as various distributions of power, making it possible to analyze both inter-echelon and intra-echelon dependencies between the companies’ decisions. Additionally, a…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
This book investigates several duality approaches for vector optimization problems, while also comparing them. Special attention is paid to duality for linear vector optimization problems, for which a vector dual that avoids the shortcomings of the classical ones is proposed. Moreover, the book addresses different efficiency concepts for vector optimization problems. Among the problems that app…
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
This book addresses the vector control of three-phase AC machines, in particular induction motors with squirrel-cage rotors (IM), permanent magnet synchronous motors (PMSM) and doubly-fed induction machines (DFIM), from a practical design and development perspective. The main focus is on the application of IM and PMSM in electrical drive systems, where field-orientated control has been successf…
This edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises resear…
This monograph is the first book-length treatment of valuation theory on finite-dimensional division algebras, a subject of active and substantial research over the last forty years. Its development was spurred in the last decades of the twentieth century by important advances such as Amitsur's construction of non crossed products and Platonov's solution of the Tannaka-Artin problem. This st…
Technology, a word that emerged historically first to denote the study of any art or technique, has come, in modernity, to describe advanced machines, industrial systems, and media. McCutcheon argues that it is Mary Shelley’s 1818 novel Frankenstein that effectively reinvented the meaning of the word for modern English. It was then Marshall McLuhan’s media theory and its adaptations in Cana…