springer aug 2005 (167 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Taking a direct route, 'Essential Topology' brings the most important aspects of modern topology within reach of a second-year undergraduate student. It begins with a discussion of continuity and, by way of many examples, leads to the celebrated 'Hairy Ball theorem' and on to homotopy and homology: the cornerstones of contemporary algebraic topology.While containing all the key results of basic topology, Essential Topology never allows itself to get mired in details. Instead, the focus throughout is on providing interesting examples that clarify the ideas and motivate the student.With chapters on: continuity and topological spaces; deconstructionist topology; the Euler number; homotopy groups including the fundamental group; simplicial and singular homology, and fibre bundles.'Essential Topology' contains enough material for two semester-long courses, and offers a one-stop-shop for undergraduate-level topology, leaving students motivated for postgraduate study in the field, and well-prepared for it.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Buch. Zustand: Neu. Neuware -Many people think there is only one ¿right¿ way to teach geometry. For two millennia, the ¿right¿ way was Euclid¿s way, and it is still good in many respects. But in the 1950s the cry ¿Down with triangles!¿ was heard in France and new geometry books appeared, packed with linear algebra but with no diagrams. Was this the new ¿right¿ way, or was the ¿right¿ way something else again, perhaps transformation groups In this book, I wish to show that geometry can be developed in four fundamentally different ways, and that all should be used if the subject is to be shown in all its splendor. Euclid-style construction and axiomatics seem the best way to start, but linear algebra smooths the later stages by replacing some tortuous arguments by simple calculations. And how can one avoid projective geometry It not only explains why objects look the way they do; it also explains why geometry is entangled with algebra. Finally, one needs to know that there is not one geometry, but many, and transformation groups are the best way to distinguish between them. Two chapters are devoted to each approach: The rst is concrete and introductory, whereas the second is more abstract. Thus, the rst chapter on Euclid is about straightedge and compass constructions; the second is about axioms and theorems. The rst chapter on linear algebra is about coordinates; the second is about vector spaces and the inner product.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Zustand: Neu. Neuware -Science has development from a self-evident public good to being highly valued in other contexts for different reasons: strengthening the economic competitiveness and, especially in high-tech fields, as a financial investment for future gains. This has been accompanied by a shift from public to private funding with intellectual property rights gaining importance. But in contemporary democracies citizens have also begun to voice their concerns about science and technology related risks, demanding greater participation in decision-making and in the setting of research priorities. The book examines the legal issues and responses vis-à-vis these transformations of the nature of public science. It discusses their normative content as well as the inherent limitations of the law in meeting these challenges.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -We welcome you to the 6th International Conference on E-Commerce and Web Technology (EC-Web 2005) held in Copenhagen, Denmark. It was held in conjunction with DEXA 2005. This conference was organized for the first time in Greenwich, UK, in 2000, and it has been able to attract an increasing number of participants and interest, reflecting the progress made in the field. As in the five previous years, EC-Web 2005 served as a forum that brought together researchers from academia and practitioners from industry to discuss the current state of the art in e-commerce and Web technologies. We are sure that inspirations and new ideas emerged from the intensive discussions that took place during the formal sessions and social events. Keynote addresses, research presentations and discussions during the conference helped to further develop the exchange of ideas among current researchers, developers and practitioners. The conference attracted 139 paper submissions and each paper was reviewed by three Program Committee members. The Program Committee selected 39 papers for presentation and publication (an acceptance rate of 28%). And we have to confess that this task was not that easy due to the high quality of the submitted papers. 400 pp. Englisch.

Buch. Zustand: Neu. Neuware -Many people see government involvement in family policy as a response to popular concerns that the American family is in a state of crisis. One of the primary concerns with ¿fragile¿ families (one parent ¿ usually mother) is economic: Poverty rates for single mothers are several times that of two-parent families. Economic deprivation while growing up has been linked to poor physical health, reduced intellectual ability and academic achievement.Some social sciences contend that marriage is the solution to many of the problems associated with single-parent families. Other experts believe that government programs designed to raise marriage rates may cause more problems than they solve (i.e. domestic violence, divorce, etc.).The proposed volume will explore issues related to fragile families from many different perspectives on the causes and consequences of this issue. This book is divided up into sections covering legal and theoretical perspectives, causes and consequences of offspring wellbeing, and the aspect of father¿s importance to the ¿fragile families¿. 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 7th International Conference on Ubiquitous Computing (UbiComp 2005) marked the rst time that this premier venue for original research contributions in ubiquitous computing was held in Asia. The Tokyo, Japan venue re ects the desireoftheUbiCompcommunitytomakethisconferenceseriesaninterna tional event that showcases the increasing amount of high-quality ubiquitous comp- ing researchthat is taking placeworldwide.As the eld ofubiquitous computing has matured, the UbiComp Conference has gained signi cance worldwide, not only among researchers, but also with industry and general society. This interest in the potential of ubiquitous computing to impact our lives has resulted in the creation of many new research programs in academia and industry. These e orts have, in turn, led to mass media coverage of e orts and, in some regions of the world, large-scale government-initiated collaborative - forts to explore the potential of these emerging technologies. These trends are re ected in the rise in the number of submissions to UbiComp 2005. This year the conference received 230 full papers, submitted almost equally from Asia ( 100 submissions), North America and South America ( 60 submissions) and Europe( 60submissions),withtheremainderbeingreceivedfromAustraliaand Africa. Fromamong many high-qualitysubmissions, the technical programc- mittee accepted 22 papers. These paperswere chosenbased solely on the quality of their peer reviews using a double-blind review process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, September 5¿8, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics. The interest in business process management (and in the BPM conference) was demonstrated by the quantity and quality of the paper submissions. We received over 176 contributions from 31 countries, accepting 25 of them as full papers (20 research papers and 5 industrial papers) while 17 contributions were accepted as short papers. In addition to the regular, industry, and short pres- tations invited lectures weregiven by Frank Leymannand Gustavo Alonso.This combination of research papers, industrial papers, keynotes, and workshops, all of very high quality, has shown that BPM has become a mature conference and the main venue for researchers and practitioners in this area. We would like to thank the members of the Program Committee and the reviewers for their e orts in selecting the papers. They helped us compile an excellent scienti c program. For the di cult task of selecting the 25 best papers (14% acceptance rate) and 17 short papers each paper was reviewed by at least three reviewers (except some out-of-scope papers). 492 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed by John von Neumann in the middle of the twentieth century and the current possibility of designing electronic and mechanical systems using evolutionary principles are all examples of the efforts made by humans to explore the mechanisms present in biological systems that permit them to tackle complex tasks. These initiatives have recently given rise to the emergent field of b- inspired systems and evolvable hardware. The inaugural workshop, Towards Evolvable Hardware, took place in Lausanne in October 1995, followed by the successive events of the International Conference on Evolvable Systems: From Biology to Hardware, held in Tsukuba (Japan) in October 1996, in Lausanne (Switzerland) in September 1998, in Edinburgh (UK) in April 2000, in Tokyo (Japan) in October 2001, and in Trondheim (Norway) in March 2003. Following the success of these past events the sixth international conference was aimed at presenting the latest developments in the field, bringing together researchers who use biologically inspired concepts to implement real systems in artificial intelligence, artificial life, robotics, VLSI design, and related domains. The sixth conference consolidated this biennial event as a reference meeting for the community involved in bio-inspired systems research. All the papers received were reviewed by at least three independent reviewers, thus guaranteeing a high-quality bundle for ICES 2005.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments held in Brighton at the 13th European Conference on Artificial Intelligence (ECAI'98). This workshop was followed by a second one held in Salford in Manchester in 1999. Subsequent events took place in Madrid, Spain in 2001 and Irsee, Germany in 2003 and attracted participants from both sides of the Atlantic as well as Asia. th This volume contains the proceedings of the 5 International Working Conference on Intelligent Virtual Agents, IVA 2005, held on Kos Island, Greece, September 12¿14, 2005, which highlighted once again the importance and vigor of the research field. A half-day workshop under the title ¿Socially Competent IVA¿s: We are not alone in this (virtual) world!¿ also took place as part of this event. IVA 2005 received 69 submissions from Europe, North and South America, Africa and Asia. The papers published here are the 26 full papers and 14 short papers presented at the conference, as well as one-page descriptions of the 15 posters and the descriptions of the featured invited talks by Prof. Justine Cassell, of Northwestern University and Prof. Kerstin Dautenhahn, of the University of Hertfordshire. We would like to thank a number of people that have contributed to the success of this conference. First of all, we thank the authors for their high-quality work and their willingness to share their ideas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These are the proceedings of Crypto 2005, the 25th Annual International Cr- tology Conference. The conference was sponsored by the International Assoc- tion for Cryptologic Research (IACR) in cooperation with the IEEE Computer ScienceTechnicalCommitteeonSecurityandPrivacyandtheComputerScien ce DepartmentoftheUniversityofCaliforniaatSantaBarbara.Theconferencewas held in Santa Barbara, California, August 14¿18, 2005. Theconferencereceived178submissions,outofwhichtheprogramcommittee selected33forpresentation.Theselectionprocesswascarriedoutbytheprogram committee via an ¿online¿ meeting. The authors of selected papers had a few weeks to prepare nal versions of their papers, aided by comments from the reviewers. However, most of these revisions were not subject to any editorial review. This year, a ¿Best Paper Award¿ was given to Xiaoyun Wang, Yiqun Lisa Yin, and Hongbo Yu, for their paper ¿Finding Collisions in the Full SHA-1.¿ The conference program included two invited lectures. Ralph Merkle del- ered an IACR Distinguished Lecture, entitled ¿The Development of Public Key Cryptography:a PersonalView; and Thoughts on Nanotechnology.¿Dan Boneh gave an invited talk, entitled ¿Bilinear Maps in Cryptography.¿ We continued the tradition of a ¿rump session,¿ featuring short, informal presentations (usually serious, sometimes entertaining, and occasionally both). ¿ The rump session was chaired this year by Phong Q. Nguy¿ en.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -We are delighted to welcome the attendees of the Fourth International Wo- shop on Digital Watermarking (IWDW). Watermarking continues to generate strong academic interest. Commercialization of the technology is proceeding at a steadypace. We haveseen watermarkingadoptedfor DVD audio.Fingerpri- ing technology was successfully used to determine the source of pirated video material. Furthermore, a number of companies are using watermarking as an enabling technology for broadcast monitoring services. Watermarking of digital cinema contentis anticipated. Future applications may also come from areas- related to digital rights management. For example, the use of watermarking to enhance legacy broadcast and communication systems is now being considered. IWDW 2005 o ers an opportunity to re ect upon the state of the art in digital watermarking as well as discuss directions for future research and applications. This year we accepted 31 papers from 74 submissions. This 42% acceptance rate indicates our commitment to ensuring a very high quality conference. We thankthemembersoftheTechnicalProgramCommitteeformakingthispossible by their timely and insightful reviews. Thanks to their hard work this is the rst IWDW at which the nal proceedings are available to the participants at the time of the workshop as a Springer LNCS publication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5¿9, 2005. This was the Eighth - ternational conference in the PaCT series. The conferences are held in R- sia every odd year. The rst conference, PaCT ¿91, was held in Novosibirsk (Academgorodok), September 7 ¿ 11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 ¿ September 4, 1993, in St. Pete- burg, September 12¿15, 1995, in Yaroslavl, September, 9¿12 1997, in Pushkin (near St. Petersburg) September, 6¿10 1999, in Academgorodok (Novosibirsk), September 3¿7, 2001, and in Nizhni Novgorod, September 15¿19, 2003. The PaCT proceedings are published by Springer in the LNCS series. PaCT 2005 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(RAS), theInstituteofComputationalModelingalsooftheRASandtheStateTechnical University of Krasnoyarsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardwareand the solution of large-scaleproblems in order to provide integrated discussions on Parallel Computing Technologies. The conference attracted about 100 participants from around the world. - thorsfrom20countriessubmitted78papers.Ofthosesubmitted, 38paperswere selected for the conference as regular ones; there was also 1 invited paper. In addition there were a number of posters presented. All the papers were inter- tionally reviewed by at least three referees. The demo session was organized for the participants. PaCT 2007 is planned to be held in Irlutsk, near lake Baikal, in September as usual.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 482 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -For more than a decade, data warehousing and knowledge discovery technologies have been developing into key technologies for decision-making processes in com- nies. Since 1999, due to the relevant role of these technologies in academia and ind- try, the Data Warehousing and Knowledge Discovery (DaWaK) conference series have become an international forum where both practitioners and researchers share their findings, publish their relevant results and dispute in depth research issues and experiences on data warehousing and knowledge discovery systems and applications. The 7th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2005) continued series of successful conferences dedicated to these topics. In this edition, the conference tried to provide the right, logical balance between data warehousing and knowledge discovery. Regarding data warehousing, papers cover different relevant and still unsolved research problems, such as the modelling of ETL processes and integration problems, designing OLAP technologies from XML do- ments, modelling data warehouses and data mining applications together, impro- ments in query processing, partitioning and implementations. With regard to data mining, a variety of papers were presented on subjects including data mining te- niques, clustering, classification, text documents and classification, and patterns. These proceedings contain the technical papers that were selected for presentation at the conference. We received 196 abstracts, and finally received 162 papers from 38 countries, and the Program Committee eventually selected 51 papers, making an acceptance rate of 31.4 % of submitted papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -1 ¿Change is inevitable.¿ Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd Inter- tional Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Arti cial Intelligence. - location can be tricky, but we greatly bene ted from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of ¿statistical relational lea- ing¿. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking¿ ttingly so for the 15th event in a series¿but also tried to provide a recipe for future endeavours.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -theirgreate ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995),Dagstuhl,Germany(1997),ElPaso,TX,USA(1999),Vienna,A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinte r- tions between active researchers interested in all aspects concerning declarative logic programming,nonmonotonic reasoning,knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practical systems for declarative programming and knowledge representation. The technical program of LPNMR 2005 comprised three invited talks that were given by Jur ¿ gen Angele, Thomas Eiter and Michael Kifer. All papers p- sented at the conference and published in these proceedings went through a rigorous review process which selected 25 research papers and 16 papers for the system and application tracks. Many individuals worked for the success of the conference. Special thanks are due to all members of the Program Committee and to additional reviewers for their e orts to produce fair and thorough evaluations of submitted papers. A special thanks is due to the University of Calabria Organizing Committee which made this event possible. Last, but not least, we thank the sponsoring institutions for their generosity. June 2005 Chitta Baral and Nicola Leone Program Co-chairs LPNMR¿05 Organization LPNMR 2005 was organized by the Department of Mathematics at the Univ- sity of Calabria, Italy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Combinatorial optimization and in particular the great variety of fascinating problemsthatbelong to thisareahaveattractedmanyresearchersformorethan halfacentury.Duetothepracticalrelevanceofsolvinghardreal-worldproblems, much research e ort has been devoted to the development of heuristic methods aimed at nding good approximate solutions in a reasonable computation time. Some solution paradigms that are not speci c for one particular problem have been deeply studied in the past, and the term metaheuristic is now common for such optimization heuristics. Several metaheuristics ¿ simulated annealing, - netic and evolutionary algorithms, tabu search, ant colony optimization, scatter search, iterated local search, and greedy randomized adaptive search procedures beingsomeofthem¿havefoundtheirownresearchcommunities,andspeciali zed conferences devoted to such techniques have been organized. Plenty of classical hard problems, such as the quadratic assignment pr- lem, the traveling salesman problem, problems in vehicle routing, scheduling, and timetabling, etc., have been tackled successfully with metaheuristic - proaches. Several thereof are currently considered state-of-the-art methods for solving such problems. However, for many years the main focus of research was on the application of single metaheuristics to given problems. A tendency to compare di erent metaheuristics against each other could be observed, and sometimes this competition led to thinking in stereotypes in the research communities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -volume contains 20 contributed papers selected by the APPROX P- gram Committee out of 50 submissions, and 21 contributed papers selected by the RANDOM Program Committee out of 51 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The challenge faced in today¿s manufacturing and business environments is the question of how to satisfy increasingly stringent customer requirements while managing growing system complexity. For example, customers expect high-quality, customizable, low-cost products that can be delivered quickly. The systems that deliver these expectations are by nature distributed, concurrent, and stochastic, and, as a result, increasingly difficult to manage. Unfortunately, the traditional hierarchical, strictly centralized approach to control used in these domains is characteristically inflexible, fragile, and difficult to maintain. These shortcomings have led to the development of a new class of manufacturing and supply-chain decision-making approaches in recent years. Solutions based on these approaches usually explore a set of highly distributed decision-making units that are capable of autonomous operations while cooperating interactively to resolve larger problems. The units, referred to as agents in classical computer science and software engineering, or holons if physically integrated with the manufacturing hardware, interact by exchanging information. These units are motivated by arriving at local solutions as well as collaborating and sharing resources and goals in solving the overall problem in question collectively. 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies (MATES 2005) took place in Koblenz, Germany, in September 2005, and was co-located with the 28th German Conference on Arti cial Intelligence (KI 2005). Building onotheragent-relatedeventsinGermanyinthepast,andorganized by the GI German Special Interest Group on Distributed Arti cial Intelligence, the MATES conference series aims at promoting the theory and applications of agentsandmultiagentsystems.Incorporatingthe9thInternationalWorkshopon Cooperative Information Agents (CIA 2005), the topics of interest for MATES 2005 also covered the elds of intelligent information agents and systems for the Internet and the (Semantic) Web. As in recent years, MATES 2005 provided a distinguished, lively and int- disciplinary forum for researchers, users, and developers of agent technology, to present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems. Accordingly, the topics of MATES 2005 covered the whole range from the theory to applications of age- and multiagent technology. The technical program included a total of 24 sci- ti c talks, and demonstrations of selected running agent systems, and both the MATES 2005 Best Paper and the CIA 2005 System Innovation awards.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, José Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jörg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), and Andrzej Tarlecki. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and co- ductive methods; modal logics; relational systems and term rewriting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -TheInternationalConferenceTSD 2005,the8theventin theseriesonText,Speech,and Dialogue, which originated in 1998, presented state-of-the-art technology and recent achievements in the eld of natural language processing. It declared its intent to be an interdisciplinary forum, intertwining research in speech and language processing with its applications in everyday practice. We feel that the mixture of different approaches and applications offered a great opportunity to get acquainted with the current act- ities in all aspects of language communication and to witness the amazing vitality of researchers from developing countries too. The nancial support of the ISCA (Inter- tional Speech Communication Association) enabled the wide attendance of researchers from all active regions of the world. Thisyear¿sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most attractive topic of HCI at the present time. In this way, we are involved in a rich complex of communicative activity, facial expressions, hand gestures, direction of gaze, to name but the most obvious ones. The interpretationof each user utterancedependson the context,prosody,facial expressions (e. g. brows raised, brows and gaze both raised) and gestures. Hearers have to adapt to the speaker (e. g. maintainingthe theme of the conversation,smiling etc. ). Research into the interaction of these channels is however limited, often focusing on the interaction between a pair of channels. Six signi cant scienti c results achieved in this area in the USA, Japan, Switzerland, Germany, The Netherlands, and the Czech Republic were presented by keynote speakers in special plenary sessions. Further, approx.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Althoughcryptographyandsecuritytechniqueshavebeenaroundfor quitesome time, emerging technologies such as ubiquitous computing and ambient intel- gence that exploit increasingly interconnected networks, mobility and pers- alization put new requirements on security with respect to data management. As data is accessible anytime anywhere, according to these new concepts, it - comes much easier to get unauthorized data access. Furthermore, it becomes simpler to collect, store, and search personal information and endanger people¿s privacy. Therefore,researchin the area of secure data management is of growing importance, attracting the attention of both the data management and security researchcommunities.Theinterestingproblemsrangefromtraditionalones,such as access control (with all variations, like dynamic, context-aware, role-based), database security (e.g., e cient database encryption schemes, search over - crypted data, etc.), and privacy-preserving data mining to controlled sharing of data. In addition to the aforementioned subject, this year we also called for - pers devoted to secure data management in healthcare as a domain where data security and privacy issues are traditionally important. The call for papers - tracted 38 papers both from universities and industry. The ProgramCommittee selected 16 research papers for presentation at the workshop. These papers are also collected in this volume which we hope will serve you as a useful research and reference material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -One of the superb characteristics of Intelligent Data Analysis (IDA) is that it is an interdisciplinary eld in which researchers and practitioners from a number of areas are involved in a typical project. This also creates a challenge in which the success of a team depends on the participation of users and domain experts who need to interact with researchers and developers of any IDA system. All this is usually re ected in successful projects and of course on the papers that were evaluated by this year¿s program committee from which the nal program has been developed. In our call for papers, we solicited papers on (i) applications and tools, (ii) theory and general principles, and (iii) algorithms and techniques. We received a total of 184 papers, reviewing these was a major challenge. Each paper was assigned to three reviewers. In the end 46 papers were accepted, which are all included in the proceedings and presented at the conference. This year¿s papers re ect the results of applied and theoretical researchfrom a number of disciplines all of which are related to the eld of Intelligent Data Analysis. To have the best combination of theoretical and applied research and also provide the best focus, we have divided this year¿s IDA program into tu- rials, invited talks, panel discussions and technical sessions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book introduces major agent platforms, frameworks, systems, tools, and applications. Each system is described by their developers in sufficient detail so that the reader can get a good understanding of the architecture, functionality, and application areas of the system. All systems are running systems. One main focus of the book lies on agent platforms and toolkits.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -TheInternationalSymposiumonSmartGraphics2005washeldfromAugust22¿ 24, 2005 in the cloister Frauenwort ¿ h on the island of Frauenchiemsee, Germany. It was the sixth event in a series which originally started in 2000 as a AAAI Spring Symposium. Inresponsetotheoverwhelmingsuccessofthe2000symposium,itsorganizers decided to turn it into a self-contained event. With the support of IBM, the rst two International Symposia on Smart Graphics were held at the T.J. Watson Research Center in Hawthorne, NY in 2001 and 2002. The 2003 symposium moved to the European Media Lab in Heidelberg to underline the international character of the Smart Graphics enterprise and its community. The core idea behind these symposia is to bring together researchers and practitioners fromthe eld ofcomputer graphics,arti cialintelligence, cognitive science, graphic design and the ne arts. Each of these disciplines contributes to what we mean by the term ¿Smart Graphics¿: the intelligent process of creating e ective, expressive and esthetic graphical presentation. Many Smart Graphics symposiaemphasizea particularaspectofthe eldin thecallfor papers.In2005 our focus was on ¿Visual Analytics¿¿ the art and science of analytical reasoning facilitated by interactive visual interfaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22¿25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Weather and climate are of concern to virtually all countries worldwide. For many countries the economy depends largely on agriculture, which is significantly affected by variations in weather and climate. This volume contains many original findings on weather and climate related to atmospheric and oceanic processes through mathematical modeling, numerical simulations, and field experiments and it will be useful as a reading material in graduate level courses dealing with weather, climate, boundary layer and air quality. The scientific community at large, especially younger scientists, will find this book a useful addition to their personal and institutional libraries.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -remain in our memory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.