springer us springer us jun 2004 (18 Ergebnisse)

Buch. Zustand: Neu. Neuware -The field of Very High Frequency EPR (VHF EPR) or sometimes called Very High Field EPR (conveniently, also abbreviated as VHF EPR) has blossomed during the past decade, especially after the original pioneering work of Ya. S. Lebedev and his group at the Institute of Chemical Physics, Russian Academy of Sciences in Moscow. Although Lebedev suffered heavily under the economic constraints of the communist Soviet Union and then succumbed to cancer at the peak of his scientific career, his groundbreaking work from the 1970's is still considered today to be the 'gold standard' by researchers practicing EPR at high magnetic fields. A stimulus for the production of this book is the legacy of Yakov Levedev in his students now residing in academic positions in the US and elsewhere. The aim of this book is to highlight the state of this growing field. This is an attempt to cover the full scope of VHF EPR in a single volume. The idea for this volume came to the editors at the 2001 Rocky Mountain Analytical Conference during the 24th International EPR Symposium chaired by Sandra and Gareth Eaton. VHF EPR was presented as an independent research field at a workshop organized by LC BruneI and supported by the National High Magnetic Field Laboratory, a National Science Foundation funded facility at Florida State University. 600 pp. Englisch.

Buch. Zustand: Neu. Neuware -Stochastic Calculus for Finance evolved from the first ten years of the Carnegie Mellon Professional Master's program in Computational Finance. The content of this book has been used successfully with students whose mathematics background consists of calculus and calculus-based probability. The text gives both precise statements of results, plausibility arguments, and even some proofs, but more importantly intuitive explanations developed and refine through classroom experience with this material are provided. The book includes a self-contained treatment of the probability theory needed for stochastic calculus, including Brownian motion and its properties. Advanced topics include foreign exchange models, forward measures, and jump-diffusion processes.This book is being published in two volumes. This second volume develops stochastic calculus, martingales, risk-neutral pricing, exotic options and term structure models, all in continuous time.Master's level studentsand researchers in mathematical finance and financial engineering will find this book useful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Buch. Zustand: Neu. Neuware -DOMESTIC VIOLENCE AND MATERNAL CHILD HEALTH is one of the first books to evaluate the impact of intimate partner abuse on maternal and child health. New abuse patterns against pregnant women and their unborn babies and children are described based on quantitative and qualitative findings from the Stalking and Violence Project (SVP), case studies from a clinical psychologist's private practice, and a review of the literature. (See Appendix A Research Methods and Appendix B-Study Results, Tables 1-9). Intimate partner abuse is prevalent and can endanger the lives of pregnant women, their fetuses and their children. The long-term societal impacts of violence are significant for the cycle of violence can be transmitted one from generation to the next. Despite the re search studies that have been conducted in this area, little is known about the risk factors for partner abuse and the impact of that abuse on maternal child health and adult health. More research needs to be done about how nurses, physicians, social workers, and therapists can better diagnose and treat partner violence during and after preg nancy. Effective interventions by the police, courts, and legislators also need further investigation. One of the central assumptions in this book is that partner abuse is a patterned set of behaviors developed by the batterer to ex ert power over women in intimate and non-intimate relationships.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Buch. Zustand: Neu. Neuware -Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure.Functional Verification Coverage Measurement and Analysis is the first book to introduce a useful taxonomy for coverage metric classification. Using this taxonomy, the reader clearly understands the process of creating an effective coverage model. A must read!Harry Foster, Jasper Design Automation, Co-Author of Assertion-Based DesignAndrew's book is the most thoughtful and comprehensive treatment of coverage I have seen. I recommend reading (and re-reading) this book to anybody who is really serious about functional verification.Yoav Hollander, CTO, Verisity DesignIn the last few years, coverage has become a must in hardware verification and in software testing. From having to push people to use coverage, the situation changed to great interest. Andrew's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time.Shmuel Ur, Research Scientist, IBMSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Zustand: Neu. Neuware -As the feature size decreases in deep sub-micron designs, coupling capacitance becomes the dominant factor in total capacitance. The resulting crosstalk noise may be responsible for signal integrity issues and significant timing variation. Traditionally, static timing analysis tools have ignored cross coupling effects between wires altogether. Newer tools simply approximate the coupling capacitance by a 2X Miller factor in order to compute the worst case delay. The latter approach not only reduces delay calculation accuracy, but can also be shown to underestimate the delay in certain scenarios.This book describes accurate but conservative methods for computing delay variation due to coupling. Furthermore, most of these methods are computationally efficient enough to be employed in a static timing analysis tool for complex integrated digital circuits. To achieve accuracy, a more accurate computation of the Miller factor is derived. To achieve both computational efficiency and accuracy, a variety of mechanisms for pruning the search space are detailed, including:Spatial pruning - reducing aggressors to those in physical proximityElectrical pruning - reducing aggressors by electrical strengthTemporal pruning - reducing aggressors using timing windowsFunctional pruning - reducing aggressors by Boolean functional analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Buch. Zustand: Neu. Neuware -Fundamentals of Plasma Physics is a general introduction designed to present a comprehensive, logical and unified treatment of the fundamentals of plasma physics based on statistical kinetic theory, with applications to a variety of important plasma phenomena. Its clarity and completeness makes the text suitable for self-learning and for self-paced courses.Throughout the text the emphasis is on clarity, rather than formality, the various derivations are explained in detail and, wherever possible, the physical interpretations are emphasized. The mathematical treatment is set out in great detail, carrying out the steps which are usually left to the reader. The problems form an integral part of the text and most of them were designed in such a way as to provide a guideline, stating intermediate steps with answers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.

Buch. Zustand: Neu. Neuware -'As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional verification are now outweighing the costs of chip design. To cope with these challenges engineers are increasingly relying on new design and verification methodologies and languages. Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today. Engineers are also increasingly turning to design and verification models based on C/C++ and SystemC in order to build more abstract, higher performance hardware and software models and to escape the limitations of RTL HDLs. This new book, Advanced Verification Techniques, provides specific guidance for these advanced verification techniques. The book includes realistic examples and shows how SystemC and SCV can be applied to a variety of advanced design and verification tasks.' Stuart SwanSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Buch. Zustand: Neu. Neuware -One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down to the level of single electron operation will bring forth new challenges due to probabilistic effects and uncertainty in guaranteeing 'zero-one' based computing. Minuscule devices imply billions of devices on a single chip, which may help mitigate the challenge of uncertainty by replication and redundancy. However, such device densities will create a design and validation nightmare with the shear scale.The questions that confront computer engineers regarding the current status of nanocomputing material and the reliability of systems built from such miniscule devices, are difficult to articulate and answer. We have found a lack of resources in the confines of a single volume that at least partially attempts to answer these questions.We believe that this volume contains a large amount of research material as well as new ideas that will be very useful for some one starting research in the arena of nanocomputing, not at the device level, but the problems one would face at system level design and validation when nanoscopic physicality will be present at the device level.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Buch. Zustand: Neu. Neuware -Rapid advances in microelectronic integration and the advent of Systems-on-Chip have fueled the need for high-level synthesis, i.e., an automated approach to the synthesis of hardware from behavioral descriptions. SPARK: A Parallelizing Approach to the High - Level Synthesis of Digital Circuits presents a novel approach to the high-level synthesis of digital circuits -- that of parallelizing high-level synthesis (PHLS). This approach uses aggressive code parallelizing and code motion techniques to discover circuit optimization opportunities beyond what is possible with traditional high-level synthesis. This PHLS approach addresses the problems of the poor quality of synthesis results and the lack of controllability over the transformations applied during the high-level synthesis of system descriptions with complex control flows, that is, with nested conditionals and loops. Also described are speculative code motion techniques and dynamic compiler transformations that optimize the circuit quality in terms of cycle time, circuit size and interconnect costs. We describe the SPARK parallelizing high-level synthesis framework in which we have implemented these techniques and demonstrate the utility of SPARK's PHLS approach using designs derived from multimedia and image processing applications. We also present a case study of an instruction length decoder derived from the Intel Pentium-class of microprocessors. This case study serves as an example of a typical microprocessor functional block with complex control flow and demonstrates how our techniques are useful for such designs. SPARK: A Parallelizing Approach to the High - Level Synthesis of Digital Circuits is targeted mainly to embedded system designers and researchers. This includes people working on design and design automation. The book is useful for researchers and design automation engineers who wish to understand how the main problems hindering the adoption of high-level synthesis among designers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Zustand: Neu. Neuware -Recent years have brought many changes to the world of mass media. The In ternet and mobile communications technology have provided consumers with interactive digital services. Television is catching up with this trend through the digitalization process. Digital television is a hybrid platform combining elements from classical analog television and the Internet, providing modern multimedia services on a familiar platform. In short, digital TV is a gateway to the world of interactive digital media. Digital TV brings consumers into the television service arena and offers them new degrees of freedom. However, as the service and multimedia content types diversify and the services and their content increase, television is facing many of the same challenges of complexity and information overflow faced by other digital media. Metadata can handle the diverse services and content of digital TV effi. ciently and in a consumer-friendly way. Metadata means that the data are accompanied by other data which describe them. As data about data, meta data can provide an insight into syntactically and semantically complex data by distilling their essence to a set of simple descriptors. Metadata also helps to structure and manage information in diverse settings. The use of metadata in broadcast multimedia should not be restricted to being merely a tool for coping with the challenges of a complex networked multimedia environment. Instead, metadata ofTers new opportunities for the development of innovative services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Buch. Zustand: Neu. Neuware -Protein Kinase C is a pivotal component of the mechanism that allows a cell to respond to its changing environment. In this book, the most significant advances in recent basic research on Protein Kinase C are explained by active researchers in the field. The first seven chapters provide a comprehensive account of the fundamental structural and biochemical properties of Protein Kinase C. The remaining chapters contain overviews of the function of Protein Kinase C, both in lower organisms and in mammalian cells, the latter with a focus on immune cells and nerve cells. This book is the only recent publication devoted entirely to Protein Kinase C and forms a major point of reference for those active in the field. In addition it will appeal to those with a general interest in biochemistry, cell biology, immunology and neurobiology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Zustand: Neu. Neuware -It is clear that violence by youth is not to be found only on city streets, in city schools and among city youth but anywhere and everywhere wrathful, disenfranchised young people reside. In this volume, the editors share their insights on the latest research for how families can promote optimal development in children from birth to age six, so they can grow into healthy, happy and competent young adults.Topics include social-emotional learning; neighborhood and community influences; the role of teachers and other caregivers; and more. The volume includes the actual Bingham Childhood Prosocial Curriculum, so that it can be implemented at any center.A Blueprint for the Promotion of Pro-Social Behavior in Early Childhood will be a helpful resource for clinical child psychologists, school psychologists, early childhood educators, as well as for upper-level students of these areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 450 pp. Englisch.

Buch. Zustand: Neu. Neuware - This book is of interest to mathematicians, geologists, engineers and, in general, researchers and post graduate students involved in spline function theory, surface fitting problems or variational methods. From reviews: The book is well organized, and the English is very good. I recommend the book to researchers in approximation theory, and to anyone interested in bivariate data fitting.' (L.L. Schumaker, Mathematical Reviews, 2005).

Buch. Zustand: Neu. Neuware -Statistical timing analysis is an area of growing importance in nanometer te- nologies¿ as the uncertainties associated with process and environmental var- tions increase¿ and this chapter has captured some of the major efforts in this area. This remains a very active field of research¿ and there is likely to be a great deal of new research to be found in conferences and journals after this book is published. In addition to the statistical analysis of combinational circuits¿ a good deal of work has been carried out in analyzing the effect of variations on clock skew. Although we will not treat this subject in this book¿ the reader is referred to [LNPS00¿ HN01¿ JH01¿ ABZ03a] for details. 7 TIMING ANALYSIS FOR SEQUENTIAL CIRCUITS 7.1 INTRODUCTION A general sequential circuit is a network of computational nodes (gates) and memory elements (registers). The computational nodes may be conceptualized as being clustered together in an acyclic network of gates that forms a c- binational logic circuit. A cyclic path in the direction of signal propagation 1 is permitted in the sequential circuit only if it contains at least one register . In general, it is possible to represent any sequential circuit in terms of the schematic shown in Figure 7.1, which has I inputs, O outputs and M registers. The registers outputs feed into the combinational logic which, in turn, feeds the register inputs. Thus, the combinational logic has I + M inputs and O + M outputs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Zustand: Neu. Neuware - Information Systems Research: Relevant Theory and Informed Practice comprises the edited proceedings of the WG8.2 conference, 'Relevant Theory and Informed Practice: Looking Forward from a 20-Year Perspective on IS Research,' which was sponsored by IFIP and held in Manchester, England, in July 2004. The conference attracted a record number of high-quality manuscripts, all of which were subjected to a rigorous reviewing process in which four to eight track chairs, associate editors, and reviewers thoughtfully scrutinized papers by the highly regarded as well as the newcomers. No person or idea was considered sacrosanct and no paper made it through this process unscathed. All authors were asked to revise the accepted papers, some more than once; thus, good papers got better. With only 29 percent of the papers accepted, these proceedings are significantly more selective than is typical of many conference proceedings. This volume is organized in 7 sections, with 33 full research papers providing panoramic views and reflections on the Information Systems (IS) discipline followed by papers featuring critical interpretive studies, action research, theoretical perspectives on IS research, and the methods and politics of IS development. Also included are 6 panel descriptions and a new category of 'bright idea' position papers, 11 in all, wherein main points are summarized in a pithy and provocative fashion.

Buch. Zustand: Neu. Neuware -Biomedical Engineering Principles in Sports contains in-depth discussions on the fundamental biomechanical and physiological principles underlying the acts of throwing, shooting, hitting, kicking, and tackling in sports, as well as vision training, sports injury, and rehabilitation. The topics include:Golf ball aerodynamics and golf club designGolf swing and putting biomechanicsTennis ball aerodynamics and ball- and shoe-surface interactionsTennis stroke mechanics and optimizing ball-racket interactionsBaseball pitching biomechanics and perceptual illusions of battersFootball forward pass aerodynamics and tackling biomechanicsSoccer biomechanicsBasketball aerodynamics and biomechanicsVision training in sportsChildren maturation and performanceRehabilitation and medical advances in treatment of sports injuries. This book is essential reading for biomedical engineers, physicists, sport scientists, and physiologists who wish to update their knowledge of biomechanical and biomedical principles and their applications to sports. The book can be used in a one-semester Senior or Graduate-level course in Biomechanics, Biomedical Engineering, Sports Technology, Sports Medicine, or Exercise Physiology. In addition, it will be of value to interested athletic laypersons who enjoy watching or participating in sports such as golf, tennis, softball, football, soccer, and basketball.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Buch. Zustand: Neu. Neuware -Currently, individuals interested in seeking an in-depth discussion of transplantation immunology must seek individual articles published in several journals, or extrapolate information from various non-transplant immunology textbooks. The purpose of this text is to provide the reader with a single source of information for the basic science of immunobiology of organ transplantation. It is unique that it focuses on immunobiology from the basic research side, with an emphasis on the cellular and molecular levels.The readers will be physicians, scientists, and graduate students interested and engaged in the study of immunology as it relates to allo- and xenotransplantation. This book is designed to be the reference standard for the immunobiology of transplantation. 680 pp. Englisch.

Buch. Zustand: Neu. Neuware -The Theory and Practice of Revenue Management is a book that comprehensively covers theory and practice of the entire field, including both quantity and price-based RM, as well as significant coverage of supporting topics such as forecasting and economics. The authors believe such a comprehensive approach is necessary to fully understand the subject. A central objective of the book is to unify the various forms of RM and to link them closely to each other and to the supporting fields of statistics and economics. Nevertheless, the topics and coverage do reflect choices about what is important to understand RM. Hence, the book¿s purpose is to provide a comprehensive, accessible synthesis of the state of the art in Revenue Management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 748 pp. Englisch.