This book provides an update of recent advances in the basic and clinical applications of cell-based therapies for myocardial repair and regeneration in ischemic heart disease (IHD) and heart failure (HF). The first sections of the book illuminate basic aspects of stem cells such as definitions, isolation criteria and characterization of embryonic and adult stem cells, as well as pluripotent st…
This book should serve as a resource for professionals in all fields regarding diagnosis, management, and counseling of patients with FXTAS, FXPOI and their families, as well as presenting the molecular basis for disease that may lead to the identification of new markers to predict disease risk and eventually lead to target treatments. The book will present information on all aspects of FXTA…
This textbook provides a coherent introduction to the main concepts and methods of one-parameter statistical inference. Intended for students of Mathematics taking their first course in Statistics, the focus is on Statistics for Mathematicians rather than on Mathematical Statistics. The goal is not to focus on the mathematical/theoretical aspects of the subject, but rather to provide an introdu…
The implementation of open access policies in Europe is a socio-technical undertaking whereby a wide range of stakeholders work together to bring out the benefits of open access for European and global research. This work provides a unique overview of national awareness of open access in 32 European countries involving all EU member states and in addition, Norway, Iceland, Croatia, Switzerland …
This book introduces the concepts of soft errors in FPGAs, as well as the motivation for using commercial, off-the-shelf (COTS) FPGAs in mission-critical and remote applications, such as aerospace. The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques that can be applied in these circuits, as well as methods for qualifying these circuits…
This book describes best practices for successful FPGA design. It is the result of the author’s meetings with hundreds of customers on the challenges facing each of their FPGA design teams. By gaining an understanding into their design environments, processes, what works and what does not work, key areas of concern in implementing system designs have been identified and a recommended design m…
This book covers the latest approaches and results from reconfigurable computing architectures employed in the finance domain. So-called field-programmable gate arrays (FPGAs) have already shown to outperform standard CPU- and GPU-based computing architectures by far, saving up to 99% of energy depending on the compute tasks. Renowned authors from financial mathematics, computer architecture an…
This book offers a thorough and systematic introduction to the modified failure mode and effect analysis (FMEA) models based on uncertainty theories (e.g. fuzzy logic, intuitionistic fuzzy sets, D numbers and 2-tuple linguistic variables) and various multi-criteria decision making (MCDM) approaches such as distance-based MCDM, compromise ranking MCDM and hybrid MCDM, etc. As such, it provides e…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
What are the causes and consequences of species diversity in forested ecosystems, and how is this species diversity being affected by rapid environmental and climatic change, movement of invertebrate and vertebrate herbivores into new biogeographic regions, and expanding human populations and associated shifts in land-use patterns? In this book, we explore these questions for assemblages of for…