The techniques presented here are useful for solving mathematical contest problems in algebra and analysis. Most of the examples and exercises that appear in the book originate from mathematical Olympiad competitions around the world. In the first four chapters the authors cover material for competitions at high school level. The level advances with the chapters. The topics explored include po…
This book combines issues several critical ones in the energy field (low-energy technologies, renewable energies such as the hydrogen economy, and geothermal energy). Moving towards a more sustainable world requires a complete revolution in the way we manage energy and resources. However, from an academic perspective, this theme is so broad that most educators and researchers tend to focus o…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
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…