This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
This Brief presents a historical overview of the Förster-type nonradiative energy transfer and a compilation of important progress in FRET research, starting from Förster until today, along with a summary of the current state-of-the-art. Here the objective is to provide the reader with a complete account of important milestones in FRET studies and FRET applications as well as a picture of the…
Drawing on data generated by the EU’s Interests and Recruitment in Science (IRIS) project, this volume examines the issue of young people’s participation in science, technology, engineering and mathematics education. With an especial focus on female participation, the chapters offer analysis deploying varied theoretical frameworks, including sociology, social psychology and gender studies. …
Providing many unique MATLAB codes and functions throughout, this book covers the basics of Magnetic Resonance Imaging (MRI), leading to an in-depth understanding of the concepts and tools required for analysis and interpretation of Phase Contrast MR Angiography (PC-MRA). The concept of PC-MRA is often difficult, but essential for practicing engineers and scientists working in MR related areas.…
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
Addressing the origin, current status, and future development of point-of-care diagnostics, and serving to integrate knowledge and tools from Analytical Chemistry, Bioengineering, Biomaterials, and Nanotechnology, this book focusses on addressing the collective and combined needs of industry and academia (including medical schools) to effectively conduct interdisciplinary research. In additi…
This thesis deals with the development of a model-based adaptive test design strategy with a focus on steady-state combustion engine calibration. The first research topic investigates the question how to handle limits in the input domain during an adaptive test design procedure. The second area of scope aims at identifying the test design method providing the best model quality improvement in t…
This book addresses the gap between the widespread use of stock market multiples in valuation practice and the frontiers of research on multiples. The book's approach is twofold: the authors first analyse the performance of multiples metrics in predicting the market price of a set of liquid and highly traded US stocks. The authors then employ these results to test profitable stock purchasing st…
The work reported in this book represents an excellent example of how creative experimentation and technology development, complemented by computational data analysis, can yield important insights that further our understanding of biological entities from a systems perspective. The book describes how the study of a single RNA-binding protein and its interaction sites led to the development of t…
Maximising reader insights into the theory, models, methods and fundamental reasoning of design, this book addresses design activities in industrial settings, as well as the actors involved. This approach offers readers a new understanding of design activities and related functions, properties and dispositions. Presenting a 'design mindset' that seeks to empower students, researchers, and pract…