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 ...
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...
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,...
Two dramatically different philosophical approaches to classical mechanics were proposed during the 17th - 18th centuries. Newton developed his vectorial formulation that uses time-dependent differential equations of motion to relate vector observables like force and rate of change of momentum. Euler, Lagrange, Hamilton, and Jacobi, developed power...
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...
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...
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....
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.
Man...
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...
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...
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...
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...
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...
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...
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...
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...
For medical and health workers this book is a must-have, because statistical methods in these fields are vital, and no equivalent work is available. For medical and health students this is equally true.A unique point is its low threshold, textually simple and at the same time full of self-assessment opportunities. Other unique points are the succin...
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 ar...
A comprehensive open book for research methods classes. A peer-reviewed inter-institutional project....
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...
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 ...
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...
The C++ Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
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...
C++ is a general-purpose programming language as an extension of the C programming language, or "C with Classes". It is an unofficial and free C++ ebook created for educational purposes. All the content is extracted from Stack Overflow Documentation, which is written by many hardworking individuals at Stack Overflow....
Do alliances curb efforts by states to develop nuclear weapons? Atomic Assurance looks at what makes alliances sufficiently credible to prevent nuclear proliferation; how alliances can break down and so encourage nuclear proliferation; and whether security guarantors like the United States can use alliance ties to end the nuclear efforts of their a...
The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for...
This open book, edited and authored by a team of world-leading researchers, provides a broad overview of advanced photonic methods for nanoscale visualization, as well as describing a range of fascinating in-depth studies. Introductory chapters cover the most relevant physics and basic methods that young researchers need to master in order to work ...
How To Do Science has been written for students of the life sciences who are actively engaged in the scientific process. This guide introduces you to what it means to be a scientist. You will learn about the scientific method and how to carry out many tasks of a scientist, including: designing experiments, visualising data, accessing scientific lit...