springer berlin heidelberg springer berlin heidelberg sep 2008 (293 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This volume introduces an entirely new pseudodifferential analysis on the line, the opposition of which to the usual (Weyl-type) analysis can be said to reflect that, in representation theory, between the representations from the discrete and from the (full, non-unitary) series, or that between modular forms of the holomorphic and substitute for the usual Moyal-type brackets. This pseudodifferential analysis relies on the one-dimensional case of the recently introduced anaplectic representation and analysis, a competitor of the metaplectic representation and usual analysis.Besides researchers and graduate students interested in pseudodifferential analysis and in modular forms, the book may also appeal to analysts and physicists, for its concepts making possible the transformation of creation-annihilation operators into automorphisms, simultaneously changing the usual scalar product into an indefinite but still non-degenerate one.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this volume, the authors construct a theory of weights on the log crystalline cohomologies of families of open smooth varieties in characteristic p>0, by defining and constructing four filtered complexes. Fundamental properties of these filtered complexes are proved, in particular the p-adic purity, the functionality of three filtered complexes, the weight-filtered base change formula, the weight-filtered Künneth formula, the weight-filtered Poincaré duality, and the E2-degeneration of p-adic weight spectral sequences. In addition, the authors state some theorems on the weight filtration and the slope filtration on the rigid cohomology of a separated scheme of finite type over a perfect field of characteristic p>0.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Information wird im betrieblichen Kontext überwiegend durch die Ressource 'Daten' bestimmt. Das Buch vermittelt auf anschauliche Weise, wie Daten entstehen, wie sie systematisiert und aufgebaut sind und welche betriebswirtschaftliche Bedeutung sie haben. Damit werden erstmals sowohl die betriebswirtschaftlichen als auch die methodischen Grundlagen des Produktionsfaktors Information behandelt. Die grafische Umsetzung erfolgt mit der Unified Modelling Language (UML). Darüber hinaus wird das Konzept der Extensible Markup Language (XML) vorgestellt. 256 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -These proceedings contain the papers selected for presentation at the 13th European Symposium on Research in Computer Security¿¿ESORICS 2008¿¿held October 6¿8, 2008 in Torremolinos (Malaga), Spain, and hosted by the University of Malaga, C- puter Science Department. ESORICS has become the European research event in computer security. The symposium started in 1990 and has been organized on alternate years in different European countries. From 2002 it has taken place yearly. It attracts an international audience from both the academic and industrial communities. In response to the call for papers, 168 papers were submitted to the symposium. These papers were evaluated on the basis of their significance, novelty, and technical quality. Each paper was reviewed by at least three members of the Program Comm- tee. The Program Committee meeting was held electronically, holding intensive d- cussion over a period of two weeks. Finally, 37 papers were selected for presentation at the symposium, giving an acceptance rate of 22%.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The general idea that brains anticipate the future, that they engage in prediction, and that one means of doing this is through some sort of inner model that can be run of ine,hasalonghistory. SomeversionoftheideawascommontoAristotle,aswell as to many medieval scholastics, to Leibniz and Hume, and in more recent times, to Kenneth Craik and Philip Johnson-Laird. One reason that this general idea recurs continually is that this is the kind of picture that introspection paints. When we are engaged in tasks it seems that we form images that are predictions, or anticipations, and that these images are isomorphic to what they represent. But as much as the general idea recurs, opposition to it also recurs. The idea has never been widely accepted, or uncontroversial among psychologists, cognitive scientists and neuroscientists. The main reason has been that science cannot be s- is ed with metaphors and introspection. In order to gain acceptance, an idea needs to be formulated clearly enough so that it can be used to construct testable hypot- ses whose results will clearly supportor cast doubtupon the hypothesis. Next, those ideasthatare formulablein one oranothersortof symbolismor notationare capable of being modeled, and modeling is a huge part of cognitive neuroscience. If an idea cannot be clearly modeled, then there are limits to how widely it can be tested and accepted by a cognitive neuroscience community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Zustand: Neu. Neuware -The evolution of technology has set the stage for the rapid growth of the video Web: broadband Internet access is ubiquitous, and streaming media protocols, systems, and encoding standards are mature. In addition to Web video delivery, users can easily contribute content captured on low cost camera phones and other consumer products. The media and entertainment industry no longer views these developments as a threat to their established business practices, but as an opportunity to provide services for more viewers in a wider range of consumption contexts. The emergence of IPTV and mobile video services offers unprecedented access to an ever growing number of broadcast channels and provides the flexibility to deliver new, more personalized video services. Highly capable portable media players allow us to take this personalized content with us, and to consume it even in places where the network does not reach. Video search engines enable users to take advantage of these emerging video resources for a wide variety of applications including entertainment, education and communications. However, the task of information extr- tion from video for retrieval applications is challenging, providing opp- tunities for innovation. This book aims to first describe the current state of video search engine technology and second to inform those with the req- site technical skills of the opportunities to contribute to the development of this field. Today¿s Web search engines have greatly improved the accessibility and therefore the value of the Web.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Automatic course generation is a very important area of research with numerous practical applications in e-learning. It has been studied since the 1980s within the fields of intelligent tutoring, AI and education, adaptive hypermedia and web-based educational systems. Many approaches have been proposed, but hardly any have resulted in generic and practically applied systems. A number of problems have remained unresolved. These problems are addressed by this work.This book focuses on course generation based on Hierarchical Task Network planning (HTN planning). This course generation framework enables the formalization and application of complex and realistic pedagogical knowledge. The volume describes basic techniques for course generation, which are used to formalize seven different types of courses (for instance, introducing the learner to previously unknown concepts and supporting the learner during rehearsal) and several elementary learning goals (e.g., selecting an appropriate example or exercise). This framework has been implemented and evaluated with good results in several domains, with users from different countries and universities, in the context of an EU project.Course generation based on HTN planning is implemented in PAIGOS and has been evaluated by technical, formative and summative evaluations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 18th International Conference on Inductive Logic Programming was held in Prague, September 10¿12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus, we were glad to see in this year¿s proceedings a good n- ber of papers contributing to areas such as statistical relational learning, graph mining, or the semantic web. To help open ILP to more mainstream research areas, the conference featured three excellent invited talks from the domains of the semantic web (Frank van Harmelen), bioinformatics (Mark Craven) and cognitive sciences (Josh Tenenbaum). We deliberately looked for speakers who are not directly involved in ILP research. We further invited a tutorial on stat- tical relational learning (Kristian Kersting) to meet the strong demand to have the topic presented from the ILP perspective. Lastly, Stefano Bertolo from the European Commission was invited to give a talk on the ideal niches for ILP in the current EU-supported research on intelligent content and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008. The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Stochastic calculus and excursion theory are very efficient tools to obtain either exact or asymptotic results about Brownian motion and related processes. The emphasis of this book is on special classes of such Brownian functionals as: Gaussian subspaces of the Gaussian space of Brownian motion; Brownian quadratic funtionals; Brownian local times Exponential functionals of Brownian motion with drift; Winding number of one or several Brownian motions around one or several points or a straight line, or curves; Time spent by Brownian motion below a multiple of its one-sided supremum.Besides its obvious audience of students and lecturers the book also addresses the interests of researchers from core probability theory out to applied fields such as polymer physics and mathematical finance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held in Malaga, Spain, in October 2008. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers discuss specific aspects of combinations of metaheuristics and other solving techniques for tackling particular relevant constrained optimization problems, such as fiber optic networks, time tabling and freight train scheduling problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Zustand: Neu. Neuware -'The Testing Network' presents an integrated approach to testing based on cutting-edge methodologies, processes and tools in today's IT context. It means complex network-centric applications to be tested in heterogeneous IT infrastructures and in multiple test environments (also geographically distributed). The added-value of this book is the in-depth explanation of all processes and relevant methodologies and tools to address this complexity. Main aspects of testing are explained using TD/QC - the world-leader test platform.This up-to-date know-how is based on real-life IT experiences gained in large-scale projects of companies operating worldwide. The book is abundantly illustrated to better show all technical aspects of modern testing in a national and international context. The author has a deep expertise by designing and giving testing training in large companies using the above-mentioned tools and processes. 'The Testing Network' is a unique synthesis of core test topics applied in real-life.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is a pleasure to welcome you to the proceedings of the second International Castle Meeting on Coding Theory and its Applications, held at La Mota Castle in Medina del Campo. The event provided a forum for the exchange of results and ideas, which we hope will foster future collaboration. The rst meeting was held in 1999, and, encouraged by that experience, we now intend to hold the meeting every three years. Springer kindly accepted to publish the proceedings volume you have in your hands in their LNCS series. The topics were selected to cover some of the areas of research in Coding Theory that are currently receiving the most attention. The program consisted of a mixture of invited and submitted talks, with the focus on quality rather than quantity. A total of 34 papers were submitted to themeeting.Afteracarefulreviewprocessconductedbythescienti ccommittee aided by external reviewers, we selected 14 of these for inclusion in the current volume, along with 5 invited papers. The program was further augmented by the remaining invited papers in addition to papers on recent results, printed in a separate volume. We would like to thank everyone who made this meeting possible by helping with the practical and scienti c preparations: the organization committee, the scienti c committee, the invited speakers, and the many external reviewers who shall remain anonymous. I would especially like to mention the General Advisor ofthe meeting, ØyvindYtrehus.Finally Iextend mygratitudeto allthe authors and participants who contributed to this meeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In the United States about 50 million people sufer from recurrent or chronic pain, and nearly 10% of adults take medication for pain daily. Further, the disease burden of pain is expected to grow, relative to other illnesses and conditions. Despite the advances in pain medicine, most physicians are not - equately trained to treat chronic or even acute pain. As in other felds of medicine, pain medicine has long been dominated by expert op- ion relying on personal expertise, and only recently has a systematic evaluation of treatments in the terms of ¿evidence-based medicine¿ been performed. And also as in other felds of medicine, a lot can be achieved in pain medicine when certain basic diagnostic and therapeutic pathways are f- lowed correctly; more than can be achieved when only a few specialists are able to treat these conditions. ¿Standard operating procedures¿ (SOPs) are supposed to be concise practical aids for clinicians, standardizing treatments, diagnostic pa- ways and procedures in one of sometimes many possible ways. Although based on the available evidence, they are not evidence-based guidelines and are not supposed to replace such guidelines. On one hand, eviden- based medicine ofen leaves many options open, since in many cases the available evidence is not sufcient to recommend a specifc option. On the other hand, there might be reasons due to clinical practice (e. g.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2008, held in Aveiro, Portugal, in September 2008. The 21 revised full papers and 16 revised short papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on speech analysis; ontologies, semantics and anaphora resolution; speech synthesis; machine learning applied to natural language processing; speech recognition and applications; natural language processing tools and applications; posters.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A major theme of this book is the development of a consistent unified model framework for the evaluation of bond options. In general options on zero bonds (e.g. caps) and options on coupon bearing bonds (e.g. swaptions) are linked by no-arbitrage relations through the correlation structure of interest rates. Therefore, unspanned stochastic volatility (USV) as well as Random Field (RF) models are used to model the dynamics of entire yield curves. The USV models postulate a correlation between the bond price dynamics and the subordinated stochastic volatility process, whereas Random Field models allow for a deterministic correlation structure between bond prices of different terms. Then the pricing of bond options is done either by running a Fractional Fourier Transform or by applying the Integrated Edgeworth Expansion approach. The latter is a new extension of a generalized series expansion of the (log) characteristic function, especially adapted for the computation of exercise probabilities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Buch. Zustand: Neu. Neuware -Containing a synopsis of national bases of jurisdication (one of the first of its kind) international law is presented here through litigation. Legal procedures determine what the law is. The great variety of procedures which determine international law including diplomatic means are comprehensively examined. This perspective is original and helps to explain foreign policy expediences and conflicting prescriptive rules. Written as an academic study the book is also meant to benefit those practising in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Buch. Zustand: Neu. Neuware -Digital networking technologies are empowering organizations to form dynamic networks, generating exceptional or ¿smart¿ results. These Smart Business Networks (SBNs) enable individual organizations to compete more effectively and to respond better to a changing world. This idea attracted a diverse group of academic scholars and business professionals to Beijing from May 19-23, 2008, hosted by Tsinghua University. They discovered new ways to manage network resources, operate business processes across a network, create a business operations platform, understand the importance of network position and the smart mastering of technology. Effective managers, they concluded, must have a firm understanding of these fundamental network concepts in order to orchestrate the networks of the future. This book presents the results of an intense and energizing event which resulted in new theoretical foundations and practical insights.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Recent technological advances have enabled the large-scale adoption of d- grams in a diverse range of areas. Increasingly sophisticated visual represen- tions are emerging and, to enable e ective communication, insight is required into how diagrams are used and when they are appropriate for use. The per- sive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the eld of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualizations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams. The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour.Diagrams 2008 was the fth event in this conf- ence series, which was launched in Edinburghduring September 2000.Diagrams attracts a large number of researchers from virtually all related elds, placing the conference as a major international event in the area. Diagrams is the only conference that provides a united forum for all areas that are concerned with the study of diagrams: for example, architecture, - ti cial intelligence, cartography, cognitive science, computer science, education, graphicdesign,historyofscience,human-computerinteraction,linguistics,logic, mathematics,philosophy,psychology,andsoftwaremodelling.Weseeissuesfrom all of these elds discussed in the papers collected in the present volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Embedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include missi- and business-critical scenarios. The advances call for a variety of compelling - sues, including dependability, real-time, quality-of-service, autonomy, resource constraints, seamless interaction, middleware support, modeling, veri cation, validation, etc. The International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) brings together experts in the eld of emb- ded and ubiquitous computing systems with the aim of exchanging ideas and advancing the state of the art about the above-mentioned issues. I was honored to chair the sixth edition of the workshop, which continued the tradition of past editions with high-quality research results. I was particularly pleased to host the workshop in the wonderful scenario of Capri, with its stunning views and traditions. The workshop started in 2003 as an IEEE event, and then in 2007 it became a agship event of the IFIP Working Group 10.2 on embedded systems. The last few editions, held in Hakodate (Japan), Vienna (Austria), Seattle (USA), Gyeongju (Korea), and Santorini (Greece), were co-located with the IEEE - ternationalSymposiumonObject/Component/Service-OrientedReal-TimeD- tributed Computing (ISORC). This year, SEUS was held as a stand-alone event for the rst time, and, - spite the additionalorganizationaldi culties, it resultedina high-qualityevent, with papers from four continents (from USA, Europe, East Asia and Australia), (co-) authored and presented from senior scientists coming from academia or leading industrial research centers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Sequences and Their Applications, SETA 2008, held in Lexington, KY, USA in September 2008. The 32 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial and algebraic foundations; security aspects of sequences; algorithms; correlation of sequences over rings; nonlinear functions over finite fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Buch. Zustand: Neu. Neuware -¿As projects get more complicated, managers stop learning from their - perience. It is important to understand how that happens and how to change it¿. Fallible estimates: In software development, initial estimates for a project shape the trajectory of decisions that a manager makes over its life. For ex- ple, estimates of the productivity of the team members influence decisions about the size of the team, which in turn affect the team¿s actual output. The trouble is that initial estimates usually turn out to be wrong. ¿ (Sengupta, 2008) This book aims directly to increase the awareness among managers and practitioners that estimation is as important as the work to be done in so- ware and systems development. You can manage what you can measure! Readers will find in this book a collection of lessons learned from the worldwide ¿metrics community,¿ which we have documented and enhanced with our own experiences in the field of software measurement and estimating. Our goal is to support our readers to harvest the benefits of estimating and - prove their software development processes. We present the 5 ISO/I- acknowledged Functional Sizing Methods with variants, experiences, counting rules, and case studies ¿ and most importantly, illustrate through practical - amples how to use functional size measurement to produce realistic estimates. The book is written in a practical manner, especially for the busy practitioner community. It is aimed to be used as a manual and an assistant for everyday work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2008),which was held September 25-26, 2008 on the island of Samos, Greece. DSOM 2008 was the 19th event in a series of annual workshops. It followed in the footsteps of previous s- cessful meetings, the most recent of which were held in San Jos¿ e, California, USA (DSOM 2007), Dublin, Ireland (DSOM 2006), Barcelona, Spain (DSOM 2005), Davis, California, USA (DSOM 2004), Heidelberg, Germany (DSOM 2003), and Montreal, Canada (DSOM 2002). The goal of the DSOM workshops is to bring together researchers from industry and academia working in the areas of n- works, systems, and service management, to discuss recent advances and foster future growth. In contrast to the larger management conferences, such as IM (Integrated Network Management) and NOMS (Network Operations and M- agement Symposium), DSOM workshops have a single-track program in order to stimulate more intense interaction among participants. The theme of DSOM 2008 was ¿Managing Large-Scale Service Deployment¿ focusing both on management of overlay networks and on virtualized service - frastructures. The concepts of abstract overlays and virtualization constitute key contributors for e cient large-scale service deployment and testing. Scalable - stract overlay networks accompanied with appropriate management techniques o er exibility for future service deployment and consumption with high qu- ity of experience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In the post-genomic era, a holistic understanding of biological systems and p- cesses,inalltheircomplexity,is criticalincomprehendingnature¿schoreography of life. As a result, bioinformatics involving its two main disciplines, namely, the life sciences and the computational sciences, is fast becoming a very promising multidisciplinary research eld. With the ever-increasing application of lar- scalehigh-throughputtechnologies,suchasgeneorproteinmicroarraysandmass spectrometry methods, the enormous body of information is growing rapidly. Bioinformaticians are posed with a large number of di cult problems to solve, arising not only due to the complexities in acquiring the molecular infor- tion but also due to the size and nature of the generated data sets and/or the limitations of the algorithms required for analyzing these data. Although the eld of bioinformatics is still in its embryonic stage, the recent advancements in computational and information-theoretic techniques are enablingus to c- ductvariousinsilicotestingandscreeningofmanylab-basedexperimentsb efore these are actually performed in vitro or in vivo. These in silico investigations are providing new insights for interpretation and establishing a new direction for a deeper understanding. Among the various advanced computational methods currently being applied to such studies, the pattern recognition techniques are mostly found to be at the core of the whole discovery process for apprehending the underlying biological knowledge. Thus, we can safely surmise that the - going bioinformatics revolution may, in future, inevitably play a major role in many aspects of medical practice and/or the discipline of life sciences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Buch. Zustand: Neu. Neuware -Iusethetermlogicalandrelationallearning torefertothesub eldofarti cial intelligence,machinelearninganddataminingthatisconcernedwithlearning in expressive logical or relational representations. It is the union of inductive logic programming, (statistical) relational learning and multi-relational data mining, which all have contributed techniques for learning from data in re- tional form. Even though some early contributions to logical and relational learning are about forty years old now, it was only with the advent of - ductive logic programming in the early 1990s that the eld became popular. Whereas initial work was often concerned with logical (or logic programming) issues,thefocushasrapidlychangedtothediscoveryofnewandinterpretable knowledge from structured data, often in the form of rules, and soon imp- tant successes in applications in domains such as bio- and chemo-informatics and computational linguistics were realized. Today, the challenges and opp- tunities of dealing with structured data and knowledge have been taken up by the arti cial intelligence community at large and form the motivation for a lot of ongoing research. Indeed, graph, network and multi-relational data mining are now popular themes in data mining, and statistical relational learning is receiving a lot of attention in the machine learning and uncertainty in art- cial intelligence communities. In addition, the range of tasks for which logical and relational techniques have been developed now covers almost all machine learning and data mining tasks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008. The 36 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 102 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory and logic; bio-inspired computing; quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the IEEE Communications Society, Technical Committee on N- work Operations and Management (CNOM), Manweek 2008 Organizing C- mittee, and members of the IPOM Technical Program Committee, it is our pleasureto present the proceedings of the 8th IEEE Workshop on IP Operations and Management(IPOM 2008),heldaspartofManweek2008duringSeptember 22¿26, 2008, on Samos, Greece. ThecurrentInternetisalarge-scaledistributedsystemwhosesub-components suchasaddressing,protocols,algorithms,services,need to scalein time withthe rapid growth of Internet tra c volumes. Moreover, there is a high level of int- action between di erent subcomponents of the Internet sometimes in undesired ways ¿ for example, denial of service attacks can jeopardize the operation of a commercial network. With these challenges in place, operations and mana- ment of IP networks have become increasingly important. This necessitates a good understanding of the emerging technical and scienti c problems in the current Internet, and lessons from such understanding will be particularly - portant for future Internet design and management. Building on the success of the previous events, we wanted IPOM 2008 to focus on network management challenges for the current Internet as well as on future Internet design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held in Prague, Czech Republic, in September 2008. The 28 revised full papers and 14 revised poster papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on evolution of analog circuits, evolution of digital circuits, hardware-software codesign and platforms for adaptive systems, evolutionary robotics, development, real-world applications, evolutionary networking, evolvable artificial neural networks, and transistor-level circuit evolution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008), which was held on Samos, Greece during September 22¿26 as part of the 4th International Week on Management of Networks and Services (Manweek 2008). As in the previous three years, the Manweek umbrella - lowed an international audience of researchers and scientists from industry and academia ¿ who are researching and developing management systems ¿ to share views and ideas and present their state-of-the-art results. The other events co-located with Manweek 2008 were the 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2008), the 8th IEEE Workshop on IP Operations and Management (IPOM2008), the Third IEEE International Workshop on Modeling Autonomic CommunicationsEnvironments(MACE2008),the4thIEEE/IFIPInternational Workshop on End-to-End Virtualization and Grid Management (EVGM 2008) andthe5thInternationalWorkshoponNext-GenerationNetworkingMiddleware (NGNM 2008). Under this umbrella, MMNS again proved itself as a top public venue for dissemination of results and intellectual collaboration with speci c emphasis on the management of emerging mobile and wireless networks. The objective of the conference is to bring together researchers and scientists from academia and industry interested in state-of-the-artmanagementof convergedmultimedia networks and services across heterogeneous networking infrastructures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.