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…
Chemistry is the study of matter, including its composition, its structure, its physical properties, and its reactivity. Although there are many ways to study chemistry, traditionally we divide it into ve areas: organic chemistry, inorganic chemistry, biochemistry, physical chemistry, and analytical chemistry. is division is historical and, perhaps, arbitrary, as suggested by current interes…
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 contains the proceedings of the 10th FSR, (Field and Service Robotics) which is the leading single-track conference on applications of robotics in challenging environments. The 10th FSR was held in Toronto, Canada from 23-26 June 2015. The book contains 42 full-length, peer-reviewed papers organized into a variety of topics: Aquatic, Vision, Planetary, Aerial, Underground, and Syste…
An International Advisory Board recently met in Tokyo with the overarching goal of assessing the impact of satellite earth observation on society and policy. A series of roundtable discussions invited perspectives from experts to understand how Earth observations contribute to environmental and other policymaking, and how space agencies establish links between their programs, scientific advan…
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.
Drawing on an array of archival evidence from court records to the poems of Chaucer, this work explores how medieval thinkers understood economic activity, how their ideas were transmitted and the extent to which they were accepted. Moving beyond the impersonal operations of an economy to its ethical dimension, Hole socio-cultural study considers not only the ideas and beliefs of theologians an…
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…