This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and n…
In this book, the authors describe the findings derived from interaction and cooperation between scientific actors employing diverse practices. They reflect on distinct prototyping concepts and examine the transformation of development culture in their fusion to hybrid approaches and solutions. The products of tomorrow are going to be multifunctional, interactive systems – and already are …
Healthcare and well-being have captured the attention of established software companies, start-ups, and investors. Software is starting to play a central role for addressing the problems of the aging society and the escalating cost of healthcare services. Enablers of such digital health are a growing number of sensors for sensing the human body and communication infrastructure for remote meetin…
This book focuses on various topics related to engineering and management of requirements, in particular elicitation, negotiation, prioritisation, and documentation (whether with natural languages or with graphical models). The book provides methods and techniques that help to characterise, in a systematic manner, the requirements of the intended engineering system. It was written with the …
This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. The 23 papers presented together with 1 keynote were carefully reviewed and selected from 62 submissions. The REFSQ'15 conference is organized as a three-day symposium. The REFSQ'15 has chosen…
This book constitutes the proceedings of the second Asia Pacific Requirements Engineering Symposium, APRES 2015, held in Wuhan, China, in October 2015. The 9 full papers presented together with 3 tool demos papers and one short paper, were carefully reviewed and selected from 18 submissions. The papers deal with various aspects of requirements engineering in the big data era, such as automat…
This volume studies electron resonant tunneling in two- and three-dimensional quantum waveguides of variable cross-sections in the time-independent approach. Mathematical models are suggested for the resonant tunneling and develop asymptotic and numerical approaches for investigating the models. Also, schemes are presented for several electronics devices based on the phenomenon of resonant t…
Whether you are a student taking an introductory MEMS course or a practising engineer who needs to get up to speed quickly on MEMS design, this practical guide provides the hands-on experience needed to design, fabricate and test MEMS devices. You will learn how to use foundry multi-project fabrication processes for low-cost MEMS projects, as well as computer-aided design tools (layout, modelin…
Do you need to understand feedback? Perhaps you're a little rusty on theory basics? Dig in to this self-contained guide for an accessible and concise explanation of the fundamentals. Distills the relevant essence of linear system theory, calculus, differential equations, linear algebra, basic physics, numerical methods, and complex analysis, and links them back to an explanation of feedback the…
Computational experiments on algorithms can supplement theoretical analysis by showing what algorithms, implementations and speed-up methods work best for specific machines or problems. This book guides the reader through the nuts and bolts of the major experimental questions: What should I measure? What inputs should I test? How do I analyze the data? To answer these questions the book draws o…