Knowledge of plant names can give insight into largely forgotten beliefs. For example, the common red poppy is known as "Blind Man" due to an old superstitious belief that if the poppy were put to the eyes it would cause blindness. Many plant names derived from superstition, folk lore, or primal beliefs. Other names are purely descriptive and can serve to explain the meaning of the botanical name. For example, Beauty-Berry is the name given to the American shrub that belongs to the genus Callicarpa. Callicarpa is Greek for beautiful fruit. Still other names come from literary sources providing rich detail of the transmission of words through the ages.
Conceived as part of the author's wider interest in plant and tree lore and ethnobotanical studies, this fully revised edition of "Elsevier's Dictionary of Plant Names and Their Origins" contains over 30,000 vernacular and literary English names of plants. Wild and cultivated plants alike are identified by the botanical name. Further detail provides a brief account of the meaning of the name and detailed commentary on common usage.

* Includes color images
* Inclusive of all Latin terms with vernacular derivatives
* The most comprehensive guide for plant scientists, linguists, botanists, and historians

Networking Explained 2E offers a comprehensive overview of computer networking, with new chapters and sections to cover the latest developments in the field, including voice and data wireless networking, multimedia networking, and network convergence.
Gallo and Hancock provide a sophisticated introduction to their subject in a clear, readable format. These two top networking experts answer hundreds of questions about hardware, software, standards, and future directions in network technology.
Wireless networks
Convergence of voice and data
Multimedia networking

This book provides a comprehensive overview of the emotional, behavioral and cognitive characteristics of adolescents who have attempted suicide. Each chapter opens with a case study vignette from the author's extensive clinical files followed by a summary of the empirical literature. Assessment and treatment practices close each chapter. While suicide is the third largest killer of adolescents, most suicide attempts do not result in death. Therefore the treatment of the suicide attempter following the attempt becomes a significant part of the clinician's work with these adolescents. Moreover, the precursors and behavioral markers for a suicide attempt become important signals for the school counselor, youth worker, or therapist. This book also include assessment measures to use when evaluating an adolescent who has attempted suicide.

KEY FEATURES
* Includes an outline form of an assessment battery for adolescents who have attempted suicide
* Analyzes and discusses treatment and case studies
* Presents detailed descriptions of specific therapy techniques useful with adolescents who attempt suicide
* Includes succinct reviews of the literature, ways to measure relevant factors related to suicidal behavior, tips for clinicians, and reviews of pertinent assessment measures

Standards, while being definitive, do not usually serve as the best reference to the use of a programming language. Books on languages usually are able to explain usage better, but lack the definitive precision of a standard. This book combines the two; it is the standard with added explanatory material.
* Written by members of the standards committee
* Annotates the standard with practical implementation advice
* The definitive reference to the C# International Standard

For the recorded history of management, the world has managed value creation according to what can be seen, touched and proven. In today's knowledge-based economy, value creation is derived primarily from how well firms manage intangibles (knowledge, service, expectations, response time, innovation, change management, etc). The large capital outlays that signified the manufacturing economy are no longer required. In fact, such 'tangibles' now explain less than 20% of the value of most publicly listed firms. For example, Time Warner has only 6.49% of its value attributable to tangibles. As such, for every $1 of true value, only $0.065 cents is being measured and managed by conventional management practices. For Oracle Corporation, tangibles account for only 4% of its value. For General Electric (worth over US$450 billion), tangibles account for less than 11% of its value.
Intention, context, emotional intelligence, escalation, and sustainability are words that are generally absent from the operational management techniques of managers worldwide. They form, however, the basis of skills required to manage organizations in today's knowledge-based economy. The authors investigate the ways that intangible values can be identified, measured, and managed. Their revolutionary and innovative taxonomy not only reveals fundamental differences between a manufacturing economy and one which creates value through knowledge, relationships, and time. By using case studies, a compelling mixture of theory and applications, and a set of accounting tools, the authors demonstrates how a new value framework can protect investors while giving companies the ability to generate long-term growth.
*Shows how intangible values can be identified, measured, and managed
*Presents a revolutionary and innovative taxonomy with a new set of accounting tools
*Demonstrates with case studies how a new value framework can protect investors while enabling companies to generate long-term growth

This book has evolved from the lecture course on Functional Analysis I had given several times at the ETH. The text has a strict logical order, in the style of "Definition - Theorem - Proof - Example - Exercises". The proofs are rather thorough and there many examples. The first part of the book(the first three chapters, resp. the first two volumes) is devoted to the theory of Banach spaces in the most general sense of the term. The purpose of the first chapter (resp. first volume) is to introduce those results on Banach spaces which are used later or which are closely connected with the book. It therefore only contains a small part of the theory, and several results are stated (and proved) in a diluted form. The second chapter (which together with Chapter 3 makes the second volume) deals with Banach algebras (and involutive Banach algebras), which constitute the main topic of the first part of the book. The third chapter deals with compact operators on Banach spaces and linear (ordinary and partial) differential equations - applications of the, theory of Banach algebras.

In the first years after the discovery of radioactivity it became clear that nuclear physics was, by excellence, the science of small quantum systems. Between the fifties and the eighties nuclear physics and elementary particles physics lived their own lives, without much interaction. During this period the basic concepts were defined. Recently, contrary to the specialization law often observed in science, the overlap between nuclear and elementary particle physics has become somewhat blurred.

This Les Houches Summer School was set up with the aim of fighting off the excessive specialization evident in many international meetings, and return to the roots. The twofold challenge of setting up a fruitful exchange between experimentalists and theorists in the first place, and between nuclear and hadronic matter physicists in the second place was successfully met.

The volume presents high quality, up-to-date reviews starting with an account of the birth and first developments of nuclear physics. Further chapters discuss the description of the nuclear structure, the physics of nuclei at very high spin, the existence of super-heavy nuclei as a consequence of shell structure, liquid-gas transition, including both a description and a review of the experimental situation.

Other topics dealt with include the interactions between moderately relativistic heavy ions, the concept of a nucleon dressed by a cloud of pions, the presence of pions in the nucleus, the subnucleonic phenomena in nuclei and quark-gluons deconfinement transition, both theoretical and experimental aspects. Nuclear physics continues to influence many other fields, such as astrophysics, and is also inspired by these same fields. This cross-fertilisation is illustrated by the treatment of neutron stars in one of the final chapters. The last chapter provides an overview of a recent development in which particle and nuclear physicists have cooperated to revitalize an alternative method for nuclear energy production associating high energy production accelerators and sub-critical neutron multiplying assemblies.

Computable Calculus treats the fundamental topic of calculus in a novel way that is more in tune with today's computer age. Comprising 11 chapters and an accompanying CD-ROM, the book presents mathematical analysis that has been created to deal with constructively defined concepts. The book's "show your work" approach makes it easier to understand the pitfalls of various computations and, more importantly, how to avoid these pitfalls.
The accompanying CD-ROM has self-contained programs that interact with the text, providing for easy grasp of the new concepts and enabling readers to write their own demonstration programs.
Contains software on CD ROM:
The accompanying software demonstrates, through simulation and exercises, how each concept of calculus can be associated with a program for the 'ideal computer'
Using this software readers will be able to write their own demonstration programs

There are a large and ever-increasing number of structures and buildings worldwide that are in need of refurbishment, rehabilitation and strengthening. The retrofitting of beams and slabs for this purpose is now recognized as the most cost-effective and environmentally sustainable method of carrying out this essential renovation work.
The authors of Design of FRP and Steel Plated RC Structures are both acknowledged world experts on these techniques and their book has been designed to provide the reader with a comprehensive overview of the established techniques and their applications as well as thorough coverage of newly emerging methodologies and their uses. The comparison of FRP and steel is a particular focus and the authors provide practical examples of where one material might be used in preference to another. Indeed practical, worked examples of how, when, and why specific solutions have been chosen in real-world situations are used throughout the text and provide the user with invaluable insights into the decision-making process and its technical background. Just as importantly these examples make the understanding and application of these techniques easier to understand for the student and the practitioner. The book is international in appeal, as while no reference is made to specific local codes the authors' approach always follows that of the more advanced structural codes worldwide. As such it will remain an essential resource for many years to come.
Design of FRP and Steel Plated RC Structures is an important reference for a broad range of researchers, students and practitioners including civil engineers and contractors, architects, designers and builders.
-Contains detailed worked examples throughout to aid understanding and provide technical insight
- Covers all types of metal plates and all types of FRP plates
- Uses design philosophies that can be used with any mathematical model
- Provides coverage of all main international guidelines

The polygon-mesh approach to 3D modeling was a huge advance, but today its limitations are clear. Longer render times for increasingly complex images effectively cap image complexity, or else stretch budgets and schedules to the breaking point.

Point-based graphics promises to change all that, and this book explains how. Comprised of contributions from leaders in the development and application of this technology, Point-Based Graphics examines it from all angles, beginning with the way in which the latest photographic and scanning devices have enabled modeling based on true geometry, rather than appearance.

From there, it s on to the methods themselves. Even though point-based graphics is in its infancy, practitioners have already established many effective, economical techniques for achieving all the major effects associated with traditional 3D Modeling and rendering. You ll learn to apply these techniques, and you ll also learn how to create your own. The final chapter demonstrates how to do this using Pointshop3D, an open-source tool for developing new point-based algorithms. A copy of this tool can be found on the companion website.
*The first book on a major development in computer graphics by the pioneers in the field
* Shows how 3D images can be manipulated as easily as 2D images are with Photoshop
* Includes CD-ROM with the open source software program Pointshop3D for experimentation with point graphics"

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been getting much more attention. So far, most of the books on formal verification target the register transfer level (RTL) or lower levels of design. For higher design productivity, it is essential to debug designs as early as possible. That is, designs should be completely verified at very abstracted design levels (higher than RTL). This book covers all aspects of high-level formal and semi-formal verification techniques for system level designs.
- First book that covers all aspects of formal and semi-formal, high-level (higher than RTL) design verification targeting SoC designs.
- Formal verification of high-level designs (RTL or higher).
- Verification techniques are discussed with associated system-level design methodology.

Graphics and game developers must learn to program for mobility. This book will teach you how.
"This book - written by some of the key technical experts...provides a comprehensive but practical and easily understood introduction for any software engineer seeking to delight the consumer with rich 3D interactive experiences on their phone. Like the OpenGL ES and M3G standards it covers, this book is destined to become an enduring standard for many years to come."
- Lincoln Wallen, CTO, Electronic Arts, Mobile
This book is an escalator, which takes the field to new levels. This is especially true because the text ensures that the topic is easily accessible to everyone with some background in computer science...The foundations of this book are clear, and the authors are extremely knowledgeable about the subject.
- Tomas Akenine-Moller, bestselling author and Professor of Computer Science at Lund University
"This book is an excellent introduction to M3G. The authors are all experienced M3G users and developers, and they do a great job of conveying that experience, as well as plenty of practical advice that has been proven in the field."
- Sean Ellis, Consultant Graphics Engineer, ARM Ltd
The exploding popularity of mobile computing is undeniable. From cell phones to portable gaming systems, the global demand for multifunctional mobile devices is driving amazing hardware and software developments. 3D graphics are becoming an integral part of these ubiquitous devices, and as a result, Mobile 3D Graphics is arguably the most rapidly advancing area of the computer graphics discipline.
Mobile 3D Graphics is about writing real-time 3D graphics applications for mobile devices. The programming interfaces explained and demonstrated in this must-have reference enable dynamic 3D media on cell phones, GPS systems, portable gaming consoles and media players.
The text begins by providing thorough coverage of background essentials, then presents detailed hands-on examples, including extensive working code in both of the dominant mobile APIs, OpenGL ES and M3G.
C/C++ and Java Developers, graphic artists, students, and enthusiasts would do well to have a programmable mobile phone on hand to try out the techniques described in this book.
The authors, industry experts who helped to develop the OpenGL ES and M3G standards, distill their years of accumulated knowledge within these pages, offering their insights into everything from sound mobile design principles and constraints, to efficient rendering, mixing 2D and 3D, lighting, texture mapping, skinning and morphing.
Along the way, readers will benefit from the hundreds of included tips, tricks and caveats.
*Written by experts at Nokia whose workshops at industry conferences are blockbusters
*The programs used in the examples are featured in thousands of professional courses each year
*Extensive working sample code is presented throughout the book and on the companion website"

This book provides comprehensive coverage of mobile data networking and mobile communications under a single cover for diverse audiences including managers, practicing engineers, and students who need to understand this industry. In the last two decades, many books have been written on the subject of wireless communications and networking. However, mobile data networking and mobile communications were not fully addressed in a unified fashion. This book fills that gap in the literature and is written to provide essentials of wireless communications and wireless networking, including Wireless Personal Area Networks (WPAN), Wireless Local Area Networks (WLAN), and Wireless Wide Area Networks (WWAN).
The first ten chapters of the book focus on the fundamentals that are required to study mobile data networking and mobile communications. Numerous solved examples have been included to show applications of theoretical concepts. In addition, unsolved problems are given at the end of each chapter for practice. (A solutions manual will be available.)
After introducing fundamental concepts, the book focuses on mobile networking aspects. Four chapters are devoted on the discussion of WPAN, WLAN, WWAN, and internetworking between WLAN and WWAN. Remaining seven chapters deal with other aspects of mobile communications such as mobility management, security, cellular network planning, and 4G systems.
A unique feature of this book that is missing in most of the available books on wireless communications and networking is a balance between the theoretical and practical concepts.
Moreover, this book can be used to teach a one/two semester course in mobile data networking and mobile communications to ECE and CS students.
*Details the essentials of Wireless Personal Area Networks(WPAN), Wireless Local Are Networks (WLAN), and Wireless Wide Area Networks (WWAN)
*Comprehensive and up-to-date coverage including the latest in standards and 4G technology
*Suitable for classroom use in senior/first year grad level courses. Solutions manual and other instructor support available

Climate for the 21st century is expected to be considerably different from the present and recent past. Industrialization growth combined with the increasing CO2 concentration in the atmosphere and massive deforestation are well above the values over the past several decades and are expected to further grow. Air temperature is rising rapidly well as does the weather variability producing frequent extreme events. Six of the ten warmest years occurred in the 1990s. Temperatures predicted for the 21st century ranges well above the present day value.
The time period of the last 100-200 years covered by the direct meteorological observations is too short and does not provide material to reliably assess what may happen over the next hundred(s) years. A faithful prediction of the future requires understanding how climate system works, i.e. to reconstruct past climate much further in the past. Borehole paleoclimatology enables climate reconstruction of the past several millennia, unlike proxy methods provides direct past temperature assessment and can well broaden the areal range to the remote regions poorly covered with meteorological observations. Considerable debates have recently focused on the causes of the present-day warming, i.e. to distinguish between the natural and anthropogenic contribution to the observed temperature increase, eventually to quantify their regional distribution. Complex interpretation of borehole data with the proxies and additional socio-economic information can hopefully help. On observed data taken in various places all over the world we demonstrate suitable examples of the interaction between the subsurface temperature response to time changes in vegetation cover, land-use (farming) and urbanization. Precise temperature-time monitoring in shallow subsurface can further provide the magnitude of the present-day warming within relatively short time intervals.
As far as we know, there exists so far no book dealing entirely with the subject of the Borehole climatology. Only relatively rarely this method is mentioned in otherwise plentiful literature on climate reconstruction or on climate modelling. There are, however, series of papers focussing on various borehole--climate related studies in numerous journals (e.g. Global and Planetary Change, Climate Change, Tectonophysics, Journal of Geophysical Research, Geophysical Research Letters, etc). Time to time a special issue appears to summarize papers on this topic presented during specialized symposia.
Key Features
- Description of a new useful alternative paleoclimate reconstruction method
- A suitable source of information for those wishing to learn more about climate change
- Material for lecturing and use in the classroom
- Ample practical examples of borehole temperature inversions worldwide
- Ample illustrations and reference list
- Authors have a good knowledge of the problem based on more than 20 years of experience, one of them actually pioneered the method
Key Features
- Description of a new useful alternative paleoclimate reconstruction method
- A suitable source of information for those wishing to learn more about climate change
- Material for lecturing and use in the classroom
- Ample practical examples of borehole temperature inversions worldwide
- Ample illustrations and reference list
- Authors have a good knowledge of the problem based on more than 20 years of experience, one of them actually pioneered the method

In the early days of the Web a need was recognized for a language to display 3D objects through a browser. An HTML-like language, VRML, was proposed in 1994 and became the standard for describing interactive 3D objects and worlds on the Web. 3D Web courses were started, several best-selling books were published, and VRML continues to be used today. However VRML, because it was based on HTML, is a stodgy language that is not easy to incorporate with other applications and has been difficult to add features to. Meanwhile, applications for interactive 3D graphics have been exploding in areas such as medicine, science, industry, and entertainment. There is a strong need for a set of modern Web-based technologies, applied within a standard extensible framework, to enable a new generation of modeling & simulation applications to emerge, develop, and interoperate. X3D is the next generation open standard for 3D on the web. It is the result of several years of development by the Web 3D Consortium's X3D Task Group. Instead of a large monolithic specification (like VRML), which requires full adoption for compliance, X3D is a component-based architecture that can support applications ranging from a simple non-interactive animation to the latest streaming or rendering applications. X3D replaces VRML, but also provides compatibility with existing VRML content and browsers. Don Brutzman organized the first symposium on VRML and is playing a similar role with X3D; he is a founding member of the consortium. Len Daly is a professional member of the consortium and both Len and Don have been involved with the development of the standard from the start.
* The first book on the new way to present interactive 3D content over the Web, written by two of the designers of the standard
* Plentiful illustrations and screen shots in the full color text
* Companion website with extensive content, including the X3D specification, sample code and applications, content creation tools, and demos of compatible Web browsers

Neurotrauma is the leading cause of death and disability in young adults, and the incidence in older patients is increasing. Neurotrauma is also a field in medicine with one of the highest unmet needs. Concentrated, focused and multidisciplinary efforts are required to combat this important disease. Exciting findings from basic research open opportunities for improving treatment results.
This volume presents a unique and comprehensive overview of the latest findings and insights on translational research in neurotrauma. This book should be a must for any TBI or SCI researcher interested in translating their work to the clinic, as well as to clinicians interested in the latest research findings which could provide novel treatment strategies for their patients.
- Integrates results from research on traumatic brain injury and spinal cord injury, bridging basic science and clinical research
- Includes contributions from worldwide panel of leading researchers and clinicians in the fields of TBI and SCI

Calcium is a versatile carrier of signals regulating many aspects of cellular activity such as fertilization to create a new life and programmed cell death to end it. Calcium homeostasis is strictly controlled by channels, pumps and exchangers functioning as gates for calcium entry and release. Given that calcium is such a versatile messenger the field of calcium signaling is continuously and rapidly expanding. This book reviews the most recent developments in calcium signaling by leading experts in the field. It is a state-of-the-art summary of our present knowledge in this quickly growing field and provides insight into the impressive progress made in many areas of calcium signaling, while reminding us of how much remains to be learned.

This book presents some fundamental concepts behind the basic theories and tools of discrete element methods (DEM), its historical development, and its wide scope of applications in geology, geophysics and rock engineering. Unlike almost all books available on the general subject of DEM, this book includes coverage of both explicit and implicit DEM approaches, namely the Distinct Element Methods and Discontinuous Deformation Analysis (DDA) for both rigid and deformable blocks and particle systems, and also the Discrete Fracture Network (DFN) approach for fluid flow and solute transport simulations. The latter is actually also a discrete approach of importance for rock mechanics and rock engineering. In addition, brief introductions to some alternative approaches are also provided, such as percolation theory and Cosserat micromechanics equivalence to particle systems, which often appear hand-in-hand with the DEM in the literature. Fundamentals of the particle mechanics approach using DEM for granular media is also presented.
- Presents the fundamental concepts of the discrete models for fractured rocks, including constitutive models of rock fractures and rock masses for stress, deformation and fluid flow
- Provides a comprehensive presentation on discrete element methods, including distinct elements, discontinuous deformation analysis, discrete fracture networks, particle mechanics and Cosserat representation of granular media
- Features constitutive models of rock fractures and fracture system characterization methods detaiing their significant impacts on the performance and uncertainty of the DEM models

Written by Caleb Finch, one of the leading scientists of our time, The Biology of Human Longevity - Inflammation, Nutrition, and Aging in the Evolution of Lifespans synthesizes several decades of top research on the topic of human aging and longevity particularly on the recent theories of inflammation and its effects on human health. The book expands a number of existing major theories, including the Barker theory of fetal origins of adult disease to consider the role of inflammation and Harmon's free radical theory of aging to include inflammatory damage. Future increases in lifespan are challenged by the obesity epidemic and spreading global infections which may reverse the gains made in lowering inflammatory exposure. This timely and topical book will be of interest to anyone studying aging from any scientific angle.
* Author Caleb Finch is a highly influential and respected scientist, ranked in the top half of the 1% most cited scientists
* Provides a novel synthesis of existing ideas about the biology of longevity and aging
* Incorporates important research findings from several disciplines, including Gerontology, Genomics, Neuroscience, Immunology, Nutrition

With cancer-related deaths projected to rise to 10.3 million people by 2020, the need to prevent, diagnose, and cure cancer is greater than ever. This book presents readers with the most up-to-date imaging instrumentation, general and diagnostic applications for various cancers, with an emphasis on lung and breast carcinomas--the two major worldwide malignancy types. This book discusses the various imaging techniques used to locate and diagnose tumors, including ultrasound, X-ray, color Doppler sonography, PET, CT, PET/CT, MRI, SPECT, diffusion tensor imaging, dynamic infrared imaging, and magnetic resonance spectroscopy. It also details strategies for imaging cancer, emphasizing the importance of the use of this technology for clinical diagnosis. Imaging techniques that predict the malignant potential of cancers, response to chemotherapy and other treatments, recurrence, and prognosis are also detailed.
Concentrates on the application of imaging technology to the diagnosis and prognosis of lung and breast carcinomas, the two major worldwide malignancies
Addresses the relationship between radiation dose and image quality
Discusses the role of molecular imaging in identifying changes for the emergence and progression of cancer at the cellular and/or molecular levels"

Industries that use pumps, seals and pipes will also use valves and actuators in their systems. This key reference provides anyone who designs, uses, specifies or maintains valves and valve systems with all of the critical design, specification, performance and operational information they need for the job in hand. Brian Nesbitt is a well-known consultant with a considerable publishing record. A lifetime of experience backs up the huge amount of practical detail in this volume.
* Valves and actuators are widely used across industry and this dedicated reference provides all the information plant designers, specifiers or those involved with maintenance require
* Practical approach backed up with technical detail and engineering know-how makes this the ideal single volume reference
* Compares and contracts valve and actuator types to ensure the right equipment is chosen for the right application and properly maintained

This Handbook covers latent variable models, which are a flexible class of models for modeling multivariate data to explore relationships among observed and latent variables.
- Covers a wide class of important models
- Models and statistical methods described provide tools for analyzing a wide spectrum of complicated data
- Includes illustrative examples with real data sets from business, education, medicine, public health and sociology.
- Demonstrates the use of a wide variety of statistical, computational, and mathematical techniques.

Combustion under sufficiently fuel-lean conditions can have the desirable attributes of high efficiency and low emissions, this being particularly important in light of recent and rapid increases in the cost of fossil fuels and concerns over the links between combustion and global climate change. Lean Combustion is an eminently authoritative, reference work on the latest advances in lean combustion technology and systems. It will offer engineers working on combustion equipment and systems both the fundamentals and the latest developments in more efficient fuel usage and in much-sought-after reductions of undesirable emissions, while still achieving desired power output and performance. This volume brings together research and design of lean combustion systems across the technology spectrum in order to explore the state-of-the-art in lean combustion and its role in meeting current and future demands on combustion systems.
Readers will learn about advances in the understanding of ultra lean fuel mixtures and how new types of burners and approaches to managing heat flow can reduce problems often found with lean combustion such as slow, difficult ignition and frequent flame extinction. The book will also offer abundant references and examples of recent real-world applications.
.Covers all major recent developments in lean combustion science and technology, with new applications in both traditional combustion schemes as well as such novel uses as highly preheated and hydrogen-fueled systems
.Offers techniques for overcoming difficult ignition problems and flame extinction with lean fuel mixtures
.Covers new developments in lean combustion using high levels of pre-heat and heat re-circulating burners, as well as the active control of lean combustion instabilities"

This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.
The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems.
From this book you will learn:
* The basic principles and terminology of model-based testing
* How model-based testing differs from other testing processes
* How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process
* The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market
* A step-by-step process for applying model-based testing
* How to write good models for model-based testing
* How to use a variety of test selection criteria to control the tests that are generated from your models
* How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments
* Presents the basic principles and terminology of model-based testing
* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market
* Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies

This book presents an overview of the physics of radiation detection and its applications. It covers the origins and properties of different kinds of ionizing radiation, their detection and measurement, and the procedures used to protect people and the environment from their potentially harmful effects. It details the experimental techniques and instrumentation used in different detection systems in a very practical way without sacrificing the physics content. It provides useful formulae and explains methodologies to solve problems related to radiation measurements. With abundance of worked-out examples and end-of-chapter problems, this book enables the reader to understand the underlying physical principles and their applications. Detailed discussions on different detection media, such as gases, liquids, liquefied gases, semiconductors, and scintillators make this book an excellent source of information for students as well as professionals working in related fields. Chapters on statistics, data analysis techniques, software for data analysis, and data acquisition systems provide the reader with necessary skills to design and build practical systems and perform data analysis.
* Covers the modern techniques involved in detection and measurement of radiation and the underlying physical principles
* Illustrates theoretical and practical details with an abundance of practical, worked-out examples
* Provides practice problems at the end of each chapter