This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-bas…
This book covers the basics of numerical methods, while avoiding the definition-theorem-proof style and instead focusing on numerical examples and simple pseudo-codes. The book is divided into ten chapters. Starting with floating number calculations and continuing up to ordinary differential equations, including "Euler backwards". The final chapter discusses practical error estimations. Exe…
This handbook focuses on the entire development process of biomedical microsystems that promote special interactions with cells. Fundamentals of cell biology and mechanobiology are described as necessary preparatory input for design tasks. Advanced design, simulation, and micro/nanomanufacturing resources, whose combined use enables the development of biomedical microsystems capable of interact…
Model Validation and Uncertainty Quantifi cation, Volume 3. Proceedings of the 34th IMAC, A Conference and Exposition on Dynamics of Multiphysical Systems: From Active Materials to Vibroacoustics, 2016, the third volume of ten from the Conference brings together contributions to this important area of research and engineering. Th e collection presents early findings and case studies on fundamen…
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…