Thomas Falkner (1707–84), one-time pupil of both Richard Mead and Isaac Newton, was an English Jesuit missionary who lived for nearly forty years in South America until 1767, when he returned to England following the Jesuits' expulsion from Córdoba. Originally published in 1774 in the hope that it 'might be of some public utility, and might also afford some amusement to the curious', this is…
Sir Robert Hermann Schomburgk (1804–1865) was a German-born surveyor and traveller. In 1835–1839 he explored British Guiana for the Royal Geographical Society. In 1840 he was appointed to define its boundaries with Brazil, as Brazilian encroachments were wiping out native tribes. His report to the Colonial Office was published as A Description of British Guiana, Geographical and Statistical…
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 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 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 …
This book documents the state of the art in the use of remote sensing to address time-sensitive information requirements. Specifically, it brings together a group of authors who are both researchers and practitioners, who work toward or are currently using remote sensing to address time-sensitive information requirements with the goal of advancing the effective use of remote sensing to supply t…
This master’s thesis presents a novel approach to finding trajectories with minimal end time for kinematically redundant manipulators. Emphasis is given to a general applicability of the developed method to industrial tasks such as gluing or welding. Minimum-time trajectories may yield economic advantages as a shorter trajectory duration results in a lower task cycle time. Whereas kinematical…
This book explores time use, time policy, well-being and sustainable development using concepts and findings from time policy research, socio-ecological sustainability research, behavioral economics, consumer research, and research into prosperity and "the good life". Because any change in time structures, whether opening or working hours, school or travel times, has large scale impacts on…