Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540437991ISBN 13: 9783540437994
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Being the first monograph devoted to this subject, the book addresses the classification problem for semisimple Hopf algebras, a field that has attracted considerable attention in the last years. The special approach to this problem taken here is via semidirect product decompositions into Yetter-Drinfel'd Hopf algebras and group rings of cyclic groups of prime order. One of the main features of the book is a complete treatment of the structure theory for such Yetter-Drinfel'd Hopf algebras. 168 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540433252ISBN 13: 9783540433255
Seller: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Germany
Book
Buch. Condition: Neu. Neuware -Dieses allgemein verständliche Buch eines weltbekannten Evolutionsbiologen gibt einen brilliant geschriebenen Überblick über die Auswirkungen der Evolutionsbiologie und Genforschung auf die menschliche Gesellschaft. Ausführlich analysiert und kommentiert der Autor insbesondere weit verbreitete falsche Vorstellungen, die oft das Verständnis von Biologie und Evolution behindern. Der Titel 'Die Dreifachhelix' bezieht sich auf die drei Komponenten, die bei der Evolution eine Rolle spielen: Gen, Organismus, Umwelt. Alle wissenschaftlichen Interessierten, die sich mit politischen Fragen im Zusammenhang mit Genforschung befassen sowie Mathematiker und Informatiker, die sich in biologischen Fragen einarbeiten wollen, finden in dem Buch eine hervorragende Grundlage. '.das Nachdenken eines ganzen wissenschaftlichen Lebens über Genetik und Evolution ist in diesem kleinen, eleganten und Maßstäbe setzenden Buch konzentriert.'Nature Nov. 2000 144 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540437983ISBN 13: 9783540437987
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The main purpose of this monograph is to report on recent developments in the field of matrix inequalities, with emphasis on useful techniques and ingenious ideas. Among other results this book contains the affirmative solutions of eight conjectures. Many theorems unify or sharpen previous inequalities. The author's aim is to streamline the ideas in the literature. The book can be read by research workers, graduate students and advanced undergraduates. 132 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540436715ISBN 13: 9783540436713
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Le but de cet ouvrage est de faire une présentation complète et auto contenue de l'équivalence entre les Oracles Séparer, Optimiser et Appartenir en Optimisation Polyédrale. 240 pp. Französisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540438467ISBN 13: 9783540438465
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The monograph is concerned with the modulus of families of curves on Riemann surfaces and its applications to extremal problems for conformal, quasiconformal mappings, and the extension of the modulus onto Teichmüller spaces. The main part of the monograph deals with extremal problems for compact classes of univalent conformal and quasiconformal mappings. Many of them are grouped around two-point distortion theorems. Montel's functions and functions with fixed angular derivatives are also considered. The last portion of problems is directed to the extension of the modulus varying the complex structure of the underlying Riemann surface that sheds some new light on the metric problems of Teichmüller spaces. 228 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540424822ISBN 13: 9783540424826
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Praktikerbuch vermittelt sehr anschaulich und übersichtlich die Grundlagen des Architektenrechts. Es wendet sich gleichermaßen an Architekten, Bauherren und Juristen. Die Konsequenzen aus der Schuldrechtsmodernisierung und die aktuellen Entwicklungen der HOAI sind bereits umfassend miteingearbeitet. Im ersten Teil des Buches werden die wesentlichen Grundzüge des Architektenvertragsrechts vorgestellt, und dem Leser wird eine Vertragscheckliste mit Beispielen an die Hand gegeben. Der zweite Teil behandelt die Grundzüge des Honorarrechts, von der Honorarberechnung bis hin zu problematischen Sonderfragen. Im dritten Teil geht der Autor auf Fragen des Haftungsrechts ein. Dabei werden besondere Risikofallgruppen erörtert. 288 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439633ISBN 13: 9783540439639
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the papers presented at the second KyotoWorkshop on Digital Cities that took place in October 2001. This was the third in a series of three related confer- ces. The previous conferences were the KyotoWorkshop on Communityware and Social Interaction in 1998, and the rst KyotoWorkshop on Digital Cities, in September 1999. Together they have contributed to the advancement of the research on digital cities, one of the research topics within the emerging eld of social informatics . Themeetingaimedatimprovingourunderstandingofthecurrentstatusandfutureof thoseclassesofsystemsthatcanbesubsumedundertheheadingofdigitalcity.Whatare feasiblemodelsfordigitalcities Whatdoexperimentswithdigitalcitiesteachus What new technologies for digital cities emerge The meeting aimed at encouraging research and practical activities in this eld, and enabled the interaction between computer sci- tists, social scientists, and enlightened practitioners, engaged with digital cities. Topics of discussion were design and analysis, theoretical perspectives on digital cities, ex- riments with digital cities and with community networks, applications of digital cities, user studies, visualization, (mobile) technologies for digital cities, social interaction and communityware, user involvement in digital cities and community networks, and or- nizational and business models for digital cities. 416 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540440240ISBN 13: 9783540440246
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The second XP Universe and rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4-7, 2002 it attracted software experts, educators, and developers. Unlike most c- ferences the venue was very dynamic. Many activities were not even well de ned in advance. All discussions were encouraged to be spontaneous. Even so, there were some written words available and you are holding all of them now. We have collected as much material as possible together into this small volume. It is just the tip of the iceberg of course. A reminder to us of what we learned, the people we met, and the ideas we expressed. The conference papers, including research and experience papers, are rep- duced in these proceedings. Forty-one (41) papers were submitted. Each subm- ted paper received three reviews by program committee members. The program committee consisted of 40 members. Papers submitted by program committee members were refereed separately. This ensured that reviewers could provide an honest feedback not seen by the paper submitters. In many cases, the program committee shepherded authors to signi cantly improve their initial submission prior to completing the version contained in these proceedings. In the end, the program committee chose 25 papers for publication (60% acceptance). 312 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439307ISBN 13: 9783540439301
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed. 498 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540434631ISBN 13: 9783540434634
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'This book is primarily written for neuroscientists who will always be interested in the role of calcium in the internal neuronal environment. The objectives are well met. The authors are credible authorities in the field and are the most appropriate to discuss calcium in neuronal development.Through multiple excellent quality pictures, this book shows evidence of the potential roles of calcium in the modulation of development as well as on the determination of programmed cell death. ' Review from Doody's Notes 108 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439129ISBN 13: 9783540439127
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -RoboCup 2001, the Fifth Robot World Cup Soccer Games and Conferences, was held from August 2 10, 2001, at the Washington State Convention and Trade Center in Seattle, USA. Like the previous international RoboCup events RoboCup 97 in Nagoya, Japan; RoboCup 98 in Paris, France; RoboCup 99 in Stockholm, Sweden; and RoboCup 2000 in Melbourne, Australia RoboCup 2001 included a symposium as well as several robotic competitions. Both parts, the symposium and the tournaments, are documented in this book. The symposium received over 80 submissions of which 18 were selected for full presentation, i. e. , a talk at the symposium and a 10-page contribution to this book, and 40 were selected as posters, i. e. , a poster presentation at the s- posium and a 6-page contribution to this book. Among the full presentations, ve were selected as nalists for the Scienti c and the Engineering Challenge Awards. These ve papers are presented separately in the second chapter of this book. The Scienti c Challenge Award went to the contribution A Control Method for Humanoid Biped Walking with Limited Torque by Fuminori - masaki, Ken Endo, Minoru Asada, and Hiroaki Kitano. The Engineering Ch- lenge Award was given to the paper A Fast Vision System for Middle Size Robots in RoboCup by M. Jamzad, B. S. Sadjad, V. S. Mirrokni, M. Kazemi, R. Ghorbani, A. Foroughnassiraei, H. Chitsaz, and A. Heydarnoori. The s- posium also featured an invited talk by Prof. 788 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 354043447XISBN 13: 9783540434474
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Timing issues are of growing importance for the conceptualization and design of computer-based system. Timing may simply be es- sential for the correct behaviour of a system, e.g. of a controler. Even if timing is not essential for the correct behaviour of a system, there may be good reasons to introduce it in such a way that suitable timing becomes relevant for the correct behaviour of a complex system. This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way. The timing of actions is either relative or absolute and the underlying time scale is either discrete or contiuous. All presented theories are extensions of the algebra of communicating processes. The book is essential reading for researchers and advanced students interested in timing issues in the context of the design and analysis of concurrent and communicating processes. 312 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 354044016XISBN 13: 9783540440161
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With their introduction in 1995, Support Vector Machines (SVMs) marked the beginningofanewerainthelearningfromexamplesparadigm.Rootedinthe Statistical Learning Theory developed by Vladimir Vapnik at AT&T, SVMs quickly gained attention from the pattern recognition community due to a n- beroftheoreticalandcomputationalmerits.Theseinclude,forexample,th e simple geometrical interpretation of the margin, uniqueness of the solution, s- tistical robustness of the loss function, modularity of the kernel function, and over t control through the choice of a single regularization parameter. Like all really good and far reaching ideas, SVMs raised a number of - terestingproblemsforboththeoreticiansandpractitioners.Newapproachesto Statistical Learning Theory are under development and new and more e cient methods for computing SVM with a large number of examples are being studied. Being interested in the development of trainable systems ourselves, we decided to organize an international workshop as a satellite event of the 16th Inter- tional Conference on Pattern Recognition emphasizing the practical impact and relevance of SVMs for pattern recognition. By March 2002, a total of 57 full papers had been submitted from 21 co- tries.Toensurethehighqualityofworkshopandproceedings,theprogramc- mitteeselectedandaccepted30ofthemafterathoroughreviewprocess.Ofthese papers16werepresentedin4oralsessionsand14inapostersession.Thepapers span a variety of topics in pattern recognition with SVMs from computational theoriestotheirimplementations.Inadditiontotheseexcellentpresentations, there were two invited papers by Sayan Mukherjee, MIT and Yoshua Bengio, University of Montreal. 438 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439064ISBN 13: 9783540439066
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To all who taught me, and to all who will. Over the past fifteen years the notions of efficiency and sustainability have, more than any others, influenced the academic and public discussion concerning the intertemporal allocation of resources, especially as regards the economics of growth and environment. This treatise formally develops and counterposes these notions by means of the construct of a trajectorial objective, which is here developed, along with its implications, as a natural advance upon the classical scalar objective. In the course of this study it becomes clear that efficiency and sustainability are by no means identical, given that efficiency, on the one hand, is the concept for avoiding wasteful behavior, and sustainability, on the other, is the concept for ensuring that certain critical aspiration levels, which usually reflect the wish for survival, are maintained. Nonetheless, contrary to what may be assumed, these two concepts do not generally yield mutually exclusive solutions; in fact, they can be combined to complement each other in the quest for unimprovable long-term solutions which sustain given and necessary aspiration levels. This treatise develops and analyzes dynamic decision models (DDM) with one trajectorial objective according to the methodology of multi criteria decision making (MCDM). Moreover, introducing the method of distance maximization crucially augments MCDM and proves to be invaluable for DDMs in the case of a nonexistent utopia trajectory as well as in the case of sustainability as objective. 268 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439692ISBN 13: 9783540439691
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -WorkshopTheme The ease and speed with which business transactions can be carried out over the Web has been a key driving force in the rapid growth of electronic commerce. In addition, customer interactions, including personalized content, e-mail c- paigns, and online feedback provide new channels of communication that were not previously available or were very ine cient. The Web presents a key driving force in the rapid growth of electronic c- merceandanewchannelforcontentproviders.Knowledgeaboutthecustomeris fundamental for the establishment of viable e-commerce solutions. Rich web logs provide companies with data about their customers and prospective customers, allowing micro-segmentation and personalized interactions. Customer acqui- tion costs in the hundreds of dollars per customer are common, justifying heavy emphasis on correct targeting. Once customers are acquired, customer retention becomes the target. Retention through customer satisfaction and loyalty can be greatly improved by acquiring and exploiting knowledge about these customers and their needs. Althoughweblogsarethesourceforvaluableknowledgepatterns,oneshould keep in mind that the Web is only one of the interaction channels between a company and its customers. Data obtained from conventional channels provide invaluable knowledge on existing market segments, while mobile communication adds further customer groups. In response, companies are beginning to integrate multiple sources of data including web, wireless, call centers, and brick-a- mortar store data into a single data warehouse that provides a multifaceted view of their customers, their preferences, interests, and expectations. 184 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540437827ISBN 13: 9783540437826
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Doi-Koppinen Hopf modules and entwined modules unify various kinds of modules that have been intensively studied over the pastdecades, such as Hopf modules, graded modules, Yetter-Drinfeld modules. The book presents a unified theory, with focus on categorical concepts generalizing the notions of separable and Frobenius algebras, and discussing relations with smash products, Galois theory and descent theory. Each chapter of Part II is devoted to a particular nonlinear equation. The exposé is organized in such a way that the analogies between the four are clear: the quantum Yang-Baxter equation is related to Yetter-Drinfeld modules, the pentagon equation to Hopf modules, and the Long equation to Long dimodules. The Frobenius-separability equation provides a new viewpoint to Frobenius and separable algebras. 372 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540438424ISBN 13: 9783540438427
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die sich ständig erweiternden Möglichkeiten der angewandten Humangenetik stellen Recht und Ethik vor stetig neue Herausforderungen. Was wollen und sollen wir wissen Wieviel Vorhersage verträgt der Mensch Der vorliegende Band enthält drei Vorträge aus einer Ringvorlesung, die sich aus der Perspektive der drei großen Fachrichtungen der Jurisprudenz den medizinrechtlichen Problemen der Humangenetik nähern. Hinzugefügt sind die Referate des anschließenden Symposiums, in denen die medizinischen, philosophischen und medizinrechtlichen Aspekte der Thematik vertieft werden. Die Beiträge reichen von den verfassungsrechtlichen Grundlagen und zivilrechtlichen Aspekten der genetischen Beratung, Diagnostik und Therapie über die moralischen Implikationen des genetischen Wissens für den Einzelnen und die Gesellschaft bis hin zu den praktischen Möglichkeiten und Grenzen prädiktiver Medizin. 156 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540436928ISBN 13: 9783540436928
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Herausforderung Cross-Media: Medienmanager sehen sich heute vor neuen Aufgaben. Die Mediennutzung ändert sich fortwährend und mit steigender Dynamik, ein Ende dieses Trends ist nicht absehbar. Neue Endgeräte stellen gewohnte Maßnahmen zur Kundenbindung in Frage, die Vielfalt der Medien und deren steigende Vernetzung setzen neue Strategien und Prozesse voraus. Der Vertrieb digitaler Produkte über PC, Palm oder Handy stellt dabei veränderte Herausforderungen an Technik, Prozesse, Mitarbeiter und Organisation.Das Buch gibt Führungskräften der Medienbranche sowie Medien- bzw. Kommunikationswissenschaftlern einen systematischen Überblick über das Thema Cross-Media Management. Dabei werden neue Konzeptionen zur wertorientierten Führung in Medienunternehmen verständlich vermittelt. Zahlreiche Praxisbeispiele beleuchten den Stand der Umsetzung in verschiedenen Medienbereichen und bieten Ansatzpunkte zur Weiterentwicklung der Management-Aufgaben im eigenen Haus. 252 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540432787ISBN 13: 9783540432784
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nicht nur hervorragende Produkte können zu Wettbewerbsvorteilen führen, auch durch das Angebot zusätzlicher Dienstleistungen können Firmen sich von der Konkurrenz unterscheiden. Dieses Buch zeigt, wie Engineering-Leistungen, Rund-um-die-Uhr-Service, Finanzierungsdienste sowie Up-grading und Entsorgung strategisch zu Wettbewerbsvorteilen entwickelt werden können. Praxisberichte erfolgreicher Vorreiterfirmen werden in ein Konzept einer zielgerichteten Strategieentwicklung eingeordnet. Diese Vorgehensweise erlaubt dem Leser, für das eigene Unternehmen Orientierung und Handlungsanleitungen zu finden. 188 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540666028ISBN 13: 9783540666028
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Halten Sie Ihr Fachwissen up-to-date. Hier finden Sie alle relevanten Informationen zu den Themen - experimentelle Pharmakologie und Toxikologie - klinische Pharmakologie - klinische Neurologie und Psychiatrie - Anwendungen in der Neurologie und Psychiatrie - Besondere Andwendungsbereiche - Unerwünschte Nebenwirkungen - Therapierichtlinien. 448 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540440097ISBN 13: 9783540440093
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Fast Software Encryption workshop was the ninth in a series of workshops started in Cambridge in December 1993. The previous workshop took place in YokohamainApril2001.Itconcentratedonallaspectsoffastprimitivesfor symmetric cryptography: secret key ciphers, the design and cryptanalysis of block and stream ciphers, as well as hash functions and message authentication codes (MACs). The ninth Fast Software Encryption workshop was held in February 2002 in Leuven, Belgium and was organized by General Chair Matt Landrock (Cryp- mathic Belgium), in cooperation with the research group COSIC of K.U. Leuven. This year there were 70 submissions, of which 21 were selected for presentation and publication in this volume. We would like to thank the following people. First of all the submitting authors and the program committee for their work. Then Markku-Juhani O. Saarinen, Orr Dunkelman, Fredrik J onsson, Helger Lipmaa, Greg Rose, Alex Biryukov, and Christophe De Canniere, who provided reviews at the request ofprogramcommitteemembers.BartPreneelforetting l ususeCOSIC sW- review software in the review process and Wim Moreau for all his support. Finally we would like to thank Krista Geens of Cryptomathic for her help in the registrationandthepracticalorganization. 296 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci cation, synthesis, veri cation, transformation, specialization, analysis,optimization,composition,reuse,component-basedsoftwaredevel- ment,andsoftwarearchitectures. LOPSTR 2001 took place in the Coral Beach Hotel in Paphos (Cyprus) fromNovember28 30,2001. PastLOPSTRworkshopswereheldinManchester, UK(1991,1992,1998),Louvain-la-Neuve,Belgium(1993),Pisa,Italy(1994), Arnhem,TheNetherlands(1995),Stockholm,Sweden(1996),Leuven,Belgium (1997),Venice,Italy(1999),andLondon,UK(2000). LOPSTR2001wasco-locatedwiththe17thInternationalConferenceonLo- 1 gicProgramming(ICLP2001) andthe7thInternationalConferenceonPrinci- 2 plesandPracticeofConstraintProgramming(CP2001) . TheLOPSTRc- munitypro tedalotfromthescienti cdiscussions,thelecturesoftheinvited speakers,andthevarioussessionsofICLPandCP. I would like to express my gratitude to all the authors of the submitted papersandalltheattendeesfortheircommitmentandcooperation. Amongthe submittedpapers,theProgramCommitteeselected13papersforpresentation. Aftertheworkshop,theauthorswereaskedtosubmitimprovedversionsoftheir paperswhichwerethenreviewedbytheProgramCommittee. The nalversions havebeencollectedinthisvolume,whichalsoincludesthepaperbyourinvited speaker,NatarajanShankar(StanfordResearchInstitute,MenloPark,USA), onthegenerationofe cientprogramsfromlogic. MywarmestthanksalsogotoallthemembersoftheProgramCommittee andtheadditionalreviewersfortheirdiligentworkandinvaluablehelp. Iwould liketothankFabioFioravanti(IASI-CNRofRome,Italy),MaurizioProietti (IASI-CNRofRome,Italy),andAntonisKakas(UniversityofCyprus,Cyprus), whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofComputer ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:iasi. rm. cnr. it/ adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet,Ph. ,editor,LogicProgramming ICLP2001,LectureNotesinComputer Science 2237,Springer-Verlag,2001. 2 Walsh,T. ,editor,PrinciplesandPracticeofConstraintProgramming CP2001, LectureNotesinComputerScience 2239,Springer-Verlag,2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRoma TorVergata ,Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco Universit`aCa FoscaridiVenezia,Italy MireilleDucass e IRISA/INSA,France SandroEtalle TwenteUniversity&CWI,TheNetherlands JohnGallagher UniversityofBristol,UK RobertGluc k WasedaUniversity,Japan MichaelHanus Christian-Albrechts-Universit atzuKiel,Germany ManuelHermenegildo UniversidadPolit ecnicadeMadrid,Spain PatriciaHill UniversityofLeeds,UK Kung-KiuLau UniversityofManchester,UK MichaelLeuschel UniversityofSouthampton,UK TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi Universit`adegliStudidiRoma TorVergata ,Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook,USA DonSannella UniversityofEdinburgh,UK ZoltanSomogyi UniversityofMelbourne,Australia AdditionalReferees Jos eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstituteofCNR(Italy) Universit`adegliStudidiRoma TorVergata (Italy) TableofContents InvitedSpeaker Static Analysis for Safe Destructive Updates in a Functional Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439625ISBN 13: 9783540439622
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents revised full versions of papers contributed to UK Workshops on Multi-Agent Systems, UKMAS, during 1996 and 2000.From the early days of MAS research, the UK community has been a particularly productive one with numerous key contributions. The 15 papers by internationally reputed researchers deal with various aspects of agent technology, with a certain emphasis on foundational issues in multi-agent systems. 276 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439056ISBN 13: 9783540439059
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The British National Conference on Databases (BNCOD) was established in 1980 as a forum for research into the theory and practice of databases. This aim remains highly relevant today as database technology must meet the challenges of global applications that need to access and analyse data stored in multiple heterogeneous, autonomous - formation sources on the Web. th This volume contains the proceedings of the 19 BNCOD, held at the University of Shef eld in July 2002. The conference theme this year is Exploring the roles of database technology within the global computing infrastructure . There are 10 fu- length papers, 9 poster papers, and two invited talks. As in previous BNCOD conf- ences, there are a signi cant number of papers from abroad, including authors from Brazil, France, Italy, The Netherlands, Spain, Sweden, and the USA. Our rstinvitedspeakerisJiawei Hanwhois currentlyattheUniversityofIllinoisat Urbana-Champaign.Jiawei Han is a distinguishedresearcherin the area of data mining, and his invited talk addresses in particular data mining techniques for stream data. The motivation for this research is the vast amounts of data producedat high speed by many real-time systems, which for practical reasons cannot be stored on disk for off-line analysis. Thus, techniques are needed for real-time mining of such stream data. Jiawei Han stalkaddressesrecentdevelopmentsinthis area,andthemajorresearchchallenges arising. 216 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439137ISBN 13: 9783540439134
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci cation, analysis, and veri cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci cation, m- els, and semantics of probabilistic systems, analysis and veri cation techniques, probabilistic methods for the veri cation of non-probabilistic systems, and tools and case studies. The rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri cation. 232 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439293ISBN 13: 9783540439295
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002). This c- ference was the continuation of international meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St. Goar (1995), Ter- sini (1996), Pont-`a-Mousson (1997), Oisterwijk (1998), Saratoga Springs (1999), and St Andrews (2000). In 2001 TABLEAUX was part of IJCAR 2001 in - ena. The frame of FLoC 2002 guaranteed once again close contact to the larger Theorem Proving and Logic in Computer Science community. This was in par- cular witnessed by the talk by Matthias Baaz, jointly invited by CADE-18 and TABLEAUX 2002. Tableaux and related methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. This is nicely illustrated by the wide scope of logics that are covered by the papers collected in this volume: among them are linear logic, temporal - gics, various modal logics, including hybrid logic and multi-modal logics, fuzzy logics like G odel- andLuk asiewicz logics, various intermediate logics, quanti ed boolean logic, and, of course, classical rst-order logic in various formats. 356 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439773ISBN 13: 9783540439776
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheannualworkshoponAlgorithmEngineeringandExperiments(ALENEX) providesaforumforthepresentationoforiginalresearchintheimplementation andexperimentalevaluationofalgorithmsanddatastructures. ALENEX2002 wasthefourthworkshopinthisseries. ItwasheldinSanFrancisco,California onJanuary4 5,2002. Thisvolumecollectsextendedversionsofthe15papers thatwereselectedforpresentationfromapoolof34submissions. Wewouldliketothankthesponsors,authors,andreviewerswhohelpedmake ALENEX2002asuccess. Wealsowanttothanktheinvitedspeakers,Cynthia PhillipsofSandiaNationalLaboratories,MartinFarach-ColtonofGoogle,and MichaelKassofPixar. Finally,wewouldliketothankSpringer-Verlagfor- blishingthesepapersintheirLectureNotesinComputerScience series. May2002 DavidM. Mount Cli ordStein ALENEX2002Sponsors Thefollowingorganizationsprovideddirect nancialsupport,whichenabledus tohostinvitedspeakersandprovidereducedregistrationfeesforstudents. SandiaNationalLaboratories AkamiTechnologiesInc. NECResearch Thefollowingprovidedin-kindsupport,facilitatingtheworkshop. SIAM,theSocietyforIndustrialandAppliedMathematics SIGACT,theACMSIGonAlgorithmsandComputationTheory ColumbiaUniversity ALENEX2002ProgramCommittee NancyAmato(TexasA&MUniversity) MarshallBern(XeroxPARC) MichaelGoodrich(UniversityofCalifornia,Irvine) TomMcCormick(UniversityofBritishColumbia) MichaelMitzenmacher(HarvardUniversity) DavidMount(UniversityofMaryland;Co-chair) GiriNarasimhan(FloridaInternationalUniversity) RajeevRaman(UniversityofLeicester) Cli ordStein(ColumbiaUniversity;Co-chair) VI ALENEX2002 ALENEX2002SteeringCommittee MichaelGoodrich(UniversityofCalifornia,Irvine) AdamBuchsbaum(AT&TLabs) RobertoBattiti(UniversityofTrento,Italy) AndrewV. Goldberg(IntertrustSTARLab) MichaelT. Goodrich(UniversityofCalifornia,Irvine) DavidS. Johnson(AT&TBellLaboratories) CatherineC. McGeoch(AmherstCollege) BernardM. E. Moret(UniversityofNewMexico;chair) JackSnoeyink(UNC-ChapelHill) TableofContents ALENEX2002 OntheImplementationofMST-BasedHeuristicsfortheSteinerProblem inGraphs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 M. PoggideArag ao,R. F. Werneck(CatholicUniversityof RiodeJaneiro) ATime-SensitiveSystemforBlack-BoxCombinatorialOptimization . . . . . 16 V. Phan,P. Sumazin,S. Skiena(SUNYStonyBrook) ACompressedBreadth-FirstSearchforSatis ability . . . . . . . . . . . . . . . . . . . 29 D. B. Motter,I. L. Markov(UniversityofMichigan) UsingMulti-levelGraphsforTimetableInformationinRailwaySystems . . 43 F. Schulz,D. Wagner(UniversityofKonstanz),C. Zaroliagis (UniversityofPatras) EvaluatingtheLocalRatioAlgorithmforDynamicStorageAllocation . . . 60 K. Pruhs(UniversityofPittsburgh),E. Wiewiora(Universityof California,SanDiego) An Experimental Study of Prefetching and Caching Algorithms for the WorldWideWeb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 M. Curcio,S. Leonardi,A. Vitaletti (Universit`adiRoma LaSapienza ) TheTreewidthofJavaPrograms. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 J. Gustedt(LORIA&INRIALorraine),O. A. Mæhle,J. A. Telle (UniversityofBergen) PartitioningPlanarGraphswithCostsandWeights. . . . . . . . . . . . . . . . . . . . 98 L. Aleksandrov(BulgarianAcademyofSciences,CarletonUniversity), H. Djidjev(UniversityofWarwick),H. Guo,A. Maheshwari (CarletonUniversity) MaintainingDynamicMinimumSpanningTrees:AnExperimentalStudy . 111 G. Cattaneo,P. Faruolo,U. F. Petrillo(Universit`adiSalerno), G. F. Italiano(Universit`adiRoma TorVergata ) ExperimentalEvaluationofaNewShortestPathAlgorithm . . . . . . . . . . . . 126 S. Pettie,V. Ramachandran,S. Sridhar(UniversityofTexasatAustin) GettingMorefromOut-of-CoreColumnsort. . . . . . . . . . . . . . . . . . . . . . . . . . . 143 G. Chaudhry,T. H. Cormen(DartmouthCollege) VIII TableofContents TopologicalSweepinDegenerateCases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 E. Rafalin,D. Souvaine(Tuft 220 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439684ISBN 13: 9783540439684
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The rapid growth of the Internet and related services is changing the way we work, act, and even think in a manner that far exceeds the prediction set by eld experts not long ago. It is now common belief that the Internet and its various applications covering both hardware appliances and software products will play an increasingly important role in everybody's daily lives. It is also our strong belief that the importance of the collaborative research and development e orts focusing on the Internet among academia, industry, and regulating government bodies cannot be overemphasized. It is our great pleasure to hold the First International Workshop on - vanced Internet Services and Applications (AISA) 2002. The workshop is aimed to provide an international forum to share new ideas and research results in the area of the list of workshop topics. Under the main theme 'Advances in Int- net Services and Applications', the workshop topics include QoS architecture, reliability, security, web acceleration, reverse/proxy caching schemes, content delivery network, distributed/fault-tolerant architecture, storage/backup so- tions, media and streaming server, switching technology, and home networking. We have solicited papers on these topics and attracted paper submissions from technically renowned organizations. 324 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540428097ISBN 13: 9783540428091
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Klassifikation maligner Tumoren des Gastrointestinaltrakts I umfasst die Histomorphologie (Typing and Grading), die Anatomie vor und nach Therapie (TNM, R-Klassifikation) Algorithmen zu Therapie und Diagnose sowie die Prognosefaktoren der malignen Tumoren von Ösophagus, Magen, Dünndarm, Appendix, Kolon, Rektum und Analkanal. Sowohl der diagnostizierende als auch der behandelnde Arzt erhält hiermit ein ausführliches Nachschlagewerk zur Stadieneinteilung gastrointestinaler Tumoren. 400 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540654232ISBN 13: 9783540654230
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Supply Chain Management (SCM) bedeutet, die Logistikkette ganzheitlich zu betrachten und zu optimieren, also hochproduktive Logistikstrukturen in Beschaffung,Produktion und Distribution zu schaffen. SCM hat zum Ziel, die Kosten und Durchlaufzeiten in der Lieferkette zu senken sowie die Lieferperformance und Kundenzufriedenheit zu erhöhen. Dies erfordert die optimierte Zusammenarbeit in der Wertschöpfungskette mit einem durchgängigen Informationsfluss sowie effiziente interne und externe Logistikprozesse. Das Buch hilft mittleren und großen Produktionsunternehmen sowie dem Handel, auf Marktveränderungen schnell und flexibel zu reagieren. Die Autoren vermitteln dem Management die Methodik von SCM als strategische Ausrichtung des Unternehmens und unterstützen den im Bereich Materialwirtschaft und Logistik tätigen Praktiker bei der unternehmensübergreifenden Einführung von Supply Chain Management. Die Autoren sind ausgewiesene Fachleute auf den Gebieten Materialfluss und Logistik: Professor Dr.-Ing. Axel Kuhn ist Leiter des Fraunhofer-Instituts Materialfluss und Logistik in Dortmund und Leiter des Lehrstuhls Fabrikorganisation an der Fakultät Maschinenbau der Universität Dortmund. Dipl.-Inform. Bernd Hellingrath ist Leiter der Hauptabteilung Unternehmensmodellierung am Fraunhofer-Institut Materialfluss und Logistik in Dortmund. 300 pp. Deutsch.