springer berlin heidelberg jul 2005 (75 results)

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch Unternehmensportale - Grundlagen, Architekturen, Technologien ist das erste deutschsprachige Grundlagenwerk über modernes Informations- und Geschäftsprozessmanagement mit Hilfe von Unternehmensportalen. Das umfassende Kompendium ist Grundlagenwerk, Kochbuch und Wegweiser für alle fachlich-inhaltlichen, technischen und betriebswirtschaftlichen Aspekte von Unternehmensportalen. Diese ganzheitliche Sichtweise bietet dem Leser einen umfassenden Überblick und versetzt ihn grundsätzlich in die Lage, die Einführung eines Unternehmensportals für das eigene Unternehmen zu kalkulieren, zu planen und durchzuführen sowie den Betrieb des Unternehmensportals zu organisieren. Checklisten und Best Practices geben dabei konkrete Hilfestellungen. 388 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und Sensorik erfordert solides Domänenwissen und umfassendes Know-how im Software-Engineering. Das vorliegende Buch gibt eine fundierte Darstellung der softwareseitigen Implementierung dieser Komponenten innerhalb eines komplexen Frameworks.Im ersten Teil des Buches werden wichtige Grundlagen zu Eingebetteten Systemen und den für diese Systeme charakteristischen Methoden des Software-Engineerings vermittelt. Insbesondere werden dabei die Themen Speichermanagement und Systemperformance sowie grundlegende Mechanismen von Betriebssystemen betrachtet.Im zweiten Teil wird eine konkrete, objektorientierte Implementierung eines Frameworks dargestellt. Diese Implementierung zeigt die Umsetzung besonders effizienter Sychronisations- und Kommunikationsprozesse innerhalb einer kompakten und hochperformanten Systemarchitektur. 472 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the tutorial papers of the Summer School 'Reasoning Web,'July25-29,2005. TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE 'Reasoning on the Web with Rules and Semantics' , funded by the EU Commission and by the Swiss Federal O ce for Edu- tion and Science within the 6th Framework Programme under the project ref- ence number 506779. The objective of the school was to provide an introduction into methods and issues of the Semantic Web, a major endeavor in current Web research, where the World Wide Web Consortium W3C plays an important role. The main idea of the Semantic Web is to enrich Web data with meta-data carrying a 'meaning' of the data and allowing Web-based systems to reason about data (and meta-data). The meta-data used in Semantic Web applications is usually linked to a conceptualization of the application domain shared by di erent applications. Such a conceptualization is called an ontology and sp- i es classes of objects and relations between them. Ontologies are de ned by ontology languages, based on logic and supporting formal reasoning. Just as the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. - deed, any single form of reasoning turns out to be insu cient in the Semantic Web. 332 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. UCS is a series of international symposia sponsored by the special interest group Ubiquitous Computing Systems of the Information Processing Society of Japan. The rst UCS was held on November 17, 2003 in Kyoto. It was held as an invitation-based symposium. UCS 2004 was the second of the series, and the rst submission-based conference. UCS focuses on the emerging researcharea of ubiquitous computing systems. This emergence is an outcome of the rapid evolution in smart appliances and devices, as well as tremendous advances in wireless networks and mobile c- puting.Inthelastfewyears,variousapplicationsofinformationtechnologyhave been changing our everyday life rapidly and to a large extent. The best ex- ple is the use of mobile phones. By getting new sensing devices, cameras, their application eld is no longer limited to communication but covers data c- munications including Internet access, and data and program up-/downloading, and so on. The symposium o ered the opportunity for in-depth exploration of the most recent research and development ndings in the eld of ubiquitous computing. The submitted papers presented at UCS 2004 suggest such a direction to future technologies, including mobile ad hoc networks, sensor networks and conte- aware technologies. 296 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'The second volume of the authors' 'Computational commutative algebra'.covers on its 586 pages a wealth of interesting material with several unexpected applications. . an encyclopedia on computational commutative algebra, a source for lectures on the subject as well as an inspiration for seminars. The text is recommended for all those who want to learn and enjoy an algebraic tool that becomes more and more relevant to different fields of applications.' --ZENTRALBLATT MATH 600 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The explosion in the number and size of life science data resources, and the rapid growth in the variety and volume of laboratory data has been fueled by world-wide research activity and the emergence of new technologies. The m- eling, management and analysis of this data often requires a comprehensive - tegration of heterogeneous and typically semistructured data, distributed across many possibly data sources. Recent interoperability standards such as XML and WSDL solve some (easy) problems, but data and process integration often - main time-consuming and error-pone manual tasks. The di culty of these tasks is compounded by the high degree of semantic heterogeneity across data sources, varying data quality, and other domain-speci c application requirements. DILS 2005 was the 2nd International Workshop on Data Integration in the Life Sciences, following a successful rst DILS workshop, March 2004 in Leipzig, Germany. For a specialized workshop, the DILS 2005 call for papers created a largeinterest(over50abstractsandeventually42papersubmissions;anincrease ofover20%overDILS2004),outofwhichtheinternationalProgramCommi ttee selected 15 full papers, as well as 5 short papers, and 8 posters/demonstrations, which are all included in this volume. They cover a wide spectrum of theoretical and practical issues including scienti c/clinical work ows, ontologies, tools and systems, and integration techniques. DILS 2005 also featured keynotes by Dr. PeterBuneman,ProfessorattheSchoolofInformatics,UniversityofEdinburgh, and Dr. Shankar Subramaniam, Professor at the Department of Bioengineering andChemistry,UCSanDiego.Theprogramalsoincluded6invitedpresentations and reports on ongoing research activities in academia and industry and a panel organized by the AMIA Geomics Working Group. 360 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Developments in three-dimensional cloud radiation over the past few decades are assessed and distilled into this contributed volume. Chapters are authored by subject-matter experts who addressa broad audience of graduate students, researchers, and anyone interested in cloud-radiation processes in the solar andinfrared spectral regions.After two introductory chapters and a section on the fundamental physics and computational techniques, the volume extensively treats two main application areas: the impact of clouds on the Earth's radiation budget, which is an essential aspect of climate modeling; and remote observation of clouds, especially with the advanced sensors on current and future satellite missions. 700 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 7th International Conference on Theory and Applications of Satis ab- ity Testing (SAT 2004) was held 10 13 May 2004 in Vancouver, BC, Canada. The conference featured 9 technical paper sessions, 2 poster sessions, as well as the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. It also included invited talks by Stephen A. Cook (University of Toronto) and Kenneth McMillan (Cadence Berkeley Labs). The 89 participants represented no less than 17 countries and four continents. SAT 2004 continued the series of meetings which started with the Workshops on Satis ability held in Siena, Italy (1996), Paderborn, Germany (1998) and Renesse, The Netherlands (2000); the Workshop on Theory and Applications of Satis ability Testing held in Boston, USA(2001);theSymposiumonTheoryandApplicationsofSatis abilityTesting held in Cincinnati, USA (2002); and the 6th International Conference on Theory and Applications of Satis ability Testing held in Santa Margherita Ligure, Italy (2003). The International Conference on Theory and Applications of Satis ability Testing is the primary annual meeting for researchers studying the propo- tional satis ability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vsNP) and underlies many applications in, among other examples, arti cial intelligence, operations research and electronic design engineering. The primary objective of the conferences is to bring together researchersfromvariousareasandcommunities,includingtheoreticalandexp- imental computer science as well as many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications. 412 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22 27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri cation(CFV 05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation. Applications of interest include hardwareand softwaredevelopment,systems analysisandveri cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions. 480 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks. Aprogramisnomore a monolithic entity conceived, produced and nalized before being used. A p- gram is now seen as an open and adaptive frame, which, for example, can - namically incorporate services not foreseen by the initial designer. These new needs call for new control structures and program interactions. Unconventionalapproachestoprogramminghavelongbeendevelopedinv- iousnichesandconstituteareservoirofalternativewaystofacetheprogramming languages crisis. New models of programming (e. g. , bio-inspired computing, - ti cialchemistry,amorphouscomputing, . . )arealsocurrentlyexperiencinga renewed period of growth as they face speci c needs and new application - mains. These approaches provide new abstractions and notations or develop new ways of interacting with programs. They are implemented by embedding new sophisticated data structures in a classical programming model (API), by extending an existing language with new constructs (to handle concurrency, - ceptions, open environments, . . . ), by conceiving new software life cycles and program executions (aspect weaving, run-time compilation) or by relying on an entire new paradigm to specify a computation. They are inspired by theoretical considerations (e. g. , topological, algebraic or logical foundations), driven by the domain at hand (domain-speci c languages like PostScript, musical notation, animation, signal processing, etc. ) or by metaphors taken from various areas (quantum computing, computing with molecules, information processing in - ological tissues, problem solving from nature, ethological and social modeling). 384 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the proceedings of the 4th Conference on Advanced - cryption Standard, AES State of the Crypto Analysis, which was held in Bonn, Germany, during 10 12 May 2004. The conference followed a series of events organized by the US National - stitute of Standards and Technology (NIST) in order to hold an international competition to decide on an algorithm to serve as the Advanced Encryption Standard (AES). In 1998, at the rst AES conference (AES 1), 15 di erent al- rithmswerepresented,discussed,reviewedandveri ed.Asecondconferencewas organizedinApril1999,andbyAugust1999only vecandidateswerestillinthe running: MARS, RC6, Rijndael, Serpent and Two sh. After a further conference devoted to veri cation, testing and examination of the candidate algorithms in order to prove their performance and security, one winning algorithm remained. The encryption scheme Rijndael, designed by the Belgian cryptographers Joan Daemen and Vincent Rijmen, was selected in 2000 to become the successor to the famous DES (Data Encryption Standard) and it is now the Advanced - cryption Standard. 206 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data management systems play the most crucial role in building large application s- tems. Since modern applications are no longer single monolithic software blocks but highly flexible and configurable collections of cooperative services, the data mana- ment layer also has to adapt to these new requirements. Therefore, within recent years, data management systems have faced a tremendous shift from the central management of individual records in a transactional way to a platform for data integration, fede- tion, search services, and data analysis. This book addresses these new issues in the area of data management from multiple perspectives, in the form of individual contributions, and it outlines future challenges in the context of data management. These contributions are dedicated to Prof. em. Dr. Dr. -Ing. E. h. Hartmut Wedekind on the occasion of his 70th birthday, and were (co-)authored by some of his academic descendants. Prof. Wedekind is one of the most prominent figures of the database management community in Germany, and he enjoys an excellent international reputation as well. Over the last 35 years he greatly contributed to making relational database technology a success. As far back as the early 1970s, he covered-as the first author in Germany- the state of the art concerning the relational model and related issues in two widely used textbooks 'Datenbanksysteme I' and 'Datenbanksysteme II'. Without him, the idea of modeling complex-structured real-world scenarios in a relational way would be far less developed by now. Among Prof. 396 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on two international workshops on trust in agent societies, held at AAMAS 2003 and AAMAS 2004, this book draws together carefully revised papers on trust, reputation, and security in agent society. Besides workshop papers, several contributions from leading researchers in this interdisciplinary field were solicited to complete coverage of all relevant topics.The 13 papers presented take into account issues from multiagent systems, artificial intelligence, cognitive science, game theory, and social and organizational science. Theoretical topics are addressed as well as applications in human-computer interaction and e-commerce. 248 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 13th International Conference on Conceptual Structures (ICCS 2005) was held in Kassel, Germany, during July 17 22, 2005. Information about the c- ference can be found atThe title of this year s conference, Common Semantics for Sharing Kno- edge ,waschosentoemphasizeontheonehandtheoverallaimofanyknowledge representationformalism, to support the sharing of knowledge, and on the other hand the importance of a common semantics to avoiddistortion of the meaning. We understand that both aspects are of equal importance for a successful future of the researcharea of conceptual structures. We are thus happy that the papers presentedatICCS2005addressedbothapplicationsandtheoreticalfoundations. Sharing knowledge can also be understood in a separate sense. Thanks to the German Research Foundation, DFG, we were able to invite nine inter- tionally renowned researchers from adjacent research areas. We had stimulating presentationsandlively discussions,with bidirectionalknowledgesharing.Ev- tually the ground can be laid for establishing common semantics between the respective theories. This year, 66 papers were submitted, from which 22 were selected to be included in this volume. In addition, the rst nine papers present the invited talks.Wewishtoexpressourappreciationtoalltheauthorsofsubmittedpapers, to the members of the Editorial Board and the Program Committee, and to the external reviewers for making ICCS 2005 a valuable contribution to the knowledge processing research eld. 484 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 18-19 October 2004 in Berlin, Germany. The workshop was organized by Fra- hofer FOKUS with the help of partners of the EU-funded Autonomic Com- nication Coordination Action - IST-6475 (ACCA), and under technical sp- sorship of IFIP WG6. 6 - Management of Networks and Distributed Systems. The purpose of this workshop was to discuss Autonomic Communication-a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element's autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in uenced or changed, and how, in turn, these a ect other elements, groups and the network. The highly interactive and exploratory nature of WAC 2004 de ned its format - six main sessions grouped in three blocks, each block followed by a panel with all speakers of the previous block as panellists and session chairs as panel moderators. The rstpanelaimedtohighlightthemainprinciplesguidingresearchinal- rithms,protocolsandmiddleware;thesecondpanelinvestigatedgrandc hallenges of network and service composition; the third panel had to answer the question 'HowDoestheAutonomicNetworkInteractwiththeKnowledgePlane '. Panel reports were compiled by panel moderators and conclude this volume. 296 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents research performed as part of the EU project on biomimetic multimodal learning in a mirror neuron-based robot (MirrorBot) and contri- tions presented at the International AI-Workshop on NeuroBotics. The ov- all aim of the book is to present a broad spectrum of current research into biomimetic neural learning for intelligent autonomous robots. There is a need for a new type of robot which is inspired by nature and so performs in a more exible learned manner than current robots. This new type of robot is driven by recent new theories and experiments in neuroscience indicating that a biological and neuroscience-oriented approach could lead to new life-like robotic systems. The book focuses on some of the research progress made in the MirrorBot project which uses concepts from mirror neurons as a basis for the integration of vision, language and action. In this book we show the development of new techniques using cell assemblies, associative neural networks, and Hebbian-type learning in order to associate vision, language and motor concepts. We have developed biomimetic multimodal learning and language instruction in a robot to investigate the task ofsearching for objects. As well as the researchperformed in this area for the MirrorBot project, the second part of this book incorporates signi cant contributions from other research in the eld of biomimetic robotics. This second part of the book concentrates on the progress made in neuroscience inspired robotic learning approaches (in short: NeuroBotics). 400 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, January 5-9, 2005. This series of workshops was initiated in 1990 to encourage further research on the theoretical aspects of genetic algorithms, and the workshops have been held biennially ever since. The papers presented at these workshops are revised, edited and published as volumes during the year following each workshop. This series of (now eight) volumes provides an outstanding source of reference for the theoretical work in this eld. At the same time this series of volumes provides a clear picture of how the theoretical research has grown and matured along with the eld to encompass many evolutionary computation paradigms including evolution strategies (ES), evolutionary programming (EP), and genetic programming (GP), as well as the continuing growthininteractionswith other elds suchas mathematics,physics, and biology. Atraditionoftheseworkshopsisorganizetheminsuchawayastoencourage lots of interaction and discussion by restricting the number of papers presented and the number of attendees, and by holding the workshop in a relaxed and informal setting. This year's workshop was no exception. Thirty-two researchers met for 3 days to present and discuss 16 papers. The local organizer was Lothar Schmitt who, together with help and support from his university, provided the workshop facilities. Aftertheworkshopwasover,theauthorsweregiventheopportunitytorevise their papers based on the feedback they received from the other participants. 332 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 19th Annual IFIP Working Group 11.3 Working Conference on Data and Applications Security was held August 7 10, 2005 at the University of C- necticut in Storrs, Connecticut. The objectives of the working conference were to discuss in depth the current state of the researchand practice in data and - plicationsecurity,enableparticipantstobene tfrompersonalcontactwithother researchers and expand their knowledge, support the activities of the Working Group, and disseminate the research results. This volume contains the 24 papers that were presented at the working c- ference. These papers, which had been selected from 54 submissions, were rig- ously reviewed by the Working Group members. The volume is o ered both to document progressand to provideresearcherswith a broadperspective of recent developments in data and application security. A special note of thanks goes to the many volunteers whose e orts made the working conference a success. We wish to thank Divesh Srivastava for agreeing to deliver the invited talk, Carl Landwehr and David Spooner for organizing the panel, the authors for their worthy contributions, and the referees for their time and e ort in reviewing the papers. We are grateful to T. C. Ting for serving as the General Chair, Steven Demurjian and Charles E. Phillips, Jr. for their hard work as Local Arrangements Chairs, and Pierangela Samarati, Working Group Chair, for managing the IFIP approval process. We would also like to acknowledge Sabrina De Capitani di Vimercati for managing the conference s Web site. 368 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers presented at the 2nd International Conference on Modeling Decisions for Arti cial Intelligence (MDAI 2005), held in Tsukuba, Japan, July 25-27. This conference follows MDAI 2004 (held in Barcelona, Catalonia, Spain), the proceedings of which were also published in the LNAI series (Vol. 3131). The aim of this conference was to provide a forum for researchers to discuss about theory and tools for modeling decisions, as well as applications that - compass decision-making processes and information fusion techniques. In this second edition, special focus was given to applications related to risk, security and safety. The organizers received 118 papers, from 14 di erent countries, 40 of which are published in this volume. Each submission received at least two reviews from the Program Committee and a few external reviewers. We would like to express our gratitude to them for their work. The plenary talks presented at the conference are also included in this volume. The conference was supported by the Department of Risk Engineering of the University of Tsukuba, the Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT), the Catalan Association for Arti cial Intelligence (ACIA), the European Society for Fuzzy Logic and Technology (EUSFLAT) and the Generalitat de Catalunya (AGAUR 2004XT 0004). 488 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15 17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organizationsof OPODIS were held in Luzarches(1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002) and La Martinique (2003). OPODIS is an open forum for exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Followingthetraditionofthepreviousorganizations,the2004programwasc- posed of high-quality contributed and invited papers by experts of international caliberinthisscienti carea. Thetopics ofinterestwerethetheory,speci cation, design and implementation of distributed systems, which include: - peer-to-peer systems, cluster and grid-based computing - fault tolerance and self-stabilizing systems -real-timeandembeddedsystems - coordination and consistency protocols - distributed and multiprocessor algorithms - communication and synchronization protocols - self-stabilization, reliability and fault tolerance - performance analysis of distributed algorithms and systems - speci cation and veri cation of distributed systems - security issues in distributed computing and systems - distributed collaborative environments - location- and context-aware systems - overlay network architectures In response to the call for papers for OPODIS 2004, in total 102 papers in the above areas were submitted from 28 countries from over the world. Each paper was reviewed by three reviewers, and judged according to scienti c and presentationquality,originality andrelevance to the conference topics. Then the ProgramCommitteeselected30papers. Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr. 480 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The rst workshop 'Engineering Societies in the Agents World' (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti cial Intelligence (ECAI 2000) in Berlin. It was launched by a group of - searchers who thought that the design and development of MASs (multi-agent systems) not only needed adequate theoretical foundations but also a call for new techniques, methodologies and infrastructures to develop MASs as arti cial societies. The second ESAW was co-located with the European Agent Summer School (ACAI 2001) in Prague, and mostly focused on logics and languages, middleware, infrastructures and applications. In Madrid, the third ESAW c- centrated on models and methodologies and took place with the 'Cooperative Information Agents' workshop (CIA 2002). The fourth ESAW in London was the rst one that ran as a stand-alone event: apart from the usual works on methodologies and models, it also stressed the issues of applications and m- tidisciplinary models. Based on the success of previous ESAWs, and also given that the di cult challenges in the construction of arti cial societies are not yet fully addressed, the fth ESAW workshop was organized in the same spirit as its predecessors. Inparticular,ESAW2004tookplaceattheIRITlaboratoryoftheUniversit e 'Paul Sabatier' (Toulouse, France), at the end of October 2004. It was not - located with any other scienti c event, in the same way as ESAW 2003. ESAW 2004 remained committed to the use of the notion of MASs as the seeds for animated, constructive and highly interdisciplinary discussions about techno- gies,methodologiesandtoolsfortheengineeringofcomplexdistributedsystems. 368 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the nal proceedings of the 2004 Metainformatics Sym- sium (MIS 2004). The event was held during 15 18 September 2004 in Salzburg, Austria at Salzburg Research. MIS is an annual event focusing on nding common ground shared by - searchers and practitioners in many di erent computer science areas who may use similar methods to achieve di erent ends. The goal is to nd useful abstr- tions, notations, analytical frameworks, formalisms, and systems that improve ourunderstandingoftheunderlyingstructuresofvariousdisciplinesandfamilies of systems within computer science. Ideally these constructs should have usef- ness in conveying knowledge and understanding across disciplinary boundaries. The proceedings of previous MIS events were also published by Springer in the Lecture Notes in Computer Science series: LNCS 3002 (2003), LNCS 2641 (2002), LNCS 2266 (2001), and LNCS 1903 (2000). As with previous events in the MIS series, MIS 2004 attracted quality papers and brought together researchers from many di erent elds within computer s- ence.WeexperiencedinterestingpresentationsandlivelydiscussionsinSalzburg . I hope that you will nd the papers contained in this volume as interesting as the other members of the Program Committee and I have. This volume would not have been possible without the help and assistance of many people. In particular, I would like to acknowledge the assistance of the Springereditors,AnnaKramerandChristineGun ther,andtheExecutiveEditor of the LNCS series, Alfred Hofmann. 236 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains invited and contributed papers presented at the 9th International Summer School Neural Nets E.R. Caianiello on Nonlinear Speech Processing: Al- rithms and Analysis, held in Vietri sul Mare, Salerno, Italy, during September 13 18, 2004. The aim of this book is to provide primarily high-level tutorial coverage of the elds related to nonlinear methods for speech processing and analysis, including new approaches aimed at improving speech applications. Fourteen surveys are offered by specialists in the eld. Consequently, the volume may be used as a reference book on nonlinear methods for speech processing and an- ysis. Also included are fteen papers that present original contributions in the eld and complete the tutorials. The volume is divided into ve sections: Dealing with Nonlinearities in Speech S- nal, Acoustic-to-Articulatory Modeling of Speech Phenomena, Data Driven and Speech Processing Algorithms, Algorithms and Models Based on Speech Perception Mec- nisms, and Task-Oriented Speech Applications. Dealing with Nonlinearities in Speech Signals is an introductory section where n- linear aspects of the speech signal are introduced from three different points of view. The section includes three papers. The rst paper, authored by Anna Esposito and Maria Marinaro, is an attempt to introduce the concept of nonlinearity revising several nonl- ear phenomena observed in the acoustics, the production and the perception of speech. Also discussed is the engineering endeavor to model these phenomena. 452 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is our great pleasure to introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases - SSTD 2005. This year's symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatialandtemporaldatabasesystems, including data models,systems,appli- tions and theory. The mission of the symposium is to share innovative solutions that ful ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. SSTD 2005 gives researchers and practitioners a unique opportunity to share their perspectives with others interested in the various aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams. We are very pleased with the variety of the symposium's topics, and we are proud of the resulting strong program. 452 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was est- lishedin1986withtwomaingoals:1)tofosterfundamentalandappliedresearch in the application of Arti cial Intelligence (AI) techniques to medical care and medical research,and 2) to providea forum at biennial conferences for reporting signi cant results achieved. Additionally, AIME assists medical industrialists to identify newAItechniqueswithhighpotentialforintegrationintonewproducts. Amajoractivityofthissocietyhasbeenaseriesofinternationalconferencesheld biennially over the last 18 years: Marseilles, France (1987), London, UK (1989), Maastricht, Netherlands (1991), Munich, Germany (1993), Pavia, Italy (1995), Grenoble, France (1997), Aalborg, Denmark (1999), Cascais, Portugal (2001), Protaras, Cyprus (2003). The AIME conference provides a unique opportunity to present and improve the international state of the art of AI in medicine from both a research and an applications perspective. For this purpose, the AIME conference includes invited lectures, contributed papers, system demonstrations, a doctoral cons- tium, tutorials, and workshops. The present volume contains the proceedings of AIME 2005, the 10th conference on Arti cial Intelligence in Medicine, held in Aberdeen, Scotland, July 23-27, 2005. In the AIME 2005 conference announcement, we encouraged authors to s- mit original contributions to the development of theory, techniques, and - plications of AI in medicine, including the evaluation of health care programs. Theoretical papers were to include presentation or analysis of the properties of novelAImethodologiespotentiallyusefultosolvingmedicalproblems.Technical papers were to describe the novelty of the proposed approach, its assumptions, bene ts, and limitations compared with other alternative techniques. Appli- tion papers were to present su cient information to allow the evaluation of the practical bene ts of the proposed system or methodology. 572 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the rapid development of Web-based learning, a new set of learning - vironments including virtual classrooms, virtual laboratories and virtual u- versities are being developed. These new learning environments, however, also introduce new problems that need to be addressed. On the technical side, there is a need for the deployment of e ective technologies on Web-based education. On the learning side, the cyber mode of learning is very di erent from tra- tional classroom-based learning. On the management side, the establishment of a cyber university imposes very di erent requirements for the set up. ICWL 2005, the 4th International Conference on Web-Based Learning, was held in Hong Kong, China from July 31 to August 3, 2005, as a continued - tempttoaddressmanyoftheabove-mentionedissues.Followingthegreatsuccess of ICWL 2002 (Hong Kong, China), ICWL 2003 (Australia), and ICWL 2004 (China), ICWL 2005 aimed at presenting progresson the technical, pedagogical, as well as management issues of Web-based learning. The conference featured a comprehensive program, including a number of tutorials, two keynote talks, a main track containing regular as well as short paper presentations, and an application track. We received a total of 99 submissions from all over the world. The Program Committee selected 33 papers as regular papers for presentation in the main track, an acceptance rate of about 33%. Due to the high-quality submissions, the Committee decided to further accept 9 papers as short papers for presentation. 440 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The SAMOS workshop is an international gathering of highly quali ed researchers from academia and industry, sharing in a 3-day lively discussion on the quiet and - spiring northern mountainside of the Mediterranean island of Samos. As a tradition, the workshop features workshop presentations in the morning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the sci- ti c arena. Consequently, the workshop provides the participants with an environment where collaboration rather than competition is fostered. The earlier workshops, SAMOS I-IV (2001-2004), were composed only of invited presentations. Due to increasing expressions of interest in the workshop, the Program Committee of SAMOS V decided to open the workshop for all submissions. As a result the SAMOS workshop gained an immediate popularity; a total of 114 submitted papers were received for evaluation. The papers came from 24 countries and regions: Austria (1), Belgium (2), Brazil (5), Canada (4), China (12), Cyprus (2), Czech Republic (1), Finland (15), France (6), Germany (8), Greece (5), Hong Kong (2), India (2), Iran (1), Korea (24), The Netherlands (7), Pakistan (1), Poland (2), Spain (2), Sweden (2), T- wan (1), Turkey (2), UK (2), and USA (5). We are grateful to all of the authors who submitted papers to the workshop. 496 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group's activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other's results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering. 416 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 9th International Conference on Financial Cryptography and Data Security (FC 2005) was held in the Commonwealth of Dominica from February 28 to March 3, 2005. This conference, organized by the International Financial Cryptography Association (IFCA), continues to be the premier international forum for research, exploration, and debate regarding security in the context of finance and commerce. The conference title and scope was expanded this year to cover all aspects of securing transactions and systems. The goal is to build an interdisciplinary meeting, bringing together cryptographers, data-security specialists, business and economy researchers, as well as economists, IT professionals, implementers, and policy makers. We think that this goal was met this year. The conference received 90 submissions and 24 papers were accepted, 22 in the Research track and 2 in the Systems and Applications track. In addition, the conference featured two distinguished invited speakers, Bezalel Gavish and Lynne Coventry, and two interesting panel sessions, one on phishing and the other on economics and information security. Also, for the first time, some of the papers that were judged to be very strong but did not make the final program were selected for special invitation to our Works in Progress (Rump) Session that took place on Wednesday evening. Three papers were highlighted in this forum this year, and short versions of the papers are included here. As always, other conference attendees were also invited to make presentations during the rump session, and the evening lived up to its colorful reputation. 396 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti c and commercial information. The need to analyze these masses of data has led to the evolution of the new eld knowledge discovery in databases (KDD) at the intersection of machine learning, statistics and database technology. Being interdisciplinary by nature, the eld o ers the opportunity to combine the expertise of di erent elds intoacommonobjective.Moreover,withineach elddiversemethodshave been developed and justi ed with respect to di erent quality criteria. We have toinvestigatehowthesemethods cancontributeto solvingthe problemofKDD. Traditionally, KDD was seeking to nd global models for the data that - plain most of the instances of the database and describe the general structure of the data. Examples are statistical time series models, cluster models, logic programs with high coverageor classi cation models like decision trees or linear decision functions. In practice, though, the use of these models often is very l- ited, because global models tend to nd only the obvious patterns in the data, 1 which domain experts already are aware of . What is really of interest to the users are the local patterns that deviate from the already-known background knowledge. David Hand, who organized a workshop in 2002, proposed the new eld of local patterns. 248 pp. Englisch.