springer berlin heidelberg apr 2008 (226 risultati)

Taschenbuch. Condizione: Neu. Neuware -Of the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, the first, due to Sergio Albeverio describes deterministic and stochastic models of hydrodynamics.In the second course, Franco Flandoli starts from 3D Navier-Stokes equations and ends with turbulence.Finally, Yakov Sinai, in the 3rd course, describes some rigorous mathematical results for multidimensional Navier-Stokes systems and some recent results on the one-dimensional Burgers equation with random forcing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -For this printing of R. Bowen's book, J.-R. Chazottes has retyped it in TeX for easier reading, thereby correcting typos and bibliographic details.From the Preface by D. Ruelle: 'Rufus Bowen has left us a masterpiece of mathematical exposition. Here a number of results which were new at the time are presented in such a clear and lucid style that Bowen's monograph immediately became a classic. More than thirty years later, many new results have been proved in this area, but the volume is as useful as ever because it remains the best introduction to the basics of the ergodic theory of hyperbolic systems.'Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Hier geht¿s lang ¿Sie befinden sich in der Ausbildung zur Altenpflegerin oder zur Gesundheits- und Krankenpflegerin Sie haben den ersten Schritt geschafft und einen Ausbildungsplatz gefunden Doch wie geht es nun weiter Dieser informative und kurzweilige Ausbildungsführer hilft Ihnen, die Hürden der Ausbildung besser zu nehmen. Die Autorinnen geben zahlreiche praktische und nützliche Tipps:Der erste SchultagDer erste praktische EinsatzVom richtigen Umgang mit Bewohnern, Klienten und PatientenVorbeugung gegen BurnoutTipps zur Weiterbildung und zurAusbildungsfinanzierungExamensvorbereitung, Stressmanagement, ZeitmanagementRichtig bewerben u.v.m.Checklisten, Persönlichkeitstests und ein Anhang mit Internetadressen bieten Ihnen weitere Informationen und erleichtern den Einstieg in den Beruf.Der Wegweiser durch Ihre Ausbildung!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Nowadays we are facing numerous and important imaging problems: nondestructive testing of materials, monitoring of industrial processes, enhancement of oil production by efficient reservoir characterization, emerging developments in noninvasive imaging techniques for medical purposes - computerized tomography (CT), magnetic resonance imaging (MRI), positron emission tomography (PET), X-ray and ultrasound tomography, etc. In the CIME Summer School on Imaging (Martina Franca, Italy 2002), leading experts in mathematical techniques and applications presented broad and useful introductions for non-experts and practitioners alike to many aspects of this exciting field. The volume contains part of the above lectures completed and updated by additional contributions on other related topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Granular matter displays a variety of peculiarities that distinguish it from other appearances studied in condensed matter physics and renders its overall mathematical modelling somewhat arduous. Prominent directions in the modelling granular flows are analyzed from various points of view. Foundational issues, numerical schemes and experimental results are discussed. The volume furnishes a rather complete overview of the current research trends in the mechanics of granular matter. Various chapters introduce the reader to different points of view and related techniques. New models describing granular bodies as complex bodies are presented. Results on the analysis of the inelastic Boltzmann equations are collected in different chapters. Gallavotti-Cohen symmetry is also discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Algebraic groups are treated in this volume from a group theoretical point of view and the obtained results are compared with the analogous issues in the theory of Lie groups. The main body of the text is devoted to a classification of algebraic groups and Lie groups having only few subgroups or few factor groups of different type. In particular, the diversity of the nature of algebraic groups over fields of positive characteristic and over fields of characteristic zero is emphasized. This is revealed by the plethora of three-dimensional unipotent algebraic groups over a perfect field of positive characteristic, as well as, by many concrete examples which cover an area systematically. In the final section, algebraic groups and Lie groups having many closed normal subgroups are determined.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -BIS 2008 was the 11th in a series of international conferences on Business - formation Systems. The conference took place in Innsbruck which means that after Klagenfurt it was the second Austrian BIS edition. The BIS conference series from its veryroots has been recognized by professionalsas a forum for the exchangeand disseminationof topicalresearchin the development,implemen- tion, application and improvement of computer systems for business processes. The theme of this conference was¿Business Processes and Social Contexts¿ Reaching Beyond the Enterprise.¿The material collected in this volume covers research trends as well as current achievements and cutting-edge developments in the area of modern business information systems. A set of 41 papers were - lectedforthepresentationduringthemaineventandgroupedaroundconferen ce topics: Business Process Management, Service Discovery and Composition, - tologies, Information Retrieval, Interoperability, Mobility and Contexts, Ent- prise Resource Planning, Wikis and Folksonomies, Rules and Semantic Queries. The Program Committee consisted of more than 80 members that carefully evaluated all the submitted papers. This year they were supported by an Easy- Chair review system, and again, we observed an increase in the quality of the reviews. This not only raised the quality of the conference but also positively a ected the work of the authors. The regular program was complemented by the outstanding keynote spe- ers. We are proud that BIS 2008 hosted Alistair Barros (SAP, Australia), Hans Ulrich Buhl (University of Augsburg, Germany), Fabio Ciravegna (University of She eld, UK), John Davies (BT, UK), and Frank Leymann (University of Stuttgart, Germany). 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON combines the ECOMO workshop series and the ISTA conference series. The 19 papers dealing with conceptual modeling, model-driven software development and information systems applications represent a 30% selection from the original set of submissions.They are completed by two keynote lectures and 35 papers from internationally renowned researchers, invited in honor of Heinrich C. Mayr, whose 60th birthday is also celebrated at this event, that he originally created. 612 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Buch. Condizione: Neu. Neuware -Service-oriented computing has become one of the predominant factors in IT research and development efforts over the last few years. In spite of several standardization efforts that advanced from research labs into industrial-strength technologies and tools, there is still much human effort required in the process of finding and executing Web services.Here, Dieter Fensel and his team lay the foundation for understanding the Semantic Web Services infrastructure, aimed at eliminating human intervention and thus allowing for seamless integration of information systems. They focus on the currently most advanced SWS infrastructure, namely SESA and related work such as the Web Services Execution Environment (WSMX) activities and the Semantic Execution Environment (OASIS SEE TC) standardization effort. Their book is divided into four parts: Part I provides an introduction to the field and its history, covering basic Web technologies and the state of research and standardization in the Semantic Web field. Part II presents the SESA architecture. The authors detail its building blocks and show how they are consolidated into a coherent software architecture that can be used as a blueprint for implementation. Part III gives more insight into middleware services, describing the necessary conceptual functionality that is imposed on the architecture through the basic principles. Each such functionality is realized using a number of so-called middleware services. Finally, Part IV shows how the SESA architecture can be applied to real-world scenarios, and provides an overview of compatible and related systems.The book targets professionals as well as academic and industrial researchers working on various aspects of semantic integration of distributed information systems. They will learn how to apply the Semantic Web Services infrastructure to automate and semi-automate tasks, by using existing integration technologies. In addition, the book is also suitable for advanced graduate students enrolled in courses covering knowledge management, the Semantic Web, or integration of information systems, as it will educate them about basic technologies for Semantic Web Services and general issues related to integration of information systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, during May 10-11, 2008. ICSP 2008 was the second conference of the ICSP series. The theme of ICSP 2008 was ¿Making Globally Distributed Software Development a Success Story. ¿ Software developers work in a dynamic context of frequently changing technologies and with limited resources. Globally distributed development teams are under ev- increasing pressure to deliver their products more quickly and with higher levels of qu- ity. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part of or all development activities, reusing existing software in new or modified applications, and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new and modified processes are emerging, including agile methods and plan-based product line development. Open Source, COTS, and com- nity-developed software are becoming more and more popular. Outsourcing coupled with 24/7 development demands well-defined processes to support the coordination of organizationally¿and geographically¿separated teams. The accepted papers present completed research or advanced work-in-progress in all areas of software and systems development process including: agile software pr- esses, CMMI, novel techniques for software process representation and analysis; process tools and metrics; and the simulation and modeling of software processes. Contributions reflecting real-world experience, or derived directly from industrial or open-source software development and evolution, were particularly welcome.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering.This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007, held in Honolulu, Hawaii in May 2007 as part of AAMAS 2007. The 16 revised full papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The volume contains the papers presented at the workshop, together with papers resulting from discussions on tools and platforms. The papers have been organized into four sections on: methodology and processes, interacting heterogeneous agents, system development issues, and tools and case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held in Banff, Canada, in May 2008. The 28 revised full papers presented together with 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on elliptic curves cryptology and generalizations, arithmetic of elliptic curves, integer factorization, K3 surfaces, number fields, point counting, arithmetic of function fields, modular forms, cryptography, and number theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the fall of 2006, the University of Maryland, along with various government and industrial sponsors, invited leading researchers from all over the world to a two-day Summit on Arabic and Chinese Handwriting Recognition (SACH 2006). The event acted as a complement to the biennial Symposium on Document Image Understanding Technology (SDIUT), providing a focused glimpse into the state of the art in Arabic and Chinese handwriting recognition. It offered a forum for interaction with prominent researchers at the forefront of the scientific community and provided an opportunity for participants to help explore possible directions of the field. This book is a result of the expansion, peer review, and revision of selected papers presented at this meeting. Handwriting recognition remains the Holy Grail of document analysis, and Arabic and Chinese scripts embrace many of the most significant challenges. We are pleased to have 16 scientific papers covering the original topics of handwritten Arabic and Chinese, as well as 2 papers covering other handwritten scripts. We asked each author to not only describe the techniques used in addressing the problem, but to attempt to identify the key research challenges and problems that the community faces. The result is an impressive collection of manuscripts that provide various detailed views of the state of research. In this book, six articles deal directly with Arabic handwriting. ¿ Cheriet provides an overview of the problems of Arabic recognition and how systems can use natural language processing techniques to correct errors in lexicon-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today¿s dynamic market environments. While dynamic binding of services at runtime was identified as a core functionality of service-based environments as far back as 2000, its industrial-strength implementation has yet to be achieved. The main reason for this is the lack of rich service specifications, concepts, and tools to process them.This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic discovery and composition, and illustrates them in a concrete business use case scenario. To prove the validity of the concepts and technologies, a semantic service provisioning reference architecture framework as well as a prototypical implementation of its subsystems and a prototypical realization of a proper business scenario are presented. Thus the book goes way beyond current service-based software technologies by providing a coherent and consistent set of technologies and systems functionality that realizes advanced concepts in service provisioning.Both the use case scenario and the provisioning platform have already been substantiated and implemented by the EU-funded Adaptive Services Grid project. The book therefore presents state-of-the-art research results that have already passed a real industrial implementation evaluation which is based on the work of over 20 European partners cooperating in the field of semantic service provisioning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is ability Testing (SAT) has evolved from a rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci cally, many - portant practical veri cation problems can be rephrased as SAT problems. This applies to veri cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, s- pli ers, tools, case studies, and empirical results. SAT is interpreted in a rather broad sense: besides propositional satis ability, it includes, for example, the - main of quanti ed Boolean formulae (QBF) and satis ability modulo theories (SMT). 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The RSA Conference is the largest regularly-staged computer security event, with over 350 vendors and many thousands of attendees. The Cryptographers¿ Track (CT-RSA) is a research conference within the RSA Conference. CT-RSA began in 2001, and has become one of the major established venues for presenting cryptographic research papers to a wide variety of audiences. CT-RSA 2008 was held in San Francisco, California from April 8 to April 11. The proceedings of CT-RSA 2008 contain 26 papers selected from 95 subm- sions pertaining to all aspects of cryptography. Each submission was reviewed by at least three reviewers, which was made possible by the hard work of 27 P- gram Committee members and many external reviewers listed on the following pages. The papers were selected following a detailed online discussion among the Program Committee members. The program included an invited talk by Sha Goldwasser. The current proceedings include a short abstract of her talk. I would like to express my deep gratitude to the Program Committee m- bers, who volunteered their expertise and hard work over several months, as well as to the external reviewers. Special thanks to Shai Halevi for providing and maintaining the Web review system used for paper submission, reviewing, and nal-version preparation. Finally, I would like to thank Burt Kaliski and Ari Juels of RSA Laboratories, as well as the RSA conference team, especially Bree LaBollita, for their assistance throughout the process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Finally, we strongly believe that this year¿s conference continued the tra- tions of having a high scienti c and technical quality as well as an extensive dialogue on key issues of service availability. May 2008 Fumihiro Maruyama Andras ¿ Pataricza Organization ISAS 2008 was sponsored by the Research Center for Advanced Science and Technology (RCAST), University of Tokyo and Service Availability Forum, in cooperation with IEICE TC on Dependable Computing and GI TC on Depe- ability and Fault Tolerance. Organizing Committee General Chair Takashi Nanya (University of Tokyo, Japan) Program Co-chairs Andras ¿ Pataricza(BudapestUniversityofTechnologyandEconomics,Hungary) Fumihiro Maruyama (Fujitsu Lab. , Japan) Finance Chair H. Nakamura (University of Tokyo, Japan) Local Arrangement Chair M. Imai (University of Tokyo, Japan) Registration Chair M. Kondo (University of Tokyo, Japan) Publicity Chair M. Reitenspieß (Fujitsu Siemens Computers, Germany) Publication Chair M. Malek (Humboldt University, Germany) Web Master H. Okamura (Hiroshima University, Japan) Steering Committee M. Reitenspieß (Fujitsu Siemens Computers, Germany) S. Benlarbi (Alcatel, Canada) T. Dohi (Hiroshima University, Japan) M. Malek (Humboldt University, Germany) D. Penkler (HP, France) F. Tam (Nokia, Finland) X Organization ProgramCommittee A. Avritzer (Siemens, USA) D. Bakken (Washington S. , USA) R. Baldoni (University of Rome, Italy) G. Chockler (IBM, Israel) C. Fetzer (TU Dresden, Germany) F. Fraikin (SDM, Germany) R. Fricks (Motorola, USA) M. Funabashi (Hitachi, Japan) A. Gokhale (Vanderbilt, USA) K. Hidaka (IBM, Japan) M. Hiller (Volvo, Sweden) H. Ichikawa (UEC, Japan) K. Iwasaki (Tokyo Metropolitan University, Japan) Z. Kalbarczyk (UIUC, USA) T.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming in Fortran, C, and C++. Since its introduction in 1997, OpenMP has gained support from most high-performance compiler and hardware vendors. Under the direction of the OpenMP Architecture Review Board (ARB), the OpenMP speci cation has evolved, including the - cent release of Speci cation 3. 0. Active research in OpenMP compilers, runtime systems, tools, and environments drives its evolution, including new features such as tasking. The community of OpenMP researchers and developers in academia and - dustry is united under cOMPunity ( compunity. org). This organaization has held workshops on OpenMP around the world since 1999: the European Wo- shop on OpenMP (EWOMP), the North American Workshop on OpenMP App- cations and Tools (WOMPAT), and the Asian Workshop on OpenMP Experiences and Implementation (WOMPEI) attracted annual audiences from academia and industry. The International Workshop on OpenMP (IWOMP) consolidated these three workshop series into a single annual international event that rotates across the previous workshop sites. The rst IWOMP meeting was held in 2005, in - gene, Oregon, USA. IWOMP 2006 took place in Reims, France, and IWOMP 2007 in Beijing, China. Each workshop drew over 60 participants from research and - dustry throughout the world. IWOMP 2008 continued the series with technical papers, panels, tutorials, and OpenMP status reports. The rst IWOMP wo- shop was organized under the auspices of cOMPunity. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Modern approaches to the study of symplectic 4-manifolds and algebraic surfaces combine a wide range of techniques and sources of inspiration. Gauge theory, symplectic geometry, pseudoholomorphic curves, singularity theory, moduli spaces, braid groups, monodromy, in addition to classical topology and algebraic geometry, combine to make this one of the most vibrant and active areas of research in mathematics. It is our hope that the five lectures of the present volume given at the C.I.M.E. Summer School held in Cetraro, Italy, September 2-10, 2003 will be useful to people working in related areas of mathematics and will become standard references on these topics.The volume is a coherent exposition of an active field of current research focusing on the introduction of new methods for the study of moduli spaces of complex structures on algebraic surfaces, and for the investigation of symplectic topology in dimension 4 and higher. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In this new century mankind faces ever more challenging environmental and publichealthproblems,suchaspollution,invasionbyexoticspecies,theem- gence of new diseases or the emergence of diseases into new regions (West Nile virus,SARS,Anthrax,etc.),andtheresurgenceofexistingdiseases(in uenza, malaria, TB, HIV/AIDS, etc.). Mathematical models have been successfully used to study many biological, epidemiological and medical problems, and nonlinear and complex dynamics have been observed in all of those contexts. Mathematical studies have helped us not only to better understand these problems but also to nd solutions in some cases, such as the prediction and control of SARS outbreaks, understanding HIV infection, and the investi- tion of antibiotic-resistant infections in hospitals. Structuredpopulationmodelsdistinguishindividualsfromoneanother- cording to characteristics such as age, size, location, status, and movement, to determine the birth, growth and death rates, interaction with each other and with environment, infectivity, etc. The goal of structured population models is to understand how these characteristics a ect the dynamics of these models and thus the outcomes and consequences of the biological and epidemiolo- cal processes. There is a very large and growing body of literature on these topics. This book deals with the recent and important advances in the study of structured population models in biology and epidemiology. There are six chapters in this book, written by leading researchers in these areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Embodied agents play an increasingly important role in cognitive interaction technology. The two main types of embodied agents are virtual humans inhabiting simulated environments and humanoid robots inhabiting the real world. So far research on embodied communicative agents has mainly explored their potential for practical applications. However, the design of communicative artificial agents can also be of great heuristic value for the scientific study of communication. It allows researchers to isolate, implement, and test essential properties of inter-agent communications in operational models. Modeling communication with robots and virtual humans thus involves the vision of using communicative machines as research tools. Artificial systems that reproduce certain aspects of natural, multimodal communication help to elucidate the internal mechanisms that give rise to different aspects of communication. In short, constructing embodied agents who are able to communicate may help us to understand the principles of human communication. As a comprehensive theme, ¿Embodied Communication in Humans and Machines¿ was taken up by an international research group hosted by Bielefeld University¿s Center for Interdisciplinary Research (ZiF ¿ Zentrum für interdisziplinäre Forschung) from October 2005 through September 2006. The overarching goal of this research year was to develop an integrated perspective of embodiment in communication, establishing bridges between lower-level, sensorimotor functions and a range of higher-level, communicative functions involving language and bodily action. The present volume grew out of a workshop that took place during April 5¿8, 2006 at the ZiF as a part of the research year on embodied communication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ISBRA 2008, held in Atlanta, GA, USA in May 2008. The 35 revised full papers presented together with 6 workshop papers and 6 invited papers were carefully reviewed and selected from a total of 94 submissions. The papers cover a wide range of topics, including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, pathways, protein structure prediction, protein domain interactions, phylogenetics, and software tools. 536 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -collaboration, or negotiation in order to create exible and fault-tolerant distributed systems for dynamic and uncertain environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -With the rapid development of information technologies and the transition to next-generation networks, computer systems and in particular embedded s- tems are becoming more and more mobile and ubiquitous. They also strongly interact with the physical world. Ensuring the security of these complex and resource-constrained systems is a really challenging research topic. Therefore this Workshop in Information Security Theory and Practices was organized to bring together researchers and practitioners in related areas, and to encourage cooperation between the research and the industrial communities. This was the second edition of WISTP, after the rst event in Heraklion, Greece, in 2007. This year again we had a signi cant number of high-quality submissions coming from many di erent countries. These submissions re ected the major topics of the conference, i. e. , smart devices, convergence, and ne- generation networks. Submissions were reviewed by at least three reviewers, in most cases by four, and at least by ve for the papers involving Program C- mittee members. This long and rigorousprocess could be achievedthanks to the hard work of the Program Committee members and additional reviewers, listed in the following pages. This led to the selection of high-quality papers that made up the workshop program and are published in these proceedings. A number of posters and short papers were also selected for presentation at the conference. The process was very selective and we would like to thank all those authors who submitted contributions that could not be selected. 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On behalf of the Organizing Committee for Pervasive 2008, welcome to the proceedings of the 6th International Conference on Pervasive Computing. The year2008wasthesecondtimeinasmanyyearsthatthePervasiveconferencehas attempted to ¿globalize¿: For the second year in a row the conference was held outside of Europe. The conference is seen as one of the most respected venues for publishing researchon pervasive and ubiquitous computing and captures the state of the art in pervasive computing research. In 2008, as in previous years, the proceedings present solutions for challenging research problems and help to identify upcoming research opportunities. Pervasive 2008 attracted 114 high-quality submissions, from which the Te- nical Program Committee accepted 18 papers, resulting in a competitive 15. 8% acceptance rate. There were over 335 individual authors from 27 countries,c- ing from a wide range of disciplines and from both academic and industrial organizations. Papers were selected solely on the quality of their peer reviews using a double-blind review process. The review process was carried out by 38 members of the international Technical ProgramCommittee (TPC) who are - perts of international standing. The TPC members were aided by 104 external reviewers. It wasa rigorousreviewprocess,in whicheachpaper had atleastfour reviews: three reviews provided by by the Committee members and one review written by an external reviewer. The reviews were followed by a substantive - liberation on each paper during an electronic discussion phase before the start of the Committee meeting. 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the post-proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS 2007), the fth of a series of workshops that is attracting increasing attention from researchersand practitioners in multi-agent systems. Multi-agent systems (MAS) constitute a promising software development paradigm for complex and distributed applications. The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to the development of industrial-strength software. In particular, ProMAS aims to address the technologies that are required for - plementing multi-agentsystems designs or speci cations e ectively. We promote the discussion and exchangeof ideas on principles, concepts, requirements, te- niques,andtoolsthatareessentialforprogrammingapproachesandte chnologies speci cally devised for MAS. Theidea oforganizingthe rstworkshopofthe series was rstdiscussedd- ing the Dagstuhl seminar ¿ProgrammingMulti-Agent Systems Based onLogic¿, where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, thus giving the current scope and aims of ProMAS. After four very successful editions of the ProMAS workshop series, which took place at AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005(Utrecht,The Netherlands), and AAMAS 2006(Hakodate, Japan), the fth edition took place on May 14 in Honolulu, Hawai¿i, in c- junction with AAMAS 2007, the main international conference on autonomous agents and MAS. ProMAS 2007 received 17 submissions. These were reviewed by members of the Program Committee, and 11 papers were accepted.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the past few years, with the advances in microelectronics and digital te- nology, cameras became a widespread media. This, along with the enduring increase in computing power boosted the development of computer vision s- tems. The International Conference on Computer Vision Systems (ICVS) covers the advances in this area. This is to say that ICVS is not and should not be yet another computer vision conference. The eld of computer vision is fully covered by many well-established and famous conferences and ICVS di ers from these by covering the systems point of view. ICVS 2008 was the 6th International Conference dedicated to advanced research on computer vision systems. The conference, continuing a series of successful events in Las Palmas, Vancouver, Graz, New York and Bielefeld, in 2008 was held on Santorini. In all, 128 papers entered the review process and each was reviewed by three independent reviewers using the double-blind review method. Of these, 53 - pers were accepted (23 as oral and 30 as poster presentation). There were also two invited talks by P. Anandan and by Heinrich H. Bultho ¿ . The presented papers cover all aspects of computer vision systems, namely: cognitive vision, monitor and surveillance, computer vision architectures, calibration and reg- tration, object recognition and tracking, learning, human¿machine interaction and cross-modal systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book is based on the best papers presented at the 8th Conference on Arti- 1 cial Evolution, EA 2007, held in Tours (France). Previous EA meetings took place in Lille (2005), Marseille (2003), Le Creusot (2001), Dunkerque (1999), Nimes (1997), Brest (1995), and Toulouse (1994). Authors were invited to present original work relevant to arti cial evo- tion, including, but not limited to: evolutionary computation, evolutionary - timization, co-evolution, arti cial life, population dynamics, theory, algori- mics and modeling, implementations, application of evolutionary paradigms to the real world (industry, biosciences, .), other biologically inspired paradigms (swarm,arti cialants,arti cialimmunesystems,.),memeticalgorithms,mul- objective optimization, constraint handling, parallel algorithms, dynamic op- mization, machine learning and hybridization with other soft computing techniques. Papers submitted to the conference were reviewed by at least three members of the International ProgramCommittee, and 30 out of the 62 submissions were selected to be presented at the Conference. As for the previous editions (see, in the samecollection,volumes1063,1363,1829,2310,2936,and3871),27ofthose paperswere revisedaccordingto the reviewers¿comments,and arenowincluded in this volume, resulting in a 43.5% acceptance rate for this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, IWPEC 2008, held in Victoria, Canada, in May 2008 - co-located with the 40th ACM Symposium on Theory of Computing, STOC 2008. The 17 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 32 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized computation, implementation and experiments, high-performance computing and fixed-parameter tractability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.