Springer jul 2000 (265 résultats)

Buch. Etat : Neu. Neuware -We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address.…

Buch. Etat : Neu. Neuware -We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address. 232 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -What conditions the chances of liberty, wealth and equality at the start of the third Christian millennium Why did human civilizations develop so slowly for thousands of years, and then transform themselves during the last three hundred This study of four great thinkers who lived between 1689 and 1995, Montesquieu, Adam Smith, De Tocqueville, and Ernest Gellner, weaves their lives and works together and through their own words shows how they approached the question of the nature of man, his past and his future. 326 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In preparation for role-play during a RIPP class, 6th grade students consider the following conflict situation: Sharon and Josie, who are good friends, tryout for the basketball team. Josie makes the team, but Sharon does not. The week after tryouts, Sharon tries to pick a fight with Josie, calling her a 'cheater' and 'some one the coach felt sorry for. ' Josie is in a bind; she wants to remain friends with Sharon, but she is really angry with Sharon for treating her so badly. What can Josie do in this situation What type of self-talk will help her work out this prob lem with Sharon and keep the friendship During the role-play, Sharon calls Josie a cheater. Then, before Josie re sponds, two students representing her positive and negative sides take turns whis pering into her ear. Negative self-talk: 'Boy, is she a loser! What if everyone believes her and thinks that I cheated to get on the team !' Positive self-talk: 'I know I worked hard to get on the team! Sharon must really be hurt that she didn't make it. I can talk to her later when she's cooled down, and maybe we can do something together after practice. ' Josie listens to the two voices, and decides that the best approach is to ignore Sharon's comments for now and to call her later that day to see if they can do something together. This description of students dealing with everyday conflicts is quite real. 144 pp. Englisch. …

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work explores an aspect of Yeats's writing largely ignored until now: namely, his wide-ranging absorption in S.T. Coleridge. Gibson explores the consistent and densely woven allusions to Coleridge in Yeats's prose and poetry, often in conjunction with other Romantic figures, arguing that the earlier poet provided him with both a model of philosopher - 'the sage' - and an interpretation of metaphysical ideas which were to have a resounding effect on his later poetry, and upon his rewriting of A Vision. 224 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 248 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Financial Markets in Hong Kong is a unique guide to the workings and the legal framework governing all aspects of Hong Kong's financial markets. Drawing upon the extensive experience of its contributors to present a lucid insight into the intricacies of the matrix behind the functioning of financial markets, it is possibly the only book to cover the spectrum ranging from a discussion on the regulatory framework to the various measures implemented to facilitate the further development of the markets to the important role assumed by professional advisers. Given the width of coverage, its clarity and readability, it will prove to be the ideal reference text for those with an interest in the financial sector of Hong Kong. Contributors include Templeton Asset Management Limited, Hong Kong; Standard & Poor's, Hong Kong; Ernst & Young, Hong Kong; Arthur Anderson & Co., Hong Kong; The Hong Kong Monetary Authority, among others. 316 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Can Japan Compete is a major new development of Michael Porter's theory of competitive positioning, in which he examines the 'two Japans' - one highly competitive and one highly uncompetitive. Porter draws upon previously unseen research to set the record straight on what did and did not happen during the 'Japanese Miracle'. This book represents a major contribution to the understanding of Japan and a major new strategic analysis from the world's leading thinker on strategy. 208 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Against a background of globalization, risk and cultural pluralism, the problem of social exclusion and its possible remedies have become a major focus for political and social analysis and policy making. This collection of original essays by leading social thinkers and analysts offers a comprehensive exploration of the topic and considers various practical agenda. Contributors include Zygmunt Bauman, Bernard Crick, John Gray, Ruth Lister, Raymond Plant, Richard Sennett and Charles Taylor. 311 pp. Englisch. …

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As the Cold War faded, Ambassador Hank Cohen, President George Bush's Assistant Secretary of State for Africa, engaged in aggressive diplomatic intervention in Africa's civil wars. In this revealing book Cohen tells how he and his Africa Bureau team operated in seven countries in crisis: Angola, Ethiopia, Liberia, Mozambique, Rwanda, Somalia, and Sudan. He candidly characterizes key personalities and events and provides a treasure trove of lessons learned and basic principles for practitioners of conflict resolution within states. 268 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism. 216 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully in areas like pattern recognition, clustering, or automatic control. The papers in this book explore the possibility of bringing these two areas together.This book is unique in the way it concentrates on building intelligent software systems by combining methods from diverse disciplines, such as fuzzy set theory, neuroscience, agent technology, knowledge discovery, and symbolic artificial intelligence. The first part of the book focuses on foundational aspects and future directions; the second part provides the reader with an overview of recently developed software tools for building flexible intelligent systems; the final section studies developed applications in various fields. 384 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Clusters of workstations/PCs connected by o -the-shelf networks have become popular as platforms for cost-e ective parallel computing. Technological - vances in both hardware and software have made such a network-based parallel computingplatform an a ordable alternative to commercial supercomputers for an increasing number of scienti c applications. Continuing in the tradition of the three previously successful workshops, this fourth Workshop on Communication, Architecture and Applications for Network-basedParallelComputing(CANPC 2000)broughttogetherresearchers and practitioners working in architecture, system software, applications, and performance evaluation to discuss state-of-the-art solutions for network-based parallel computing. This year, the workshop was held in conjunction with the sixth International Symposium on High-Performance Computer Architecture (HPCA-6). As in prior editions, the papers presented here are representative of a sp- trum of research e orts from groups in academia and industry to further - prove cluster computing s viability, performance, cost-e ectiveness, and usab- ity. Speci cally, we have arranged the contributions in this edition into four groups: (1) program development and execution support, (2) network router - chitecture, (3) system support for communication abstractions, and (4) network software and interface architecture. 196 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Some years ago, businesses could choose whether to migrate to electronic commerce, however, today it seems they have no choice. Predictions indicate that companies that do not make the necessary changes will be overrun by competition and ultimately fail. Therefore, we see more and more companies undergoing tremendous transformationin order to adapt to the new business paradigm. At the same time new companies are being established. One thing these companies have in common is the increased dependency on security technology. The invention of electronic commerce has changed the role of - curity technologies from being merely a protector to being also an enabler of electronic commerce, and it is clear that the development of security techn- ogy is a key enabler in the growth and deployment of electronic commerce. This has been recognised at European level (European Union 1997e). The launch of a comprehensive EU policy in the area of security in open networksisfairlyrecentwiththeadoptionofaCommunicationoncryptog- phy inOctober 1997(EuropeanUnion1997c). A veryimportantcomplement and support to the European policy is the European Commission s contri- tion to overcometechnological barriers by giving special importance to R&D (Research and Development) activities. The SEMPER project was launched in September 1995 and was funded partly by the European Community within the Advanced Communication Technologies and Services (ACTS) speci c research programme part of the Fourth Framework Program (1994-1998). In this book the SEMPER project team presents in a coherent, integrated, and readable form the issues - dressed,themotivationfortheworkcarriedout,andthekeyresultsobtained. SEMPER is an innovative project in several aspects. 372 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainsoneinvitedand fteensubmittedpaperspresentedatthe Tenth International Conference on Inductive Logic Programming (ILP2000). The fteenacceptedpaperswereselectedbytheprogramcommitteefromthe 37paperssubmittedtotheconference. Eachpaperwascarefullyreviewedby threereferees. ILP2000washeldatImperialCollege,London,24-27July2000andwasin- grated with the First International Conference on Computational Logic (CL2000). With ILP s strong roots in computational logic, this was a na- ralmarriage. CL2000wasa ve-dayextravaganza,incorporatingboththeSixth InternationalConferenceonRulesandObjectsinDatabases(DOOD2000)and theTenthInternationalWorkshoponLogic-basedProgramSynthesisandTra- formation(LOPSTR2000)andfeaturingeightinvitedspeakers,twelvetutorials, andsevena liatedworkshops. RegistrantsforCL2000andILP2000couldmove freelybetweenthetwoevents,themaindistinctionbetweentheeventsbeings- arateconferenceproceedings. WewishtothankalltheauthorswhosubmittedtheirpaperstoILP2000; theprogramcommitteemembers,andotherreviewerswhodidathoroughjobin spiteofdemandingdeadlines;andourinvitedspeaker,DavidPage. Thanksalso toAlfredHofmann,andeveryoneelseatSpringerfortheirsmoothhandlingof theseproceedings. WewouldalsoliketothanktheorganisersofCL2000,whose cooperation brought the two events together: John Lloyd (Program Chair), Marek Sergot (Conference Chair), Frank Kriwaczek and Francesca Toni (- calOrganisers),FemkevanRaamsdonk(PublicityChair)andSandroEtalle (Workshop Chair). Finally, we are grateful to our sponsors for their nancial support. May2000 JamesCussens&AlanFrisch ProgramChairs ILP2000 ILP2000 Program Committee HenrikBostr om(UniversityofStockholm,Sweden) IvanBratko(UniversityofLjubljana,Slovenia) JamesCussens(UniversityofYork,UK) Shan-HweiNienhuys-Cheng(UniversityofRotterdam,Netherlands) WilliamCohen(WhizbangsLabs,USA) LucDeRaedt(UniversityofFreiburg,Germany) Sa soD zeroski(Jo zefStefanInstitute,Ljubljana) PeterFlach(UniversityofBristol,UK) AlanFrisch(UniversityofYork,UK) KoichiFurukawa(UniversityofKeio,Japan) RoniKhardon(UniversityofEdinburgh,UK) J org-UweKietz(SwissLife,Switzerland) NadaLavra c(Jo zefStefanInstitute,Slovenia) JohnLloyd(AustralianNationalUniversity,Australia) StanMatwin(UniversityofOttawa,Canada) RaymondMooney(UniversityofTexas,USA) StephenMuggleton(UniversityofYork,UK) DavidPage(UniversityofWisconsin,USA) BernhardPfahringer(UniversityofWaikato,NewZealand) C elineRouveirol(Universit edeParis-Sud,France) ClaudeSammut(UniversityofNewSouthWales,Australia) Mich`eleSebag(EcolePolytechnique,France) AshwinSrinivasan(UniversityofOxford,UK) PrasadTadepalli(OregonStateUniversity,USA) StefanWrobel(UniversityofMagdeburg,Germany) AkihiroYamamoto(UniversityofHokkaido,Japan) Additional Referees ErickAlphonse(Universit edeParis-Sud,France) LiviuBadea(NationalInstituteforResearchandDevelopmentinInformatics, Romania) DamjanDemsar(Jo zefStefanInstitute,Slovenia) ElisabethGoncalves(Universit edeParis-Sud,France) MarkoGrobelnik(Jo zefStefanInstitute,Slovenia) ClaireKennedy(UniversityofBristol,UK) DanielKudenko(UniversityofYork,UK) JohanneMorin(UniversityofOttawa,Canada) TomonobuOzaki(KeioUniversity,Japan) EdwardRoss(UniversityofBristol,UK) LjupcoTodorovski(Jo zefStefanInstitute,Slovenia) V eroniqueVentos(Universit edeParis-Sud,France) VIII ProgramCommitteeandReferees Sponsors of ILP2000 ILPNet2,TheEuropeanNetworkofExcellenceinInductiveLogicProgramming MLNet,TheEuropeanNetworkofExcellenceinMachineLearning CompulogNet,TheEuropeanNetworkofExcellenceinComputationalLogic Table of Contents IInvitedPaper ILP:JustDoIt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 DavidPage II Contributed Papers ANewAlgorithmforLearningRangeRestrictedHornExpressions. . . . . . . 21 MartaArias,RoniKhardon ARe nementOperatorforDescriptionLogics. . . . . . . . . . . . . . . . . . . . . . . . . 40 LiviuBadea,Shan-HweiNienhuys-Cheng ExecutingQuer.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as international meetings. Previous conferences took place in St. Au- stin (Germany) in 1991, Vadstena (Sweden) in 1993, Assisi (Italy) in 1995, and Toulouse (France) in 1997. ECP-99 was held in Durham, United Kingdom. The conference received s- missions from all over Europe, from the US, Canada, South America, and New Zealand. This volume contains the 27 papers that were presented at the conference. They cover a variety of aspects in current AI Planning and Scheduling. Several p- minent planning paradigms are represented, including planning as satis ability andothermodelcheckingstrategies,planningasheuristicstate-spacesearch,and Graphplan-Based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced. Inadditiontotheconferencepapers,threeinvitedtalkswerepresentedbydist- guished researchers of the eld: Fausto Giunchiglia (IRST Trento, Italy) gave an introduction to Planning as Model Checking. The corresponding paper by F- sto Giunchiglia and Paolo Traverso is included in this volume. Claude Le Pape (BouyguesTelecom,France)presentedConstraint-BasedScheduling:Theoryand Applications, and Nicola Muscettola (NASA Ames, USA) talked aboutPlanning at 96 Million Kilometers from Earth. ECP-99 received support fromPLANET,the European Network of Excellence in AI Planning, the University of Durham, United Kingdom, and the University of Ulm, Germany. 388 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. 1428 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery. Depending on whether the data used in the knowledge discovery process concerns the Web itself in terms of content or the usage of the content, one distinguishes between Web content mining and Web usage mining.This book is the first one entirely devoted to Web usage mining. It originates from the WEBKDD'99 Workshop held during the 1999 KDD Conference. The ten revised full papers presented together with an introductory survey by the volume editors documents the state of the art in this exciting new area. The book presents topical sections on Modeling the User, Discovering Rules and Patterns of Navigation, and Measuring interestingness in Web Usage Mining. 196 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were selected for presentation at the 6th Annual International Computing and Combinatorics Conference (COCOON2000), in Sydney, Australia from July 26 - 28, 2000. The topics cover many areas in t- oretical computer science and combinatorial optimization. There were 81 high quality papers submitted to COCOON2000. Each paper was reviewed by at least three program committee members, and the 44 papers were selected. It is expected that most of them will appear in a more complete form in scientic journals. In addition to the selected papers, the volume also contains the papers from two invited keynote speeches by Christos Papad- itriou and Richard Brent. This year the Hao Wang Award was given to honor the paper judged by the programcommittee to have the greatest merit. The recipient is Approximating Uniform TriangularMeshes in Polygons'byFranz Aurenhammer, NaokiKatoh, Hiromichi Kojima, Makoto Ohsaki, and Yinfeng Xu. The rst Best Young - searcher paper award was given to William Duckworth for his paper Maximum Induced Matchings of Random Cubic Graphs'. We wish to thank all who have made this meeting possible: the authors for submitting papers, the program committee members and the external referees, sponsors, the local organizers, ACM SIGACT for handling electronic subm- sions,Springer-Verlagfor their support, and Debbie Hatherellfor her assistance. 496 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Arti cial Evolution conference was originally conceived as a forum for the French-speaking Evolutionary Computation community, but has of late been acquiring an European audience, with several papers from Germany, Austria, Italy, Spain. However, AE remains as intended a small and friendly gathering, which will continue to be held every two years. Previous AE meets were held in Toulouse, Brest, and N mes. This year, the hosting was done by the LIL (Laboratoire d'Informatique du Littoral) in the not-so-cold city of Dunkerque. The invited talk on 'Fitness Landscapes and Evolutionary Algorithms' was delivered by Colin Reeves of Coventry University This volume contains a selection of the papers presented at the conference. Twenty-seven papers were presented orally at the conference, selected from over 40 papers refereed by the program committee. After the conference, each p- sentation was reviewed and 20 papers were retained and revised for publication in this volume. The papers in this volume have been grouped into the following ve sections which more or less re ect the organization of the oral presentations. 1. Invited Paper: C. Reeves brightly describes the state of the art in Fitness Landscapes. 312 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code generation, debugging, - timization, communication and distributed shared memory libraries, distributed object systems, resource management systems, integration of compiler and r- time systems, irregular and dynamic applications, and performance evaluation. In 1999, the workshop was held at the International Relations/Paci c Studies Auditorium and the San Diego Supercomputer Center at UCSD. Seventy-seven researchers from Australia, England, France, Germany, Korea, Spain, and the United States attended the workshop, an increase of over 50% from 1998. 516 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation 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 supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project. 552 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26- 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d'Est erel in Qu ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year's symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort's failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re ection of the increased maturity of the eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains. 348 pp. Englisch.…

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for quite some time now. This book is a revised and extended version of the 2nd edition of the German textbook 'Rechnergestützte Gruppenarbeit: Eine Einführung in verteilte Anwendungen'. It has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numer ous opportunities for users of groupware and the risks of applying such sys tems. The book intends to introduce an area of distributed systems, namely the computer support of individuals trying to solve a common problem in cooperation with each other but not necessarily having identical work pi aces or working times. Computer-supported cooperative work is an interdisciplinary application domain. It can be viewed as a synergism between the areas of distributed sys tems and (multimedia-) communication on the one hand and between those of information science and socio-organizational theory on the other hand. Thus, the book is meant to help students of aH these disciplines, as weH as users and developers of systems which have communication and cooperation within groups as top priorities. 556 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introducing Fortran 95 contains:- Lots of clear and simple examples highlighting the language features- Details of a variety of internet based sources which will prove invaluable for those seeking further information and support- Key features of the latest version of Fortran, including ISO Technical Reports TR 15580 and TR 15581This comprehensive introduction will be essential to the complete beginner who wants to learn the fundamentals of programming using a modern, powerful, expressive and safe language, and to those wanting to update their programming skills by making the move from earlier versions of Fortran.Ian Chivers and Jane Sleightholme are the joint owners of comp-fortran-90. Both authors have been involved in teaching and supporting Fortran and related areas for over 20 years. 476 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The authors introduce the concept of Molecular Quantum Similarity, developed in their laboratory, in a didactic form. The basis of the concept combines quantum theoretical calculations with molecular structure and properties even for large molecules. They give definitions and procedures to compute similarities molecules and provide graphical tools for visualization of sets of molecules as n-dimensional point charts. 140 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mit den oben zitierten Worten eroffnete der Staatsprasident von Uganda, Yoweri Kaguta Musevani (1997), die Konferenz iiber das Management von Erdbeben katastrophen in Entwicklungslandern in Kampala. Diese Satze umreiBen kurz und biindig das Problem, das sich schon heute und im wachsenden MaBe fUr das nachste Jahrhundert abzeichnet und welches das Thema des heutigen Vortrags ist. Unser Verhiiltnis zu Erdbeben als Naturgewalt hat sich iiber die letzten Jahr tausende bis Jahrhunderte erheblich geandert. Erdbeben gehOren zu den Naturge walten, die yom Menschen nicht kontrolliert werden konnen und die dazu ohne Vorankiindigung auftreten. Man kann vor ihnen nicht davonlaufen wie vor einem Vulkanausbruch oder einem Hurrikan, die sich in der Regel geniigend vorher ankiindigen. Daher lag es nahe, Erdbeben als Ausdruck eines gottlichen Willens zu verstehen. Dies findet man in fast allen Kulturkreisen in Erdbebengebieten. Aus Celebes, dem heutigen Sulawesi, stammt die Darstellung (Abb. 1) der fol genden mythologischen Erzahlung (Ritsema, 1972). Maradika Pudu, der Erdgeist ist von Atala, dem Herrn des Himmels, beauf tragt worden, in der Erde zu sitzen und sie von Zeit zu Zeit beben zu lassen, urn die Leute zu erinnern, Atala nicht zu vergessen. Daher hat Maradika Pudu eine Wasserschiissel vor sich. Wenn er seinen kleinen Finger hinein taucht, gibt es ein kleines Beben; . Sobald ein Erdbeben verspiirt wird, sollen Leute rufen 'Herr wir sind hier'. 52 pp. Deutsch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the full proceedings of the Tenth World Conference on Tobacco or Health, held 24-28 August 1997 in Beijing, China, and hosted by the Chinese Association on Smoking and Health and the Chinese Medical Association.Tobacco is now causing a worldwide epidemic of premature death and disability, affecting first men and then women in developed countries, and now increasingly affecting developing countries. The theme 'Tobacco: The Growing Epidemic' was chosen to reflect the increasingly global nature of the problem. 1028 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the proceedings of the 11th Eurographics Workshop on Rendering, which took place from the 26th to the 28th of June, 2000, in Brno, Czech Republic. Over the past 10 years, the Workshop has become the premier forum dedicated to research in rendering. Much of the work in rendering now appearing in other conferences and journals builds on ideas originally presented at the Workshop. This year we received a total of 84 submissions. Bachpaper was carefully reviewed by two of the 25 international programme committee members, as weil as external reviewers, selected by the co-chairs from a pool of 121 individuals (The programme committee and external reviewers are listed following the contents pages). In this review process, all submissions and reviews were handled electronically, with the exception of videos submitted with a few of the papers (however, some mpeg movies were also sent electronically). The overall quality of the submissions was exceptionally high. Space and time constraints forced the committee to make some difficult decisions. In the end, 33 papers were accepted, and they appear here. Almost all papers are accompanied by color images, which appear at the end of the book. The papers treat the following varied topics: radiosity, ray tracing, methods for global illumination, visibility, reftectance, filtering, perception, hardware assisted methods, real time rendering, modeling for effi cient rendering and new image representations. 444 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book explains the basic use of the software package called MuPAD and gives an insight into the power of the system. M u PAD is a so-called computer algebra system, which is developed mainly at the University of Paderborn in Germany. This introduction addresses mathematicians, engineers, computer scientists, natural scientists, and more generally all those in need of mathematical computations for their education or their profession. Generally speaking, this book addresses anybody who wants to use the power of a modern computer algebra package. There are two ways to use a computer algebra system. On the one hand, you may use the mathematical knowledge it incorporates by calling system functions interactively. For example, you can compute symbolic integrals, or generate and invert matrices, by calling appro priate functions. They comprise the system's mathematical intelligence and may implement sophisticated algorithms. Chapters 2 through 15 discuss this way of using MuPAD. On the other hand, with the help of MuPAD's programming lan guage you can easily add functionality to the system by implementing your own algorithms as MuPAD procedures. This is useful for special purpose applications if no appropriate system functions exist. Chap ters 16 through 18 are an introduction to programming in MuPAD. You can now read this book in the standard way 'linearly' from the first to the last page. However, there are reasons to proceed otherwise. 376 pp. Englisch.…