springer berlin heidelberg aug 2005 (158 risultati)

Buch. Condizione: Neu. Neuware -Seit kurzem forciert SAP die Verbreitung der Netweaver-Technologie und initiiert damit eine Gleichstellung von Java und ABAP als Sprachen zur SAP-Programmierung. Dieses Buch leistet einem erfahrenen Java-Programmierer die notwendige Hilfestellung beim Einstieg in die SAP-Welt. Einführend wird dazu die Architektur und Begrifflichkeit von SAP R/3 abgehandelt. Dies geschieht auf anspruchsvollem technischem Niveau in der Sprache eines Java-Entwicklers. Anschließend werden zwei unterschiedliche Ansätze zur Anbindung des konventionellen SAP R/3 an Java erläutert und verglichen. Anhand repräsentativer Schnittstellenszenarien werden dabei vollständige Codebeispiele für die Koppelungstechniken RFC/JCo und IDoc vorgestellt. Den Abschluss bildet eine fundierte Einführung in die Netweaver-Technologie. Sie behandelt Web Dynpro, Web Services, die Exchange Infrastructure und unterschiedliche Persistenzansätze.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Deutsch.

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

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -theirgreate ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -CASC 2005 continued a tradition ¿ started in 1998 ¿ of international c- ferences on the latest advances in the application of computer algebra systems (CASs) and methods to the solution of various problems in scienti c computing. The methods of scienti c computing play an important role in research and engineering applications in the natural and the engineering sciences. The sign- icance and impact of computer algebra methods and computer algebra systems for scienti c computing has increased considerably in recent times. Nowadays, suchgeneral-purposecomputeralgebrasystemsasMaple,Magma,Mathematica, MuPAD, Singular, CoCoA and others enable their users to solve the following three important tasks within a uniform framework: (a) symbolic manipulation; (b) numerical computation; (c) visualization. The ongoing development of such systems, including their integrationand ad- tation to modern software environments, puts them at the forefront in scienti c computing and enables the practicalsolution of many complex applied problems in the domains of natural sciences and engineering. Greece o ers excellent infrastructures for hosting international conferences, and this was a reason for us to choose the city of Kalamata, Greece, as the lo- tion for CASC 2005,the eighth conference in the sequenceof CASC conferences. The seven earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, and CASC 2004 were held, respectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzbekistan, in Konstanz, Germany, in the Crimea (Ukraine), in Passau (Germany), and in St. Petersburg, Russia, and they proved to be successful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 518 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -It is both an honor and a pleasure to hold the 27th Annual Meeting of the German Association for Pattern Recognition, DAGM 2005, at the Vienna U- versity of Technology, Austria, organized by the Pattern Recognition and Image Processing (PRIP) Group. We received 122 contributions of which we were able to accept 29 as oral presentations and 31 as posters. Each paper received three reviews, upon which decisions were made based on correctness, presentation, technical depth, scienti c signi cance and originality. The selection as oral or poster presentation does not signify a quality grading but re ects attractiveness to the audience which is also re ected in the order of appearance of papers in these proceedings. The papers are printed in the same order as presented at the symposium and posters are integrated in the corresponding thematic session. In putting these proceedings together, many people played signi cant roles which we would like to acknowledge. First of all our thanks go to the authors who contributed their work to the symposium. Second, we are grateful for the dedicated work of the 38 members of the Program Committee for their e ort in evaluating the submitted papers and inprovidingthe necessarydecisionsupport information and the valuable feedback for the authors. Furthermore, the P- gram Committee awarded prizes for the best papers, and we want to sincerely thank the donors. We were honored to have the following three invited speakers at the conf- ence: ¿ Jan P.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -remain in our memory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Israel Mark de Berg Tech.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit¿ ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1¿3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci cation, analysis and veri cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers. We therefore owe special thanks to all members of both program committees of EPEW and WS-FM and their sub-referees for the excellent work they did in the short time they had. Additionally, this proceedings includes four invited papers, by Gianfranco Ciardo (University of California at Riverside), Peter G. Harrison (Imperial C- lege London), Cosimo Laneve (University of Bologna) and Wil van der Aalst (Eindhoven University of Technology). These contributions brought an ad- tional dimension to the technical and the scienti c merit of these workshops. Finally,ourthanksgototheUniversityofVersaillesSaint-Quentin-en-Yvelines, its Laboratoire PRiSM and the CNRS for hosting the workshops and providing technicaland nancialsupport.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume collects the papers accepted for presentation at the 11th IMA Conference on the Mathematics of Surfaces, held at Loughborough University, 5th¿7th September 2005. As with all earlier conferences in the series, contri- tors to this volume comefrom manycountries. The paperspresented herere ect the interest in a subject of relevance to mathematics, engineering,and computer science, especially in domains such as computer-aided design, computer vision, and computer graphics. The papers in the present volume include eight invited papers, as well as a larger number of submitted papers. They cover a range of ideas from - derlying theoretical tools to industrial and medical uses of surfaces. The latter category includes such diverse topics as surfaces in car design, and modelling of teeth, while the former includes papers on Voronoi diagrams, linear systems, estimation of curvatures on meshes, operators on meshes, intersection of sub- vision surfaces, approximate parameterization,condition numbers, Pythagorean hodographs,artifactsinB-splinesurfaces,B¿ eziersurfacesofminimalenergy,line subdivision, subdivision surfaces, level sets and symmetry, the topology of - gebraic surfaces, curve analysis, interpolation with positivity, and conversion of cyclides to NURBS. Other papers concentrate on particular algorithms arising from applications, such as embedding graphs in manifolds, recoveryof 3D shape from shading, nding optimal feedrates for machining, detection of creases in range data, and lling holes in range data. We would like to thank all those who attended the conference and helped to make it a success.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year¿s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication. 600 pp. Englisch.