Certified Programming with Dependent Types
The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes ...
Scaling of Differential Equations
The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical...
Sensitivity Analysis: Matrix Methods in Demography and Ecology
This book shows how to use sensitivity analysis in demography. It presents new methods for individuals, cohorts, and populations, with applications to humans, other animals, and plants. The analyses are based on matrix formulations of age-classified, stage-classified, and multistate population models. Methods are presented for linear and nonlinear,...
Managing Risk and Information Security
Managing Risk and Information Security: Protect to Enable, an ApressOpen title, describes the changing risk environment and why a fresh approach to information security is needed. Because almost every aspect of an enterprise is now dependent on technology, the focus of IT security must shift from locking down assets to enabling the business while m...
Innovative Medicine
This book is devoted to innovative medicine, comprising the proceedings of the Uehara Memorial Foundation Symposium 2014. It remains extremely rare for the findings of basic research to be developed into clinical applications, and it takes a long time for the process to be achieved. The task of advancing the development of basic research into clini...
Determinants of Financial Development
A PDF version of this book is available for free in open access via the OAPEN Library platform, www.oapen.org. This book examines the emergence of both financial markets and carbon markets, and provides an in-depth investigation on the fundamental determinants of financial development....
Managing Risk and Information Security
Examine the evolving enterprise security landscape and discover how to manage and survive risk. While based primarily on the author's experience and insights at major companies where he has served as CISO and CSPO, the book also includes many examples from other well-known companies and provides guidance for a management-level audience. Managing...
Wetlands and Water Framework Directive
This book compares the lessons learned from a wetland-perspective approach to the changing climate and the requirements of the Water Framework Directive (WFD) with regard to environmental conservation. Examples from Germany and Poland are discussed due to the efficiency of their respective implementations of water conservation policies. Although th...
Innovation Capacity and the City
This free book represents one of the key milestones of DESIGNSCAPES, an H2020 CSA (Coordination and Support Action) research project funded by the European Commission under the Call "User-driven innovation: value creation through design-enabled innovation". The book demonstrates that adopting design allows us to embed innovation within th...
Medical Imaging Systems
This book gives a complete and comprehensive introduction to the fields of medical imaging systems, as designed for a broad range of applications. The authors of the book first explain the foundations of system theory and image processing, before highlighting several modalities in a dedicated chapter. The initial focus is on modalities that are clo...
High Density Lipoproteins
In this Handbook of Experimental Pharmacology on "High Density Lipoproteins – from biological understanding to clinical exploitation" contributing authors (members of COST Action BM0904/HDLnet) summarize in more than 20 chapters our current knowledge on the structure, function, metabolism and regulation of HDL in health and several dise...
Stochastics of Environmental and Financial Economics
These Proceedings offer a selection of peer-reviewed research and survey papers by some of the foremost international researchers in the fields of finance, energy, stochastics and risk, who present their latest findings on topical problems. The papers cover the areas of stochastic modeling in energy and financial markets; risk management with envir...
Sexual Reproduction in Animals and Plants
This book contains the proceedings of the International Symposium on the Mechanisms of Sexual Reproduction in Animals and Plants, where many plant and animal reproductive biologists gathered to discuss their recent progress in investigating the shared mechanisms and factors involved in sexual reproduction. This now is the first book that reviews re...
Nicotinic Acetylcholine Receptor Signaling in Neuroprotection
This book presents the roles and mechanisms of signal transduction triggered by nicotinic acetylcholine receptors (nAChRs) stimulation in neuroprotection against toxic effects of risk factors of neurodegenerative diseases. Accumulating evidence suggests that nAChRs in the CNS play important roles not only in excitatory neurotransmission but also in...
Agency and Causal Explanation in Economics
This open access book provides an exploration of the consequences of the ontological differences between natural and social objects (sometimes described as objects of nature and objects of thought) in the workings of causal and agency relationships. One of its important and possibly original conclusions is that causal and agency relationships do no...
Conventions 101
This is a collection of cumulative units of study for conventional errors common in student writing. It's flexible, functional, and zeroes in problems typically seen in writing of all types, from the eternal "there/they're/their" struggle to correct colon use. Units are organized from most simple to most challenging. There are tens of ...
Research Methods in Psychology
A comprehensive open book for research methods classes. A peer-reviewed inter-institutional project....
Database Design
Database Design, 2nd Edition covers database systems and database design concepts. New to this edition are SQL info, additional examples, key terms and review exercises at the end of each chapter. Topics include:The history of databases; Characteristics and benefits of databases; Data models; Data modelling; Classification of database management...
Guide to Computer Network Security
This definitive text/reference on computer network and information security presents a comprehensive guide to the repertoire of security tools, algorithms and best practices mandated by the rapidly evolving ubiquitous technology we are increasingly dependent on. Fully revised and updated, this timely new edition encompasses the latest developments ...
A Concise Guide to Market Research
This book offers an easily accessible and comprehensive guide to the entire market research process, from asking market research questions to collecting and analyzing data by means of quantitative methods. It is intended for all readers who wish to know more about the market research process, data management, and the most commonly used methods in m...
C++ Notes for Professionals
The C++ Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
Software Innovation
Innovation is the forgotten key to modern systems development - the element that defines the enterprising engineer, the thriving software firm and the cutting edge software application. Traditional forms of technical education pay little attention to creativity - often encouraging overly rationalistic ways of thinking which stifle the ability to in...