Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.
Three-Phase AC-AC Power Converters Based On Matrix Converter Topology: Matrix-reactance frequency converters concept presents a review of power frequency converters, with special attention paid to converters without DC energy storage.
This important text/reference presents the latest secure and privacy-compliant techniques in automatic human recognition. Featuring viewpoints from an international... Læs mere
Design and Management of Sustainable Built Environments will be of interest to urban and building designers, environmental engineers, and building performance assessors.
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
Nonlinear Stochastic Processes addresses the frequently-encountered problem of incomplete information. Divided into three parts, the text begins with a focus on H8 filtering and control problems associated with general classes of nonlinear stochastic discrete-time systems.
Fully revised and updated, this much-anticipated new edition reviews a range of triangulation-based methods, including linear and bundle adjustment... Læs mere
Modeling Biomolecular Networks in Cells shows how the interaction between the molecular components of basic living organisms can be modelled mathematically and the models used to create artificial biological entities within cells.
Part II studies some special ciphers including the security of mobile phones, RC4 and related ciphers, the eStream project and the blum-blum-shub generator and related ciphers.
Much debate has been given as to whether computer security is improved through the full disclosure of security vulnerabilities versus keeping the problems private and unspoken.
The purpose of this book is to present a self-contained description of the fun damentals of the theory of nonlinear control systems, with special emphasis on the differential geometric approach.
Stabilization of Navier–Stokes Flows presents recent notable progress in the mathematical theory of stabilization of Newtonian fluid flows.