springer berlin heidelberg aug 2001 (109 risultati)

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bibliographic novel about the lifes and work of three famous chemists seen through the eyes of their wives who were sisters Description of scientific lifes a century agoIt is said that behind every successful man there stands a devoted and capable woman. The three famous chemists Perkin, Kipping and their collaborator Lapworth married three sisters: Mina, Lily, and Kathleen Holland. The three Holland sisters kept their husbands in close and very productive collaboration throughout their lives, thereby greatly increasing their scientific output. They functioned as a productive scientific family. However, the life and work of the men is thoroughly documented, but little is known about their wives. Professor Eugene G. Rochow, a world-renowned scientist, wrote this biographical historical novel with the help of a grandson, Dr. Brian Kipping. Professor Rochow did not intend to write a bare-bones biography. He took care to make the book factually accurate. Wherever t here are no facts, he has not hesitated to flesh out the account with imagination and actual experience of others in order to make the text more readable. 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The usefulness of from the of techniques perturbation theory operators, to kernel for limit theorems for a applied quasi-compact positive Q, obtaining Markov chains for stochastic of or dynamical by describing properties systems, of Perron- Frobenius has been demonstrated in several All use a operator, papers. these works share the features the features that must be same specific general ; used in each stem from the nature of the functional particular case precise space where the of is and from the number of quasi-compactness Q proved eigenvalues of of modulus 1. We here a functional framework for Q give general analytical this method and we the aforementioned behaviour within it. It asymptotic prove is worth that this framework is to allow the unified noticing sufficiently general treatment of all the cases considered in the literature the previously specific ; characters of model translate into the verification of of simple hypotheses every a functional nature. When to Markov kernels or to Perr- applied Lipschitz Frobenius associated with these statements rise operators expanding give maps, to new results and the of known The main clarify proofs already properties. of the deals with a Markov kernel for which 1 is a part quasi-compact Q paper of modulus 1. An essential but is not the simple eigenvalue unique eigenvalue element of the work is the of the of peripheral Q precise description spectrums and of its To conclude the the results obtained perturbations. 160 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 11th international conference on Inductive Logic Programming, ILP2001, was held in Strasbourg, France, September 9 11, 2001. ILP2001 was co-located withthe3rdinternationalworkshoponLogic,Learning,andLanguage(LLL2001), and nearly co-located with the joint 12th European Conference on Machine Learning (ECML2001) and 5th European conference on Principles and Practice of Knowledge Discovery in Databases (PKDD2001). Continuing a series of international conferences devoted to Inductive Logic Programming and Relational Learning, ILP2001 is the central annual event for researchersinterestedinlearningstructuredknowledgefromstructuredexamples and background knowledge. One recent one major challenge for ILP has been to contribute to the ex- nentialemergenceofDataMining,andtoaddressthehandlingofmulti-relational databases. On the one hand, ILP has developed a body of theoretical results and algorithmicstrategiesforexploringrelationaldata,essentiallybutnotexclusively from a supervised learning viewpoint. These results are directly relevant to an e cient exploration of multi-relational databases. Ontheotherhand,DataMiningmightrequirespeci crelationalstrategiesto be developed, especially with regard to the scalability issue. The near-colocation of ILP2001 with ECML2001-PKDD2001 was an incentive to increase cro- fertilization between the ILP relational savoir-faire and the new problems and learning goals addressed and to be addressed in Data Mining. Thirty-seven papers were submitted to ILP, among which twenty-one were selected and appear in these proceedings. Several non-disjoint trends can be observed, along an admittedly subjective clustering. On the theoretical side, a new mode of inference is proposed by K. Inoue, analog to the open-ended mode of Bayesian reasoning (where the frontier - tween induction and abduction wanes). New learning re nement operators are proposed by L. Badea, while R. Otero investigates negation-handling settings. 276 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 Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We welcome you to the Second International Conference on E commerce and Web Technology (ECWEB 2001) held in conjunction with DEXA 2001 in Munich, Germany. This conference, now in its second year, is a forum to bring together researchers from academia and commercial developers from industry to discuss the state of the art in E commerce and web technology and explore new ideas. We thank you all for coming to Munich to participate and debate the new emerging advances in this area. The research presentation and discussion during the conference will help to exchange new ideas among the researchers, developers, and practitioners. The conference program consists of an invited talk by Hannes Werthner, University of Trento, Italy, as well as the technical sessions. The regular sessions cover topics from XML Transformations and Web Development to User Behavior and Case Studies. The workshop has attracted more than 80 papers and each paper has been reviewed by at least 3 program committee members for its merit. The program committee have selected 31 papers for presentation. We would like to express our thanks to the people who helped put together the technical program: the program committee members and external reviewers for their timely and rigorous reviews of the papers, the DEXA organizing committee for their help in administrative work and support, and special thanks to Gabriela Wagner for always responding promptly. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The size, complexity, and integration level of software systems is increasing c- stantly. Companies in all domains identify that software de nes the competitive edge of their products. These developments require us to constantly search for new approaches to increase the productivity and quality of our software - velopment and to decrease the cost of software maintenance. Generative and component-based technologies hold considerablepromise with respect to achi- ing these goals. GCSE 2001 constituted another important step forward and provided a platform for academic and industrial researchers to exchange ideas. These proceedings represent the third conference on generative and com- nent-based software engineering. The conference originated as a special track on generative programming from the Smalltalk and Java in Industry and - ucation Conference (STJA), organized by the working group 'Generative and Component-Based Software Engineering' of the 'Gesellschaft fur Informatik' FG 2.1.9 'Object-Oriented Software Engineering.' However, the conference has evolved substantially since then, with its own, independent stature, invited speakers, and, most importantly, a stable and growing community. This year's conference attracted 43 submissions from all over the world, - dicating the broad, international interest in the research eld. Based on careful review by the program committee, 14 papers were selected for presentation. I would like to thank the members of the program committee, all renowned - perts, for their dedication in preparing thorough reviews of the submissions. 192 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri cation Methods (CHARME 2001). This was held 4-7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banquet in the Playfair Library of Old College, University of Edinburgh were also jointly organized. The proceedings of CHARME 2001 have been p- lished as volume 2144 of Springer-Verlag's Lecture Notes in Computer Science series, with Tiziana Margaria and Tom Melham as editors. Each of the 47 papers submitted in the full research category was refereed by at least 3 reviewers who were selected by the Program Committee. Of these submissions, 23 were accepted for presentation at the conference and publication in this volume. In keeping with tradition, TPHOLs 2001 also o ered a venue for the presentation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the Division of Informatics at the University of Edinburgh. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -th We are very happy to present the proceedings of the 8 International Workshop on Interactive Distributed Multimedia Systems IDMS 2001, in co-operation with ACM SIGCOMM and SIGMM. These proceedings contain the technical programme for IDMS 2001, held September 4 7, 2001 in Lancaster, UK. For the technical programme this year we received 48 research papers from both a- demic and industrial institutions all around the world. After the review process, 15 were accepted as full papers for publication, and a further 8 as short positional papers, intended to provoke debate. The technical programme was complimented by three invited papers: QoS for Multimedia What's Going to Make It Pay by Derek McAuley, E nabling the Internet to Provide Multimedia Services by Markus H- mann, and MPEG-21 Standard: Why an Open Multimedia Framework by Fernando Pereira. The organisers are very grateful for the help they received to make IDMS 2001 a successful event. In particular, we would like to thank the PC for their first class - views of papers, particularly considering the tight reviewing deadlines this year. Also, we would like to acknowledge the support from Agilent, BTexact Technologies, Hewlett Packard, Microsoft Research, Orange, and Sony Electronics without whom IDMS 2001 would not have been such a memorable event. We hope that readers will find these proceedings helpful in their future research, and that IDMS will continue to be an active forum for the discussion of distributed mul- media research for years to come. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data Warehousing and Knowledge Discovery technology is emerging as a key technology for enterprises that wish to improve their data analysis, decision support activities, and the automatic extraction of knowledge from data. The objective of the Third International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2001) was 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 focused on the logical and physical design of data warehousing and knowledge discovery systems. The scope of the papers covered the most recent and relevant topics in the areas of association rules, mining temporal patterns, data mining techniques, collaborative filtering, Web mining, visualization, matchmaking, evelopment and maintenance of data warehouses, OLAP, and distributed data warehouses. These proceedings contain the technical papers selected for presentation at the conference. We received more than 90 papers from over 20 countries, and the program committee finally selected 34 papers. The conference program included one invited talk: 'Knowledge Management in Heterogeneous Data Warehouse Environments' by Professor Larry Kerschberg, George Mason University, USA. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The first evaluation campaign of the Cross-Language Evaluation Forum (CLEF) for European languages was held from January to September 2000. The campaign cul- nated in a two-day workshop in Lisbon, Portugal, 21 22 September, immediately following the fourth European Conference on Digital Libraries (ECDL 2000). The first day of the workshop was open to anyone interested in the area of Cross-Language Information Retrieval (CLIR) and addressed the topic of CLIR system evaluation. The goal was to identify the actual contribution of evaluation to system development and to determine what could be done in the future to stimulate progress. The second day was restricted to participants in the CLEF 2000 evaluation campaign and to their - periments. This volume constitutes the proceedings of the workshop and provides a record of the campaign. CLEF is currently an activity of the DELOS Network of Excellence for Digital - braries, funded by the EC Information Society Technologies to further research in digital library technologies. The activity is organized in collaboration with the US National Institute of Standards and Technology (NIST). The support of DELOS and NIST in the running of the evaluation campaign is gratefully acknowledged. I should also like to thank the other members of the Workshop Steering Committee for their assistance in the organization of this event. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of CHES 2001, the third Workshop on Cryptographic Hardware and Embedded Systems. The rst two CHES Workshops were held in Massachusetts, and this was the rst Workshop to be held in Europe. There was a large number of submissions this year, and in response the technical program was extended to 2 1/2 days. As is evident by the papers in these proceedings, many excellent submissions were made. Selecting the papers for this year's CHES was not an easy task, and weregretthatwehadtorejectseveralveryinterstingpapersduetotheac l kof time. There were 66 submitted contributions this year, of which 31, or 47%, were selected for presentation. If we look at the number of submitted papers at CHES '99 (42 papers) and CHES 2001 (51 papers), we observe a steady increase. We interpret this as a continuing need for a workshop series which combines theory and practice for integrating strong security features into modern communications and computer applications. In addition to the submitted contributions, Ross Anderson from Cambridge University, UK, and Adi Shamir from The Weizmann Institute, Israel, gave invited talks. As in previous years, the focus of the workshop is on all aspects of cryp- graphichardwareandembeddedsystemdesign.Ofspecialinterestwerecont- butions that describe new methods for e cient hardware implementations and high-speed software for embedded systems, e.g., smart cards, microprocessors, DSPs, etc. CHES also continues to be an important forum for new theoretical andpractical ndingsintheimportantandgrowing eldofside-channelattacks. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years machine learning has made its way from artificial intelligence into areas of administration, commerce, and industry. Data mining is perhaps the most widely known demonstration of this migration, complemented by less publicized applications of machine learning like adaptive systems in industry, financial prediction, medical diagnosis and the construction of user profiles for Web browsers.This book presents the capabilities of machine learning methods and ideas on how these methods could be used to solve real-world problems. The first ten chapters assess the current state of the art of machine learning, from symbolic concept learning and conceptual clustering to case-based reasoning, neural networks, and genetic algorithms. The second part introduces the reader to innovative applications of ML techniques in fields such as data mining, knowledge discovery, human language technology, user modeling, data analysis, discovery science, agent technology, finance, etc. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the second symposium on Generative and C- ponent-Based Software Engineering that was held in Erfurt, Germany, on - tober 9 12, 2000, as part of the Net. Object Days conference. The GCSE s- posium was born in 1999 at the Smalltalk and Java in Industry and Edu- tion Conference (STJA), the precursor to the Net. Object Days conference. The GCSE symposium grew out of a special track on generative programming that was organized by the working group Generative and Component-Based So- ware Engineering of the Gesellschaft fur Informatik FG 2. 1. 9 at STJA in the two years 1997 and 1998. The GCSE symposium covers a wide range of related topics from domain analysis, software system family engineering, and software product lines, to extendible compilers and active libraries. The second GCSE symposium attracted 29 submissions from all over the world. This impressive number demonstrates the international interest in g- erative programming and related elds. After a careful review by the program committee, 12 papers were selected for presentation. We are very grateful to the members of the program committee, all of them renowned experts, for their dedication in preparing thorough reviews of the submissions. Special thanks go to Elke Pulvermuller , Andreas Speck, Kai B ollert, Detlef Streitferdt, and Dirk Heuzeroth, who continued the tradition from GCSE 99 and organized a special conference event, the Young Researchers Workshop (YRW). This workshop provided a unique opportunity for young scientists and Ph. D. 220 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 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the topics addressed are implementation, experimental testing, and fine-tuning of discrete algorithms; novel use of discrete algorithms in other disciplines; empirical research on algorithms and data structures; and methodological issues regarding the process of converting user requirements into efficient algorithmic solutions and implemenations. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are very pleased to present the proceedings of the First Workshop on Bio- formatics (WABI 2001), which took place in Aarhus on August 28{31, 2001, under the auspices of the European Association for Theoretical Computer S- ence (EATCS) and the Danish Center for Basic Research in Computer Science (BRICS). TheWorkshop onAlgorithmsinBioinformatics coversresearch onallaspects of algorithmic work in bioinformatics. The emphasis is on discrete algorithms that address important problems in molecular biology. These are founded on sound models, are computationally e cient, and have been implemented and tested in simulationsand on real datasets. The goal is to present recent research results, including signi cant work-in-progress, and to identify and explore dir- tions of future research. Speci c topics of interest include, but are not limited to: { Exactandapproximatealgorithmsforgenomics,sequence analysis,gene and signal recognition, alignment, molecular evolution, structure determination or prediction, gene expression and gene networks, proteomics, functional genomics, and drug design. { Methods, software and dataset repositories for development and testing of such algorithms and their underlying models. { High-performance approaches to computationallyhardproblems inbioinf- matics, particularly optimization problems. 324 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 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.The 59 revised papers presented were carefully reviewed and selected from 117 submissions. The book presents a wealth of state-of-the-art research and development results from the field of natural language processing with emphasis on text, speech, and spoken language. 472 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc ken, Germany, during 5-8 September 2000, together with the abstract of the invited lecture given by Karsten Weihe. The Workshop on Algorithm Engineering covers research on all aspects of the subject. The goal is to present recent research results and to identify and explore directions for future research. Previous meetings were held in Venice (1997), Saarbruc ken (1998), and London (1999). Papers were solicited describing original research in all aspects of algorithm engineering, including: - Development of software repositories and platforms which allow the use of and experimentation with e cient discrete algorithms. - Novel uses of discrete algorithms in other disciplines and the evaluation of algorithms for realistic environments. - Methodological issues including standards in the context of empirical - search on algorithms and data structures. - Methodological issues regarding the process of converting user requirements into e cient algorithmic solutions and implementations. The program committee accepted 16 from a total of 30 submissions. The program committee meeting was conducted electronically. The criteria for sel- tion were originality, quality, and relevance to the subject area of the workshop. Considerable e ort was devoted to the evaluation of the submissions and to p- viding the authors with feedback. Each submission was reviewed by at least four program committee members (assisted by subreferees). A special issue of the ACM Journal of Experimental Algorithmics will be devoted to selected papers from WAE 2000. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Digital libraries (DLs) are major advances in information technology that frequently fall short of expectations [7, 28]. Covi & Kling [7] argue that understanding the wider context of technology use is essential to understanding digital library use and its - plementation in different social worlds. Recent health informatics research also - gues that social and organisational factors can determine the success or failure of healthcare IT developments [8, 11, 12]. Heathfield [11] suggests that this is due to the complex, autonomous nature of the medical discipline and the specialized (clinician or software engineer) approach to system development. Negative reactions to these systems is often due to inappropriate system design and poor implementation. H- ever, there may be other less obvious social and political repercussions of information system design and deployment. Symon et al [26] have identified, within a hospital scenario, how social structures and work practices can be disrupted by technology implementation. Although these systems often deal with sensitive, personal infor- tion, other system design research has found that apparently innocuous data can be perceived as a threat to social and political stability [1,2,3]. To understand the impact of DLs within the medical profession, an in-depth evaluation is required of the int- duction and later development of these applications within their specific social and organisational settings. However, as Covi & Kling [7] have highlighted, there are few high-level theories that aid designers in understanding the implication of these issues for DL design and implementation. 480 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the Fifth International Workshop on Cooperative Information Agents, held in Modena, Italy, September 6-8, 2001. Information agent technology has become one of the major key technologies for the Internet and the World Wide Web. It mainly emerged as a response to the challenges of cyberspace from both the technological and human user perspective. Development of information agents requires expertise from di erent research disciplines such as Arti cial Intelligence (AI), advanced databases and knowledge base systems, distributed information systems, information retrieval, and Human Computer Interaction (HCI). The fth international workshop on Cooperative Information Agents (CIA) continued the tradition by capturing the intrinsic interdisciplinary nature of the above research area by calling for contributions from di erent research communities, and by promoting open and informative discussions on all related topics. In keeping with tradition, the workshop featured a sequence of regular and invited talks of excellence given by leading experts in the eld. This year the topics of the talks are mainly on the challenges of information agents in the upcoming age of ubiquitous and pervasive computing. These challenges are in particular due to the necessity of an e cient utilization, evolution, and trust management of information agents for user-oriented information search, pro- sion, and visualization in networked computing environments with small, mobile, and embedded devices. A di erent issue concerns the potential of agent-based support of massive distributed data warehousing worldwide. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000. This conference series was formerly called the International Workshop on Implementing Automata (WIA) This volume of the Lecture Notes in Computer Science series contains all the papers that were presented at CIAA 2000, and also the abstracts of the poster papers that were displayed during the conference. The conference addressed issues in automata application and implemen- tion. The topics of the papers presented at this conference ranged from automata applications in software engineering, natural language and speech recognition, and image processing, to new representations and algorithms for e cient imp- mentation of automata and related structures. Automata theory is one of the oldest areas in computer science. Research in automata theory has always been motivated by its applications since its early stages of development. In the 1960s and 1970s, automata research was moti- ted heavily by problems arising from compiler construction, circuit design, string matching, etc. In recent years, many new applications have been found in various areas of computer science as well as in other disciplines. Examples of the new applications include statecharts in object-oriented modeling, nite transducers in natural language processing, and nondeterministic nite-state models in c- munication protocols. Many of the new applications do not and cannot simply apply the existing models and algorithms in automata theory to their problems. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mobile Agents areat the crossroadsof twomore ancient concepts: agentand mobility. Theconceptofagentappearedinthe eldofarti cialintelligence(AI) inthelate1970sandisratherfuzzy,leadingtomanyde nitions. Anagentis usually de ned as a software servant that either relieves the user of routine, burdensome tasks such as appointment scheduling and e-mail disposition, or sortstheinformationthatisrelevanttotheuser scurrentinterestsandneeds. This de nition has made agent a buzzword within both the academic and industrialworlds. Mobileagentsrefertoself-containedandidenti ablecomputerprogramsthat canmovewithinthenetworkandcanactonbehalfoftheuseroranotherent ity. Even if they are de ned as a special class of agents that have mobility as a secondarycharacteristic,itismoreappropriatetoconsidermobileagentsasthe achievementofmobileabstractions(code,objectsorprocesses). Theyareoften consideredasanalternativeand/oracomplementforotherparadigmssuchas thewell-establishedclient-server. Insteadoftransferringlargeamountsofdata between the client programand the server,a mobile agent movesto the host withthedataandpertinentresources. Mobileagentshavebeenusedinapplicationsrangingfrominformation- trievaltoe-commerce,includingtelecommunicationsandnetworkmanagement . Althoughtheirproponentsassociateseveralbene tswiththeiruse,theyremain acontentiousissuebecauseof,forinstance,thelackofinnovativeapplications backingtheirclaimswithconcretestudies. Theaimoftheworkshopwastoprovideauniqueopportunityforresearchers, softwareandapplicationdevelopers,andcomputernetworktechnologiststod- cuss new developments on the mobile agent technologyand applications. The workshopfocuses on mobile agent issuesacrossthe areasof networkmana- ment, mobile applications, Nomadic computing, feature interactions, Internet applications,QoSmanagement,policy-basedmanagement,interactivemul ti- dia,tele-learningapplications,andcomputertelephonyintegration. August2001 SamuelPierreandRochGlitho Organizing Committee General Chair: SamuelPierre EcolePolytechniquedeMontr eal,Canada Program Chair: RochGlitho EricssonResearchCanada Tutorial Co-Chairs: Jean-CharlesBernard EcolePolytechniquedeMontr eal,Canada WilfriedG. Probst Universit eduQu ebec`aMontr eal,Canada ThomasM. Chen SouthernMethodistUniversity,USA PublicityCo-Chairs: RamiroLiscano MitelCorporation,Canada LarbiEsmahi NationalResearchCouncilofCanada Geng-ShengKuo NationalCentralUniversity,Taiwan AntonioLiotta UniversityofSurrey,UK Local Management Committee Jean-CharlesBernard,EcolePolytechniquedeMontr eal,Canada DenisMonette,EricssonResearchCanada RochGlitho,EricssonResearchCanada SabineK ebreau,EcolePolytechniquedeMontr eal,Canada RaymondL evesque,BureaudesCongr`esUniversitaires,Canada VII Program Committee A. L. Ananda,NUS,Singapore J. -C. Bernard,EcolePolytechniquedeMontr eal,Canada A. Bieszczad,LucentTechnologies,USA R. Boutaba,UniversityofWaterloo,Canada J. Delgado,UniversitatPompeuFabra,Barcelona,Spain P. Dini,CiscoSystemsInc. ,USA L. Esmahi,NRC,Canada B. Falchuk,Bellcore,USA N. Fonseca,Unicamp,Brazil V. Gay,UTS,Australia M. -P. Gervais,LIP6,France R. Glitho,EricssonResearchCanada T. Gray,MitelCorp,Canada C. Grossner,NortelNetworks,Canada H. H. Hoang,EcolePolytechniquedeMontr eal,Canada E. Horlait,LIP6,France J. G. Hulaas,UniversityofGeneva,Switzerland R. Impey,NRC,Canada I. Jabbari,GeorgeMasonUniversity,USA P. Joye,UniversityofAppliedSciencesofWesternSwitzerland A. Karmouch,UniversityofOttawa,Canada R. Liscano,MitelCorporation,Canada T. Magedanz,IKV++GMD,Germany C. Petitpierre,SwissFederalInstituteofTechnology,Switzerland A. Quintero,EcolePolytechniquedeMontr eal,Canada S. Soulhi,EricssonCanada J. -F. Wagen,Univ. ofAppliedSciencesofWesternSwitzerland MATAWorkshop SteeringCommittee EricHorlait,LIP6,France RogerImpey,NRC,Canada AhmedKarmouch,UniversityofOttawa,Canada ThomasMagedanz,IKV++GMD,Germany Table of Contents DynamicCongestionAvoidanceUsingMulti-agentSystems . . . .

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Learning classi er systems are rule-based systems that exploit evolutionary c- putation and reinforcement learning to solve di cult problems. They were - troduced in 1978 by John H. Holland, the father of genetic algorithms, and since then they have been applied to domains as diverse as autonomous robotics, trading agents, and data mining. At the Second International Workshop on Learning Classi er Systems (IWLCS 99), held July 13, 1999, in Orlando, Florida, active researchers reported on the then current state of learning classi er system research and highlighted some of the most promising research directions. The most interesting contri- tions to the meeting are included in the book Learning Classi er Systems: From Foundations to Applications, published as LNAI 1813 by Springer-Verlag. The following year, the Third International Workshop on Learning Classi er Systems (IWLCS 2000), held September 15{16 in Paris, gave participants the opportunity to discuss further advances in learning classi er systems. We have included in this volume revised and extended versions of thirteen of the papers presented at the workshop. 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational techniques for supporting automatic program generation. A key goal of SAIG is to provide a unique forum for both theoreticians and practitioners to present their results and ideas to an audience from a diverse background. This year we are fortunate to have three in uential invited speakers: Krzysztof Czarnecki (DaimlerChrysler), Tim Sheard (OGI School of Science and Engineering), and Mitchell Wand (Northeastern University). The proceedings include abstracts of the invited talks, and an invited paper by Tim Sheard. Seven technical papers and two position papers were presented at SAIG 2001. 236 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The fascinating phenomenon ferromagnetism is far from being fully understood, although it surely belongs to the oldest problems of solid state physics. For any investigation it appears recommendable to distinguish between materials whose spontaneous magnetization stems from localized electrons of a partially lled atomic shell and those in which it is due to itinerant electrons of a partially lled conduction band. In the latter case one speaks of band-ferromagnetism, prototypes of which are the classical ferromagnets Fe, Co, and Ni. The present book is a status report on the remarkable progress that has recently been made towards a microscopic understanding of band-ferromagnetism as an electron c- relation e ect. The authors of the various chapters of this book 'Band-Ferromagnetism: Ground-State and Finite-Temperature Phenomena' participated as selected - perts in the 242nd WE-Heraeus-Seminar (4-6 October 2000) held under almost the same title in Wandlitz near Berlin (Germany). It was the second seminar of this type in Wandlitz. (The rst in 1998 dealt with the complementary topic of the physics of local-moment ferromagnets such as Gd). Twenty-six invited spe- ers from ten di erent countries together with fty- ve further participants, who presented contributions in form of posters, spent three days together discussing in an enthusiastic and fertile manner the hot topics of band-ferromagnetism. 408 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 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games. 600 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introduces the problem of the symbolic structure of physics, surveys the modern history of symbols, proceeds to an epistemological discussion of the role of symbols in our knowledge of nature, and addresses key issues related to the methodology of physics and the character of its symbolic structures. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3 7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7 11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 September 4, 1993; in St.Petersburg, September 12 15, 1995; in Yaroslavl September 9 12, 1997; and in Pushkin (near St.Petersburg) from September 6 10, 1999. The PaCT proceedings are published by Springer- Verlag in the LNCS series. PaCT-2001 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences (No- sibirsk), the State University, and the State Technical University of Novosibirsk. The purpose of the conference was to bring together scientists working with theory, architecture, software, hardware, and solution of large-scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. - thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants. 536 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains detailed lecture notes on six topics at the forefront of current research in numerical analysis and applied mathematics. Each set of notes presents a self-contained guide to a current research area and has an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. The notes start from a level suitable for first year graduate students in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. The reader should therefore be able to gain quickly an insight into the important results and techniques in each area without recourse to the large research literature. Current (unsolved) problems are also described and directions for future research are given. This book is also suitable for professional mathematicians who require a succint and accurate account of recent research in areas parallel to their own, and graduates in mathematical sciences. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the joint refereed proceedings of the 4th International Workshop on Approximation Algorithms for Optimization Problems, APPROX 2001 and of the 5th International Workshop on Ranomization and Approximation Techniques in Computer Science, RANDOM 2001, held in Berkeley, California, USA in August 2001. The 26 revised full papers presented were carefully reviewed and selected from a total of 54 submissions. Among the issues addressed are design and analysis of approximation algorithms, inapproximability results, on-line problems, randomization, de-randomization, average-case analysis, approximation classes, randomized complexity theory, scheduling, routing, coloring, partitioning, packing, covering, computational geometry, network design, and applications in various fields. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Cooperative Information Systems have emerged as a central concept in a variety of applications, projects, and systems in the new era of e-business. The conference at which the papers in this volume were presented was the ninth international conference on the topic of Cooperative Information Systems (CoopIS 2001), and was held in Trento, Italy on September 5-7, 2001. Like the previous conferences, CoopIS 2001 has been remarkably successful in bringing together representatives of many di erent elds, spanning the entire range of e ective web-based Cooperative Information Systems, and with interests ranging from industrial experience to original research concepts and results. The 29 papers collected here out of the 79 ones that were submitted, dem- strate well the range of results achieved in several areas such as agent te- nologies, models and architectures, web systems, information integration, m- dleware technologies, federated and multi-database systems. The papers th- selves, however, do not convey the lively excitement of the conference itself, and the continuing spirit of cooperation and communication across disciplines that has been the hallmark of these conferences. We would especially like to thank our keynote speakers: Philip A. Bernstein (Microsoft Research, USA), Edward E. Cobb (BEA Systems, USA), and Ma- izio Lenzerini (Universit`a di Roma La Sapienza , Italy) for providing a portrait of the best contemporary work in the eld. We would also like to thank the many people who made CoopIS 2001 possible. 468 pp. Englisch.