springer jun 2002 (17 Ergebnisse)

Buch. Zustand: Neu. Neuware - Overview The aim of this book is to provide a practical introduction to software quality in an industrial environment and is based on the author's experience in working in software engineering and software quality improvement with leading indus trial companies. The book is written from a practitioner's viewpoint, and the objective is to include both theory and practice. The reader will gain a grasp of the fundamentals as well as guidance on the practical application of the theory. The principles of software quality management and software process im provement are discussed, and guidance on the implementation of maturity mod els such as the CMM, SPICE, or the ISO 9000:2000 standard is included. Organization and Features The first chapter provides an introduction to the fundamentals of quality man agement. Later chapters consider software inspections and testing, ISO 9000, the CMM, the evolving SPICE standard, metrics and problem solving, and the final chapter on formal methods and design considers some advanced topics, includ ing configuration management, UML, software usability, and formal methods. The reader may find the material heavy going in places, especially in the section on formal methods, and this section may be skipped. The book includes a chapter on software inspections and testing, and this in cludes material on Fagan inspections to build quality into the software product.

Buch. Zustand: Neu. Neuware - Design reuse techniques have become the subject of books, conferences, and podium discussions over the last few years. However, most discussions focus on higher-level abstraction like RTL descriptions, which can be synthesized. Design reuse is often seen as an add-on to normal design activity, or a special design task that is not an integrated part of the existing design flow. This may all be true for the ASIC world, but not for high-speed, high-performance microprocessors.In the field of high-speed microprocessors, design reuse is an integrated part of the design flow. The method of choice in this demanding field was, and is always, physical design reuse at the layout level. In the past, the practical implementations of this method were linear shrinks and the lambda approach. With the scaling of process technology down to 0.18 micron and below, this approach lost steam and became inefficient. The only viable solution is a method, which is now called Automatic Layout Modification (ALM). It combines compaction, mask manipulation, and correction with powerful capabilities.Automatic Layout Modification, Including design reuse of the Alpha CPU in 0.13 micron SOI technology is a welcome effort to improving some of the practices in chip design today.

Buch. Zustand: Neu. Neuware - The debate between Lewis Mumford and Thomas Adams over the Regional Plan of New York and Its Environs (RPNY) often stirs intellectual debate among planning professionals, academics, and students. Recent scholarship has been primarily concerned with the theoretical underpinnings of Mumford's `regionalists' and Adams' `metropolitanists'. Mumford, as well as Benton MacKaye and other members of the Regional Planning Association of America (RPAA), were heavily influenced by their vision of regional planning as a method for progressive social change. At the same time, Adams and the metropolitan planners associated with the RPNY saw regional planning as a tool by which to minimally tweak the underpinnings of the market and thereby provide for a minimum amount of congestion and economic hardship for the maximum number of citizens. The debate between these two traditions helps to inform on current planning issues, including sprawl, sustainable development, and the new urbanism. This book analyzes one of the only instances where the theoretical debate between the regionalists and the metropolitanists moved from intellectual polemic to planning practice. As our metropolitan areas continue to grow and consume land, regional planning must find a way to consider the uniqueness of regional economies and culture without succumbing to metropolitan sameness.

Buch. Zustand: Neu. Neuware - Microarray technology is a major experimental tool for functional genomic explorations, and will continue to be a major tool throughout this decade and beyond. The recent explosion of this technology threatens to overwhelm the scientific community with massive quantities of data. Because microarray data analysis is an emerging field, very few analytical models currently exist. Methods of Microarray Data Analysis II is the second book in this pioneering series dedicated to this exciting new field. In a single reference, readers can learn about the most up-to-date methods, ranging from data normalization, feature selection, and discriminative analysis to machine learning techniques. Currently, there are no standard procedures for the design and analysis of microarray experiments. Methods of Microarray Data Analysis II focuses on a single data set, using a different method of analysis in each chapter. Real examples expose the strengths and weaknesses of each method for a given situation, aimed at helping readers choose appropriate protocols and utilize them for their own data set. In addition, web links are provided to the programs and tools discussed in several chapters. This book is an excellent reference not only for academic and industrial researchers, but also for core bioinformatics/genomics courses in undergraduate and graduate programs.

Buch. Zustand: Neu. Neuware - This book can be regarded as a monograph on the debates and developments in Dutch environmental policy. It has been written with a specific perspective in mind. First and foremost, the line of approach we have taken was from a multidisciplinary social science point of view. The trend in environmental policy is looked at from the angle of sociology, policy studies and political science. Secondly, all analyses depart from the paradigm shift concept. This particular paradigm shift is based on the fact that a radical change has taken shape over the years in the way environmental issues are handled. Previously, environmental policy had always been characterised by is top-down approach in which government determined the actual objectives of policy and assumed that it could win over business, non governmental organisations and citizens to act in line with those objectives. There was also a great deal of faith in the technical solutions to environmental issues. Today's environmental policy is based on a totally different philosophy. Environmental objectives are now reached in association with business, non-governmental organisations and citizens. These actors are also involved in bringing environmental policy into practice. In other words, the implementation of policy has a more interactive nature. New relationships emerge between government, the market and civil society, and policy discourses also become integrated. The environmental interest is more often weighed against the econom1c interests, the spatial development and against social justice.

Buch. Zustand: Neu. Neuware - Test Resource Partitioning for System-on-a-Chip is about test resource partitioning and optimization techniques for plug-and-play system-on-a-chip (SOC) test automation. Plug-and-play refers to the paradigm in which core-to-core interfaces as well as core-to-SOC logic interfaces are standardized, such that cores can be easily plugged into 'virtual sockets' on the SOC design, and core tests can be plugged into the SOC during test without substantial effort on the part of the system integrator. The goal of the book is to position test resource partitioning in the context of SOC test automation, as well as to generate interest and motivate research on this important topic.SOC integrated circuits composed of embedded cores are now commonplace. Nevertheless, There remain several roadblocks to rapid and efficient system integration. Test development is seen as a major bottleneck in SOC design, and test challenges are a major contributor to the widening gap between design capability and manufacturing capacity. Testing SOCs is especially challenging in the absence of standardized test structures, test automation tools, and test protocols.Test Resource Partitioning for System-on-a-Chip responds to a pressing need for a structured methodology for SOC test automation. It presents new techniques for the partitioning and optimization of the three major SOC test resources: test hardware, testing time and test data volume.Test Resource Partitioning for System-on-a-Chip paves the way for a powerful integrated framework to automate the test flow for a large number of cores in an SOC in a plug-and-play fashion. The framework presented allows the system integrator to reduce test cost and meet short time-to-market requirements.

Buch. Zustand: Neu. Neuware - In Rediscovering Colors: A Study in Pollyanna Realism, Michael Watkins endorses the Moorean view that colors are simple, non-reducible, properties of objects. Consequently, Watkins breaks from what has become the received view that either colors are reducible to certain properties of interest to science, or else nothing is really colored. What is novel about the work is that Watkins, unlike other Mooreans, takes seriously the metaphysics of colors. Consequently, Watkins provides an account of what colors are, how they are related to the physical properties on which they supervene, and how colors can be causally efficacious without the threat of causal overdetermination. Along the way, he provides novel accounts of normal conditions and non-human color properties. The book will be of interest to any metaphysician and philosopher of mind interested in colors and color perception.

Buch. Zustand: Neu. Neuware - Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an input, this input is transformed following some laws (usually a differential equation) and an output is observed. The problem is to regulate the input in order to control the output, that is for obtaining a desired output. Such a mechanism, where the input is modified according to the output measured, is called feedback. The study and design of such automatic processes is called control theory. As we will see, the term system embraces any device and control theory has a wide variety of applications in the real world. Control theory is an interdisci plinary domain at the junction of differential and difference equations, system theory and statistics. Moreover, the solution of a control problem involves many topics of numerical analysis and leads to many interesting computational problems: linear algebra (QR, SVD, projections, Schur complement, structured matrices, localization of eigenvalues, computation of the rank, Jordan normal form, Sylvester and other equations, systems of linear equations, regulariza tion, etc), root localization for polynomials, inversion of the Laplace transform, computation of the matrix exponential, approximation theory (orthogonal poly nomials, Pad6 approximation, continued fractions and linear fractional transfor mations), optimization, least squares, dynamic programming, etc. So, control theory is also a. good excuse for presenting various (sometimes unrelated) issues of numerical analysis and the procedures for their solution. This book is not a book on control.

Buch. Zustand: Neu. Neuware - Analysis of Glycans of Recombinant Glycoproteins.- The Effect of Cell Culture Parameters on Protein Glycosylation.- Glycosylation of Recombinant IgG Antibodies and Its Relevance for Therapeutic Applications.- Cellular Modification for the Improvement of the Glycosylation Pathway.- Controlling Carbohydrates on Reconbinant Glycoproteins.- Targeting of Genetically Engineered Glycosyltransferases to In Vivo Functional Golgi Subcompartments of Mammalian Cells.- A Metabolic Substrate-Based Approach to Engineering New Chemical Reactivity into Cellular Sialoglycoconjugates.- Addressing Insect Cell Glycosylation Deficiencies Though Metabolic Engineering.- Asparagine-Linked Glycosylational Modifications in Yeast.

Buch. Zustand: Neu. Neuware - The generalized area of multiple criteria decision making (MCDM) can be defined as the body of methods and procedures by which the concern for multiple conflicting criteria can be formally incorporated into the analytical process. MCDM consists mostly of two branches, multiple criteria optimization and multi-criteria decision analysis (MCDA). While MCDA is typically concerned with multiple criteria problems that have a small number of alternatives often in an environment of uncertainty (location of an airport, type of drug rehabilitation program), multiple criteria optimization is typically directed at problems formulated within a mathematical programming framework, but with a stack of objectives instead of just one (river basin management, engineering component design, product distribution). It is about the most modern treatment of multiple criteria optimization that this book is concerned. I look at this book as a nicely organized and well-rounded presentation of what I view as 'new wave' topics in multiple criteria optimization. Looking back to the origins of MCDM, most people agree that it was not until about the early 1970s that multiple criteria optimization c- gealed as a field. At this time, and for about the following fifteen years, the focus was on theories of multiple objective linear programming that subsume conventional (single criterion) linear programming, algorithms for characterizing the efficient set, theoretical vector-maximum dev- opments, and interactive procedures.

Buch. Zustand: Neu. Neuware.

Buch. Zustand: Neu. Neuware - Some time ago I wrote a book (Moral Language, 1982) in which I argued that moral judgments are capable of being true ('truth-apt,' to use a current phrase, or descriptive and having truth-value, to use a more traditional term), that the methods of discovering moral facts are fundamentally similar to those of discovering non-moral facts, and that moral judgments may be true. What I did not do at that time was to develop a moral theory which would demonstrate how the method of discovering moral truths would work and what the criteria of truth actually are. In a later work (Persons, Animals, and Fetuses, 1996) I did propose a moral theory as to what the criteria for moral truth are; however, I presented it primarily as an introduction to the discussion of several practical ethical issues and did not argue fully for that theory. It is high time that I did so, because without showing that such a theory can be developed my defense of moral realism is incomplete. It is all very well to say that we can discover what moral beliefs are true, but unless we can demonstrate just which beliefs are true, the thesis that we can discover this truth cannot be fully defended. For this reason the biggest (although not the only) challenge to showing that ethical objectivity is possible is the presence of moral disagreement - and the contention of many that such disagreement cannot be definitively resolved.

Buch. Zustand: Neu. Neuware - Study of the origin and development of civilization is of unequaled importance for understanding the cultural processes that create human societies. Is cultural evolution directional and regular across human societies and history, or is it opportunistic and capricious Do apparent regularities come from the way inves tigators construct and manage knowledge, or are they the result of real constraints on and variations in the actual processes Can such questions even be answered We believe so, but not easily. By comparing evolutionary sequences from different world civilizations scholars can judge degrees of similarity and difference and then attempt explanation. Of course, we must be careful to assess the influence that societies of the ancient world had on one another (the issue of pristine versus non-pristine cultural devel opment: see discussion in Fried 1967; Price 1978). The Central Andes were the locus of the only societies to achieve pristine civilization in the southern hemi sphere and only in the Central Andes did non-literate (non-written language) civ ilization develop. It seems clear that Central Andean civilization was independent on any graph of archaic culture change. Scholars have often expressed appreciation of the research opportunities offered by the Central Andes as a testing ground for the study of cultural evolu tion (see, e. g. , Carneiro 1970; Ford and Willey 1949: 5; Kosok 1965: 1-14; Lanning 1967: 2-5).

Buch. Zustand: Neu. Neuware - 1 Introduction.- 2 Optimization Models.- 3 General Economic Equilibrium.- 4 Models of Oligopoly.- 5 Oligopoly with Leaders.- 6 Complementarity Problems with Respect to General Cones.- 7 Pseudomonotone and Implicit Complementarity Problems.- 8 Complementarity Pivot Methods.- 9 Scarf Type Algorithms.- 10 Newton-Like Methods.- 11 Parametrization and Reduction to Nonlinear Equations.- 12 Efficiency.- 13 Approximative Efficiency.

Buch. Zustand: Neu. Neuware -This book provides a survey of the state of the art of technology and future trends in the new family of Smart Power ICs and describes design and applications in a variety of fields ranging from automotive to telecommunications, reliability evaluation and qualification procedures. The book is a valuable source of information and reference for both power IC design specialists and to all those concerned with applications, the development of digital circuits and with system architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 590 pp. Englisch.

Buch. Zustand: Neu. Neuware - This is the fifth book of the Kluwer's series Advances in Robot Kine matics. The book presents the most recent research advances in the theory, design, control and application of robotic systems, which are intended for a variety of purposes such as manipulation, manufactur ing, automation, surgery, locomotion and biomechanics. The issues addressed are fundamentally kinematic in nature, including synthesis, calibration, redundancy, force control, dexterity, inverse and forward kinematics, kinematic singularities, as well as over-constrained systems. Methods used include line geometry, quaternion algebra, screw alge bra, and linear algebra. These methods are applied to both parallel and serial multi-degree-of-freedom systems. The results should interest researchers, teachers and students, in fields of engineering and mathe matics related to robot theory, design, control and application. Each contribution in this book had been rigorously reviewed by two or three independent reviewers and 53 articles had been recommended for publication. We are happy to observe that Advances in Robot Kine matics has always attracted the most outstanding authors and has de veloped a remarkable scientific community in the area. Many important and original scientific results were for the first time reported and dis cussed in these books. All articles in this book were also reported at the eight international symposium on Advances in Robot Kinematics that was organised in June 2002 in Caldes de Malavella in Spain.

Buch. Zustand: Neu. Neuware - This book provides a survey of the state of the art of technology and future trends in the new family of Smart Power ICs and describes design and applications in a variety of fields ranging from automotive to telecommunications, reliability evaluation and qualification procedures. The book is a valuable source of information and reference for both power IC design specialists and to all those concerned with applications, the development of digital circuits and with system architecture.