springer us springer us jun 2002 (76 risultati)

Buch. Condizione: Neu. Neuware -The problem of representing an integer as a sum of squares of integers is one of the oldest and most significant in mathematics. It goes back at least 2000 years to Diophantus, and continues more recently with the works of Fermat, Euler, Lagrange, Jacobi, Glaisher, Ramanujan, Hardy, Mordell, Andrews, and others. Jacobi's elliptic function approach dates from his epic Fundamenta Nova of 1829. Here, the author employs his combinatorial/elliptic function methods to derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi's (1829) 4 and 8 squares identities to 4n2 or 4n(n+1) squares, respectively, without using cusp forms such as those of Glaisher or Ramanujan for 16 and 24 squares. These results depend upon new expansions for powers of various products of classical theta functions. This is the first time that infinite families of non-trivial exact explicit formulas for sums of squares have been found.The author derives his formulas by utilizing combinatorics to combine a variety of methods and observations from the theory of Jacobi elliptic functions, continued fractions, Hankel or Turanian determinants, Lie algebras, Schur functions, and multiple basic hypergeometric series related to the classical groups. His results (in Theorem 5.19) generalize to separate infinite families each of the 21 of Jacobi's explicitly stated degree 2, 4, 6, 8 Lambert series expansions of classical theta functions in sections 40-42 of the Fundamental Nova. The author also uses a special case of his methods to give a derivation proof of the two Kac and Wakimoto (1994) conjectured identities concerning representations of a positive integer by sums of 4n2 or 4n(n+1) triangular numbers, respectively. These conjectures arose in the study of Lie algebras and have also recently been proved by Zagierusing modular forms. George Andrews says in a preface of this book, `This impressive work will undoubtedly spur others both in elliptic functions and in modular forms to build on these wonderful discoveries.'Audience: This research monograph on sums of squares is distinguished by its diversity of methods and extensive bibliography. It contains both detailed proofs and numerous explicit examples of the theory. This readable work will appeal to both students and researchers in number theory, combinatorics, special functions, classical analysis, approximation theory, and mathematical physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Buch. Condizione: Neu. Neuware -The general concept of information is here, for the first time, defined mathematically by adding one single axiom to the probability theory. This Mathematical Theory of Information is explored in fourteen chapters: 1. Information can be measured in different units, in anything from bits to dollars. We will here argue that any measure is acceptable if it does not violate the Law of Diminishing Information. This law is supported by two independent arguments: one derived from the Bar-Hillel ideal receiver, the other is based on Shannon's noisy channel. The entropy in the 'classical information theory' is one of the measures conforming to the Law of Diminishing Information, but it has, however, properties such as being symmetric, which makes it unsuitable for some applications. The measure reliability is found to be a universal information measure. 2. For discrete and finite signals, the Law of Diminishing Information is defined mathematically, using probability theory and matrix algebra. 3. The Law of Diminishing Information is used as an axiom to derive essential properties of information. Byron's law: there is more information in a lie than in gibberish. Preservation: no information is lost in a reversible channel. Etc. The Mathematical Theory of Information supports colligation, i. e. the property to bind facts together making 'two plus two greater than four'. Colligation is a must when the information carries knowledge, or is a base for decisions. In such cases, reliability is always a useful information measure. Entropy does not allow colligation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Buch. Condizione: Neu. Neuware -Written by a leading researcher this book presents an introduction to Stochastic Petri Nets covering the modeling power of the proposed SPN model, the stability conditions and the simulation methods. Its unique and well-written approach provides a timely and important addition to the literature. Appeals to a wide range of researchers in engineering, computer science, mathematics and OR.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Buch. Condizione: Neu. Neuware - As the foundations of the modern world were being laid at the beginning of the 19th century, Annapolis, Maryland, identified itself as the Ancient City. This unusual appellation has served Annapolis into the present as a city that has consistently defined and redefined for itself what being ancient means. The process of historical recognition and preservation that has played out in Annapolis provides valuable insights into the way modern Americans in general have come to know and use the past. Though often conceived to be in opposition, modernity and tradition can be paired as cultural strategies that allow the modern world to be articulated with the tradition it hoped to replace. The multiple histories and historic landscapes derived from archaeological investigations in Annapolis are presented to show that the physical world below the surface of the city has been defined by constructions of modernity in tandem with the survival of certain traditions.

Taschenbuch. Condizione: Neu. Neuware -Quantitative methods are needed in conservation biology more than ever as an increasing number of threatened species find their way onto international and national ¿red lists. ¿ Objective evaluation of population decline and extinction probability are required for sound decision making. Yet, as our colleague Selina Heppell points out, population viability analysis and other forms of formal risk assessment are underused in policy formation because of data uncertainty and a lack of standardized methodologies and unambiguous criteria (i. e. , ¿rules of thumb¿). Models used in conservation biology range from those that are purely heuristic to some that are highly predictive. Model selection should be dependent on the questions being asked and the data that are available. We need to develop a toolbox of quantitative methods that can help scientists and managers with a wide range of systems and that are subject to varying levels of data uncertainty and environmental variability. The methods outlined in the following chapters represent many of the tools needed to fill that toolbox. When used in conjunction with adaptive management, they should provide information for improved monitoring, risk assessment, and evaluation of management alternatives. The first two chapters describe the application of methods for detecting trends and extinctions from sighting data. Presence/absence data are used in general linear and additive models in Chapters 3 and 4 to predict the extinction proneness of birds and to build habitat models for plants.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Condizione: Neu. Neuware -Integrated circuits (IC's) have undergone a significant evolution in terms of complexity and performance as a result 'of the substantial advances made in manufacturing technology. Circuits, in their various mixed formats, can be made up tens or even hundreds of millions of devices. They work at extremely low voltages and switch at very high frequencies. Testing of circuits has become an essential process in IC manufacturing, in the effort to ensure that the manufactured components have the appropriate levels of quality. Along with the ongoing trend towards more advanced technology and circuit features, major testing challenges are continuously emerging. The use of ambivalent procedures to test the analogue and digital sections of such complex circuits without interfering in their nominal operation is clearly a critical part of today's technological ipdustries. Chapter 1 presents the general purposes and basic concepts rel~ted With' the'testing of integrated circuits, discussing the various strategies and their limitations. Readers who are already familiar with the field may opt to skip this chapter. This book offers a multidisciplinary focus on thermal testing. This is a testing method which is not only suitable for use in combination with other existing techniques, but is also backed by a wealth of knowledge and offers exciting opportunities in the form of as yet unexplored areas of research and innovation for industrial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Condizione: Neu. Neuware -International concern in scientific, industrial, and governmental communities over traces of xenobiotics in foods and in both abiotic and biotic environments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published research papers and progress reports, and archival documentations. These three international publications are inte grated and scheduled to provide the coherency essential for nonduplicative and current progress in a field as dynamic and complex as environmental contamina tion and toxicology. This series is reserved exclusively for the diversified litera ture on 'toxic' chemicals in our food, our feeds, our hornes, recreational and working surroundings, our domestic animals, our wildlife and ourselves. Tre mendous efforts worldwide have been mobilized to evaluate the nature, pres ence, magnitude, fate, and toxicology of the chemicals loosed upon the earth. Among the sequelae of this broad new emphasis is an undeniable need for an articulated set of authoritative publications, where one can find the latest impor tant world literature produced by these emerging areas of science together with documentation of pertinent ancillary legislation. Research directors and legislative or administrative advisers do not have the time to scan the escalating number of technical publications that may contain articles important to current responsibility. Rather, these individuals need the background provided by detailed reviews and the assurance that the latest infor mation is made available to them, all with minimal literature searching.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Condizione: Neu. Neuware -Frequency synthesizers are an essential building block of RF communication products. They can be found in traditional consumer products, in personal communication systems, and in optical communication equipment. Since frequency synthesizers are used in many different applications, different performance aspects may need to be considered in each case. The main body of the text describes a conceptual framework for analyzing the performance of PLL frequency synthesizers, and presents optimization procedures for the different performance aspects. The analysis of the PLL properties is performed with the use of the open-loop bandwidth and phase margin concepts, to enable the influence of higher-order poles to be taken into account from the beginning of the design process. The theoretical system analysis is complemented by descriptions of innovative system and building block architectures, by circuit implementations in bipolar and CMOS technologies, and by measurement results. Architectures for RF Frequency Synthesizers contains basic information for the beginner as well as in-depth knowledge for the experienced designer. It is widely illustrated with practical design examples used in industrial products. 280 pp. Englisch.

Buch. Condizione: 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Buch. Condizione: Neu. Neuware -¿Everything should be made as simple as possible¿but not simpler¿ Albert Einstein Traffic Theory, like all other sciences, aims at understanding and improving a physical phenomenon. The phenomenon addressed by Traffic Theory is, of course, automobile traffic, and the problems associated with it such as traffic congestion. But what causes congestion Some time in the 1970s, Doxiades coined the term 'oikomenopolis' (and 'oikistics') to describe the world as man's living space. In Doxiades' terms, persons are associated with a living space around them, which describes the range that they can cover through personal presence. In the days of old, when the movement of people was limited to walking, an individual oikomenopolis did not intersect many others. The automobile changed all that. The term 'range of good' was also coined to describe the maximal distance a person can and is willing to go in order to do something useful or buy something. Traffic congestion is caused by the intersection of a multitude of such 'ranges of good' of many people exercising their range utilisation at the same time. Urban structures containing desirable structures contribute to this intersection of 'ranges of good'. xii Preface In a biblical mood, I opened a 1970 paper entitled 'Traffic Control -- From Hand Signals to Computers' with the sentence: 'In the beginning there was the Ford'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Buch. Condizione: Neu. Neuware -One of the fast growing elements of the Internet is electronic commerce, which refers to the use of electronic means to conduct business transactions within or across business entities. Nearly 80 percent of all Fortune 500 companies have been doing their core business through the Internet. Many issues, and societal implications of electronic commerce, are the subjects of recent research. A supply chain consists of all the entities and activities that enable the production, distribution, and delivery of products and services to consumers. Research in designing and managing supply chains has rapidly expanded during the last decade. In addition, increased and accessible computing power and modeling capabilities have spurred this growth, enabling researchers to simultaneously consider the many interrelated variables and decisions of a supply chain in a single tractable model.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Condizione: Neu. Neuware -Nonlocal continuum field theories are concerned with material bodies whose behavior at any interior point depends on the state of all other points in the body -- rather than only on an effective field resulting from these points -- in addition to its own state and the state of some calculable external field. Nonlocal field theory extends classical field theory by describing the responses of points within the medium by functionals rather than functions (the 'constitutive relations' of classical field theory). Such considerations are already well known in solid-state physics, where the nonlocal interactions between the atoms are prevalent in determining the properties of the material. The tools developed for crystalline materials, however, do not lend themselves to analyzing amorphous materials, or materials in which imperfections are a major part of the structure. Nonlocal continuum theories, by contrast, can describe these materials faithfully at scales down to the lattice parameter. This book presents a unified approach to field theories for elastic solids, viscous fluids, and heat-conducting electromagnetic solids and fluids that include nonlocal effects in both space and time (memory effects). The solutions to the field equations agree remarkably well with atomic theories and experimental observations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Buch. Condizione: Neu. Neuware -ATP plays a central role in the two leading causes of cardiac morbidity and mortality in the western world: ischemia and heart failure. We are in our infancy applying what is known about biology and chemistry of ATP toward developing effective therapies for these diseases. In this volume, the current understanding of the chemistry and biology of ATP specifically in the cardiomyocyte is presented. New insights into ATP have been gleaned using biophysical techniques allowing dynamic measurement of chemical events in the intact beating heart and using new animal models in which cardiac proteins are either over expressed, deleted or harbor specific mutations.This book provides a summary of the basic understanding and includes illustrations of why ATP and the Heart is important to both the clinician and scientist. 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -by Kurt Keutzer Those looking for a quick overview of the book should fast-forward to the Introduction in Chapter 1. What follows is a personal account of the creation of this book. The challenge from Earl Killian, formerly an architect of the MIPS processors and at that time Chief Architect at Tensilica, was to explain the significant performance gap between ASICs and custom circuits designed in the same process generation. The relevance of the challenge was amplified shortly thereafter by Andy Bechtolsheim, founder of Sun Microsystems and ubiquitous investor in the EDA industry. At a dinner talk at the 1999 International Symposium on Physical Design, Andy stated that the greatest near-term opportunity in CAD was to develop tools to bring the performance of ASIC circuits closer to that of custom designs. There seemed to be some synchronicity that two individuals so different in concern and character would be pre-occupied with the same problem. Intrigued by Earl and Andy¿s comments, the game was afoot. Earl Killian and other veterans of microprocessor design were helpful with clues as to the sources of the performance discrepancy: layout, circuit design, clocking methodology, and dynamic logic. I soon realized that I needed help in tracking down clues. Only at a wonderful institution like the University of California at Berkeley could I so easily commandeer an ab- bodied graduate student like David Chinnery with a knowledge of architecture, circuits, computer-aided design and algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this book, the authors have explored a series of different types of communities - moving from the basic idea of those based at a specific location all the way to virtual communities of the internet. The ways in which the communities operate, positively and negatively, what people get out of them and what they have to put into them, and the notion of being members of more than one community at the one time are considered.Sense of community is a topic that captures the attention of people from all types of backgrounds. So, contributors from fields such as community psychology, clinical areas, community development, and urban planning have added their insights and knowledge. A key feature of this book is the research focus that emphasizes the theory-driven analyses and the diversity of contexts in which sense of community is applied. This book will make a significant contribution to our understanding of life in communities and to people's sense of community. It will be of great interest to those concerned with understanding various forms of community and how communities can be mobilized to achieve wellbeing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -Control charts are widely used in industry to monitor processes that are far from Zero-Defect (ZD), and their use in a near Zero-Defect manufacturing environment poses many problems. This book presents techniques of using control charts for high-quality processes, and some recent findings and applications of statistical control chart techniques for ZD processes are presented.A powerful technique based on counting of the cumulative conforming (CCC) items between two nonconforming ones is discussed in detail. Extensions of the CCC chart are described, as well as applications of cumulative sum and exponentially weighted moving average techniques to CCC-related data, multivariate methods, economic design of control chart procedures, and modeling and analysis of trended but regularly adjusted processes.Many examples, charts, and procedures, are presented throughout the book, and references are provided for those interested in exploring the details. A number of questions and issues are posed for further investigations. Researchers and students may find many ideas in this book useful in their academic work, as a foundation is laid for the exploration of many further theoretical and practical issues.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the ideas of functional data analysis by a number of case studies. The case studies are accessible to research workers in a wide range of disciplines. Every reader should gain not only a specific understanding of the methods of functional data analysis, but more importantly a general insight into the underlying patterns of thought. There is an associated web site with MATLABr and S PLUSr implementations of the methods discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Condizione: Neu. Neuware - xv From the Old to the New xvii Acknowledgments xxi 1 Verilog - A Tutorial Introduction 1 Getting Started 2 A Structural Description 2 Simulating the binaryToESeg Driver 4 Creating Ports For the Module 7 Creating a Testbench For a Module 8 11 Behavioral Modeling of Combinational Circuits Procedural Models 12 Rules for Synthesizing Combinational Circuits 13 14 Procedural Modeling of Clocked Sequential Circuits Modeling Finite State Machines 15 Rules for Synthesizing Sequential Systems 18 Non-Blocking Assignment ('.

Buch. Condizione: Neu. Neuware -In this era of biotechnology there have been many books covering the fundamentals of recombinant DNA technology and protein chemistry. However, not many sources are available for the pharmaceutical develop ment scientist and other personnel responsible for the commercialization of the finished dosage forms of these new biopharmaceuticals and other products from biotechnology. This text will help to fill this gap. Once active biopharmaceutical molecules are candidates for clinical trial investigation and subsequent commercialization, a number of other activities must take place while research and development on these molecules continues. The active ingredient itself must be formulated into a finished dosage form that can be conveniently used by health care professionals and patients. Properties of the biopharmaceutical molecule must be clearly understood so that the appropriate finished product formulation can be developed. Finished product formulation development includes not only the chemical formulation, but also the packaging system, the manufacturing process, and appropriate control strategies to assure such good manufacturing practice attributes as safety, identity, strength, purity, and quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Buch. Condizione: Neu. Neuware -Power Aware Design Methodologies was conceived as an effort to bring all aspects of power-aware design methodologies together in a single document. It covers several layers of the design hierarchy from technology, circuit logic, and architectural levels up to the system layer. It includes discussion of techniques and methodologies for improving the power efficiency of CMOS circuits (digital and analog), systems on chip, microelectronic systems, wirelessly networked systems of computational nodes and so on. In addition to providing an in-depth analysis of the sources of power dissipation in VLSI circuits and systems and the technology and design trends, this book provides a myriad of state-of-the-art approaches to power optimization and control.The different chapters of Power Aware Design Methodologies have been written by leading researchers and experts in their respective areas. Contributions are from both academia and industry. The contributors have reported the various technologies, methodologies, and techniques in such a way that they are understandable and useful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 546 pp. Englisch.

Buch. Condizione: Neu. Neuware -Game Theory And Decision Theory In Agent-Based Systems is a collection of papers from international leading researchers, that offers a broad view of the many ways game theory and decision theory can be applied in agent-based systems, from standard applications of the core elements of the theory to more cutting edge developments. The range of topics discussed in this book provide the reader with the first comprehensive volume that reflects both the depth and breadth of work in applying techniques from game theory and decision theory to design agent-based systems. Chapters include:Selecting Partners;Evolution of Agents with Moral Sentiments in an IPD Exercise;Dynamic Desires;Emotions and Personality;Decision-Theoretic Approach to Game Theory;Shopbot Economics;Finding the Best Way to Join in;Shopbots and Pricebots in Electronic Service Markets;Polynomial Time Mechanisms;Multi-Agent Q-learning and Regression Trees;Satisficing Equilibria;Investigating Commitment Flexibility in Multi-agent Contracts;Pricing in Agent Economies using Multi-agent Q-learning;Using Hypergames to Increase Planned Payoff and Reduce Risk;Bilateral Negotiation with Incomplete and Uncertain Information;Robust Combinatorial Auction Protocol against False-name Bids.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Buch. Condizione: Neu. Neuware -Histochemistry deals with the activities of chemical components in cells, and immunohistochemistry addresses the function of cell types in tissue or organs, such as those leading to acceptance or rejection of grafts or organs.This book is a methods volume focusing on antigen retrieval, particularly methods used in disease-related antigens. Because the book is a methods volume and a lab manual, it will have an audience of pathologists, biochemists, and lab technicians.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 386 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the decade since the introduction of the first commercial lithium-ion battery research and development on virtually every aspect of the chemistry and engineering of these systems has proceeded at unprecedented levels. This book is a snapshot of the state-of-the-art and where the work is going in the near future. The book is intended not only for researchers, but also for engineers and users of lithium-ion batteries which are found in virtually every type of portable electronic product.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Buch. Condizione: Neu. Neuware -¿Electrocrystallization is a particular case of a first order phase transition¿ and ¿Electrocrystallization is a particular case of electrochemical kinetics¿ are two statements that I have heard and read many times. I do not like them for a simple reason: it is annoying to see that the subject to which you have devoted more than 30 years of your life may be considered as a ¿particular case¿. Therefore, I decided to write this book in which Electrocrystallization is the main subject. To become competent in the field of Electrocrystallization one should possess knowledge of Electrochemistry, Nucleation and Crystal Growth, which means knowledge of Physical Chemistry, Physics and Mathematics. That is certainly difficult and in most cases those who study Electrocrystallization are either more electrochemists, or more physical chemists, or more physicists, very often depending on whom has been their teacher. Of course, there are scientists who consider themselves equally good in all those fields. Very frequently they are, unfortunately, equally bad. The difference is essential but strange enough, it is sometimes not easy to realize the truth immediately.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Buch. Condizione: Neu. Neuware - In 1995 the Handbook of Global Optimization (first volume), edited by R. Horst, and P.M. Pardalos, was published. This second volume of the Handbook of Global Optimization is comprised of chapters dealing with modern approaches to global optimization, including different types of heuristics.Topics covered in the handbook include various metaheuristics, such as simulated annealing, genetic algorithms, neural networks, taboo search, shake-and-bake methods, and deformation methods. In addition, the book contains chapters on new exact stochastic and deterministic approaches to continuous and mixed-integer global optimization, such as stochastic adaptive search, two-phase methods, branch-and-bound methods with new relaxation and branching strategies, algorithms based on local optimization, and dynamical search. Finally, the book contains chapters on experimental analysis of algorithms and software, test problems, and applications.

Buch. Condizione: Neu. Neuware -Our objectives in writing Project Scheduling: A Research Handbook are threefold: (1) Provide a unified scheme for classifying the numerous project scheduling problems occurring in practice and studied in the literature; (2) Provide a unified and up-to-date treatment of the state-of-the-art procedures developed for their solution; (3) Alert the reader to various important problems that are still in need of considerable research effort.Project Scheduling: A Research Handbook has been divided into four parts. Part I consists of three chapters on the scope and relevance of project scheduling, on the nature of project scheduling, and finally on the introduction of a unified scheme that will be used in subsequent chapters for the identification and classification of the project scheduling problems studied in this book. Part II focuses on the time analysis of project networks. Part III carries the discussion further into the crucial topic of scheduling under scarce resources. Part IV deals with robust scheduling and stochastic scheduling issues. Numerous tables and figures are used throughout the book to enhance the clarity and effectiveness of the discussions. For the interested and motivated reader, the problems at the end of each chapter should be considered as an integral part of the presentation. 712 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -I woke up at 3:30 on a steamy December morning at my hotel at McCarthy Hill, Accra, to prepare to take the early morning Vanef-STC bus operating on the Accra-Kumasi line. At 4am, the front desk called to inform me that I had requested a 3:45am wake-up time the night before. I figured a IS-minute tardiness is still within acceptable limits in Africa. Surprisingly, my bus left on time. Though it was filled to capacity (I could only find a seat in the middle row), the ride on 'state transport' as it is called, was as smooth as it could be, given the dismal conditions of portions of the Accra-Kumasi road and the very loud local music emanating from the bus' speakers. As we drove through the lush forests of the Eastern Region, many thoughts crossed my mind regarding the effects of the current economic and democratic reforms (including decentralization) under way in the country, on the average person in Ghana. The bus company that I was patronizing, Vanef-STC, was itself a product of government divestiture from and privatization - an economic decentralization - of the previous State Transport Cooperation. I was informed that the perception by the users of 'state transport' is that ever since the take-over by Vanef-STC, the quality of service has declined. This in tum was due to prolonged litigation by workers who felt that they had been wronged in the process of state divestiture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.