Springer jun 2002 (317 résultats)

Buch. Etat : 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.…

Buch. Etat : 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.…

Taschenbuch. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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. Etat : 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.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A fast-moving, concise introduction to XML technologies for all programmers, no matter what their programming language (Java, VB, VBScript, C, C++, Python, and JavaScript), with exercises and solutions in every chapter. 576 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Basic Linear Algebra is a text for first year students leading from concrete examples to abstract theorems, via tutorial-type exercises. More exercises (of the kind a student may expect in examination papers) are grouped at the end of each section. The book covers the most important basics of any first course on linear algebra, explaining the algebra of matrices with applications to analytic geometry, systems of linear equations, difference equations and complex numbers. Linear equations are treated via Hermite normal forms which provides a successful and concrete explanation of the notion of linear independence. Another important highlight is the connection between linear mappings and matrices leading to the change of basis theorem which opens the door to the notion of similarity. This new and revised edition features additional exercises and coverage of Cramer's rule (omitted from the first edition). However, it is the new, extra chapter on computer assistance that will be ofparticular interest to readers: this will take the form of a tutorial on the use of the 'LinearAlgebra' package in MAPLE 7 and will deal with all the aspects of linear algebra developed within the book. 248 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 332 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Graham Harrison investigates contemporary African politics by privileging the dynamics of political struggle and resistance. Through the analysis of peasant politics, debt and structural adjustment, democratization and identity politics, the author shows the importance of resistance and agency. Detailed studies of Mozambique, Nigeria, and Burkina Faso demonstrate how political organization and resistance have been closely ingrained in particular post-colonial trajectories. An original and refreshing approach to the study of African politics, this will be a useful textbook for upper level undergraduates and postgraduate students. 190 pp. Englisch. …

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Taking into account recent developments in historical and ecological criticism, and incorporating fresh research into poetry and politics in the 1790s, the second edition of The Politics of Nature enlarges and updates Nicholas Roe's acclaimed study of Romanticism. Hitherto marginal figures are restored to prominence, and there is new material on William Wordsworth's radical years. The book includes the full text of John Thelwall's Essay on Animal Vitality with commentary, exploring how ideas of nature revolution and radical science were entwined. 244 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -2 I CS2002wasthesecondworkshoponInnovativeInternetComputingSystems, a series of international workshops on system and information management for 2 theNextGenerationInternet(NGI).TheworkshopseriescommencedwithI CS 2001, which was held at the Technical University of Ilmenau. It brought - gether scientists whose research addressed di erent aspects of Internet-based and network-centric computing. This year s workshop was held in the inspiring atmosphereoftheoldBalticSearesortofKuhlung bornnearRostock(Germany). Theunprecedentedpervasivenessofnetworkaccessandtheassociatedem- gence of large distributed computing infrastructures have presented researchers with new challenges in Information and Web technology. The management and retrieval of web-based information, the classi cation of contents, and the m- agementofweb-basedcommunitiesaresomeofthekeyareasaddressedbysome of this year s contributions. Other papers focus on the structure and retrieval ofinformationfrom largedistributed data basesaswell asthe representationof the distributed natureofinformationbythe meansofgraph-theoreticalmodels. 2 Like I CS 2001, this year s workshop was organized by the Gesellschaft fur Informatik(GI)inGermanytosupporttheexchangeofexperiences,results, and technology in the eld. The 21 papers (2 invited, 19 regular contributions) presented at the conference and in the present volume were selected from more than30submissions.Everysubmissionwascarefullyreviewedbythreemembers of the programcommittee. Wewouldliketothankallthosewhocontributedtothisbookfortheirexc- lent work and their great cooperation. Roswitha Fengler and Katrin Erdmann deserve special gratitude for their great e orts and perfect work concerning all administrativemattersoftheworkshop.Wewishtoacknowledgethesubstantial helpprovidedbyoursponsors:theUniversityofRostockandtheTKKTechniker KrankenkasseRostock. We hope all participants enjoyed a successful workshop, made a lot of new contacts,held fruitful discussions helping to solvethe actualresearchproblems, and had a pleasant stay on the coast of the Baltic Sea. Last but not least we 2 hope to see you again at the third I CS conference in 2003, which will be held in the Leipzig area in the heart of Germany. 264 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -NGITS2002 was the fth workshop of its kind, promoting papers that discuss new technologies in information systems. Following the success of the four p- vious workshops (1993, 1995, 1997, and 1999), the fth NGITS Workshop took place on June 24-25, 2002, in the ancient city of Caesarea. In response to the Call for Papers, 22 papers were submitted. Each paper was evaluated by three Program Committee members. We accepted 11 papers from 3 continents and 5 countries, Israel (5 papers), US (3 papers), Germany, Cyprus, and The Netherlands (1 paper from each). The workshop program consisted of ve paper sessions, two keynote lectures, and one panel discussion. The topics of the paper sessions are: Advanced Query Processing, Web Applications, Moving Objects, Advanced Information Models, and Advanced Software Engineering. We would like to thank all the authors who submitted papers, the program committee members, the presenters, and everybody who assisted in making NGITS2002 a reality. 184 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Globalization has provoked passionate debate and street demonstrations reminiscent of May 1968. The central question of Europe and Globalization is 'what did Europe do for globalization in the past, and what is globalization doing for Europe today ' The contributors to the volume assess this complex process, and Europe's role within it. Bringing together a team of leading international scholars from different disciplinary backgrounds, this is a valuable and wide-ranging contribution to the debate. 332 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -About 60 years ago, R. Brauer introduced 'block theory'; his purpose was to study the group algebra kG of a finite group G over a field k of nonzero characteristic p: any indecomposable two-sided ideal that also is a direct summand of kG determines a G-block.But the main discovery of Brauer is perhaps the existence of families of infinitely many nonisomorphic groups having a 'common block'; i.e., blocks having mutually isomorphic 'source algebras'.In this book, based on a course given by the author at Wuhan University in 1999, all the concepts mentioned are introduced, and all the proofs are developed completely. Its main purpose is the proof of the existence and the uniqueness of the 'hyperfocal subalgebra' in the source algebra. This result seems fundamental in block theory; for instance, the structure of the source algebra of a nilpotent block, an important fact in block theory, can be obtained as a corollary.The exceptional layout of this bilingual edition featuring 2 columns per page (one English, one Chinese) sharing the displayed mathematical formulas is the joint achievement of the author and A. Arabia. 224 pp. Chinesisch, Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about stochastic Petri nets (SPNs), which have proven to be a popular tool for modelling and performance analysis of complex discrete-event stochastic systems. The focus is on methods for modelling a system as an SPN with ge- neral firing times and for studying the long-run behavior of the resulting SPN model using computer simulation. Modelling techniques are illustrated in the context of computer, manufacturing, telecommunication, and transportation systems. The simulation discussion centers on the theory that underlies estimation procedures such as the regenerative method, the method of batch means, and spectral methods. Tying these topics together are conditions on the building blocks of an SPN under which the net is stable over time and specified estimation procedures are valid. In addition, the book deve- lops techniques for comparing the modelling power of different discrete-event formalisms. These techniques provide a means for making principled choice s between alternative mo- delling frameworks and also can be used to extend stability results and limit theorems from one framework to another. As an overview of fundamental modelling, stability, convergence, and estimation issues for discrete-event systems, this book will be of interest to researchers and graduate students in Applied Mathematics, Operations Research, Applied Probability, and Statistics. This book also will be of interest to practitioners in these fields, because it provides an introduction to a powerful collection of tools both for modelling and for simulation-based performance analysis. Peter J. Haas is a member of the Research Staff at the IBM Alma- den Research Center in San Jose, California. 540 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 436 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -PorTAL Portugal for Natural Language Processing follows two previous c- ferences: FracTAL, held at the Universit e de Franche-Comt e, Besan con (France), in December 1997, and VexTAL, held at Venice International University, C aF- cari (Italy), in November 1999. The main goals of theses conferences have been: (i) to bring together the NLP community in Europe; (ii) to strengthen the po- tion of local NLP research in the international NLP community; (iii) to provide a friendly forumfor discussion of new research and applications. PorTAL has recon rmed this year the goals and the high international sta- ing of those conferences, largely due to its Program Committee, composed of renowned researchers in the eld of Natural Language Processing, a third of themfromPortuguese universities. This clearly contributed to the signi cant number of papers submitted (48) by researchers from 12 di erent countries. Each paper submitted was reviewed by three reviewers, either from the P- gram Committee or by their commitment. All those who contributed are m- tioned on the following pages. The review process led to the selection of 35 papers for oral presentation: 23 regular papers and 11 short papers. They have been published in this volume. 292 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the conferences have 100-150participants one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ing committee with the following members: G. Balbo (Italy), J. Billington (A- tralia),G.De Michelis(Italy),S.Haddad(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2002 conference included tool dem- strations, extensive introductory tutorials, two advanced tutorials on Work ow Management: Models, Methods, and Systems and Model Checking , and two workshops on Software Engineering and Formal Methods and Formal Me- ods Applied to Defence Systems . The tutorial notes and workshop proceedings are not published in this volume, but copies are available from the organ- ers. The proceedings can be found at CRPIT.html. The 2002 conference was organized by the Computer Systems Engineering Centre, School of Electrical and Information Engineering at the University of South Australia, Adelaide, Australia with assistance from the Department of Computer Science, Adelaide University, Adelaide, Australia. We would like to thankthemembersoftheorganizingcommittee(seenextpage)andtheir teams. 460 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 268 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a unified approach for obtaining the limiting distributions of minimum distance. It discusses classes of goodness-of-t tests for fitting an error distribution in some of these models and/or fitting a regression-autoregressive function without assuming the knowledge of the error distribution. The main tool is the asymptotic equi-continuity of certain basic weighted residual empirical processes in the uniform and L2 metrics. 448 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on 'Agent Theories, Architectures, and L- guages' have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. 'Formal Theories of Negotiation', organized by Frank Dignum, and 'Agents for Hand-Held, Mobile, or Embedded Devices', organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA). 480 pp. Englisch. …