springer us jun 2004 (43 risultati)

Buch. Condizione: Neu. Neuware - An Introduction to Surface-Micromachining provides for the first time a unified view of surface-micromachining. Building up from the basic building block of microfabrication techniques, to the general surface-micromachining design, it will finish with the theory and design of concrete components. An Introduction to Surface-Micromachining connects the manufacturing process, microscale phenomena, and design data to physical form and function. This book will be of interest to mechanical engineers looking to scale down into micromachining and microelectronics designers looking to move horizontally to micromachining.

Buch. Condizione: Neu. Neuware - Automatic Quantum Computer Programming provides an introduction to quantum computing for non-physicists, as well as an introduction to genetic programming for non-computer-scientists. The book explores several ways in which genetic programming can support automatic quantum computer programming and presents detailed descriptions of specific techniques, along with several examples of their human-competitive performance on specific problems. Source code for the author's QGAME quantum computer simulator is included as an appendix, and pointers to additional online resources furnish the reader with an array of tools for automatic quantum computer programming.

Buch. Condizione: Neu. Neuware - The 21st century will witness the unprecedented marketing of therapeutic drugs developed from cannabinoids and the endocannabinoid system. Cannabinoids is a timely volume, which represents a comprehensive review of the most important issues in cannabinoid research as well as those of most likely therapeutic relevance. For the first time, the multi-faceted aspects of cannabinoid chemistry, biology and medicine are presented in one volume. Key topics of discussion: -major families of phytocannabinoids; -pharmacological activity of phytocannabinoids; -interactions of phytocannabinoids with their proposed molecular target; -components of the endocannabinoid system; -molecular mechanisms of the endocannabinoid system; -Physiological and pathological role of endocannabinoids; -industrial applications of studies on the cannabinoids; -therapeutic uses of agonists and antagonists of cannabinoids receptors. This book is a must for graduate and pre- and post-doctoral students in disciplines ranging from organic and natural product chemistry, pharmacology, biochemistry and medicine.

Buch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Thirty years have passed since somatostatin was discovered and its hormonal function defined [1,2]. The wide range of anatomical distribution and actions of somatostatin and its receptors stimulated intense scientific and clinical interest, and fostered extensive research into all aspects of its biology including regulation of its gene expression, processing of its precursor, biological and cellular actions relating to regulation cell secretion, motility and proliferation. The development of metabolically stable peptide analogs helped define its usefulness in the treatment of endocrine diseases and cancer. The heterogeneity of somatostatin receptors recognized in 1981 [3] was later shown to result from the existence and variable expression of five distinct subtypes that constitutes two distinct subfamilies with distinguishing pharmacological characteristics [4,5]. The molecular cloning of these receptor subtypes reignited the interest in this field leading to a major increase in our insight into the biology of somatostatin and its receptor subtypes, and has led to the design and development of subtype-selective peptide and non-peptide agonists and antagonists. Significant progress has been made in both basic and clinical research on somatostatin. Noteworthy developments include the role of somatostatin in neuronal patterning, delineation of subtype-selective cytostatic / cytotoxic antiproliferative actions, manipulation of cellular signaling by oligomeric association of somatostatin receptor subtypes amongst themselves or with other G protein-coupled receptors, application of radionuclide-tagged derivatives to localize somatostatin receptor positive tumors and their treatment through targeted delivery of radionuclide or chemotoxin tagged agonists through receptor-mediated endocytosis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware --Very timely issue right now. Topic is receiving media and popular attention -Maternal and Child Health is a specific area of study in Public Health -Author is entrepreneurial and well-established. 304 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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 proximity, -Electrical pruning - reducing aggressors by electrical strength, -Temporal pruning - reducing aggressors using timing windows, -Functional pruning - reducing aggressors by Boolean functional analysis. 132 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book documents the proceedings of the symposium 'Fundamentals and Applications of Anion Separations' held during American Chemical Society National Meeting in Chicago, Illinois, August 25-30, 200I. Nearly 40 papers devoted to discussions on anion separation related to fundamental research and applications were presented. The symposium, sponsored by Osram Sylvania, BetzDearbom, and the Separation Science & Technology Subdivision of the Industrial & Engineering Chemistry Division of the American Chemical Society was organized by Bruce A. Moyer, Chemical Sciences Division, Oak Ridge National Laboratory, P.O. Box 2008, Building. 4500S, Oak Ridge, TN 37831-6119, and Raj P. Singh, Chemicals and Powders R&D, Osram Sylvania, Chemical and Metallurgical Products Division, Towanda, PA 18848. It drew presenters from Australia, the Czech Republic, France, Germany, Japan, South Africa, Thailand, the United Kingdom, and the United States. Separations constitute an integral part of chemical industry. Chemical products typically originate in resources that must be concentrated and purified, chemically transformed, and subjected to fmal purification. Effluent streams from the processes must be treated to recycle reusable components and to remove environmentally harmful species. Some industrial processes are devoted to environmental cleanup after pollution has occurred. In addition, many analytical methods require a separation for preconcentration, or a separation may be an inherent part of the analysis itself. Micro separations occurring at membranes or interfaces are also related phenomena employed for ion sensing. Many species targeted for separation are naturally anionic. Although the standard separations techniques ofextraction, ion exchange, adsorption, precipitation, etc. 384 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book 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. This is the first book to introduce a useful taxonomy for coverage of metric classification. Using this taxonomy, the reader will clearly understand the process of creating an effective coverage model. This book offers a thoughtful and comprehensive treatment of its subject for anybody who is really serious about functional verification. 232 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Cell-based design methodologies have dominated layout generation of digital circuits. Unfortunately, the growing demands for transparent process portability, increased performance, and low-level device sizing for timing/power are poorly handled in a fixed cell library. Direct Transistor-Level Layout For Digital Blocks proposes a direct transistor-level layout approach for small blocks of custom digital logic as an alternative that better accommodates demands for device-level flexibility. This approach captures essential shape-level optimizations, yet scales easily to netlists with thousands of devices, and incorporates timing optimization during layout. The key idea is early identification of essential diffusion-merged MOS device groups, and their preservation in an uncommitted geometric form until the very end of detailed placement. Roughly speaking, essential groups are extracted early from the transistor-level netlist, placed globally, optimized locally, and then finally committed each to a specific shape-level form while concurrently optimizing for both density and routability. The essential flaw in prior efforts is an over-reliance on geometric assumptions from large-scale cell-based layout algorithms. Individual transistors may seem simple, but they do not pack as gates do. Algorithms that ignore these shape-level issues suffer the consequences when thousands of devices are poorly packed. The approach described in this book can pack devices much more densely than a typical cell-based layout.Direct Transistor-Level Layout For Digital Blocks is a comprehensive reference work on device-level layout optimization, which will be valuable to CAD tool and circuit designers. 140 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -- Each chapter is written by expert(s) active in somatostatin research (experimental and/or clinical)- It will serve as the only single one-stop source of the most up to date information on the basic and clinical aspects of the biology of somatostatin 332 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book attempts to explain what went wrong in California's restructured energy markets and what must be done to restore California's economy and build new electricity systems. The intention here is to reconcile the principles of competition and regulation. California had a severe electricity crisis for about thirteen months beginning in May of 2000. The economic consequences and political fallout that arose from this crisis persist. California's economy continues to suffer and the state's treasury is deeply in debt. The state's three investor-owned utilities were nearly financially decimated. San Diego Gas & Electric has recovered to a greater degree than the other two only because its retail prices are about three times the national average and, for a time, well above the other two IOUs in California. Southern California Edison has recently been restored to investment grade and was granted a rate increase. Pacific Gas & Electric is emerging from bankruptcy. This book discusses all of this in greater detail. The problems and consequences arising from California's ill-fated foray into electricity market restructuring could damage the state for years to come. Challenges of this nature are not new to the Golden State. In the past, as we explain here, pragmatic, not entrenched, approaches have worked best in California. If California is to relatively quickly restore its previous enviable economic vitality and recover from the damage done to tarnish its luster, pragmatic approaches must again be used. 236 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book attempts to explain what went wrong in Californiäs restructured energy markets and what must be done to restore Californiäs economy and build new electricity systems. The intention here is to reconcile the principles of competition and regulation. California had a severe electricity crisis for about thirteen months beginning in May of 2000. The economic consequences and political fallout that arose from this crisis persist. Californiäs economy continues to suffer and the state¿s treasury is deeply in debt. The state¿s three investor-owned utilities were nearly financially decimated. San Diego Gas & Electric has recovered to a greater degree than the other two only because its retail prices are about three times the national average and, for a time, well above the other two IOUs in California. Southern California Edison has recently been restored to investment grade and was granted a rate increase. Pacific Gas & Electric is emerging from bankruptcy. This book discusses all of this in greater detail. The problems and consequences arising from Californiäs ill-fated foray into electricity market restructuring could damage the state for years to come. Challenges of this nature are not new to the Golden State. In the past, as we explain here, pragmatic, not entrenched, approaches have worked best in California. If California is to relatively quickly restore its previous enviable economic vitality and recover from the damage done to tarnish its luster, pragmatic approaches must again be used.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Cell-based design methodologies have dominated layout generation of digital circuits. Unfortunately, the growing demands for transparent process portability, increased performance, and low-level device sizing for timing/power are poorly handled in a fixed cell library. Direct Transistor-Level Layout For Digital Blocks proposes a direct transistor-level layout approach for small blocks of custom digital logic as an alternative that better accommodates demands for device-level flexibility. This approach captures essential shape-level optimizations, yet scales easily to netlists with thousands of devices, and incorporates timing optimization during layout. The key idea is early identification of essential diffusion-merged MOS device groups, and their preservation in an uncommitted geometric form until the very end of detailed placement. Roughly speaking, essential groups are extracted early from the transistor-level netlist, placed globally, optimized locally, and then finally committed each to a specific shape-level form while concurrently optimizing for both density and routability. The essential flaw in prior efforts is an over-reliance on geometric assumptions from large-scale cell-based layout algorithms. Individual transistors may seem simple, but they do not pack as gates do. Algorithms that ignore these shape-level issues suffer the consequences when thousands of devices are poorly packed. The approach described in this book can pack devices much more densely than a typical cell-based layout. Direct Transistor-Level Layout For Digital Blocks is a comprehensive reference work on device-level layout optimization, which will be valuable to CAD tool and circuit designers.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book documents the proceedings of the symposium 'Fundamentals and Applications of Anion Separations' held during American Chemical Society National Meeting in Chicago, Illinois, August 25-30, 200I. Nearly 40 papers devoted to discussions on anion separation related to fundamental research and applications were presented. The symposium, sponsored by Osram Sylvania, BetzDearbom, and the Separation Science & Technology Subdivision of the Industrial & Engineering Chemistry Division of the American Chemical Society was organized by Bruce A. Moyer, Chemical Sciences Division, Oak Ridge National Laboratory, P.O. Box 2008, Building. 4500S, Oak Ridge, TN 37831-6119, and Raj P. Singh, Chemicals and Powders R&D, Osram Sylvania, Chemical and Metallurgical Products Division, Towanda, PA 18848. It drew presenters from Australia, the Czech Republic, France, Germany, Japan, South Africa, Thailand, the United Kingdom, and the United States. Separations constitute an integral part of chemical industry. Chemical products typically originate in resources that must be concentrated and purified, chemically transformed, and subjected to fmal purification. Effluent streams from the processes must be treated to recycle reusable components and to remove environmentally harmful species. Some industrial processes are devoted to environmental cleanup after pollution has occurred. In addition, many analytical methods require a separation for preconcentration, or a separation may be an inherent part of the analysis itself. Micro separations occurring at membranes or interfaces are also related phenomena employed for ion sensing. Many species targeted for separation are naturally anionic. Although the standard separations techniques ofextraction, ion exchange, adsorption, precipitation, etc.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 264 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. ' 208 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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 Swan 396 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 376 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 450 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As a phylogenetically old system complement is now regarded as a part of innate immunity. But it is much more than that. It bridges innate and adapted immunity, participates not only in host defense but also in many essential physiological processes, old and new diseases and adverse conditions. Indeed, complement became a term that almost defies categorization. What was for a long time a subject for a limited number of specialists has now moved into the mainstream of experimental and clinical immunology. In 1973 I visited the Basel Institute of Immunology and met its director, the eminent scientist and Nobel laureate Nils Jerne. When I entered his office he greeted me with the following words: 'Complement, does that really exist ' I was never certain whether he wanted only to tease me or whether he sincerely believed that the complement system was an unimportant biological curiosity, a misstep of evolution. But, of course, missteps do not survive the evolutionary process. Little did I foresee the dramatic developments of recent years when Hans J. Müller-Eberhard and I started to unravel the specifics of the action of the cobra venom factor on the complement system in 1968 and defined a new pathway to its activation. An elucidation of the role of the system in diseases and its control for therapeutic reasons is now getting closer to actual realization in the clinic although many problems, in particular those of highly specificinhibition free of side effects, have still to be resolved. 596 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As information technologies become increasingly distributed and accessible to larger number of people and as commercial and government organizations are challenged to scale their applications and services to larger market shares, while reducing costs, there is demand for software methodologies and appli- tions to provide the following features: Richer application end-to-end functionality; Reduction of human involvement in the design and deployment of the software; Flexibility of software behaviour; and Reuse and composition of existing software applications and systems in novel or adaptive ways. When designing new distributed software systems, the above broad requi- ments and their translation into implementations are typically addressed by partial complementarities and overlapping technologies and this situation gives rise to significant software engineering challenges. Some of the challenges that may arise are: determining the components that the distributed applications should contain, organizing the application components, and determining the assumptions that one needs to make in order to implement distributed scalable and flexible applications, etc. 540 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -As information technologies become increasingly distributed and accessible to larger number of people and as commercial and government organizations are challenged to scale their applications and services to larger market shares, while reducing costs, there is demand for software methodologies and appli- tions to provide the following features: Richer application end-to-end functionality; Reduction of human involvement in the design and deployment of the software; Flexibility of software behaviour; and Reuse and composition of existing software applications and systems in novel or adaptive ways. When designing new distributed software systems, the above broad requi- ments and their translation into implementations are typically addressed by partial complementarities and overlapping technologies and this situation gives rise to significant software engineering challenges. Some of the challenges that may arise are: determining the components that the distributed applications should contain, organizing the application components, and determining the assumptions that one needs to make in order to implement distributed scalable and flexible applications, etc. 540 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Epilepsy research has entered an exciting phase as advances in molecular analysis have supplemented in vitro and in vivo electrophysiologic and phenotypic characterization. Recent Advances in Epilepsy Research sets forth a series of chapter reviews by researchers involved in these advances. This volume is a composite profile of some exciting recent investigations in select areas of enquiry. Key features: neurogenetics of seizure disorders, new developments in cellular and molecular neurobiology of seizure disorders, the role of growth factors in seizures, new advances in the roles of metabotropic glutamate receptors and GABA receptors and transporters, gap junctions, neuroimmunology of epilepsy, malformations of cortical development, neurogenesis, new animal models of epilepsy and the use of brain stimulation to treat epilepsy. This book should be of interest to a wide variety of audiences, including graduate students in neurobiology and related disciplines, neuroscientists, medical students, neurologists, neurosurgeons, and industry including pharmaceutical companies and medical device companies. There are many ideas in this book that will lead ingenious innovators in academia and industry to develop new and better therapies.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 270 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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.