This book explores near-threshold computing (NTC), a design-space using techniques to run digital chips (processors) near the lowest possible voltage. Readers will be enabled with specific techniques to design chips that are extremely robust; tolerating variability and resilient against errors. Variability-aware voltage and frequency allocation schemes will be presented that will provide perfor…
This volume is devoted to the study of the Navier–Stokes equations, providing a comprehensive reference for a range of applications: from advanced undergraduate students to engineers and professional mathematicians involved in research on fluid mechanics, dynamical systems, and mathematical modeling. Equipped with only a basic knowledge of calculus, functional analysis, and partial differenti…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
The book presents recent advances in nature-inspired computing, giving a special emphasis to control systems applications. It reviews different techniques used for simulating physical, chemical, biological or social phenomena at the purpose of designing robust, predictive and adaptive control strategies. The book is a collection of several contributions, covering either more general approaches …
The book is an outcome of research work in the areas of nanotechnology, interfacial science, nano- and micro-fluidics and manufacturing, soft matter, and transport phenomena at nano- and micro-scales. The contributing authors represent prominent research groups from Indian Institute of Technology Bombay, Indian Institute of Technology Kanpur and Indian Institute of Science, Bangalore. The book …
This book gives a comprehensive overview of electrochemical-based biosensors and their crucial components. Practical examples are given throughout the text to illustrate how the performance of electrochemical-based biosensors can be improved by nanoscale surface modification and how an optimal design can be achieved. All essential aspects of biosensors are considered, including electrode functi…
This book is the first of its kind to offer a comprehensive and up-to-date discussion of the use of nanoscale materials for biomedical applications, with a particular focus on drug delivery, theragnosis and tissue regeneration. It also describes in detail the methods used in the preparation of nanoparticles. Response of nanoparticles in biological systems are also explored. Nanotechnology ha…
This book presents research dedicated to solving scientific and technological problems in many areas of electronics, photonics and renewable energy. Progress in information and renewable energy technologies requires miniaturization of devices and reduction of costs, energy and material consumption. The latest generation of electronic devices is now approaching nanometer scale dimensions; new ma…
Presenting a state-of-the-art overview of theoretical and computational models that link characteristic biomechanical phenomena, this book provides guidelines and examples for creating multiscale models in representative systems and organisms. It develops the reader's understanding of and intuition for multiscale phenomena in biomechanics and mechanobiology, and introduces a mathematical framew…
This book presents some of the latest achievements in nanotechnology and nanomaterials from leading researchers in Ukraine, Europe, and beyond. It features contributions from participants in the 2nd International Summer School “Nanotechnology: From Fundamental Research to Innovations” and International Research and Practice Conference “Nanotechnology and Nanomaterials”, NANO-2013, which…