Modern imaging techniques and computational simulations yield complex multi-valued data that require higher-order mathematical descriptors. This book addresses topics of importance when dealing with such data, including frameworks for image processing, visualization and statistical analysis of higher-order descriptors. It also provides examples of the successful use of higher-order descriptors …
In this fully updated second edition, award-winning author Tim Leung explains how to build data-centric business applications for the desktop, cloud, web, and mobile devices in just a few clicks—with no code required—using Visual Studio Lightswitch 2015. This book explains the basics of Visual Studio Lightswitch 2015 plus new features and key advanced topics that every Microsoft developer n…
This book discusses the characteristics of virtualized cloud networking, identifies the requirements of cloud network management, and illustrates the challenges in deploying virtual clusters in multi-tenant cloud data centers. The book also introduces network partitioning techniques to provide contention-free allocation, topology-invariant reallocation, and highly efficient resource utilization…
This three-volume book gives a thorough and comprehensive presentation of vibration and acoustic theories. Different from traditional textbooks which typically deal with some aspects of either acoustic or vibration problems, it is unique of this book to combine those two correlated subjects together. Moreover, it provides fundamental analysis and mathematical descriptions for several crucial ph…
The VETOMAC-X Conference covered a holistic plethora of relevant topics in vibration and engineering technology including condition monitoring, machinery and structural dynamics, rotor dynamics, experimental techniques, finite element model updating, industrial case studies, vibration control and energy harvesting, and signal processing. These proceedings contain not only all of the nearly o…
This work provides an overview of a posteriori error assessment techniques for Finite Element (FE) based numerical models. These tools aim at estimating and controlling the discretization error in scientific computational models, being the basis for the numerical verification of the FE solutions. The text discusses the capabilities and limitations of classical methods to build error estimates w…
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 presents a collection of recent research on building diagnosis techniques related to construction pathology, hygrothermal behavior and durability, and diagnostic techniques. It highlights recent advances and new developments in the field of building physics, building anomalies in materials and components, new techniques for improved energy efficiency analysis, and diagnosis techniques…
The inventive process is the most important driver of economic growth. Venture capital (VC) funds have contributed a small, but critical, part to the inventive process. VC funds boost the inventive process by selecting a small number of radical ideas out a large flow of ideas and invest in their testing, development and commercialization. They bring together capital from general savings, manage…
This book presents vehicular ad-hoc networks (VANETs) from the their onset, gradually going into technical details, providing a clear understanding of both theoretical foundations and more practical investigation. The editors gathered top-ranking authors to provide comprehensiveness and timely content; the invited authors were carefully selected from a list of who’s who in the respective fiel…