springer london okt 2014 (46 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Despite all the jokes about the poor quality of physician handwriting, physician adoption of computerized provider order entry (CPOE) in hospitals still lags behind other industries' use of technology. As of the end of 2010, less than 22% of hospitals had deployed CPOE. Yet experts claim that this technology reduces over 80% of medication errors and could prevent an estimated 522,000 serious medication errors annually in the US. Even though the federal government has offered $20 billion dollars in incentives to hospitals and health systems through the 2009 stimulus (the ARRA HITECH section of the American Recovery and Reinvestment Act of 2009), many organizations are struggling to implement advanced clinical information systems including CPOE. In addition, industry experts estimate that the healthcare industry is lacking as many as 40,000 persons with expertise in clinical informatics necessary to make it all happen by the 2016 deadline for these incentives. While the scientific literature contains numerous studies and stories about CPOE, no one has written a comprehensive, practical guide like Making CPOE Work. While early adopters of CPOE were mainly academic hospitals, community hospitals are now proceeding with CPOE projects and need a comprehensive guide. Making CPOE Work is a book that will provide a concise guide to help both new and experienced health informatics teams successfully plan and implement CPOE. The book, in a narrative style, draws on the author's decade-long experiences of implementing CPOE at a variety of academic, pediatric and community hospitals across the United States. 216 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a world-class collection of Brain-Computer Music Interfacing (BCMI) tools. The text focuses on how these tools enable the extraction of meaningful control information from brain signals, and discusses how to design effective generative music techniques that respond to this information. Features: reviews important techniques for hands-free interaction with computers, including event-related potentials with P300 waves; explores questions of semiotic brain-computer interfacing (BCI), and the use of machine learning to dig into relationships among music and emotions; offers tutorials on signal extraction, brain electric fields, passive BCI, and applications for genetic algorithms, along with historical surveys; describes how BCMI research advocates the importance of better scientific understanding of the brain for its potential impact on musical creativity; presents broad coverage of this emerging, interdisciplinary area, from hard-core EEG analysis to practical musical applications. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Image processing is concerned with the analysis and manipulation of images by computer. Providing a thorough treatment of image processing with an emphasis on those aspects most used in computer graphics, the authors concentrate on describing and analyzing the underlying concepts rather than on presenting algorithms or pseudocode. As befits a modern introduction to this topic, a good balance is struck between discussing the underlying mathematics and the main topics: signal processing, data discretization, the theory of colour and different colour systems, operations in images, dithering and half-toning, warping and morphing and image processing.This second edition reflects recent trends in science andtechnology that exploit image processing in computer graphics and vision applications. Stochastic image models and statistical methods for image processing are covered as are: A modern approach and new developments in the area, Probability theory for image processing, Applications in image analysis and computer vision. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 192 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Covers a comprehensive range of P2P and Grid technologies.Provides a broad overview of the P2P field and how it relates to other technologies, such as Grid Computing, jini, Agent based computing, and web services. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inthe eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, -calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif cult to learn and use by practitioners, as it is not close enough to the way they think of software systems. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Intelligent Control with LabVIEW(TM) is a fresh and pragmatic approach to the understanding of a subject often clouded by too much mathematical theory. It exploits the full suite of tools provided by LabVIEW(TM), showing the student how to design, develop, analyze, and visualize intelligent control algorithms quickly and simply. Block diagrams are used to follow the progress of an algorithm through the design process and allow seamless integration with hardware systems for rapid deployment in laboratory experiments.This text delivers a thorough grounding in the main tools of intelligent control: fuzzy logic systems; artificial neural networks; neuro-fuzzy systems; evolutionary methods; and predictive methods.Learning and teaching are facilitated by: extensive use of worked examples; end of chapter problems with separate solutions; and provision of intelligent control tools for LabVIEW(TM). 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From Snapshots to Social Media describes the history and future of domestic photography as mediated by technological change. Domestic photography refers to the culture of ordinary people capturing, sharing and using photographs, and is in a particular state of flux today as photos go digital. The book argues that this digital era is the third major chapter in the 170 year history of the area; following the portrait and Kodak eras of the past. History shows that despite huge changes in photographic technology and the way it has been sold, people continue to use photographs to improve memory, support communication and reinforce identity. The future will involve a shift in the balance of these core activities and a replacement of the family album with various multimedia archives for individuals, families and communities. This raises a number of issues that should be taken into account when designing new technologies and business services in this area, including: the ownership and privacy of content, multimedia standards, home ICT infrastructure, and younger and older users of images. The book is a must for designers and engineers of imaging technology and social media who want a better understanding of the history of domestic photography in order to shape its future. It will also be of value to students and researchers in science and technology studies and visual culture, as a fascinating case study of the evolving use of photographs and photographic technology in Western society. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Written for those who want to develop their knowledge of requirements engineering process, whether practitioners or students.Using the latest research and driven by practical experience from industry, Requirements Engineering gives useful hints to practitioners on how to write and structure requirements. It explains the importance of Systems Engineering and the creation of effective solutions to problems. It describes the underlying representations used in system modeling and introduces the UML2, and considers the relationship between requirements and modeling. Covering a generic multi-layer requirements process, the book discusses the key elements of effective requirements management. The latest version of DOORS (Version 7) - a software tool which serves as an enabler of a requirements management process - is also introduced to the reader here.Additional material and links are available at: requirementsengineering.info 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional parametric objects. This book presents the mathematics, computational methods and data structures, as well as the algorithms needed to render implicit curves and surfaces, and shows how implicit objects can easily describe smooth, intricate, and articulatable shapes, and hence why they are being increasingly used in graphical applications. Divided into two parts, the first introduces the mathematics of implicit curves and surfaces, as well as the data structures suited to store their sampled or discrete approximations, and the second deals with different computational methods for sampling implicit curves and surfaces, with particular reference to how these are applied to functions in 2D and 3D spaces. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Leadership and management in the context of healthcare is about improving the quality of medical care delivered at all levels. Doctors frequently lead healthcare teams with responsibility for significant clinical resource which requires management and leadership skills regardless of specialty. A growing body of literature has also argued that medical leadership plays an integral part in the success and effectiveness of organisational change in the health sector. Being an effective medical leader requires a different set of skills from being a good clinician. It is therefore important that future medical graduates are supported and equipped with the high-level skills required for their role (e.g. leading and developing multidisciplinary teams, understanding organizational systems, processes and interdependencies, redesigning services and working collaboratively with a wide range of stakeholders). This growing interest across the globe in preparing medical graduates for the role of medical manager and leader requires a comprehensive approach to education and training which begins at an undergraduate level. As an undergraduate these skills are frequently neglected or not taught well. However, with the correct resources and using a case-based approach the undergraduate program can easily support the development of practical leadership and management skills. The case studies and supporting text will provide an overview of the fundamentals of leadership theory and practice relevant to medical students, junior doctors and specialty trainees. Using internationally recognized competency frameworks this book will support the acquisition of knowledge and skills relevant to medical management and leadership such as project management, intelligent leadership, presentation skills, audit, organizational decision making and engaging relevant stakeholders. 120 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This new edition illustrates the power of linear algebra in the study of graphs. The emphasis on matrix techniques is greater than in other texts on algebraic graph theory. Important matrices associated with graphs (for example, incidence, adjacency and Laplacian matrices) are treated in detail.Presenting a useful overview of selected topics in algebraic graph theory, early chapters of the text focus on regular graphs, algebraic connectivity, the distance matrix of a tree, and its generalized version for arbitrary graphs, known as the resistance matrix. Coverage of later topics include Laplacian eigenvalues of threshold graphs, the positive definite completion problem and matrix games based on a graph.Such an extensive coverage of the subject area provides a welcome prompt for further exploration. The inclusion of exercises enables practical learning throughout the book.In the new edition, a new chapter is added on the line graph of a tree, while some results in Chapter 6 on Perron-Frobenius theory are reorganized.Whilst this book will be invaluable to students and researchers in graph theory and combinatorial matrix theory, it will also benefit readers in the sciences and engineering. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Comparatively little is known about the risk of sudden death associated with exercise in young competitive athletes, and whether the benefits of sports activity outweigh the hazards of exercise-related fatal events is a clinical dilemma. This is only a small part of the story, however, as there are considerable effects of exercise whether it be at a competitive level or on a 'leisure' level on patients of all ages. This in itself is of massive importance to the cardiac patient population as exercise is a key component of effective recovery and recommended as central in the prevention of much cardiac disease. 264 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As many readers will know, the 20th century was a time when the fields of mathematics and the sciences were seen as two separate entities. Caused by the rapid growth of the physical sciences and an increasing abstraction in mathematical research, each party, physicists and mathematicians alike, suffered a misconception; not only of the opposition's theoretical underpinning, but of how the two subjects could be intertwined and effectively utilized. One sub-discipline that played a part in the union of the two subjects is Theoretical Physics. Breaking it down further came the fundamental theories, Relativity and Quantum theory, and later on Yang-Mills theory. Other areas to emerge in this area are those derived from the works of Donaldson, Chern-Simons, Floer-Fukaya, and Seiberg-Witten. Aimed at a wide audience, Physical Topics in Mathematics demonstrates how various physical theories have played a crucial role in the developments of Mathematics and in particular, Geometric Topology. Issues are studied in great detail, and the book steadfastly covers the background of both Mathematics and Theoretical Physics in an effort to bring the reader to a deeper understanding of their interaction. Whilst the world of Theoretical Physics and Mathematics is boundless; it is not the intention of this book to cover its enormity. Instead, it seeks to lead the reader through the world of Physical Mathematics; leaving them with a choice of which realm they wish to visit next. 464 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Focuses on the process by which manually crafting interactive, hypertextual maps clarifies one's own understanding, communicates it to others, and enables collective intelligence. The authors see mapping software as visual tools for reading and writing in a networked age. In an information ocean, the challenge is to find meaningful patterns around which we can weave plausible narratives. Maps of concepts, discussions and arguments make the connections between ideas tangible - and critically, disputable. With 22 chapters from leading researchers and practitioners (5 of them new for this edition), the reader will find the current state-of-the-art in the field. Part 1 focuses on knowledge maps for learning and teaching in schools and universities, before Part 2 turns to knowledge maps for information analysis and knowledge management in professional communities, but with many cross-cutting themes: reflective practitioners documenting the most effective ways to map conceptual frameworks for evaluating representations real world case studies showing added value for professionals more experimental case studies from research and education visual languages, many of which work on both paper and with software knowledge cartography software, much of it freely available and open source visit the companion website for extra resources: books.kmi.open.ac.uk/knowledge-cartography Knowledge Cartography will be of interest to learners, educators, and researchers in all disciplines, as well as policy analysts, scenario planners, knowledge managers and team facilitators. Practitioners will find new perspectives and tools to expand their repertoire, while researchers will find rich enough conceptual grounding for further scholarship. 568 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presenting a state-of-the-art overview of theoretical and computational models that link characteristic biomechanical phenomena, this book provides guidelines and examples for creating multiscale models in representative systems and organisms. It develops the reader's understanding of and intuition for multiscale phenomena in biomechanics and mechanobiology, and introduces a mathematical framework and computational techniques paramount to creating predictive multiscale models.Biomechanics involves the study of the interactions of physical forces with biological systems at all scales - including molecular, cellular, tissue and organ scales. The emerging field of mechanobiology focuses on the way that cells produce and respond to mechanical forces - bridging the science of mechanics with the disciplines of genetics and molecular biology. Linking disparate spatial and temporal scales using computational techniques is emerging as a key concept in investigating some of the complex problems underlying these disciplines.Providing an invaluable field manual for graduate students and researchers of theoretical and computational modelling in biology, this book is also intended for readers interested in biomedical engineering, applied mechanics and mathematical biology. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Rational Exuberance for Renewable Energy is a beyond-the-hype account of the underlying issues that encourage or plague widespread dissemination of renewable energy (RE) technologies. Renewable energy operates in the real world, and it cannot be assumed that the conventional theories and incentive structures of economics and business do not apply. The author argues that grants and subsidies could be provided to support research, development and technology improvement efforts, but should not be employed as an instrument of state policy to intervene in specific markets. It is important to recognize that although investors often demonstrate an appetite for market risk, they find technology risks and policy uncertainty much less appealing.Rational Exuberance for Renewable Energy blends classical economic theory with the everyday realities of the RE industry to identify incentive structures contributing to the success - or otherwise - of project implementation involving renewable sources and appropriate technologies. The book is a compilation of articles that analyze individual RE technologies, and offer multiple perspectives of the RE industry and markets. Rational Exuberance for Renewable Energy is intended for policy makers, advanced students of energy economics and sustainable development, and for potential mainstream investors. 132 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nonparametric statistics has probably become the leading methodology for researchers performing data analysis. It is nevertheless true that, whereas these methods have already proved highly effective in other applied areas of knowledge such as biostatistics or social sciences, nonparametric analyses in reliability currently form an interesting area of study that has not yet been fully explored.Applied Nonparametric Statistics in Reliability is focused on the use of modern statistical methods for the estimation of dependability measures of reliability systems that operate under different conditions. The scope of the book includes:smooth estimation of the reliability function and hazard rate of non-repairable systems;study of stochastic processes for modelling the time evolution of systems when imperfect repairs are performed;nonparametric analysis of discrete and continuous time semi-Markov processes;isotonic regression analysis of the structure function of a reliability system, andlifetime regression analysis.Besides the explanation of the mathematical background, several numerical computations or simulations are presented as illustrative examples. The corresponding computer-based methods have been implemented using R and MATLAB®. A concrete modelling scheme is chosen for each practical situation and, in consequence, a nonparametric inference procedure is conducted.Applied Nonparametric Statistics in Reliability will serve the practical needs of scientists (statisticians and engineers) working on applied reliability subjects. 244 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -End-of-life issues in cardiology are becoming increasingly important in the management of patients in the cardiac unit, but there is frequently a lack of understanding regarding their impact on cardiology practice. The cardiac unit is increasingly becoming the location whereby a number of key clinical decisions relating to end-of-life care are being made, such as the decision to remove medications, the appropriate removal of cardiac devices, the management of do not resuscitate orders and the requirement for other cardiac procedures in light of the management of the terminally ill cardiac patients. Those working in palliative care need input from the cardiovascular team as the cardiologist is frequently still managing these patients until they are moved to the hospice. That this move into a hospice is often delayed until the very last moment, there is considerable onus on the cardiovascular management of these patients to be much broader in scope and take account of some of the more palliative medical decisions needed in this group of patients. This concise reference will detail the practical issues open to cardiovascular physicians and those medical professionals who manage patients reaching the end of their life from a cardiology perspective. It will detail the full management options open to them to ensure that their practice is in line with the requirements of the patient nearing the end of their life whether the cause be cardiovascular in origin or who need appropriate management of secondary cardiovascular symptoms. It will also include the various ethical, cultural and geographical issues that need to be considered when managing these patients. 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Opening with a detailed review of existing techniques for selective encryption, this text then examines algorithms that combine both encryption and compression. The book also presents a selection of specific examples of the design and implementation of secure embedded multimedia systems. Features: reviews the historical developments and latest techniques in multimedia compression and encryption; discusses an approach to reduce the computational cost of multimedia encryption, while preserving the properties of compressed video; introduces a polymorphic wavelet architecture that can make dynamic resource allocation decisions according to the application requirements; proposes a light-weight multimedia encryption strategy based on a modified discrete wavelet transform; describes a reconfigurable hardware implementation of a chaotic filter bank scheme with enhanced security features; presents an encryption scheme for image and video data based on chaotic arithmetic coding. 164 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a manual for the technical and structural design of systems for supplying decentralised energy in residential buildings. It presents the micro-combined cooling, heating & power systems Stirling engines & renewable energy sources (mCCHP-SE-RES) systems in an accessible manner both for the public at large, and for professionals who conceive, design or commercialise such systems or their components. The high performance levels of these systems are demonstrated within the final chapter by the results of an experiment in which a house is equipped with a mCCHP-SE-RES system. The reader is also familiarized with the conceptual, technical and legal aspects of modern domestic energy systems; the components that constitute these systems; and advanced algorithms for achieving the structural and technical design of such systems.In residential buildings, satisfying demands of durable development has gradually evolved from necessity to obligation and institutionalisation. Consequently a major paradigm change has appeared in the supply of energy to residential buildings, from the centralised production of energy using fossil fuels to the decentralised production of energy using local renewable sources. Furthermore, on the energy system market, energy micro systems which use renewable energy sources are increasingly commercialised. From among these, the mCCHP-SE-RES systems are particularly striking because they offer a high performance and they enhance the relationship between humans and the environment. This book is intended for postgraduate students of electrical engineering, applied mathematicians, and researchers of modelling and control of complex systems or power system technologies. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Naming is an integral building block within data networks and systems and is becoming ever more important as complex data-centric usage models emerge. Internet Naming and Discovery is timely in developing a unified model for studying the topic of naming and discovery. It details the architectural and economic tools needed for designing naming and discovery schemes within the broader context of internetwork architecture. Readers will find in this book a historic overview of the Internet and a comprehensive survey of the literature, followed by and an in-depth examination of naming and discovery. Specific topics covered include: - formal definitions of name, address, identifier, locator, binding, routing, discovery, mapping, and resolution; - a discussion of the properties of names and bindings, along with illustrative case studies; - taxonomy that helps in organizing the solution space, and more importantly in identifying new avenues for contributing to the field; - a general model for exploring the tradeoffs involved in designing discovery systems; - an illustrative design exercise for differentiated discovery services; - broad treatment of the main economic issues that arise in the context of discovery; and - a game-theoretic incentive model for route distribution (and discovery) in the context of path-vector routing protocols (mainly BGP). Internet Naming and Discovery will be of great value to readers, including graduate students, engineers and computer scientists, theoreticians and practitioners, seeking a training in advanced networking, or specializing in computer and communications networks. 156 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A vast amount has been written on climate change and what should be our response. Rise and Fall of the Carbon Civilisation suggests that most of this literature takes a far too optimistic position regarding the potential for conventional mitigation solutions to achieve the deep cuts in greenhouse gases necessary in the limited time frame we have available. In addition, global environmental problems, as exemplified by climate change, and global resource problems - such as fossil fuel depletion or fresh water scarcity - have largely been seen as separate issues.Further, proposals for solution of these problems often focus at the national level, when the problems are global. The authors argue that the various challenges the planet faces are both serious and interconnected. Rise and Fall of the Carbon Civilisation takes a global perspective in its treatment of various solutions:- renewable energy;- nuclear energy;- energy efficiency;- carbon sequestration; and- geo-engineering.It also addresses the possibility that realistic solutions cannot be achieved until the fundamentally ethical question of global equity - both across nations today and also inter-generational - is fully addressed. Such an approach will also involve reorienting the global economy away from an emphasis on growth and toward the direct satisfaction of basic human needs for all the Earth's people.Rise and Fall of the Carbon Civilisation is aimed at the many members of the public with an awareness of climate change, but who wish to find out more about how we need to respond to the challenge. It will also be of interest to technical professionals, as well as postgraduate students and researchers, from the environmental and engineering science sectors. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Some years ago when I was chair of the department of civil and environmental engineering, a colleague introduced me to a visitor from Sandia Laboratories, perhaps the largest developer of armaments and weapons systems in the world. We had a nice visit, and as we chatted, the talk naturally centered on the visitor's engineering work. It turned out that his job in recent years had been to develop a new acoustic triggering device for bombs. As he explained it, the problem with bombs was that the plunger triggering mechanism could fail if the bomb hit at an angle, and thus the explosives would not detonate. To get around this, he dev- oped an acoustic trigger that would detonate the explosives as soon as the bomb hit any solid surface, even at an angle. As he talked, I watched his face. His enthusiasm for his work was clearly e- dent, and his animated explanations of what they had developed at Sandia exuded pride and excitement. I thought about asking him what it felt like to have spent his engineering career designing better ways to kill people or to destroy property - the sole purpose of a bomb. I wondered how many people had been killed because this man had dev- oped a clever acoustic triggering device. But good sense and decorum prevailed and I did not ask him such questions. We parted as friends and in good spirits. 176 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.The website fmsand.info is a useful resource, providing material associated with the book and links to further related information. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Readers of System Design Optimization for Product Manufacturing will learn about detailed concepts and practical technologies that enable successful product design and manufacture. These concepts and technologies are based on system optimization methodologies that consider a broad range of mechanical, as well as human, factors.System Design Optimization for Product Manufacturing explains the methodologies behind current and future product manufacture. Its detailed explanations of key concepts are relevant not only for product design and manufacture, but also for other business fields. These core concepts and methodologies can be applied to practically any field where informed decision-making is important, and where a range of often conflicting factors must be carefully weighed and considered.System Design Optimization for Product Manufacturing can be used as a fundamental reference book by both engineers and students in the fields of manufacturing, design engineering, and product development. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Understanding the many complex cellular and molecular mechanisms underlying human vascular diseases is essential in improving the treatment of this important and wide-ranging group of diseases that affect a large proportion of the world po- lation. This book is based on lectures presented at an International Vascular Biology Workshop held in London and chaired by Professor Dame Carol Black. The c- tents are complemented by some invited chapters, all written by world experts in areas of basic science and clinical medicine highly relevant to vascular biology and disease. We are particularly grateful to Professor Arshed Quyyumi, Professor of Medicine and Cardiology at Emory University, who with his research group and clinical colleagues, has provided a substantial contribution to this book. In common with our previous book - Vascular Complications in Human Disease: Mechanisms and Consequences published by Springer in 2008, our aim with this book is to highlight some of the established relationships between basic science and clinical medicine, and to outline new and exciting fields of research and practice in vascular biology and pathobiology. There are two sections: Basic Science of Vascular Biology and Clinical Aspects of Vascular Biology. In the first section, dealing with basic science, we have included three important growth areas: 'Genetics and Gene Therapy' cover approaches to gene therapy and delivery systems, 'Animal Models to Study Vascular Disease' with chapters on animal models of scleroderma, animal models of atherosclerosis, and finally on the endothelin system. 472 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The field of discrete calculus, also known as 'discrete exterior calculus', focuses on finding a proper set of definitions and differential operators that make it possible to operate the machinery of multivariate calculus on a finite, discrete space. In contrast to traditional goals of finding an accurate discretization of conventional multivariate calculus, discrete calculus establishes a separate, equivalent calculus that operates purely in the discrete space without any reference to an underlying continuous process.This unique text brings together into a single framework current research in the three areas of discrete calculus, complex networks, and algorithmic content extraction. Although there have been a few intersections in the literature between these disciplines, they have developed largely independently of one another, yet researchers working in any one of these three areas can strongly benefit from the tools and techniques being used in the others. Many example applications from several fields of computational science are provided to demonstrate the usefulness of this framework to a broad range of problems. Readers are assumed to be familiar with the basics of vector calculus, graph theory, and linear algebra.Topics and features: Presents a thorough review of discrete calculus, with a focus on key concepts required for successful application Unifies many standard image processing algorithms into a common framework for viewing a wide variety of standard algorithms in filtering, clustering, and manifold learning that may be applied to processing data associated with a graph or network Explains how discrete calculus provides a natural definition of 'low-frequency' on a graph, which then yields filtering and denoising algorithms Discusses how filtering algorithms can give rise to clustering algorithms, which can be used to develop manifold learning and data discovery methods Examines ranking algorithms, as well as algorithms for analyzing the structure of a networkGraduate students and researchers interested in discrete calculus, complex networks, image processing and computer graphics will find this text/reference a clear introduction to the foundations of discrete calculus as well as a useful guide to have readily available for their work.Dr. Leo J. Grady is a Senior Research Scientist with Siemens Corporate Research in Princeton, New Jersey, USA. Dr. Jonathan R. Polimeni is a Research Fellow at the Massachusetts General Hospital in Boston, Massachusetts, USA, and Instructor in Radiology at Harvard Medical School, Boston, Massachusetts, USA. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algebraic K-theory encodes important invariants for several mathematical disciplines, spanning from geometric topology and functional analysis to number theory and algebraic geometry. As is commonly encountered, this powerful mathematical object is very hard to calculate. Apart from Quillen's calculations of finite fields and Suslin's calculation of algebraically closed fields, few complete calculations were available before the discovery of homological invariants offered by motivic cohomology and topological cyclic homology. This book covers the connection between algebraic K-theory and Bökstedt, Hsiang and Madsen's topological cyclic homology and proves that the difference between the theories are 'locally constant'. The usefulness of this theorem stems from being more accessible for calculations than K-theory, and hence a single calculation of K-theory can be used with homological calculations to obtain a host of 'nearby' calculations in K-theory. For instance, Quillen's calculation of the K-theory of finite fields gives rise to Hesselholt and Madsen's calculations for local fields, and Voevodsky's calculations for the integers give insight into the diffeomorphisms of manifolds. In addition to the proof of the full integral version of the local correspondence between K-theory and topological cyclic homology, the book provides an introduction to the necessary background in algebraic K-theory and highly structured homotopy theory; collecting all necessary tools into one common framework. It relies on simplicial techniques, and contains an appendix summarizing the methods widely used in the field. The book is intended for graduate students and scientists interested in algebraic K-theory, and presupposes a basic knowledge of algebraic topology. 452 pp. Englisch.