This monograph presents results of the analytical and numerical modeling of convective heat and mass transfer in different rotating flows caused by (i) system rotation, (ii) swirl flows due to swirl generators, and (iii) surface curvature in turns and bends. Volume forces (i.e. centrifugal and Coriolis forces), which influence the flow pattern, emerge in all of these rotating flows. The main pa…
For the first time, a textbook that brings together classical predictive control with treatment of up-to-date robust and stochastic techniques. Model Predictive Control describes the development of tractable algorithms for uncertain, stochastic, constrained systems. The starting point is classical predictive control and the appropriate formulation of performance objectives and constraints to…
This book covers the state-of-the-art research on molecular biology assays and molecular techniques enabled or enhanced by microfluidic platforms. Topics covered include microfluidic methods for cellular separations and single cell studies, droplet-based approaches to study protein expression and forensics, and microfluidic in situ hybridization for RNA analysis. Key molecular biology studies u…
This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exponentials, and the trigonometric functions). Both hardware- and software-oriented algorithms are included, along with issues related to accurate floating-point implementation. This third edition has been updated and expanded to incorpo…
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
Innovative processes for the development of products and services are more and more considered as an organisational capability, which is recognised to be increasingly important for business success in today’s competitive environment. However, management and academia need a more profound understanding of these processes and to develop improved management approaches to exploit such business pot…
This book offers readers cutting-edge research at the interface of polymer science and engineering, biomedical engineering, materials science, and biology. State-of-the-art developments in microscale technologies for cell engineering applications are covered, including technologies relevant to both pluripotent and adult stem cells, the immune system, and somatic cells of the animal and human or…
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
This book comprises peer-reviewed contributions presented at the 5th International Conference on Electronics, Communications and Networks (CECNet 2015), held in Shanghai, China, 12-15 December, 2015. It includes new multi-disciplinary topics spanning a unique depth and breadth of cutting-edge research areas in Electronic Engineering, Communications and Networks, and Computer Technology. More ge…
This book investigates the potential medical benefits natural biomaterials can offer in developing countries by analyzing the case of Bolivia. The book explores the medical and health related applications of Bolivian commodities: quinoa, barley, sugarcane, corn, sorghum and sunflower seeds. This book helps readers better understand some of the key health concerns facing countries like Bolivia a…