Introductory...

While previously available methodologies for software – like those published in the early days of object technology – claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically have individual characteristics and situations. Thus, finding the most...

The geography of networks and R&D collaborations, in particular the spatial dimension of interactions between organisations performing joint R&D, have attracted a burst of attention in the last decade, both in the scientific study of the networks and in the policy sector. The volume is intended to bring together a selection of...

The use of ultrasound guidance to perform diagnostic and therapeutic injections is growing at a rapid rate, as is the evidence to support its use. Even with the increased popularity of ultrasound, there remains a lack of formal training or a standard reference book. Atlas of Ultrasound Guided Musculoskeletal Injections fills this void...

Metadata standards in today’s ICT sector are proliferating at unprecedented levels, while automated information management systems collect and process exponentially increasing quantities of data. With interoperability and knowledge exchange identified as a core challenge in the sector, this book examines the role ontology engineering...

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical...

The book aims at presenting technical and financial features of life insurance, non-life insurance, pension plans. The book has been planned assuming non-actuarial readers as its "natural" target, namely - advanced undergraduate and graduate students in Economics, Business and Finance; - professionals and technicians operating in...

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and...

The Physical Nature of Consciousness contains twelve chapters that discuss recent and new perspectives on the relation between modern physics and consciousness.
Stuart Hameroff opens with an extended and updated exposition of the Penrose/Hameroff Orch-OR model, and subsequently addresses recent criticisms of quantum approaches...

Despite tremendous advances in the understanding of the sensory nervous system which have accompanied the recent explosive growth of the neurosciences, rema- ably few innovative medicines directed towards pain and inflammation are ava- able. Indeed, many patients are still prescribed analgesic and anti-inflammatory medications that were...