springer berlin heidelberg aug 2002 (105 risultati)

Buch. Condizione: Neu. Neuware -The design and the realisation of well defined polymer architectures has become an important goal in macromolecular science. The prerequisite for achieving this goal is the availability of controlled polymerisation reactions. Living anionic polymerisation was the first reaction fulfilling these requirements. Cationic polymerisation only came into play when it was realised that it was possible to create an equilibrium between active and dormant species with the fraction of the dormant species being far superior to that of active ones. A corresponding principle applies to controlled radical polymerisation per formed in quite a number of modes such as nitroxide mediated polymerisation (NMP), atom transfer radical polymerisation (ATRP), reversible addition frag mentation chain transfer (RAFT) or catalytic chain transfer (CCT) reactions. All of these variants of controlled radical polymerisation lead to well defined archi tectures with the particular advantage that a much larger number of monomers are suitable and the reaction conditions are much less demanding than those of living ionic polymerisation reactions. Although in controlled radical polymerisation, termination reactions cannot be excluded completely, they are limited in their extent and consequently the mol ecular weight is controlled, the polydispersity index is small and functionalities can be attached to the macromolecules. These features are indicative of the real isation of well defined polymer architectures such as block copolymers, star shaped and comb shaped copolymers.

Buch. Condizione: Neu. Neuware - The design and the realisation of well defined polymer architectures has become an important goal in macromolecular science. The prerequisite for achieving this goal is the availability of controlled polymerisation reactions. Living anionic polymerisation was the first reaction fulfilling these requirements. Cationic polymerisation only came into play when it was realised that it was possible to create an equilibrium between active and dormant species with the fraction of the dormant species being far superior to that of active ones. A corresponding principle applies to controlled radical polymerisation per formed in quite a number of modes such as nitroxide mediated polymerisation (NMP), atom transfer radical polymerisation (ATRP), reversible addition frag mentation chain transfer (RAFT) or catalytic chain transfer (CCT) reactions. All of these variants of controlled radical polymerisation lead to well defined archi tectures with the particular advantage that a much larger number of monomers are suitable and the reaction conditions are much less demanding than those of living ionic polymerisation reactions. Although in controlled radical polymerisation, termination reactions cannot be excluded completely, they are limited in their extent and consequently the mol ecular weight is controlled, the polydispersity index is small and functionalities can be attached to the macromolecules. These features are indicative of the real isation of well defined polymer architectures such as block copolymers, star shaped and comb shaped copolymers.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A morphism of algebraic varieties (over a field characteristic 0) is monomial if it can locally be represented in e'tale neighborhoods by a pure monomial mappings. The book gives proof that a dominant morphism from a nonsingular 3-fold X to a surface S can be monomialized by performing sequences of blowups of nonsingular subvarieties of X and S.The construction is very explicit and uses techniques from resolution of singularities. A research monograph in algebraic geometry, it addresses researchers and graduate students. 248 pp. Englisch.

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

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The World Court Digest continues the Fontes Iuris Gentium, a series that presents the decisions of the Permanent Court of International Justice, up to 1990. The new volume covers the period from 1996 to 2000. All important pronouncements of the Court in its judgments and advisory opinions, are systematically arranged under specific topics taken from substantive and procedural international law. The World Court Digest provides reliable access to the decisions of the most significant international judicial organ on questions as important as the aerial incident at Lockerbie, the crimes of genocide in Bosnia and Herzegovina, as well as the use of nuclear weapons and the use of force in the Yugoslavian context. 772 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present book is devoted to a study of relative Prüfer rings and Manis valuations, with an eye to application in real and p-adic geometry. If one wants to expand on the usual algebraic geometry over a non-algebraically closed base field, e.g. a real closed field or p-adically closed field, one typically meets lots of valuation domains. Usually they are not discrete and hence not noetherian. Thus, for a further develomemt of real algebraic and real analytic geometry in particular, and certainly also rigid analytic and p-adic geometry, new chapters of commutative algebra are needed, often of a non-noetherian nature. The present volume presents one such chapter. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium. 472 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book gives the reader the basis for understanding the way numerical schemes achieve accurate and stable simulations of physical phenomena. It is based on the finite-difference method and simple problems that allow also the analytic solutions to be worked out. ODEs as well as hyperbolic, parabolic and elliptic types are treated. The book builds on simple model equations and, pedagogically, on a host of problems given together with their solutions. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present the proceedings of the 13th European Conference on Machine Learning (LNAI 2430) and the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2431). These two c- ferences were colocated in Helsinki, Finland during August 19 23, 2002. ECML and PKDD were held together for the second year in a row, following the success of the colocation in Freiburg in 2001. Machine learning and knowledge discovery are two highly related elds and ECML/PKDD is a unique forum to foster their collaboration. The bene t of colocation to both the machine learning and data mining communities is most clearly displayed in the common workshop, tutorial, and invited speaker program. Altogether six workshops and six tutorials were or- nized on Monday and Tuesday. As invited speakers we had the pleasure to have Erkki Oja (Helsinki Univ. of Technology), Dan Roth (Univ. of Illinois, Urbana- Champaign), Bernhard Sch olkopf (Max Planck Inst. for Biological Cybernetics, T ubingen), and Padhraic Smyth (Univ. of California, Irvine). The main events ran from Tuesday until Friday, comprising 41 ECML te- nical papers and 39 PKDD papers. In total, 218 manuscripts were submitted to these two conferences: 95 to ECML, 70 to PKDD, and 53 as joint submissions. All papers were assigned at least three reviewers from our international program committees. Out of the 80 accepted papers 31 were rst accepted conditi- ally; the revised manuscripts were accepted only after the conditions set by the reviewers had been met. 544 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Included here is a discussion of the pathophysiological aspects and risks of laparoscopic staging (such as trocar metastases) on the basis of international experience. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book deals with experience management in the context of real-world applicability and realistic applications. A particular focus is given by the requirements that arise in complex problem solving and by the fact that modern experience management must be implemented as Internet-based applications. Concrete application areas that are discussed in this book are electronic commerce, diagnosis of complex technical equipment, and electronic design reuse. This book explores how experience management can be supported by information technology, especially by techniques that stem from knowledge-based systems, case-based reasoning, machine learning, and process modeling. It surveys different methods in a unified terminology and investigates them with respect to application requirements. Further, the process of application development and maintenance is highlighted, pointing out successful practically proven ways for obtaining and operating experience management applications. 420 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed preceedings of the 13th European Conference on Machine Learning, ECML 2002, held in Helsinki, Finland in August 2002.The 41 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. Among the topics covered are computational discovery, search strategies, Classification, support vector machines, kernel methods, rule induction, linear learning, decision tree learning, boosting, collaborative learning, statistical learning, clustering, instance-based learning, reinforcement learning, multiagent learning, multirelational learning, Markov decision processes, active learning, etc. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th East European Conference on Advances in Databases and Information Systems ADBIS 2002, held in Bratislava, Slovakia in September 2002.The 25 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on data mining and knowledge discovery, mobile databases, spatiotemporal and spatial databases, multidimensional databases and information systems, object-oriented and deductive databases, data modeling and workfows, Web databases and semistructured data, and advanced systems and applications. 436 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book reviews the present status of understanding the nature of the most luminous objects in the Universe, connected with supermassive black holes and supermassive stars, clusters of galaxies and ultraluminous galaxies, sources of gamma-ray bursts and relativistic jets. Leading experts give overviews of essential physical mechanisms involved, discuss formation and evolution of these objects as well as prospects for their use in cosmology, as probes of the intergalactic medium at high redshifts and as a tool to study the end of dark ages. The theoretical models are complemented by new exciting results from orbital and ground-based observatories such as Chandra, XMM-Newton, HST, SDSS, VLT, Keck, and many others. 636 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainsthefullresearchpapersofthe2nd International Con- renceonMusicandArti cialIntelligence(ICMAI02),heldinSt. Cecilia sHall, Edinburgh,UK,12 14September2002. Theconferencewasjointlyorganizedby theFacultyofMusicandtheDivisionofInformatics,UniversityofEdinburgh. Eachofthepapersinthisvolumewasrefereedbyatleastthreereviewersfrom theProgramCommittee. AdditionalpaperswereacceptedasWork-in-Progress reports,publishedseparatelybytheDivisionofInformaticsoftheUnive rsity ofEdinburgh. Theconferenceprogramalsoincludedround-tablediscussions, electronicmusicconcerts,earlykeyboardintrumentdemonstrations,andvarious socialevents. Thefocusoftheconferencewasontheinterplaybetweenmusicaltheoryand practiceontheonehandandtechniquesandmethodsfromArti cialIntelligence, includingcomputationalcognitivemodelingofmusicalprocesses,ontheot her. Weareespeciallyinterestedinissuesofmusicalrepresentationandanalysis, associatedalgorithms,andtheevaluationofmusicalartefacts. MusicpresentsmanychallengesforAIandInformaticsingeneral. Whilethe analogieswithnaturallanguageandwithvisionareproductive,musicrequires novelsolutionstoitsownrepresentationalandalgorithmicproblems. Forthe musician,workinthisareacontributestowardsmusicologicalstudy,composition, performance,interactivesystems,andsoundsynthesis. Threedistinguishedscholarsinthearea,MiraBalaban,Jean-ClaudeRisset, andAntonioCamurri,agreedtogivetheinvitedkeynotes. Thesetalkscovered di erentfeaturesofmusicalexperienceanditsrelationtoArti cialIntelligence, namelymusicalconcepts,composition,andperformance. Morespeci cally,Jean- ClaudeRisset stopicwasMusicalCompositionandArti cialIntelligence:Some Precedents and Prospects,MiraBalaban swas Structure and Interpretation of Music Concepts Music from a Computational Perspective,andAntonio- murri swasComputationalModelsofExpressiveGesture. Thepapersintheconferencedealtwithawiderangeofaspectsofcurrent research,includingstructural,harmonic,andreductionalmusicanalysis,pattern representationanddiscoveryinbothmonophonicandpolyphonicmusic,musi c perceptionofmelodyandrhythm,therelationbetweenmusicandnaturallan- age,similarityandcategorization,musicandintonation,musicalexpressionand performance,soundprocessing,soundclassi cations,commercialapplications, andmusicontheweb. Acknowledgements. Theeditorsaregratefulforallthehelpofthosewho madethepublicationofthisvolumepossible,andespeciallyDarrellConklin, VI Organization PeterNelson,EmiliosCambouropoulos,AlisonPease,andMarkSteedman;also, JordanFleming,EwenMaclean,andRobertDow;andtheFacultyofMusicand theDivisionofInformatics,UniversityofEdinburghfor nancialsupport. July2002 ChristinaAnagnostopoulou MiguelFerrand AlanSmaill OrganizingCommittee AlanSmaill(Chair) ChristinaAnagnostopoulou(Co-chair) MiguelFerrand PeterNelson AlisonPease MarkSteedman ProgramCommittee JensArnspang(Alborg) GillianHayes(Edinburgh) MiraBalaban(Ben-Gurion) HenkjanHoning(Nijmegen) MartaOlivettiBelardinelli(Rome) JukkaLouhivuori(Jyvaskyla) RensBod(Amsterdam) TodMachover(MIT-MediaLab) CarolaBoehm(Glasgow) GuerinoMazzola(ZurichandVienna) AmilcarCardoso(Coimbra) StephenMcAdams(IRCAM) EmiliosCambouropoulos(Thessaloniki)EduardoMiranda(SONYCSL-Paris) ElaineChew(USC) PeterNelson(Edinburgh) DarrellConklin(ZymoGenetics) Fran coisPachet(SONYCSL-Paris) IanCross(Cambridge) StephenTravisPope(SantaBarbara) RogerDannenberg(CMU) AlanSmaill(Edinburgh) PeterDesain(Nijmegen) MarkSteedman(Edinburgh) AnastasiaGeorgaki(Athens) DavidTemperley(Rochester) InvitedSpeakers MiraBalaban(Ben-GurionUniversity,Israel) AntonioCamurri(UniversityofGenoa,Italy) Jean-ClaudeRisset(LaboratoiredeM echaniqueetd Acoustique,France) TableofContents InvitedTalks StructureandInterpretationofMusicConcepts:Musicfroma ComputationalPerspective. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 MiraBalaban ExpressiveGesture. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited and research papers presented at the 9th International Symposium on String Processing and Information Retrieval, SPIRE2002, held in Lisbon, Portugal. SPIREhas its origins in the South Am- ican Workshop on String Processing which was rst held in Belo Horizonte, Brazil, in 1993. Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. The call for papers for SPIRE2002 resulted in the submission of 54 papers from researchers around the world. Of these, 19 were selected for inclusion in the program (an acceptance rate of 35%). In addition, the Program Committee decided to accept six other papers, considered as describing interesting ongoing research, in the form of short papers. The authors of these 25 papers came from 18 di erent countries (Argentina, Australia, Brazil, Canada, Czech Republic, Chile, Colombia, Finland, France, Germany, Japan, Italy, Mexico, Saudi Arabia, Switzerland, Spain, United Kingdom, and USA). 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains lectures given at the Saint-Flour Summer School of Probability Theory during the period 8th-24th July, 1999. We thank the authors for all the hard work they accomplished. Their lectures are a work of reference in their domain. The School brought together 85 participants, 31 of whom gave a lecture concerning their research work. At the end of this volume you will find the list of participants and their papers. Finally, to facilitate research concerning previous schools we give here the number of the volume of 'Lecture Notes' where they can be found: Lecture Notes in Mathematics 1975: n ° 539- 1971: n ° 307- 1973: n ° 390- 1974: n ° 480- 1979: n ° 876- 1976: n ° 598- 1977: n ° 678- 1978: n ° 774- 1980: n ° 929- 1981: n ° 976- 1982: n ° 1097- 1983: n ° 1117- 1988: n ° 1427- 1984: n ° 1180- 1985-1986 et 1987: n ° 1362- 1989: n ° 1464- 1990: n ° 1527- 1991: n ° 1541- 1992: n ° 1581- 1993: n ° 1608- 1994: n ° 1648- 1995: n ° 1690- 1996: n ° 1665- 1997: n ° 1717- 1998: n ° 1738- Lecture Notes in Statistics 1971: n ° 307- Table of Contents Part I Erwin Bolthausen: Large Deviations and Interacting Random Walks 1 On the construction of the three-dimensional polymer measure. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Self-attracting random walks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3 One-dimensional pinning-depinning transitions. . . . . . . . . . . 105 References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 484 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For the rst time four workshops have been held in conjunction with the 8th Object-Oriented Information Systems conference, OOIS 2002, to encourage - teraction between researchers and practitioners. Workshop topics are, of course, inline with the conference's scienti c scope and provide a forum for groups of researchers and practitioners to meet together more closely and to exchange opinions and advanced ideas, and to share preliminary results on focused issues in an atmosphere that fosters interaction and problem solving. The conference hosted four one-day workshops. The four selected workshops were fully in the spirit of a workshop session hosted by a main conference. Indeed, OOIS deals with all the topics related to the use of object-oriented techniques for the development of information systems. The four workshops are very speci c and contribute to enlarging the spectrum of the more general topics treated in the main conference. The rst workshop focused on a very speci c and key c- cept of object-oriented development, the specialization/generalization hierarchy. The second one explored the use of 'non-traditional' approaches (at the edge of object-oriented techniques, such as aspects, AI, etc.) to improve reuse. The third workshop dealt with optimization in Web-based information systems. And nally the fourth workshop investigated issues related to model-driven software development. 336 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents refereed and revised papers presented at GREC 2001, the 4th IAPR International Workshop on Graphics Recognition, which took place in Kingston, Ontario, Canada in September 2001. Graphics recognition is a branch of document image analysis that focuses on the recognition of two-dimensional notations such as engineering drawings, maps, mathematical notation, music notation, tables, and chemical structure diagrams. Due to the growing demand for both o -line and on-line document recognition systems, the eld of graphics recognition has an excitingand promisingfuture. The GREC workshops provide an opportunity for researchers at all levels of experience to share insights into graphics recognition methods. The workshops enjoy strongparticipation from researchers in both industry and academia. They are sponsored by IAPR TC-10, the Technical Committee on Graphics Recog- tion within the International Association for Pattern Recognition. Edited v- umes from the previous three workshops in this series are available as Lecture Notes in Computer Science, Vols. 1072, 1389, and 1941. After the GREC 2001 workshop, authors were invited to submit enhanced versions of their papers for review. Every paper was evaluated by three reviewers. We are grateful to both authors and reviewers for their careful work during this review process. Many of the papers that appear in this volume were thoroughly revised and improved, in response to reviewers' suggestions. 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome to the 8th International Workshop on Groupware (CRIWG 2002)! The previous workshops took place in Lisbon, Portugal (1995), Puerto Varas, Chile (1996), El Escorial, Spain (1997), Búzios, Brazil (1998), Cancun, Mexico (1999), Madeira, Portugal (2000), and Darmstadt, Germany (2001). CRIWG workshops follow a simple recipe for success: good papers, a small number of participants, extensive time for lively and constructive discussions, and a high level of cooperation both within and between paper sessions. CRIWG 2002 continued this tradition. CRIWG 2002 attracted 36 submissions from 13 countries, nine of them outside Ibero-America. Each of the 36 articles submitted was reviewed by at least three members of an internationally renowned Program Committee. This year we used a double-blind reviewing process, i. e. , the reviewers did not know who the authors of the papers were. In addition, the reviewers were chosen based on their expertise and we also ensured that they came from countries and institutions not related to those of the paper's authors. This reviewer assignment worked remarkably well, as indicated by the high average confidence value the reviewers gave their own reviews. This means that papers were usually reviewed by experts in the paper's topic. As a consequence, reviews were usually quite extensive and contained many suggestions for - provements. I would like to thank all the members of the Program Committee for their hard work, which I am sure contributed to improving the quality of the final articles. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment. 372 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The AIMSA conference series was rst conceived in 1984 as a gathering of AI researchersandstudentsfromEasternandCentralEurope.Sincethenthecon- rence has followed a biennial schedule of meetings in Bulgaria, attracting parti- pantsfromawidergeographicalarea.Today,20yearson,AIMSAisathoroughly international conference, with contributions from most European countries and some from as far a eld as the United States, Mexico and Brazil. The AIMSA organizers are delighted to present you with another exciting program,coveringmostareasofArti cialIntelligence.Inkeepingwithitsm- sion to inform the research community and excite the commercial sector, AIMSA presents this year two invited contributions from world-leading European rese- chersworkingoncutting-edgeAIresearch:Prof.CaroleGoble,ontheSemantic Web,andProf.DavidHouse,onintegratedspeechandgesturalsynthesis.In addition, we present 26 contributions on topics covering almost all aspects of AIandbringingtogetherbasicandappliedresearch.Oneofthese,byMilos Kova cevi c and his colleagues on Recognition of Common Areas in a Web Page Using a Visualisation Approach was judged by reviewers to be the best s- mitted paper, and duly received the accolade of Best Paper of the Conference, with a special slot devoted to it in the program. As Chair of the Program Committee, I am extremely grateful to those who so generously agreed to apply their expertise and valuable time to reviewing papers for the conference, and for their dedication in getting the best possible job done in what turned out to be a very short period of time. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Within the last few years Data Warehousing and Knowledge Discovery technology has established itself as a key technology for enterprises that wish to improve the quality of the results obtained from data analysis, decision support, and the automatic extraction of knowledge from data. The Fourth International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2002) continues a series of successful conferences dedicated to this topic. Its main objective is to bring together researchers and practitioners to discuss research issues and experience in developing and deploying data warehousing and knowledge discovery systems, applications, and solutions. The conference focuses on the logical and physical design of data warehousing and knowledge discovery systems. The scope of the papers covers the most recent and relevant topics in the areas of association rules, clustering, Web mining, security, data mining techniques, data cleansing, applications, data warehouse design and maintenance, and OLAP. These proceedings contain the technical papers selected for presentation at the conference. We received more than 100 papers from over 20 countries, and the program committee finally selected 32 papers. The conference program included one invited talk: 'Text Mining Applications of a Shallow Parser' by Walter Daelemans, Univer- ty of Antwerp, Belgium. We would like to thank the DEXA 2002 Workshop General Chair (Roland Wagner) th and the organizing committee of the 13 International Conference on Database and Expert Systems Applications (DEXA 2002) for their support and their cooperation. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20 23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas indeduction,formalspeci cation,softwareandhardwareveri cation,andother applications. Eachofthe34paperssubmittedinthefullresearchcategorywasrefere edby atleastthreereviewersfromtheprogramcommitteeorbyareviewerappointed bytheprogramcommittee. Ofthesesubmissions,20paperswereacceptedfor presentationattheconferenceandpublicationinthisvolume. Followingawell-establishedtraditioninthisconferenceseries,TPHOLs2002 alsoo eredavenueforthepresentationofworkinprogress. Fortheworkin progresstrack,shortintroductorytalksweregivenbyresearchers,followedby anopenpostersessionforfurtherdiscussion. Papersacceptedforpresentation inthistrackhavebeenpublishedasConferenceProceedingsCPNASA-2002- 211736. TheorganizerswouldliketothankRickyButlerandG erardHuetforgra- fullyacceptingourinvitationtogivetalksatTPHOLs2002. RickyButlerwas instrumentalintheformationoftheFormalMethodsprogramattheNASA LangleyResearchCenterandhasledthegroupsinceitsbeginnings. TheNASA LangleyFormalMethodsgroup,underRickyButler sguidance,hasfunded, beeninvolvedin,orin uencedmanyformalveri cationprojectsintheUSover morethantwodecades. In1998G erardHuetreceivedtheprestigiousHerbrand Awardforhisfundamentalcontributionstotermrewritingandtheoremproving inhigher-orderlogic,aswellasmanyotherkeycontributionstothe eldof- tomatedreasoning. HeistheoriginatoroftheCoqSystem,underdevelopment atINRIA-Rocquencourt. Dr. Huet scurrentmaininterestiscomputationall- guistics,howeverhisworkcontinuestoin uenceresearchersaroundtheworldin awidespectrumofareasintheoreticalcomputerscience,formalmethods,and softwareengineering. ThevenueoftheTPHOLsconferencetraditionallychangescontinenteach yearinordertomaximizethelikelihoodthatresearchersfromallovertheworld willattend. Startingin1993,theproceedingsofTPHOLsanditspredecessor workshopshavebeenpublishedinthefollowingvolumesoftheSpringer-Verlag LectureNotesinComputerScienceseries: 1993(Canada) 780 1998(Australia)1479 1994(Malta) 859 1999(France) 1690 1995(USA) 971 2000(USA) 1869 1996(Finland)1125 2001(UK) 2152 1997(USA) 1275 VI Preface The2002conferencewasorganizedbyateamfromNASALangleyResearch Center,theICASEInstituteatLangleyResearchCenter,andConcordiaU- versity. FinancialsupportcamefromIntelCorporation. Thesupportofallthese organizationsisgratefullyacknowledged. August2002 V ctorA. Carreno C esarA. Muno z VII Organization TPHOLs2002isorganizedbyNASALangleyandICASEincooperationwith ConcordiaUniversity. Organizing Committee ConferenceChair: V ctorA. Carren o(NASALangley) ProgramChair: C esarA. Muno z(ICASE,NASALaRC) So `eneTahar(ConcordiaUniversity) ProgramCommittee MarkAagaard(Waterloo) MichaelKohlhase(CMU&Saarland) DavidBasin(Freiburg) ThomasKropf(Bosch) V ctorCarren o(NASALangley) TomMelham(Glasgow) Shiu-KaiChin(Syracuse) JStrotherMoore(Texas,Austin) PaulCurzon(Middlesex) C esarMuno z(ICASE,NASALaRC) GillesDowek(INRIA) SamOwre(SRI) HaraldGanzinger(MPISaarbruc ken) ChristinePaulin-Mohring(INRIA) GaneshGopalakrishnan(Utah) LawrencePaulson(Cambridge) JimGrundy(Intel) FrankPfenning(CMU) ElsaGunter(NJIT) KlausSchneider(Karlsruhe) JohnHarrison(Intel) HennySipma(Stanford) DougHowe(Carleton) KonradSlind(Utah) BartJacobs(Nijmegen) DonSyme(Microsoft) PaulJackson(Edinburgh) So `eneTahar(Concordia) SaraKalvala(Warwick) WaiWong(HongKongBaptist) Additional Reviewers OtmaneAit-Mohamed AlfonsGeser HaraldRueß BehzadAkbarpour HanneGottliebsen LeonvanderTorre NancyDay MikeKishinevsky TomasUribe BenDiVito HansdeNivelle Jean-ChristopheFilli atre AndrewPitts Invited Speakers RickyButler(NASALangley) G erardHuet(INRIA) VIII Preface Sponsoring Institutions NASALangley ICASE ConcordiaUniversity INTEL Table of Contents Invited Talks FormalMethodsatNASALangley.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume represent the technical program of the 8th Biennial Workshop on Data Bases and Programming Languages (DBPL 2001), that was held during September 8 10, 2001, in Frascati, located on the beautiful hills surrounding Rome, in an area favored by the ancient Roman patricians who built their summer residences there. DBPL 2001 continued the tradition of - cellence initiated by its predecessors in Rosco , Finist` ere (1987), Salishan, O- gon (1989), Nafplion, Argolida (1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park, Colorado (1997), and Kinloch Rannoch, Scotland (1999). Databases grew out of a separation between physical and logical data, thus enabling high-level query languages. Database query languages have evolved in expressive power and structural capabilities. Programming languages have seen a development from assembly languages to high-level declarative paradigms. Thus the two areas approach each other as they mature. Earlier successful cro- fertilizationsbetweenthe eldsincludethecombinationofrelationaltheory,type theory and object-oriented languages, resulting in object-oriented databases, object-relational databases and persistent programming languages. The com- nation of database logic programming and constraint programming p- duceddeductiveandconstraintdatabases.Recently,withtheemergenceofse- structured data models, there is a renewed synergy between databases and p- gramminglanguages,inparticularinthedesignoflanguagestomanipulateXML data. The DBPL 2001 Program Co-Chairs were Giorgio Ghelli (Pisa) and G osta Grahne(Montr eal).TheProgramCommitteeMemberswereCatrielBeeri(Je- salem),DiegoCalvanese(Rome),RichardConnor(Glasgow),AlonHalevy(Se- tle), Leonid Libkin (Toronto), Gianni Mecca (Potenza), Frank Neven (Limburg), Benjamin Pierce (Philadelphia), Chris Ramming (Menlo Park), J er ome Sim eon (Murray Hill), Victor Vianu (San Diego), and Philip Wadler (Basking Ridge). 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Arti cial Intelligence and Cognitive Science Conference has taken place annually since 1988. It provides a forum for the exchange of ideas and the p- sentation of results relating to work conducted both in Ireland and worldwide. The conference spans a large number of elds including case-based reas- ing, cognitive modeling, constraint processing, data mining, evolutionary c- putation, intelligent agents, intelligent information retrieval, knowledge rep- sentation and reasoning, learning, natural language processing, neural networks, perception and planning, robotics, and scheduling. AICS 2002 was the thirteenth conference in the series and took place at U- versityofLimerickon12 13September.Inadditiontothe16regularpapersand 17 concise papers accepted for presentation, we were delighted to welcome two prestigious keynote speakers both tting in with the conference theme Towards Bio-inspired Computing . They were David Goldberg of University of Illinois at Urbana-Champaign, and Dario Floreano of the Swiss Federal Institute of Te- nology. I would like to take this opportunity to thank our sponsors QAD Ireland and University of Limerick, as well as all those who were involved in the organisation of the conference including the Co-chairs, Programme Committee members, and Conference Administrators. June 2002 Richard F. E. Sutcli e Organisation AICS 2002 was organized by the Department of Computer Science and Inf- mation Systems, University of Limerick, in association with the Arti cial Int- ligence Association of Ireland. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of graduate-level lectures. The school was sponsored by the ESPRIT Working Group 26142 on Applied Semantics(APPSEM),whichoperatedbetweenApril1998andMarch2002.The purpose of this working group was to bring together leading reseachers, both in semantic theory and in implementation, with the speci c aim of improving the communication between theoreticians and practitioners. TheactivitiesofAPPSEMwerestructuredintonineinterdisciplinarythemes: A: Semantics for object-oriented programming B: Program structuring C: Integration of functional languages and proof assistants D: Veri cation methods E: Automatic program transformation F: Games, sequentiality, and abstract machines G: Types and type inference in programming H: Semantics-based optimization I: Domain theory and real number computation These themes were identi ed as promising for pro table interaction between semantic theory and practice, and were chosen to contribute to the following general topics: - description of existing programming language features; - design of new programming language features; - implementation and analysis of programming languages; - transformation and generation of programs; - veri cation of programs. The chapters in this volume give examples of recent developments covering a broad range of topics of interest to APPSEM. 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 6th International Workshop on Randomization and Approximation Techniques in Computer Science (RAN- DOM 2002), which took place at Harvard University, Cambridge, Massachusetts, from September 13 15, 2002. RANDOM 2002 was concerned with applications of randomness to computational and combinatorial problems, and was the sixth workshop in the series following Bologna, Barcelona, Berkeley, Geneva, and B- keley again. The volume contains 21 contributed papers, selected by the program c- mittee from 48 submissions received in response to the call for papers. We thank all of the authors who submitted papers, our invited speakers, the members of the program committee: Dimitris Achlioptas, Microsoft Research Martin Dyer, U. of Leeds Uriel Feige, Weizmann Institute Russell Impagliazzo, UC San Diego Sampath Kannan, U. of Pennsylvania David Karger, MIT Nati Linial, Hebrew U. Rafail Ostrovsky, Telcordia Technologies Paul Spirakis, U. of Patras and CTI Angelika Steger, TU Munich R udiger Urbanke, Swiss Federal Inst. of Tech. Salil Vadhan, Harvard U., chair, and the external reviewers: N. Alon, R. Alur, A. Ambainis, T. Batu, J. Feig- baum, S. Gerke, Y. Gertner, A. Goerdt, L. Goldberg, J. Hastad, C. Iliopoulos, Y. Ishai, V. Kabanets, S. Khot, L. Kirousis, S. Kontogiannis, M. Krivelevich, M. Mavronicolas, A. McGregor, F. McSherry, D. van Melkebeek, M. Molloy, E. Mossel, S. Nikoletseas, R. Raz, D. Ron, P. Tetali, L. Trevisan, E. Vigoda, J. Watrous, and P. Winkler. 292 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many important observational clues about our understanding of how stars and planets form in the interior of molecular clouds have been amassed using recent technological developments. ESO's very large telescope promises to be a major step forward in the investigation of stellar nurseries and infant stars. This volume collects papers from the leaders in this very timely field of astrophysical research. It presents theoretical and a host of observational results and many papers show the plans for future observations.Many important observational clues about our understanding of how stars and planets form in the interior of molecular clouds have been amassed using recent technological developments. ESO's Very Large Telescope promises to be a major step forward in the investigation of stellar nurseries and infant stars. This volume collects papers from the leaders in this very timely field of astrophysical research. It presents theoretical and a host of observational results and many papers show the plans for future observations. 544 pp. Englisch.

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 Workshop on Ant Algorithms, ANTS 2002, held in Brussels, Belgium in September 2002.The 17 revised full papers, 11 short papers, and extended poster abstracts presented were carefully reviewed and selected from 52 submissions. The papers deal with theoretical and foundational aspects and a variety of new variants of ant algorithms as well as with a broad variety of optimization applications in networking and operations research. All in all, this book presents the state of the art in research and development in the emerging field of ant algorithms 324 pp. Englisch.