springer berlin heidelberg aug 2009 (246 risultati)

Buch. Condizione: Neu. Neuware - Wilfried Martens is one of the most distinguished politicians to come from Belgium in the last ffty years. In his long poli- cal career, he has always fought for the implementation of his goals with passion and deep conviction. What has to be mentioned frst in this context is his s- cessful advocacy of federalism in his home country, Belgium. Already in his time as chair of the CVP youth league from 1967 to 1972, groundbreaking manifestos on Belgium¿s federali- tion were written under his auspices. Later on, as President of the CVP, he succeeded in negotiating the Egmont Pact, whose essential elements form part of today¿s federal Belgian C- stitution. He served as Prime Minister for more than a decade, and in this role he convinced the regions and linguistic groups of his country, which were often at odds with each other, of the necessity for cooperation and solidarity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. Neuware -This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particularemphasis on reasoning.The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics; answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications; languages for constraining and querying XML data; RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying; tractable description logics and their use for ontology-based data access; and the social semantic desktop, which defines a user's personal information environment as a source and end-point of the semantic web. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -After the initial enthusiastic initiatives and investments and the eventual bubble, el- tronic commerce (EC) has changed and evolved into a well-established and founded reality both from a technological point of view and from a scientific one. Nevert- less, together with its evolution, new challenges and topics have emerged as well as new questions have been raised related to many aspects of EC. Keeping in mind the experience and the tradition of the past editions of EC-Web, we tried, for its 10th edition, to introduce some meaningful innovations about the structure and the sci- tific organization of the conference. Our main target was to highlight the autonomous role of the different (sometimes heterogeneous) aspects of EC, without missing their interdisciplinary scope. This required the conference to be organized into four ¿mi- conferences,' each for a relevant area of EC and equipped with a corresponding Area Chair. Both the submission and the review process took into account the organization into four tracks, namely: ¿Service-Oriented E-Commerce and Business Processes,¿ ¿Recommender Systems,¿ ¿E-Payment, Security and Trust¿ and ¿Electronic C- merce and Web 3. 0. ¿ Therefore, the focus of the conference was to cover aspects related to the theoretical foundation of EC, business processes as well as new - proaches exploiting recently emerged technologies and scenarios such as the Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the nine workshops that were organized in conjunction with the Business Information Systems Conference, BIS 2009, taking place in Poznan, Poland, on April 27-29, 2009.The 34 papers presented were carefully reviewed and selected from 72 submissions. In addition, the volume contains the BIS 2009 keynote speech and two invited speeches presented at the workshops LIT and ECONOM/Enterprise X.0.The topics covered are DeepWeb (ADW), applications and economics of knowledge-based technologies (AKTB, ECONOM), service-oriented architectures (SDS-SOA), legal IT (LIT), social Web and Web 2.0 (SAW, Enterprise X.0), e-learning (EeLT), and enterprise systems in higher education (ESHE).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Data management, knowledge discovery, and knowledge processing are core and hot topics in computer science. They are widely accepted as enabling technologies for modern enterprises, enhancing their performance and their decision making processes. Since the 1990s the Internet has been the outstanding driving force for application development in all domains. An increase in the demand for resource sharing (e. g. , computing resources, s- vices, metadata, data sources) across different sites connected through networks has led to an evolvement of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications prov- ing high scalability. Current decentralized systems still focus on data and knowledge as their main resource characterized by: heterogeneity of nodes, data, and knowledge autonomy of data and knowledge sources and services large-scale data volumes, high numbers of data sources, users, computing resources dynamicity of nodes These characteristics recognize: (i) limitations of methods and techniques developed for centralized systems (ii) requirements to extend or design new approaches and methods enhancing efficiency, dynamicity, and scalability (iii) development of large scale, experimental platforms and relevant benchmarks to evaluate and validate scaling Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and agent systems supporting with scaling and decentralized control. Synergy between Grids, P2P systems and agent technologies is the key to data- and knowledge-centered systems in large-scale environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The general theme of the Intelligent Data Analysis (IDA) Symposia is the - telligent use of computers in complex data analysis problems. The eld has matured su ciently that some re-considerationof our objectives was required in order to retain the distinctiveness of IDA. Thus, in addition to the more tra- tional algorithm- and application-oriented submissions, we sought submissions that speci cally focus on aspects of the data analysis process. For example, - teractive tools to guide and support data analysis in complex scenarios. With the increasingavailabilityofautomaticallycollecteddata,toolsthatintelligently support and assist human analysts are becoming important. IDA-09, the 8th International Symposium on Intelligent Data Analysis, took place in Lyon from August 31 to September 2, 2009. The invited speakers were PaulCohen(UniversityofArizona,USA)andPabloJensen(ENSLyon,Fran ce). The meeting received more than 80 submissions. The Programme Committee selected 33 submissions for publication: 18 for full oral presentation, and 15 for poster and short oralpresentation. Eachcontribution was evaluated by three expertsandhas beenallocated12pagesintheproceedings.Theacceptedpapers cover a broad range of topics and applications, and include contributions on the re ned focus of IDA.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the 12 papers presented at the WISTP 2009 conference, held in Brussels, Belgium in September 2009. WISTP 2009 was the third int- national workshop devoted to information security theory and practice. WISTP 2009 built on the successful WISTP 2007 and 2008 conferences, held in Heraklion, Crete, Greece and Seville, Spain in May 2007 and May 2008, - spectively. The proceedings of WISTP 2007 and WISTP 2008 were published as volumes 4462 and 5019 of the Lecture Notes in Computer Science series. This workshop received the following support: ¿ Co-sponsored by IFIP WG 11. 2 Small System Security ¿ Co-sponsored by VDE ITG ¿ Technical sponsorship of the IEEE Systems, Man & Cybernetics Society ¿ Supported by the Technical Committee on Systems Safety and Security ¿ Organized in cooperation with the ACM SIGSAC ¿ Supported by ENISA ¿ Supported by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) These proceedings contain 12 original papers covering a range of theoretical and practical topics in information security. For the purposes of the organi- tion of the WISTP program, the papers were divided into four main categories, namely: ¿ Mobility ¿ Attacks and Secure Implementations ¿ Performance and Security ¿ Cryptography The12papersincludedherewereselectedfromatotalof27submissions. The refereeing process was rigorous,involving at least three (and mostly four or ve) independent reports being prepared for each submission. 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -To praise oneself is sure a fault; yet who That does aught good escapes it If he feigns In those his words no whit, and all be true, The good for ever good remains. Book of Ill Humor West-Eastern Divan, by Johann Wolfgang von Goethe (Translation by Edward Dowden) ICWL is an annual international conference series on Web-based learning that has so far been held in Asia, Australia and Europe. This series represents the cooperationofEuropeanandAsianresearcherstoadvancethe eldofWeb-based learning. Numerous joint research papers and joint projects have emerged from the successful track record of ICWL. We have chosen a short quotation of the West-EasternDivan by JohannWolfgang von Goethe to expressthe spirit of the conference series establishing a stable bridge of researchbetween the continents. This year¿s conference location was a perfect symbol of this spirit. The 8th ICWL 2009 was held in Germany¿s westernmost located and truly European city Aachen. At the borders with Belgium and The Netherlands, it is within convenient reach of European centers like Brussels, Cologne, Paris and London. Initshistory,AachenwasthecapitalofCharlemagne,perhapsthe rstEuropean emperor, and the place of coronation for the medieval Holy Roman Emperors following him. From its beginnings as a bathing resort of hot springs established sinceRomantimes,AachenwasalsoameetingpointoftheEastandtheWest.As acityofpilgrimage,knowledgefromtheEastfounditswayontheancientroutes and Western ideas traveled in the other direction. Exactly these old traditions are revitalized in papers collected in this proceedings volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These proceedings present the technical contributions to the First Conference on A- tions, Market Mechanisms, and Their Applications (AMMA), held May 8-9, 2009 in Boston, Massachusetts, USA. The conference was devoted to issues that arise in all stages of deploying a market mechanism to solve a problem, including theoretical and empirical examinations. In addition to more traditional academic papers, the conf- ence placed emphasis on experiences from the real world, including case studies and new applications. The main goal of AMMA was to explore the synergy required for good mechanism design. This includes an understanding of the economic and game-theoretic issues, the ability to design protocols and algorithms for realizing desired outcomes, and the knowledge of specific institutional details that are important in practical applications. We were lucky enough to attract papers and talks from economists and computer scientists, theorists and empiricists, academics and practitioners. The program, as reflected in these proceedings, ranged from fundamental theory on auctions and m- kets to empirical design and analysis of matching mechanisms, peer-to-peer-systems, and prediction markets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Years of worldwide economic depression do not only shatter private-sector rms and strain public-sector budgets, they also test the viability of academic conf- ences and other scholarly events. Given this context it is remarkable how well the eighth EGOV conference maintained its standing as an annual international conference with a global reach. Submissions from Europe increased over those from other parts of the globe. However, the conference upheld its attractiveness toscholarsfromaroundtheworldasavenueofhighreputation.The2009EGOV conference brought together scholars and practitioners from ve continents and 32 countries. Previous EGOV conferences were dedicated to three main areas, which ov- lap in part: eGovernment, eGovernance, and eParticipation. While the overlap still exists, a vibrant and sizable community has formed around topics of p- ticipation, inclusion, and democracy in the digital age. For the rst time, with ePartthistopicalstrandorganizeditsownconferencewithseparateproceedings. ePartaims to reviewresearchadvances inbothsocialandtechnologicalscienti c domains, seeking to demonstrate new concepts, methods and styles of eParti- pation. The Chairs of both conferences consider it important to maintain close links and are committed to co-locating the two events in the years to come.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In todayís competitive and highly dynamic environment, analyzing data to understand how the business is performing, to predict outcomes and trends, and to improve the effectiveness of business processes underlying business operations has become cri- cal. The traditional approach to reporting is no longer adequate, users now demand easy-to-use intelligent platforms and applications capable of analyzing real-time bu- ness data to provide insight and actionable information at the right time. The end goal is to improve the enterprise performance by better and timelier decision making, - abled by the availability of up-to-date, high-quality information. As a response, the notion of 'real-time enterprise' has emerged and is beginning to be recognized in the industry. Gartner defines it as ¿using up-to-date information, getting rid of delays, and using speed for competitive advantage is what the real-time enterprise is all about. . . Indeed, the goal of the real-time enterprise is to act on events as they happen. ¿ Although there has been progress in this direction and many com- nies are introducing products toward making this vision a reality, there is still a long way to go. In particular, the whole lifecycle of business intelligence requires new techniques and methodologies capable of dealing with the new requirements imposed by the real-time enterprise.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk. This was the tenth internationalconference to be held in the PaCT series. The conferences are held in Russia every odd year. The rst conference, PaCT 1991, was held in Novosibirsk (Academgorodok), September 7¿11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 to September 4, 1993; in St. Petersburg, 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; in Nizhni Novgorod, September 15¿19, 2003; in Krasnoyarsk, September 5¿9, 2005; in Pereslavl-Zalessky, September 3¿7, 2007. Since 1995 all the PaCT Proceedings have been published by Springer in the LNCS series. PaCT-2009 was jointly organized by the Institute of Computational Mathematics and Mathematical Geophysics of the Russian Academy of Sciences (RAS) and the State University of Novosibirsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardware and the solution of lar- scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. Authors from 17 countries submitted 72 papers. Of those submitted, 34 were selected for the conference as regular papers; there were also 2 invited - pers. In addition there were a number of posters presented. All the papers were internationallyreviewedby at leastthree referees. A demo sessionwasorganized for the participants. 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -GECON - Grid Economics and Business Models Cloud computing is seen by many people as the natural evolution of Grid computing concepts. Both, for instance, rely on the use of service-based approaches for pro- sioning compute and data resources. The importance of understanding business m- els and the economics of distributed computing systems and services has generally remained unchanged in the move to Cloud computing. This understanding is nec- sary in order to build sustainable e-infrastructure and businesses around this paradigm of sharing Cloud services. Currently, only a handful of companies have created s- cessful businesses around Cloud services. Among these, Amazon and Salesforce (with their offerings of Elastic Compute Cloud and force. com among other offerings) are the most prominent. Both companies understand how to charge for their services and how to enable commercial transactions on them. However, whether a wide-spread adoption of Cloud services will occur has to seen. One key enabler remains the ability to support suitable business models and charging schemes that appeal to users o- sourcing (part of) their internal business functions. The topics that have been addressed by the authors of accepted papers reflect the above-described situation and the need for a better understanding of Grid economics. The topics range from market mechanisms for trading computing resources, capacity planning, tools for modeling economic aspects of service-oriented systems, archit- tures for handling service level agreements, to models for economically efficient resource allocation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Data warehousing and knowledge discovery are increasingly becoming mission-critical technologies for most organizations, both commercial and public, as it becomes incre- ingly important to derive important knowledge from both internal and external data sources. With the ever growing amount and complexity of the data and information available for decision making, the process of data integration, analysis, and knowledge discovery continues to meet new challenges, leading to a wealth of new and exciting research challenges within the area. Over the last decade, the International Conference on Data Warehousing and Knowledge Discovery (DaWaK) has established itself as one of the most important international scientific events within data warehousing and knowledge discovery. DaWaK brings together a wide range of researchers and practitioners working on these topics. The DaWaK conference series thus serves as a leading forum for discu- ing novel research results and experiences within data warehousing and knowledge th discovery. This year¿s conference, the 11 International Conference on Data Wa- housing and Knowledge Discovery (DaWaK 2009), continued the tradition by d- seminating and discussing innovative models, methods, algorithms, and solutions to the challenges faced by data warehousing and knowledge discovery technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The2009InternationalWorkshoponAgentsandDataMiningInteraction(ADMI 2009) was a joint event with AAMAS2009. In recentyears,agents and data mining interaction (ADMI), or agent mining forshort,hasemergedasaverypromisingresearch eld. Followingthesuccessof ADMI 2006 in Hong Kong, ADMI 2007 in San Jose, and ADMI 2008 in Sydney, the ADMI 2009 workshop in Budapest provided a premier forum for sharing research and engineering results, as well as potential challenges and prospects encountered in the synergy between agents and data mining. As usual, the ADMI workshop encouraged and promoted theoretical and applied research and development, which aims at: ¿ Exploitingagent-drivendatamininganddemonstratinghowintelligentagent technology can contribute to critical data mining problems in theory and practice ¿ Improving data mining-driven agents and showing how data mining can strengthen agent intelligence in research and practical applications ¿ Exploring the integration of agents and data mining toward a super-intelligent information processing and systems ¿ Identifying challenges and directions for future research on the synergy between agents and data mining ADMI 2009 featured two invited talks and twelve selected papers. The rst invited talk was on ¿Agents and Data Mining in Bioinformatics,¿ with the s- ond focusing on ¿Knowledge-Based Reinforcement Learning. ¿ The ten accepted papers are from seven countries. A majority of submissions came from Eu- pean countries, indicating the boom of ADMI research in Europe. In addition the two invited papers, addressed fundamental issues related to agent-driven data mining, data mining-driven agents, and agent mining applications. The proceedings of the ADMI workshops will be published as part of the LNAIseriesbySpringer.WeappreciatethesupportofSpringer,andinparticular Alfred Hofmann. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at the 11th Algorithms and Data Structures Symposium, WADS 2009 (formerly Workshop on Algorithms and Data Structures), held during August 21¿23, 2009 in Ban , Alberta, Canada. WADS alternates with the Scandinavian Workshop on Algorithms Theory (SWAT), continuing the tradition of SWAT and WADS starting with SWAT 1988 and WADS 1989. Inresponsetothecallforpapers,126papersweresubmitted. Fromtheses- missions, the ProgramCommittee selected 49 papers for presentation at WADS 2009. In addition, invited lectures were given by the following distinguished researchers: Erik Demaine, Richard Karp, and Christos Papadimitriou. On behalf of the Program Committee, we would like to express our appre- ation to the invited speakers, reviewers and all authors who submitted papers. May 2009 Frank Dehne Marina Gavrilova J¿ org-Ru ¿diger Sack Csaba D. T¿ oth Conference Organization Program Chairs Frank Dehne Marina Gavrilova Joerg-Ruediger Sack Csaba D. Toth Program Committee Sergei Bereg Allan Borodin Gerth Stolting Brodal Timothy Chan Mark de Berg Frank Devai Matt Duckham Rolf Fagerberg Randolph Franklin Joachim Gudmundsson Susanne Hambrusch Rolf Klein Mike Langston Ming Li Friedhelm Meyer auf der Heide Ian Munro Jon Rokne Shashi Shekhar Bettina Speckmann Paul Spirakis Gabor Tardos Je Vitter Frances F. Yao Local Organization Marina Gavrilova Csaba D. Toth Jon Rokne Maruf Monwar Kushan Ahmadian Table of Contents On the Power of the Semi-Separated Pair Decomposition. . . . . . . . . . . . . . 1 Mohammad Ali Abam, Paz Carmi, Mohammad Farshi, and Michiel Smid Plane Graphs with Parity Constraints. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 592 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Overthelastdecades,energyminimizationmethods havebecomeanestablished paradigm to resolve a variety of challenges in the elds of computer vision and pattern recognition. While traditional approaches to computer vision were often based on a heuristic sequence of processing steps and merely allowed very l- ited theoretical understanding of the respective methods, most state-of-the-art methods are nowadays based on the concept of computing solutions to a given problem by minimizing respective energies. This volume contains the papers presented at the 7th International Conf- ence on Energy Minimization Methods in Computer Vision and Pattern Rec- nition (EMMCVPR 2009), held at the University of Bonn, Germany, August 24¿28, 2009. These papers demonstrate that energy minimization methods have become a mature eld of research spanning a broad range of areas from discrete graph theoretic approaches and Markov random elds to variational methods and partial di erential equations. Application areas include image segmentation and tracking, shape optimization and registration, inpainting and image deno- ing, color and texture modeling, statistics and learning. Overall, we received 75 high-quality double-blind submissions. Based on the reviewer recommendations, 36paperswereselectedforpublication,18asoraland18asposterpresentations. Both oral and poster papers were attributed the same number of pages in the conference proceedings. Furthermore, we were delighted that three leading experts from the elds of computer vision and energy minimization, namely, Richard Hartley (C- berra, Australia), Joachim Weickert (Saarbruc ¿ ken, Germany) and Guillermo Sapiro(Minneapolis,USA)agreedtofurtherenrichtheconferencewithinspiring keynote lectures. 508 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents the proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business (TrustBus 2009), held in Linz, Austria d- ing September 3¿4, 2009. The conference continues from previous events held in Zaragoza (2004), Copenhagen (2005), Krakow (2006), Regensburg (2007) and Turin (2008). The advances in the information and communication technologies (ICT) have raised new opportunities for the implementation of novel applications and the pro- sion of high-quality services over global networks. The aim is to utilize this ¿infor- tion society erä for improving the quality of life for all citizens, disseminating knowledge, strengthening social cohesion, generating earnings and finally ensuring that organizations and public bodies remain competitive in the global electronic m- ketplace. Unfortunately, such a rapid technological evolution cannot be problem free. Concerns are raised regarding the ¿lack of trust¿ in electronic procedures and the - tent to which ¿information security¿ and ¿user privacy¿ can be ensured. TrustBus 2009 brought together academic researchers and industry developers, who discussed the state of the art in technology for establishing trust, privacy and security in digital business. We thank the attendees for coming to Linz to participate and debate the new emerging advances in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Buch. Condizione: Neu. Neuware -An accelerator complex which gives extremely high-intensity proton beams is being constructed in Tokai, Japan. The project is operated by JAEA (Japan Atomic Energy Agency) and KEK (High Energy Accelerator Research Or- nization) and called J-PARC (Japan Proton Accelerator Research Complex). J-PARC accelerator complex consists of 200MeV linac, 3GeV rapid cycling synchrotron, and 30GeV main synchrotron. The energy of linac will be - tendedto400MeVandtheenergyofthemainringwillbeincreasedto50GeV in the near future. J-PARCaimstoperformvariousresearchesoflifeandmaterialsciencesby using neutron beams from the 3GeV rapid cycling synchrotron. J-PARC also aims to perform various particle and nuclear physics experiments by using the 50GeV main synchrotron. In this book we collected several proposals of particle and nuclear physics experiments to be performed by using 50GeV main synchrotron. Prof. Nagamiya gives a brief introduction of J-PARC. He describes the purpose of the project, the aims of the various facilities, and the researches to be done by using these facilities. Prof. Ichikawa discusses about the long baseline nutrino oscillation expe- ment. This proposal is called T2K (Tokai to Kamioka) and it aims to measure mixinganglesintheleptonsector.Theytrytoperformaprecisemeasurement of by measuring the disappearance. Then they go to determine by 23 13 measuring ¿ appearance signal. They also search for sterile components e by measuring NC events. Prof. Lim discusses about the experiment which searches a very rare decay 0 0 oftheneutralkaon:K .ThisdecayoccursviaadirectCPviolation. L Hewillsearchthisdecaymodewithhighersensitivitythanthestandardmodel expectation level.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -th This volume contains the papers presented at the 8 International Conference on - vanced Parallel Processing Technologies, APPT 2009. This series of conferences originated from collaborations between researchers from China and Germany and has evolved into an international conference for reporting advances in parallel processing technologies. APPT 2009 addressed the entire gamut of related topics, ranging from the architectural aspects of parallel computer hardware and system software to the applied technologies for novel applications. For this conference, we received over 76 full submissions from researchers all over the world. All the papers were peer reviewed in depth and qualitatively graded on their relevance, originality, significance, presentation, and the overall appropriateness for their acceptance. Any concerns raised were discussed by the Program Committee. The Organizing Committee did an excellent job in selecting 36 papers for presen- tion. In short, the papers included here represent the forefront of research from China, Switzerland, Germany, and other countries. 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 13th East European Conference on Advances in Databases and Information Systems, ADBIS 2009, held in Riga, Latvia, on September 7-10, 2009. The 25 revised papers were carefully reviewed and selected from 93 submissions. Topically, the papers span a wide spectrum of the database and information system. Topics are ranging from query processing and optimization via query languages, design methods, data integration, indexing and caching to business processes, data mining, and application oriented topics like XML and data on the Web.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The research of holonic and agent-based systems is developing very rapidly. The community around this R&D topic is also growing fast - despite the fact that the real-life practical implementations of such systems are still surprisingly rare. H- ever, the managers in different branches of industry feel that the holonic and agent-based systems represent the only way of managing and controlling very c- plex, highly distributed systems exploring vast volumes of accumulated knowledge. The relevant research and development activities gain more and more visible support from both industry as well as public sectors. Quite naturally, the number of scientific events aimed at the subject field is also growing rapidly. We see new lines of conf- ences like INDIN, we observe a strong focus of the already well-established conferences, e. g. , INCOM or ETFA, being shifted toward holonic and agent-based manufacturing systems. We see an increased interest of the IEEE System, Man and Cybernetics Society, especially its Technical Committee on Distributed Intelligent Systems which leverages the experience gathered by the members of the former Ho- nic Manufacuting Systems (HMS) consortium. We see a clear orientation of the IEEE SMC Transactions, part C, toward applications of agent-oriented solutions. The same is true of the International Journal on Autonomous Agents and Multi-Agent Systems (JAAMAS). This is a really good sign of the increasing importance of the field. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Welcometothe rstintheePartseriesofannualinternationalconferences.ePart is dedicated to reviewing research advances in both social and technological scienti c domains, seeking to demonstrate new concepts, methods and styles of eParticipation. ePart is dedicated to innovative and rigorous eParticipation research. It aims to bring together researchers from a wide range of academic disciplines and provide the scienti c community with a platform for discussing and advancing research ndings. The conference itself is preceded by a doctoral colloquium providing young researchers with the important opportunity to be part of the eParticipation research community. This book bringstogether 16 papers representing the completed, compreh- siveresearchof41authorswithfromcountriesrangingfromSwedentoAustralia. Re ecting on the highly complex and multi-faceted nature of eParticipation - search undertaken by these authors, the papers are clustered under the three headings: ¿ Research Review and Outlook ¿ Evaluation and Assessment ¿ Tools, Techniques and Case Studies Papers include those that consider future multi-disciplinary research directions, examine the potential contribution of social networking sites to political enga- ment, provide evaluation frameworks for both eParticipation policy and speci c projects, and those that describe emerging tools and techniques with which to conduct and analyze eParticipation. The ongoing research, projects, and general development issues, which have alsobeenacceptedforePart2009,arepublishedinacomplementaryproceedings volume by Trauner Druck, Linz, Austria.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 16th String Processing and Information Retrieval Symposium, SPIRE 2009 held in Saariselkä, Finland in August 2009. The 34 revised full papers were carefully reviewed and selected from 84 submissions. The papers are organized in topical sections on algorithms on trees, compressed indexes, compression, indexing, content analysis, string algorithms and bioinformatics, string algorithms and theory, and using and understanding usage.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history that involves many countries and considerably pre-dates the development of computers. It can be traced back at least as far as Ancient Greece and has evolved over time to become a major subfield of computer science in general.This state-of-the-art survey not only serves as a 'position paper' on the field from the viewpoint of expert members of the IFIP Technical Committee 12, its Working Groups and their colleagues, but also presents overviews of current work in different countries.The chapters describe important relatively new or emerging areas of work in which the authors are personally involved, including text and hypertext categorization; autonomous systems; affective intelligence; AI in electronic healthcare systems; artifact-mediated society and social intelligence design; multilingual knowledge management; agents, intelligence and tools; intelligent user profiling; and supply chain business intelligence. They provide an interesting international perspective on where this significant field is going at the end of the first decade of the twenty-first century.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The BPM (Business Process Management) Conference series has the ambition to be the premier forum for researchersin the area of process-awareinformation systems.It has a recordfor attracting contributions in innovative researchofthe highest quality related to all aspects of business process management including theory, frameworks, methods, techniques, architectures, and empirical ndings. BPM 2009 was the 7th instantiation of this series. It took place in Ulm, G- many, September 8¿10, 2009, organized by the Institute of Databases and Inf- mation Systems of the University of Ulm. This volume contains 17 contributed research papers and two contributed industrial papers selected from 116 s- missions from 31 countries. The thorough reviewing process¿each paper was reviewed by three to ve Program Committee members¿was extremely c- petitive as the acceptance rate of 16% indicates. In addition to the contributed papers, these proceedings contain two papers and an outline documenting the invited keynote talks. Furthermore, a report is included on the collaboration structure in BPM research derived from an analysis of papers accepted for all past BPM conferences. In conjunction with the main conference, nine international workshops took place the day before the conference. These workshops fostered the exchange of fresh ideas and experiences between active BPM researchers, and stimulated discussions on new and emerging issues in line with the conference topics. The proceedings with the papers of all workshops will be published in a separate volume of Springer¿s Lecture Notes in Business Information Processing series. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 12th International Symposium on Database Programming Languages (DBPL 2009), held in Lyon, France on - gust 24, 2009,and co-locatedwith VLDB (the International Conference on Very Large Data Bases). DBPL continues to present high-quality work at the intersection of database and programming language research. This proceedings volume contains the six papersacceptedforDBPL2009,whichwereselectedbytheProgramCommittee. Every submission was reviewed by at least three members of the committee. In addition, we sought the opinions of external referees, chosen because of their expertise in a particular topic. We would like to thank all the authorswho submitted papers to DBPL 2009. We also thank the members of the Program Committee for their excellent work during the electronic selection meeting. We are grateful to Andrei Voronkov for his EasyChair system, which made these discussions comparatively straightf- ward. WewouldliketothankMarceloArenasandMichaelI.Schwartzbachfortheir assistanceandsoundcouncilasProgramChairsofDBPL2007.We nallythank Mohand-Said Hacid and Jean-Marc Petit for their superb local organization of DBPL 2009.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -'E ziente Algorithmen' was the title of the rst book by Kurt Mehlhorn in 1977. It was meant as a text for graduate students and published in German by Teubner-Verlag. We decided to adopt this title 32 years later for this Festschrift in honor of Kurt on the occasion of his 60th birthday. It contains contributions by his former PhD students, many of whom are now university teachers themselves, and colleagues with whom he cooperated closely within his career. It is our pleasure that even Kurt¿s former PhD advisor, Bob Constable from Cornell University,kindlyagreedtocontribute.Manyofthecontributionswerepresented at a colloquium held in Kurt¿s honor on August 27 and 28, 2009 in Saarbrücken, Germany. This Festschriftshowsclearlyhowthe eld ofalgorithmicshas developedand matured in the decades since Kurt wrote his book with the same title. The classic approach based on discrete mathematics and computability and complexity theory continues to be the foundation of the eld with ever new and important challenges as the rst chapters of this Festschrift show. Kurt has contributed signi cantly to classical algorithmics and gained worldwide repu- tion. Starting from research in computability theory in his PhD thesis he made major contributions to complexity theory, graph algorithms, data structures, and was one of the rst to recognize the signi cance of computational geometry contributing one of the early textbooks on the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.