High Performance Computing (HPC) remains a driver that offers huge potentials and benefits for science and society. However, a profound understanding of the computational matters and specialized software is needed to arrive at effective and efficient simulations. Dedicated software tools are important parts of the HPC software landscape, and support application developers. Even though a tool is…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
This book is an exploration of tools and mathematics and issues in mathematics education related to tool use. The book has five parts. The first part reflects on doing a mathematical task with different tools, followed by a mathematician's account of tool use in his work. The second considers prehistory and history: tools in the development from ape to human; tools and mathematics in the ancien…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
The March 11 disaster in 2011, known as the Great East Japan Earthquake and Tsunami, caused extensive damage in various sectors. Through the recovery process, special lessons are being learned and applied in the affected region. This book attempts to draw lessons from different issues and sectors such as policy perspectives (both national and local), the role of international NGOs, fishing indu…
This timely volume explores tissue-derived stem cells, summarizing and evaluating the current body of knowledge. Sixteen chapters cover hematopoietic, osteoblast, skeletal, cardiac, pancreatic, epithelial, corneal, hepatic, renal, testicular, ovarian, fingernail, hair follicle and other stem cells- discussing their individual development, functions and pathologies, as well as the commonalities …
This textbook describes the basic principles of induced organ regeneration in skin and peripheral nerves and extends the original successful paradigm to other organs. A set of trans-organ rules is established and its use in regeneration of several organs is illustrated from the works of several independent investigators who worked with a variety of organs, such as the lung, the bladder, and the…
This book covers the fundamentals of tissue engineering for the heart, starting with the basics of organ generation, sensors in tissue and organ fabrication, and the current state-of-the-art in stem cell engineering for the heart. With this foundation in place, the remaining chapters focus on specific aspects of the cardiovascular system, starting with heart muscle, then biological pumps, follo…
This book argues that development aid in small post-conflict states, particularly in the educational field, benefits from a commitment to a shared vision, fostering co-operative relationships and working within local capacity, credibility, and attentiveness to immediate and longer-term development goals. It uses Timor-Leste as its case study of a faith-based partnership in the development of th…
This book deals with timing attacks on cryptographic ciphers. It describes and analyzes various unintended covert timing channels that are formed when ciphers are executed in microprocessors. The book considers modern superscalar microprocessors which are enabled with features such as multi-threaded, pipelined, parallel, speculative, and out-of order execution. Various timing attack algorithms …