Springer jun 2002 (15 Ergebnisse)

Buch. Zustand: Neu. Neuware - I have always loved the stars. I watch them, photograph one. And you can hardly talk about Zubenelgenubi them, research them, write about them. Their wonder without bringing in Zubeneschamali, so they too are is that they are there not simply for scientists, but for treated within one story. The Sun is not included in the all of us, filling the night sky with their sparkling beauty. 100 list, but instead leads the pack as 'Star Zero. ' There are as many different kinds as there are stars Before describing the glories of the 100 stars, an themselves, each an individual. The heavens give us introduction briefs the beginning stargazer on basic bright ones, dim ones, near ones, far ones, the aged, stellar properties and explains the astronomical the young, those that help tell our ancient stories, and terminology, without which we would be continuously those nearly invisible even with the greatest of our tongue-tied. A separate glossary provides a quick technologies. Taken together, they relate the tale of our reminder. Then we move on to the stars themselves. existence, of the birth, life, and death of the Sun on Each of my favorite stars is introduced by a short which we depend.…

Taschenbuch. Zustand: Neu. Neuware - The structure of Apollo - The Lost and Forgotten Missions follows the development and in flight testing of the Apollo lunar spacecraft prior to Apollo 11 as well as missions planned following that first landing. Drawing upon combinations of archival documentation from the first four manned Apollo missions and future mission plans evolved in the summer of 1969, Apollo - The Lost and Forgotten Missions will fill this void. The text explains how the machines and the men were prepared for the landing on the moon and what would have followed the initial landings.…

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 - 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 - 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 - 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.

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 - 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 - 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 - 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 - 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.…

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.…