Homomorphic signature schemes are an important primitive for many applications and since their introduction numerous solutions have been presented. Thus, in this work we provide the first exhaustive,
Totally Integrated Automation is the concept by means of which SIMATIC controls machines, manufacturing systems and technical processes. Taking the example of the SIMATIC S7 programmable controller, t
For junior/senior undergraduate and first-year graduate courses in Operations Research in departments of Industrial Engineering, Business Administration, Statistics, Computer Science, and Mathematics.
Whereas power systems have traditionally been designed with a focus on protecting them from routine component failures and atypical user demand, we now also confront the fact that deliberate attack in
Universal codes efficiently compress sequences generated by stationary and ergodic sources with unknown statistics, and they were originally designed for lossless data compression. In the meantime,&nb
The chapters in this book originate from the research work and contributions presented at the Sixth International Symposium on Recurrence Plots held in Grenoble, France in June 2015. Scientists from n
Using the theory of impulsive differential equations, this book focuses on mathematical models which reflect current research in biology, population dynamics, neural networks and economics. The author
With contributions from a number of pioneering researchers in the field, this collection is aimed not only at researchers and scientists in nonlinear dynamics but also at a broader audience interested
This work contains a selection of the contributions presented at the European Conference on Complex Systems meeting of 2014 and its satellite meetings. Its contents reflect the ext
Science's conventional understanding of environment as an inert material resource underlies our unwillingness to acknowledge the military-industrial role in ongoing ecological catastrophes. In a cruci
Science's conventional understanding of environment as an inert material resource underlies our unwillingness to acknowledge the military-industrial role in ongoing ecological catastrophes. In a cruci
This work gathers international contributors in computer science, information systems, telecommunication engineering, and information technology to present the latest research in complex network analy
This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a
This book comprehensively presents the computational design of rolling bearings dealing with many interdisciplinary difficult working fields. They encompass elastohydrodynamics (EHD), Hertzian contact
The central theme of this book is the extent to which the structure of the free dynamical boundaries of a system controls the evolution of the system as a whole. Applying three orthogonal types of thi
This book not only explores the ways in which the economic crisis and associated austerity policies have impacted adversely on the physical and human infrastructure and the conduct of scientific resea
This set of lectures notes and tutorial reviews, edited and authored by some of the pioneers of the novel methods described, is meant to be a textbook-like introduction and review of modern chaos dete
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties. More specifi
Modeling, Simulation, and Visualization Methods is a compendium of articles and papers that were presented at MSV '15, an international conference that serves researchers, scholars, professionals, stu
Design structure matrix (DSM) is a straightforward and flexible modeling technique that can be used for designing, developing, and managing complex systems. DSM offers network modeling tools that repr