Springer Springer Jun 2002 (315 results)

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 95.26
US$ 73.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.

- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 102.34
US$ 73.36 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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 practitio…ner'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.

- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 193.49
US$ 73.57 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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 obta…ining 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.

Language: English
Published by Springer Us Jun 2002, 2002
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 195.81
US$ 73.11 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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.

Language: English
Published by Springer Nature B.V. Jun 2002, 2002
Series: Book 3 of 10 - Cell Engineering
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 277.30
US$ 35.59 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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 Carb…ohydrates 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.

- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 268.35
US$ 73.38 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware.

Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2002, 2002
Series: Book 5 of 72 - Springer Series in Advanced Microelectronics
- Hardcover
Seller: Wegmann1855, Zwiesel, GermanyWegmann1855
Contact seller5-star sellerCondition: New
US$ 385.77
US$ 30.28 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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 val…uable 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.

Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2002, 2002
Series: Book 5 of 72 - Springer Series in Advanced Microelectronics
- Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 385.77
US$ 70.01 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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 val…uable 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.

- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 383.11
US$ 76.10 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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.

Language: English
Published by Springer Jun 2002, 2002
Series: Book 5 of 72 - Springer Series in Advanced Microelectronics
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 390.40
US$ 76.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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 va…luable 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.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 44.95
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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. Engl…isch.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 51.42
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 57.85
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 332 pp. Englisch.

Language: English
Published by Springer Berlin Heidelberg, Springer Jun 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.

- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Almost all aspects of modern politics have been deeply Europeanized, yet we know surprisingly little about how the EU affects the inner workings of national government. This book conceptualizes the profound Europeanization of British envir…onmental government and policy both as a lagged response to European integration and as an important determinant of Britain's contribution to that process. By combining political theories of the EU with new empirical research, Andrew Jordan offers a genuinely fresh perspective on the evolution of modern European governance. 236 pp. Englisch.

Language: English
Published by Springer New York Jun 2002, 2002
Series: Book 4 of 43 - Springer Series in Operations Research and Financial Engineering
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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.

Language: English
Published by Springer Berlin Heidelberg, Springer Jun 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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- c…ari (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.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 268 pp. Englisch.

Language: English
Published by Springer New York Jun 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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-au…toregressive 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.

Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marsei…lle, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus. 364 pp. Englisch.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Primary and incisional ventral hernias are common conditions often encountered in surgical practice. Because of the frequency of this problem it has come to be managed by surgeons in general, regardless of the type of hospital or th…e conditions dealt with in their daily practice. Laparoscopic surgery has demonstrated to have an important role among the different technique described to repair ventral hernia with less recurrent rate, less morbidity and less overall cost than open conventional repair, with all the advange of the laparoscopic approach. As a result the indications for this surgical technique are currently being debated since the advantages are evident and progressive implementation is ensured. Now is the time to analyze the usefulness, results, technical variants, anatomic, physiologic and scientific basis and implications involved in implementation of laparoscopy as the technique of choice. 560 pp. Englisch.

Language: English
Published by Springer Berlin Heidelberg, Springer Jun 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably u…seful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness,enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse,including programmingmethodology,programspeci cationand transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference.Eachpaperwasrefereedbyatleastfour,andoftenmore,committee members. Inadditiontothe11papersselectedforpresentationbytheprogramcomm- tee, this volume contains three invited talks: Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm by Robert Giegerich (Technical University of Bielefeld, Germany), and abstracts of Some Results in Dynamic Model Theory by Dexter Kozen (Cornell Univ- sity,USA)and Mathematics in Computer Science Curricula byJeannetteWing (Carnegie Mellon University, USA). The conference took place in Dagstuhl, Germany. The previous ve conf- ences wereheld in 1989in Twente,The Netherlands, in 1992in Oxford,United Kingdom,in1995inKlosterIrsee,Germany,in1998inMarstrandnearGot eborg in Sweden, and in 2000 in Ponte de Lima, Portugal. The proceedings of these conferenceswerepublishedasLNCS375,669,947,1422,and1837,respectively. Three international events were co-located with the conference: the IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Methods for Parallel Programming, and the workshop on Types in Programming. We thank the organizers of these events for their interest in sharing the atmosphere of the conference. 280 pp. Englisch.

Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Morethanadecadeago,combiningmultipleclassi erswasproposedasap- siblesolutiontotheproblemsposedbythetraditionalpatternclassi cation approachwhichinvolvedselectingthebestclassi erfromasetofcandidates basedontheirexperimentalevaluation…. Asnoclassi erisknowntobethebest forallcasesandtheselectionofthebestclassi erforagivenpracticaltaskis verydi cult,diverseresearchcommunities,includingMachineLearning,N- ralNetworks,PatternRecognition,andStatistics,addressedtheengineering problemofhowtoexploitthestrengthswhileavoidingtheweaknessesofd- ferentdesigns. Thisambitiousresearchtrendwasalsomotivatedbyempirical observationsaboutthecomplementarityofdi erentclassi erdesigns,natural requirementsofinformationfusionapplications,andintrinsicdi cultiesasso- atedwiththeoptimalchoiceofsomeclassi erdesignparameters,suchasthe architectureandtheinitialweightsforaneuralnetwork. Afteryearsofresearch, thecombinationofmultipleclassi ershasbecomeawellestablishedandexciting researcharea,whichprovidese ectivesolutionstodi cultpatternrecognition problems. Aconsiderablebodyofempiricalevidencesupportsthemeritof- signingcombinedsystemswhoseaccuracyishigherthanthatofeachindividual classi er,andvariousmethodsforthegenerationandthecombinationofm- tipleclassi ershavebecomeavailable. However,despitetheprovedutilityof multipleclassi ersystems,nogeneralanswertotheoriginalquestionaboutthe possibilityofexploitingthestrengthswhileavoidingtheweaknessesofdi erent classi erdesignshasyetemerged. Otherfundamentalissuesarealsoamatterof on-goingresearchindi erentresearchcommunities. Theresultsachievedd- ingthepastyearsarealsospreadoverdi erentresearchcommunities,andthis makesitdi culttoexchangesuchresultsandpromotetheircross-fertilization. Theacknowledgmentofthefundamentalrolethatthecreationofacommon internationalforumforresearchersofthediversecommunitiescouldplayfor theadvancementofthisresearch eldmotivatedthepresentseriesofwo- shopsonmultipleclassi ersystems. Followingitspredecessors,MultipleCl- si erSystems2000(SpringerISBN3-540-67704-6)and2001(SpringerISBN 3-540-42284-6),thisvolumecontainstheproceedingsoftheThirdInternational WorkshoponMultipleClassi erSystems(MCS2002),heldattheGrandHotel ChiaLaguna,Cagliari,Italy,onJune24-26,2002. The29papersselectedby thescienti ccommitteehavebeenorganizedinsessionsdealingwithbagging andboosting,ensemblelearningandneuralnetworks,combinationstrategies, designmethodologies,analysisandperformanceevaluation,andapplications. Theworkshopprogramandthisvolumeareenrichedwiththreeinvitedtalks givenbyJoydeepGhosh(UniversityofTexas,USA),TrevorHastie(Stanford University,USA),andSarunasRaudys(VilniusGediminasTechnicalUniversity, Lithuania). Papersweresubmittedfromresearchersofthefourdiversecom- nities,socon rmingthatthisseriesofworkshopscanbecomeacommonforum VI Foreword forexchangingviewsandreportinglatestresearchresults. Asfortheprevious editions,thesigni cantnumberofpapersdealingwithrealpatternrecognition applicationsareproofofthepracticalutilityofmultipleclassi ersystems. This workshopwassupportedbytheUniversityofCagliari,Italy,theUniversityof Surrey,Guildford,UnitedKingdom,andtheDepartmentofElectricalandEl- tronicEngineeringoftheUniversityofCagliari. Allthesesupportsaregratefully acknowledged. WealsothanktheInternationalAssociationforPatternRecog- tionanditsTechnicalCommitteeTC1onStatisticalPatternRecognitionTe- niquesforsponsoringMCS2002. Wewishtoexpressourappreciationtoallthose whohelpedtoorganizeMCS2002. Firstofall,wewouldliketothankallthe membersoftheScienti cCommitteewhoseprofessionalismwasinstrumental increatingaveryinterestingtechnicalprogram. Specialthanksareduetothe membersoftheOrganizingCommittee,GiorgioFumera,GiorgioGiacinto,and GianLucaMarcialisfortheirindispensablecontributionstotheMCS2002web sitemanagement,localorganization,andproceedingspreparation. April2002 FabioRoliandJosefKittler WorkshopChairs F. Roli(Univ. ofCagliari,Italy) J. Kittler(Univ. ofSurrey,UnitedKingdom.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fourth International Workshop on Learning Classi er Systems (IWLCS 2001)washeldJuly7-8,2001,inSanFrancisco,California,duringtheGenetic andEvolutionaryComputationConference(GECCO2001). Wehaveincluded inthisvolumerevisedandextende…dversionsofelevenofthepaperspresented attheworkshop. Thevolumeisorganizedintotwomainparts. The rstisdedicatedtoimportant theoreticalissuesoflearningclassi ersystemsresearchincludingthein uence ofexplorationstrategy,amodelofself-adaptiveclassi ersystems,andtheuse ofclassi ersystemsforsocialsimulation. Thesecondpartcontainspapersd- cussing applications of learning classi er systems such as data mining, stock trading,andpowerdistributionnetworks. AnappendixcontainsapaperpresentingaformaldescriptionofACS,arapidly emerginglearningclassi ersystemmodel. Thisbookistheidealcontinuationofthetwovolumesfromthepreviouswo- shops,publishedbySpringer-VerlagasLNAI1813andLNAI1996. Wehopeit willbeausefulsupportforresearchersinterestedinlearningclassi ersystems andwillprovideinsightsintothemostrelevanttopicsandthemostinteresting openissues. April2002 PierLucaLanzi WolfgangStolzmann StewartW. Wilson Organization The Fourth International Workshop on Learning Classi er Systems (IWLCS 2001)washeldJuly7-8,2001inSanFrancisco(CA),USA,duringtheGenetic andEvolutionaryConference(GECCO2001). OrganizingCommittee PierLucaLanzi PolitecnicodiMilano,Italy WolfgangStolzmann DaimlerChryslerAG,Germany StewartW. Wilson TheUniversityofIllinoisatUrbana-Champaign,USA PredictionDynamics,USA ProgramCommittee ErikBaum NECResearchInstitute,USA AndreaBonarini PolitecnicodiMilano,Italy LashonB. Booker TheMITRECorporation,USA MartinV. Butz UniversityofWur zburg,Germany LawrenceDavis NuTechSolutions,USA TerryFogarty SouthbankUniversity,UK JohnH. Holmes UniversityofPennsylvania,USA TimKovacs UniversityofBirmingham,UK PierLucaLanzi PolitecnicodiMilano,Italy RickL. Riolo UniversityofMichigan,USA OlivierSigaud AnimatLab-LIP6,France RobertE. Smith TheUniversityofTheWestofEngland,UK WolfgangStolzmann DaimlerChryslerAG,Germany KeikiTakadama ATRInternational,Japan StewartW. Wilson TheUniversityofIllinoisatUrbana-Champaign,USA PredictionDynamics,USA TableofContents ITheory BiasingExplorationinanAnticipatoryLearningClassi erSystem . . . . . . . 3 MartinV. Butz An Incremental Multiplexer Problem and Its Uses in Classi er System Research. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 LawrenceDavis,ChunshengFu,StewartW. Wilson AMinimalModelofCommunicationforaMulti-agentClassi erSystem. . 32 GillesEn ee,CathyEscazut A Representation for Accuracy-Based Assessment of Classi er System PredictionPerformance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 JohnH. Holmes ASelf-AdaptiveXCS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 JacobHurst,LarryBull TwoViewsofClassi erSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 TimKovacs SocialSimulationUsingaMulti-agentModelBasedonClassi erSystems: TheEmergenceofVacillatingBehaviourinthe ElFarol BarProblem. . . 88 LuisMiramontesHercog,TerenceC. Fogarty II Applications XCSandGALE:AComparativeStudyofTwoLearningClassi erSystems onDataMining. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 EsterBernad o,XavierLlor`a,JosepM. Garrell APreliminaryInvestigationofModi edXCSasaGenericDataMining Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 PhillipWilliamDixon,DavidW. Corne,MartinJohnOates ExplorationsinLCSModelsofStockTrading . . . . . . . . . . . . . . . . . . . . . . . . . 151 SoniaSchulenburg,PeterRoss On-LineApproachforLossReductioninElectricPowerDistribution NetworksUsingLearningClassi erSystems. . . . . . . . . . . . . . .

Language: English
Published by Springer London Jun 2002, 2002
Series: Book 75 of 166 - The Patrick Moore Practical Astronomy Series
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Almost every serious amateur astronomer knows the benefit of having a fixed observatory of some sort - it saves a vast amount of time and effort during every observing session - and this book provides the necessary help. More Small…Astronomical Observatories details the methods and techniques employed by non-professional astronomers from all over the world, providing a wonderful resource for anyone wishing to build a small observatory of almost any kind. It's a fun read, too. 260 pp. Englisch.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheAlgorithmicNumberTheorySymposiabeganin1994atCornellUniversity inIthaca,NewYorktorecognizethegrowingimportanceofalgorithmicwork in the theory of numbers. The subject of the conference is broadly construed toencompassadiversebodyof…mathematics,andtocoverboththetheoretical andpracticaladvancesinthe eld. Theyhavebeenheldeverytwoyearssince: inBordeaux(Universit eBordeauxI)in1996,Portland(ReedCollege)in1998, Leiden(UniversiteitLeiden)in2000,andthepresentconferencehostedbythe MagmaComputationalAlgebraGroupattheUniversityofSydney. TheconferenceprogramincludedinvitedtalksbyManjulBhargava(Prin- ton),JohnCoates(Cambridge),AntoineJoux(DCSSICryptoLab),BjornP- nen(Berkeley),andTakakazuSatoh(Saitama),aswellas34contributedtalks invariousareasofnumbertheory. Inadditiontothemathematicalprogram,the conferenceincludedaspecialdinnertohonourAlfvanderPoortenofMacquarie University,ontheoccasionofhis60thbirthday. Eachpaperwasreviewedbyatleasttwoexpertsexternaltotheprogram committeeandtheselectionofpaperswasmadeonthebasisoftheserec- mendations. Weexpressourappreciationtothe66expertrefereeswhoprovided reportsonaverytightschedule. Refereeingofthesubmissionfromamemberof theMagmagroupwasorganizedbyJoeBuhler. Theprogramcommitteethanksthegenerousadvicefromorganizersofpre- ousANTSconferences,particularlyJoeBuhler,WiebBosma,HendrikLenstra, andBartdeSmit. TheconferencewasgenerouslysupportedbytheCollegeof ScienceandTechnology,theSchoolofMathematicsandStatistics(bothatthe UniversityofSydney),theAustralianDefenceScienceTechnologyOrganisation, andeSign. April2002 JohnCannon ClausFieker DavidKohel TableofContents InvitedTalks GaussCompositionandGeneralizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 ManjulBhargava EllipticCurves TheCrossroadsofTheoryandComputation. . . . . . . . . . 9 JohnCoates TheWeilandTatePairingsasBuildingBlocks forPublicKeyCryptosystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 AntoineJoux UsingEllipticCurvesofRankOnetowardstheUndecidability ofHilbert sTenthProblemoverRingsofAlgebraicIntegers. . . . . . . . . . . . . 33 BjornPoonen Onp-adicPointCountingAlgorithmsforEllipticCurves overFiniteFields. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 TakakazuSatoh NumberTheory OnArithmeticallyEquivalentNumberFieldsofSmallDegree . . . . . . . . . . . 67 WiebBosma,BartdeSmit ASurveyofDiscriminantCounting. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 HenriCohen,FranciscoDiazyDiaz,MichelOlivier AHigher-RankMersenneProblem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 GrahamEverest,PeterRogers,ThomasWard AnApplicationofSiegelModularFunctions toKronecker sLimitFormula. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 TakashiFukuda,KeiichiKomatsu ComputationalAspectsofNUCOMP. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 MichaelJ. Jacobson,Jr. ,AlfredJ. vanderPoorten E cientComputationofClassNumbersofRealAbelianNumberFields. . 134 St ephaneR. Louboutin AnAcceleratedBuchmannAlgorithmforRegulatorComputation inRealQuadraticFields. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148 UlrichVollmer VIII TableofContents ArithmeticGeometry SomeGenus3CurveswithManyPoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 RolandAuer,JaapTop 7 8 Trinomialsax +bx+candax +bx+c withGaloisGroupsofOrder168and8 168. . . . . . . . . . . . . . . . . . . . . . . . . . . 172 NilsBruin,NoamD. Elkies ComputationsonModularJacobianSurfaces. . . . . . . . . . . . . . . . . . . . . . . . . . 189 EnriqueGonz alez-Jim enez,JosepGonz alez,JordiGu`ardia IntegralPointsonPuncturedAbelianSurfaces. . . . . . . . . . . . . . . . . . . . . . . . . 198 AndrewKresch,YuriTschinkel Genus2Curveswith(3,3)-SplitJacobian andLargeAutomorphismGroup. . . . . . . . . . . .

- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on numerous diaries and letters, this book depicts the story of America's soldier sin Asia and the Pacific during World War II. Combining social and cultural history, the author examines the GIs' encounters with Asia's environmental,… sociocultural and racial otherness and the impact that these encounters had on them. The Americans' experience in Asia and the Pacific presaged the devastation of Hiroshima and Nagasaki. 320 pp. Englisch.

- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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 acclai…med 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.

- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.28
US$ 26.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This collection of essays, unlike other books on this subject, emphasizes strategic, technological, and economic factors. It includes contributions from a combination of academics and governmental experts from both the United States and In…dia. Nuclear India in the Twenty-First Century provides an important picture of India's nuclear intentions and capabilities and should facilitate policies that the US may consider in response to regional and global proliferation. 316 pp. Englisch.