Springer berlin heidelberg jul 2002 (90 risultati)
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,05
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 proble…m 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,40
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,10
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 m…ain 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 c…ontent, 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2002, 2002
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 v…arious 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2002, 2002
Serie: Libro 85 di 126 - Lecture Notes in Economics and Mathematical Systems
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 o…f 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 attent…ion from the pattern recognition community due to a n- beroftheoreticalandcomputationalmerits.Theseinclude,forexample,the 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.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: 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 co…rrect 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jul 2002, 2002
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2002, 2002
Serie: Libro 98 di 173 - Advances in Anatomy, Embryology and Cell Biology
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 t…he 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 co…ntributions 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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- fer…ences 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.
Lingua: Inglese
Editore: Springer, Springer Berlin Heidelberg Jul 2002, 2002
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 nu…merous 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jul 2002, 2002
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,94
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 theor…y, 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,85
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 cr…yptography: 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 cont…ext 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 result…s 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 43,61
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,59
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of s…ystems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the 'Knowledge Compilation' workshop in 1986 and the 'Change of Representation and Inductive Bias' workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000. 368 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,59
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002),which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002).…RTA is the ma jor international forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987),Chapel Hill (1989),Como (1991),Montreal (1993),Kaise- lautern (1995),Rutgers (1996),Sitges (1997),Tsukuba (1998),Trento (1999), Norwich (2000),and Utrecht (2001). A total of 20 regular papers,2 application papers and 4 system descriptions were selected for presentation from 49 submissions from Argentina (1),Brazil 2 1 5 ( ),Czech Republic (1),France (13),Germany (8),Israel ( ),Italy (1 ),Japan 3 3 6 1 (6),The Netherlands (2),Poland (1),Portugal (1 ),Rumania (1),Spain (4),UK 3 5 1 1 ( ),Uruguay ( ),USA (5 ),Venezuela (1). The program committee awarded 6 2 2 the best paper prize to Paul-Andr e Melli` es for his paper Residual Theory Re- sited. This paper presents an elegant and subtle generalization of Jean-Jacques L evy s residual theory. I am especially grateful to the invited speakers Franz Baader,John Mitchell, and Natara jan Shankar for accepting our invitation to present us their insights into their research areas. 404 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Web-Age Information Management, WAIM 2002 held in Beijing, China in August 2002.The 40 papers presented together with two system demonstrations… were carefully reviewed and selected from 169 submissions. The papers are organized in topical sections on XML; spatio-temporal databases; data mining and learning; XML and web; workflows and e-services; bio informatics, views, and OLAP; clustering and high-dimensional data; web search; optimization and updates; and transactions and multimedia. 468 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome to the International Conference an Image and Video Retrieval, CIVR2002. Ourconferenceisasnapshotofthecurrentworld-wideresearch inimageandvideoretrievalfromdigitallibraries,databases,andmultimedia collections. Topicsrangefro…mthestateoftheartinsemanticvisualretrievalto videosummarizationtonewfeaturesandmodelingparadigms. Thisyear82papersfrom24countriesweresubmittedand39wereaccepted forpresentationattheconferenceafterbeingreviewedbyatleast3membersof theProgramCommittee. WewouldliketothankallmembersoftheProgramCommittee,aswell astheadditionalrefereeslistedbelow,fortheirhelpinensuringthequalityof thepapersacceptedforpublication. WewouldalsoliketothanktheOrgan- ingCommitteeforalltheire ortsinmakingtheconferencehappen,aswellas ourtwokeynotespeakers,ArnoldSmeuldersfromtheUniversityofAmsterdam andAlexHauptmannfromCarnegie-MellonUniversity. Finally,wearegrateful tooursponsors,theBritishComputerSocietyInformationRetrievalSpecialist Group,theBritishMachineVisionAssociation(BMVA),theInstituteforImage DataResearch,UniversityofNorthumbria,theInstitutionofElectricalEn- neers(IEE),andtheLeidenInstituteofAdvancedComputerScience(LIACS), LeidenUniversiy. May2002 MichaelS. Lew NicuSebe JohnP. Eakins International Conference an Image andVideo Retrieval 2002 Organization Organizing Committee OrganizingCommitteeChair: JohnP. Eakins (UniversityofNorthumbria,UK) TechnicalProgramChair: MichaelS. Lew (LIACSMediaLab,LeidenUniversity,NL) PractitionerProgramChair: MargaretGraham (UniversityofNorthumbria,UK) PublicityChair: RichardHarvey (UniversityofEastAnglia,UK) Webmaster: PaulLewis(UniversityofSouthampton,UK) LocalChair: ChrisPorter(GettyImages,London,UK) PeterEnser(UniversityofBrighton,UK) AlanSmeaton(DublinCityUniversity,IRL) ProgramCommittee JimAustin UniversityofYork AlbertoDelBimbo UniversityofFlorence LarryChen KodakResearchLabs JohnP. Eakins UniversityofNorthumbria PeterEnser UniversityofBrighton GrahamFinlayson UniversityofEastAnglia DavidForsyth UCBerkeley TheoGevers UniversityofAmsterdam MargaretGraham UniversityofNorthumbria RichardHarvey UniversityofEastAnglia TomHuang UniversityofIllinoisatUrbana-Champaign JoemonJose UniversityofGlasgow JosefKittler UniversityofSurrey ClementLeung UniversityofMelbourne MichaelS. Lew LIACSMediaLab,LeidenUniversity PaulLewis UniversityofSouthampton StephaneMarchand-Maillet UniversityofGeneva Ji r (George)Matas CVUTPrague MajidMirmehdi UniversityofBristol ChahabNastar LTUtechnologies EricPauwelsKatholieke UniversityofLeuwen MariaPetrou UniversityofSurrey ChrisPorter GettyImages VIII Organization TonyRose ReutersLimited YongRui MicrosoftResearch PhillipeSalembier UniversityofBarcelona StanSclaro BostonUniversity NicuSebe LIACSMediaLab,LeidenUniversity AlanSmeaton DublinCityUniversity ArnoldSmeulders UniversityofAmsterdam BarryThomas UniversityofBristol Additional Reviewers ErwinBakker LeidenUniversity IraCohen UniversityofIllinoisatUrbana-Champaign AshutoshGarg UniversityofIllinoisatUrbana-Champaign Jan-MarkGeusebroek UniversityofAmsterdam AlanHanjalic DelftUniversityofTechnology VickyHodge UniversityofYork NiesHuijsmans LeidenUniversity ThangPham UniversityofAmsterdam CeesSnoek UniversityofAmsterdam QiTian UniversityofIllinoisatUrbana-Champaign JeroenVendrig UniversityofAmsterdam RoyWang UniversityofIllinoisatUrbana-Champaign ZiyouXiong UniversityofIllinoisatUrbana-Champaign Sponsors TheBritishComputerSociety,InformationRetrievalSpecialistGroup TheBritishMachineVisionAssociation TheInstituteforImageDataResearch,UniversityofNorthumbria TheInstitutionofElectricalEngineers TheLeidenInstituteofAdvancedComputerScience,LeidenUniversity Table of Contents ChallengesofImageandVideoRetrieval. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Michael S. Lew,Nicu Sebe,andJohn P. Eakins Image RetrievalI (Oral) Visualization,EstimationandUser-Modeling forInteractiveBrowsingofImageLibraries. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 QiTian, Baback Moghaddam, and Th 408 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mass Customization leads the strategy of today`s well succeeded companies. It indulges the customer with the so long yearned for product and/or service that exactly fits his desires and specifications. This book compiles a hand-sel…ected variety of testimonies from Mass Customization experts worldwide with different experiences both on an academic research basis as well as on practical case studies. This diversity makes it a compulsory guide to use in any enterprise throughout the world that wants to take its business into new and more ambitious dimensions. Furthermore, its contents are structured in a way that will help everyone that wants to learn, teach or put into practice the concepts of Mass Customization. 264 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2002, 2002
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2002, held in Manchester, UK in August 2002.The 89 revised papers presented were car…efully reviewed and selected from more than 150 submissions. The book offers topical sections on data mining, knowledge engineering, text and document processing, internet applications, agent technology, autonomous mining, financial engineering, bioinformatics, learning systems, and pattern recognition. 616 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the… Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson. 552 pp. Englisch.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The coupling between acoustic waves and fluid flow motion is basically nonlinear, with the result that flow and sound modify themselves reciprocally with respect to generation and propagation properties. As a result this problem is invest…igated by many different communities, such as applied mathematics, acoustics and fluid mechanics. This book is the result of an international school which was held to discuss the foundation of sound--flow interactions, to share expertise and methodologies, and to promote cross-fertilization between the different disciplines involved. It consists essentially of a set of pedagogical lectures and is meant to serve not only as a compact source of reference for the experienced researcher but also as an advanced textbook for postgraduate students, and nonspecialists wishing to familiarize themselves in depth, at a research level, with this fascinating subject. 306 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Success and e ciency are the latest standards and scales of our society. Virtual surroundings and communication rooms, electronic portals and platforms are pushing us into a new world of personal and professional interaction and c-… peration. The network to subdue violence is fragile and crumbly, tradition is no longer a power of our community. What of leisure time, dreams, and fantasy What of education in the family, at school and at university Travelling round the world to develop yourself -how man becomes man: pleading for a new determination of the idea of education -a mission of past centuries inadequate nowadays Regarding September 11th last year, the con icts and confrontations round the globe, and events in our direct surroundings these questions seem to be a cry at least to re ect upon what is happening around us and where we -all of us -still play an active role. An International Conference on Computers Helping People with Special Needs is like an island -is this a topic at all these days, is it worth disc- sing the area of ICT and the situation of people with disabilities, persons who are segregated from developing their personal and professional careers Indeed the biennial meeting has never included these actualities, but the basic idea behind ICCHP, starting in 1989, was to focus on these fringe groups and to o er a platform of exchange on all aspects of Human Computer Interaction and the usage of ICT for people with special needs. 828 pp. Englisch.
