springer berlin heidelberg aug 2001 (86 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Schnelles Verstehen und Lernen komplizierter Vorgänge zeichnet aus. Gerade das Zivilprozessrecht mit all seinen Finessen ist ein solches Gebiet, dessen Kenntniss für ein erfolgreiches Auftreten unerläßlich ist. Diesem Ziel dient dieses Buch, das jedem Leser einen raschen Einstieg in die Materie bietet. 224 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 336 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bürgernah, kundenfreundlich, transparent, sparsam - so wünschen sich die Bürger und die Wirtschaft die öffentlichen Verwaltungen in Städten, Ländern, im Bund und auch in Europa. Die modeme Informations- und Telekommunikationstechnik stellt, vor allem mit Internet, Intranet und World Wide Web, Mittel zur Verfügung, die das Ziel einer effizienten 'Online-Verwaltung' realisierbar werden lassen. Seit einiger Zeit werden deshalb umfangreiche Projekte zum Einsatz neuer Medien in der Verwaltung durchgeführt. Die Erleichterung der Kommunikation zwischen dem Bürger und den 'Behörden' im Sinne des 'gläsernen' Rathauses steht dabei ebenso im Blickpunkt wie die Beschleunigung der Verwaltungsvorgänge aus Sicht von Unternehmen oder die 'Digitalisierung' der Beschaffungsprozesse der öffentlichen Hand. Die Einführung und der Einsatz neuer Technologien ist hierfür zwar eine wichtige Voraussetzung; die eigentliche Herausforderung besteht jedoch in der Umstellung der komplexen Verwaltungsprozesse und in der Heranführung der Mitarbeiter in den Verwaltungen an die neuen Techniken und Abläufe. Der zweitägige Kongress 'Verwaltung ans Netz! -Neue Medien halten Einzug in die öffentlichen Verwaltungen' des MÜNCHNER KREISES hat sich eingehend mit dieser Thematik beschäftigt. Deutsche und ausländische Experten haben, auch an Hand von Praxisbeispielen, Anforderungen und Potenziale einer modernen mediengestützten Verwaltung aus verschiedenen Blickwinkeln - u.a. Unternehmer, ArbeitsvermittIer, Steuerzahler - eingehend diskutiert. Dabei ging es um Fragen wie die Rechtsverbindlichkeit elektronischer Geschäftsvorgänge wie auch um organisatorische Fragen wie das Outsourcing von Verwaltungsaufgaben. Die Ergebnisse und Referate der aufschlussreichen Beiträge und Diskussionen sind in dem vorliegendem Tagungsband dokumentiert. 216 pp. Deutsch.

Buch. Condition: 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. Condition: 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Entwicklung professioneller Multimedia-Anwendungen bedarf der interaktiven Zusammenarbeit zwischen Auftraggeber und Entwicklerteam. Von der Idee bis zum fertigen multimedialen Online- und/oder Offline-Produkt sind vielfältige organisatorische, gestalterische, technische und juristische Aspekte zu berücksichtigen. Multimedia-Projektmanagement bietet Ihnen hier die notwendigen Grundlagen: Sie lernen den kompletten Workflow, wichtige Standards und Fachtermini Schritt für Schritt mit wertvollen Tips und Faustregeln kennen; ausführliche Checklisten dienen besonders der Gestaltung eines effizienten Projektmanagements. Case Studies geben zudem einen Einblick in Content- und Qualitätsmanagementsysteme führender Agenturen, sowie in die Planung eines Internet-Marktplatzes und einer Datenbank-CD-ROM. 312 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Wie kann man ungestört arbeiten und gleichzeitig möglichst viel von dem mitbekommen, was die anderen tun Wie können CSCW-Werkzeuge dies auch bei räumlicher und zeitlicher Verteilung unterstützen Welche Potentiale und Auswirkungen hat der Einsatz von CSCW-Methoden auf die Zusammenarbeit Wie steigert CSCW die Produktivität der Gruppenarbeit Wie werden CSCW-Anwendungen in Organisationen eingeführt Was haben wir in insgesamt 15 Jahren CSCW-Forschung erreicht Antworten auf solche Fragen geben in diesem Buch führende CSCW-Forscher für ihr jeweiliges Spezialgebiet. Sie stellen den international aktuellen Stand der Forschung so umfassend und in allgemeinverständlicher Weise dar, dass das Buch gleichermaßen als einführendes Lehrbuch für Studierende an Universitäten und Fachhochschulen und als Überblickswerk für Forscher und Praktiker geeignet ist. Die Fachrichtungen reichen dabei von der Informatik über die Wirtschaftsinformatik bis zu den Wirtschafts- und den Sozialwissenschaften. 636 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch gibt eine Einführung in die Wahrscheinlichkeitsrechnung und mathematische Statistik für Ingenieure und Naturwissenschaftler. Ein zweiter Schwerpunkt liegt in der Anwendung der Programmsysteme MATHCAD und MATLAB, die von Ingenieuren und Naturwissenschaftlern bevorzugt eingesetzt werden. Der Autor zeigt, daß sich MATHCAD und MATLAB auch zur Berechnung von Grundaufgaben aus Wahrscheinlichkeitsrechnung und Statistik eignen. Deshalb braucht sich der Ingenieur bei anfallenden Statistikaufgaben nicht zusätzlich in die Bedienung eines Statistik-Programmsystems einzuarbeiten, sondern er kann im vertrauten Rahmen von MATHCAD oder MATLAB arbeiten. Sämtliche im Buch behandelte Gebiete der Wahrscheinlichkeitsrechnung und Statistik sind durch Beispiele illustriert, die mittels MATHCAD und MATLAB berechnet werden. Das Buch kann auch zur Berechnung von mathematischen Grundaufgaben herangezogen werden. 536 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present this collection of papers from the Second Workshop on Intelligent Memory Systems. Increasing die densities and inter chip communication costs continue to fuel interest in intelligent memory systems. Since the First Workshop on Mixing Logic and DRAM in 1997, technologies and systems for computation in memory have developed quickly. The focus of this workshop was to bring together researchers from academia and industry to discuss recent progress and future goals. The program committee selected 8 papers and 6 poster session abstracts from 29 submissions for inclusion in the workshop. Four to five members of the program committee reviewed each submission and their reviews were used to numerically rank them and guide the selection process. We believe that the resulting program is of the highest quality and interest possible. The selected papers cover a wide range of research topics such as circuit technology, processor and memory system architecture, compilers, operating systems, and applications. They also present a mix of mature projects, work in progress, and new research ideas. The workshop also included two invited talks. Dr. Subramanian Iyer (IBM Microelectronics) provided an overview of embedded memory technology and its potential. Dr. Mark Snir (IBM Research) presented the Blue Gene, an aggressive supercomputer system based on intelligent memory technology. 204 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri cation of hardware and hardware-like systems. Previous events in the 'CHARME' series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4-7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh. 496 pp. Englisch.

Taschenbuch. Condition: 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 . . . . . . . . . . . . . . . . . 1 N. Rouhana,E. Horlait UseofAgentsfor 312 pp. Englisch.

Taschenbuch. Condition: 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.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThesearetheproceedingsofCaLC2001,the rstconferencedevotedtocr- tographyandlattices. Wehavelongbelievedthattheimportanceoflattices andlatticereductionincryptography,bothforcryptographicconstructionand cryptographicanalysis,meritsagatheringdevotedtothistopic. Theenthusiastic responsethatwereceivedfromtheprogramcommittee,theinvitedspeakers,the manypeoplewhosubmittedpapers,andthe90registeredparticipantsamply con rmedthewidespreadinterestinlatticesandtheircryptographicappli- tions. WethankeveryonewhoseinvolvementmadeCaLCsuchasuccessfulevent; inparticularwethankNatalieJohnson,LarryLarrivee,DoreenPappas,andthe BrownUniversityMathematicsDepartmentfortheirassistanceandsupport. March2001 Je reyHo stein,JillPipher,JosephSilverman VI Preface Organization CaLC2001wasorganizedbytheDepartmentofMathematicsatBrownUniv- sity. Theprogramchairsexpresstheirthankstotheprogramcommiteeandthe additionalexternalrefereesfortheirhelpinselectingthepapersforCaLC2001. TheprogramchairswouldalsoliketothankNTRUCryptosystemsforproviding nancialsupportfortheconference. Program Commitee DonCoppersmith IBMResearch Je reyHo stein(co-chair), BrownUniversityandNTRUCryptosystems ArjenLenstra Citibank,USA PhongNguyen ENS AndrewOdlyzko AT&TLabsResearch JosephH. Silverman(co-chair), BrownUniversityandNTRUCryptosystems External Referees AliAkhavi,GlennDurfee,NickHowgrave-Graham,DanieleMicciancio Sponsoring Institutions NTRUCryptosystems,Inc. ,Burlington,MA Table of Contents An Overveiw of the Sieve Algorithm forthe Shortest Lattice Vector Problem 1 Miklos Ajtai, Ravi Kumar, and Dandapani Sivakumar Low Secret Exponent RSA Revisited ::::::::::::::::::::::::::::::::: 4 Johannes Bl omer and Alexander May Finding Small Solutions to Small Degree Polynomials::::::::::::::::::: 20 Don Coppersmith Fast Reduction of Ternary Quadratic Forms::::::::::::::::::::::::::: 32 Friedrich Eisenbrand and Gunt er Rote Factoring Polynomialsand 0-1 Vectors:::::::::::::::::::::::::::::::: 45 Mark van Hoeij Approximate Integer Common Divisors::::::::::::::::::::::::::::::: 51 Nick Howgrave-Graham Segment LLL-Reduction of Lattice Bases ::::::::::::::::::::::::::::: 67 Henrik Koy and Claus Peter Schnorr Segment LLL-Reduction with Floating Point Orthogonalization:::::::::: 81 Henrik Koy and Claus Peter Schnorr TheInsecurity ofNyberg-Rueppel andOther DSA-LikeSignatureSchemes with Partially Known Nonces:::::::::::::::::::::::::::::::::::::::: 97 Edwin El Mahassni, Phong Q. Nguyen, and Igor E. Shparlinski Dimension Reduction Methods for Convolution Modular Lattices :::::::: 110 Alexander May and Joseph H. Silverman Improving Lattice Based Cryptosystems Using the Hermite Normal Form : 126 Daniele Micciancio The Two Faces of Lattices in Cryptology:::::::::::::::::::::::::::::: 146 Phong Q. 232 pp. Englisch.

Taschenbuch. Condition: 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. Condition: 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. Condition: 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the third in an ongoing series of books that deal with the state of the art in timetabling research. It contains a selection of the papers presented at the 3rd International Conference on the Practice and Theory of Automated Timetabling (PATAT 2000) held in Constance, Germany, on August 16{18th, 2000. The conference, once again, brought together researchers, practitioners, and vendors from all over the world working on all aspects of computer-aided timetable generation. The main aim of the PATAT conference series is to serve as an international and inter-disciplinary forum for new timetabling research results and directions. The conference series particularly aims to foster mul- disciplinary timetabling research. Our eld has always attracted scientists from a number of traditional domains including computer science and operational - search and we believe that the cross-fertilisation of ideas from di erent elds and disciplines is a very important factor in the future development of timetabling research. The Constance conference certainly met these aims. As can be seen from the selection of papers in this volume, there was a wide range of interesting approaches and ideas for a variety of timetabling application areas and there were delegates from many di erent disciplines. It is clear that while considerable progress is being made in many areas of timetabling research, there are a number of important issues that researchers still have to face. In a contribution to the previous PATAT conference, George M. 376 pp. Englisch.

Taschenbuch. Condition: 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. Condition: 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThesymposiaonFundamentalsofComputationTheoryareheldeverytwoyears. Following the tradition established at the rst FCT 1977, the conference brings together specialists in theoretical elds of Computer Science from various co- tries and stimulates mathematical research in theoretical computer science. - pics of interest for the satellite workshop onE cientAlgorithms WEA2001 are: computational complexity, graph and network algorithms, ow and routing - gorithms,coloringandpartitioning,cutsandconnectivity,packingandcovering, scheduling algorithms, approximation algorithms, inapproximability results, - line problems, randomized algorithms, integer programming, semide nite p- gramming, algorithmic geometry, polyhedral combinatorics, branch and bound algorithms, cutting plane algorithms, and various applications. The 13th FCT was held in Riga-Lielupe, August 22-24, 2001 with an - ditional day (August 25) for the satellite workshop WEA2001. The previous meetings were held in the following cities: Poznan-K ornik, Poland, 1977 Wendish-Rietz, Germany, 1979 Szeged, Hungary, 1981 Borgholm, Sweden, 1983 Cottbus, Germany, 1985 Kazan, Russia, 1987 Szeged, Hungary, 1989 Gosen-Berlin, Germany, 1991 Szeged, Hungary, 1993 Dresden, Germany, 1995 Krak ow, Poland, 1997 Iasi, Romania, 1999 Thisyearthenumberofsubmittedpaperswashigh.TheProgramCommittee decided to accept 28 submissions as regular papers and 15 submissions as short papers. Additionally, the Program Committee of WEA2001 accepted 8 papers. 564 pp. Englisch.

Taschenbuch. Condition: 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This complete and practical manual on expression measurement using DNA arrays covers the existing methods (from nylon macroarrays to oligonucleotide chips) and includes detailed protocols. It has been written by practising scientists who have experienced the difficulties involved in actually using microarrays, and provides helpful advice and hints on setting up these powerful but sometimes tricky methods. Software, data mining procedures and probable future developments, which should be useful to any practising scientist interested in expression measurement, are also covered in this book. It also provides detailed protocols as well as many helpful hints to achieve experimental success and to avoid pitfalls. 152 pp. Englisch.

Taschenbuch. Condition: 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. Condition: 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. Condition: 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. Condition: 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. Condition: 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.

Taschenbuch. Condition: 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. Condition: 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.

Buch. Condition: 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.