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 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 …
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 book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characterist…
This book presents multivariate time series methods for the analysis and optimal control of feedback systems. Although ships’ autopilot systems are considered through the entire book, the methods set forth in this book can be applied to many other complicated, large, or noisy feedback control systems for which it is difficult to derive a model of the entire system based on theory in that subj…
This volume presents selected peer-reviewed contributions from The International Work-Conference on Time Series, ITISE 2015, held in Granada, Spain, July 1-3, 2015. It discusses topics in time series analysis and forecasting, advanced methods and online learning in time series, high-dimensional and complex/big data time series as well as forecasting in real problems. The International Work-C…
This book provides an up-to-date review of the use of thrombolytic therapy in the treatment of acute pulmonary embolism. It discusses the mechanisms of thrombosis; pharmacokinetics and pharmacodynamics of the most commonly used fibrinolytics; evidence-based results from multicenter control trials in which thrombolytic treatment was administered; criteria by which pulmonary embolism patients req…
This volume is a unique combination of papers that cover critical topics in biostatistics from academic, government, and industry perspectives. The 6 sections cover Bayesian methods in biomedical research; Diagnostic medicine and classification; Innovative Clinical Trials Design; Modelling and Data Analysis; Personalized Medicine; and Statistical Genomics. The real world applications are in cli…
Twenty years after the outbreak of the threat posed by international jihadist terrorism, which triggered the need for democracies to balance fundamental rights and security needs, 9/11 and the Rise of Global Anti-Terrorism Law offers an overview of counter-terrorism and of the interplay among the main actors involved in the field since 2001. This book aims to give a picture of the complex and e…