springer berlin heidelberg springer berlin heidelberg dez 2008 (239 résultats)

Taschenbuch. Etat : Neu. Neuware -Recently much attention has been devoted to the optimization of transportation networks in a given geographic area. One assumes the distributions of population and of services/workplaces (i.e. the network's sources and sinks) are known, as well as the costs of movement with/without the network, and the cost of constructing/maintaining it. Both the long-term optimization and the short-term, 'who goes where,' optimization are considered. These models can also be adapted for the optimization of other types of networks, such as telecommunications, pipeline or drainage networks. In the monograph we study the most general problem settings, namely, when neither the shape nor even the topology of the network to be constructed is known a priori.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Buch. Etat : Neu. Neuware -Supply Chain Management (SCM) is not a buzzword like many others in management and IT - it is here to stay. 'Megatrends' such as globalization and increasing specialization result in a complex division of labor at national and international levels. Lean and agile supply chains have become a major management target, and the interorganizational coordination of business processes has become highly relevant. The complexity of today's supply chains cannot be mastered without the support of powerful information systems. SAP has established itself as the market leader in this type of IT systems. The book describes SCM using a pyramidal framework and relates it to the SAP SCM Solution Map. Desired features of IT support for SCM are formulated, and the extent to which SAP systems provide these features is shown. We describe the functionalities of SAP APO¿ in detail, present case studies on implementing and running SAP SCM¿ systems, and discuss SCM aspects of the new SAP Business ByDesign¿ approach.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Etat : Neu. Neuware -Visualization research aims to provide insight into large, complicated data sets and the phenomena behind them. While there are di erent methods of reaching this goal, topological methods stand out for their solid mathem- ical foundation, which guides the algorithmic analysis and its presentation. Topology-based methods in visualization have been around since the beg- ning of visualization as a scienti c discipline, but they initially played only a minor role. In recent years,interest in topology-basedvisualization has grown andsigni cantinnovationhasledto newconceptsandsuccessfulapplications. The latest trends adapt basic topological concepts to precisely express user interests in topological properties of the data. This book is the outcome of the second workshop on Topological Methods in Visualization, which was held March 4¿6, 2007 in Kloster Nimbschen near Leipzig,Germany.Theworkshopbroughttogethermorethan40international researchers to present and discuss the state of the art and new trends in the eld of topology-based visualization. Two inspiring invited talks by George Haller, MIT, and Nelson Max, LLNL, were accompanied by 14 presentations by participants and two panel discussions on current and future trends in visualization research. This book contains thirteen research papers that have been peer-reviewed in a two-stage review process. In the rst phase, submitted papers where peer-reviewed by the international program committee. After the workshop accepted papers went through a revision and a second review process taking into account comments from the rst round and discussions at the workshop. Abouthalfthepapersconcerntopology-basedanalysisandvisualizationof uid owsimulations;twopapersconcernmoregeneraltopologicalalgorithms, while theremaining papers discuss topology-based visualization methods in application areas like biology, medical imaging and electromagnetism.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008) took place in Van Mildert College at Durham University, UK, 30 June ¿ 2 July 2008. The approximately 80 participants came from va- ous countries all over the world, among them Australia, Brazil, Canada, Chile, Czech Republic, France, Greece, Hungary,Israel, Italy, Japan, The Netherlands, Norway, Poland, Spain, Switzerland, UK and the USA. WG 2008 continued the series of 33 previous WG conferences. Since 1975, the WG conference has taken place 21 times in Germany, four times in The Netherlands, twice in Austria as well as once in Italy, Slovakia, Switzerland, the Czech Republic, France, Norway and now in the UK. The WG conference traditionally aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from applications. The goal is to present recent researchresults and to identify and exploredirections of future research. The continuing interest in the WG conferences was re ected in the number and quality of submissions; 76 papers were submitted and in an evaluation p- cess with four reports per submission, 30 papers were accepted by the Program Committee for the conference. Due to the high number of submissions and the limited schedule of 3 days, various good papers could not be accepted. Therewereexcellent invited talks by Giuseppe Di Battista(UniversitàRoma Tre,Italy)onalgorithmicaspectsof(un)-stableroutingintheInternet,byLeszek G sieniec (University of Liverpool, UK) on memory-e cient graph exploration, andbyMartinGrohe(Humboldt-UniversitätzuBerlin,Germany)onalgorithmic meta theorems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Declarative languages have long promised the ability to rapidly create easily maintainable software for complex applications. The International Symposium of Practical Aspects of Declarative Languages (PADL) provides a yearly - rum for presenting results on the principles the implementations and especially the applications of declarative languages. The PADL symposium held January 19¿20, 2009 in Savannah, Georgia was the 11th in this series. This year 48 papers were submitted from authors in 17 countries. The P- gram Committee performed outstandingly to ensure that each of these papers submitted to PADL 2009 was thoroughly reviewed by at least three referees in a short period of time. The resulting symposium presented a microcosm of how the current generation of declarative languages are being used to address real applications, along with on-going work on the languages themselves. The program also included two invited talks, ¿Inspecting and Preferring Abductive Models¿ by Luis Moniz Pereira and ¿Applying Declarative Languages to C- mercial Hardware Design¿ by Je Lewis. Regular papers presented a variety of applications, including distributed applications over networks, network veri - tion, user interfaces, visualization in astrophysics, nucleotide sequence analysis and planning under incomplete information. PADL 2009 also included ongoing work on the declarative languages themselves. Multi-threaded and concurrent Prolog implementation was addressed in several papers, as were innovations for tabling in Prolog and functional arraysin Haskell. Recent applications have also sparked papers on meta-predicates in Prolog and a module system for ACL2.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2008. The 30 papers presented were carefully reviewed and selected from numerous submission. The topics covered are groupware solutions, co-located groups, groupware for health care, collaborative systems development, collaborative emergency response, groupware approaches, patterns of collaboration, thinklets-based process design, mobile applications, knowledge and learning, groupware technologies, and collaborative modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Self-Organizing Systems, IWSOS 2008, held in Vienna, Austria, December 10-12, 2008. The 20 revised full papers and 13 revised short papers presented were carefully selected from the 70 full and 24 short paper submissions from authors from 33 different countries. The papers are organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. Following its long-established tradition, the workshop focused on topics at the frontierofresearchanddevelopmentinlanguages,optimizingcompiler s,appli- tions, and programming models for high-performance computing. While LCPC continues to focus on parallel computing, the 2008 edition included the pres- tation of papers on program analysis that are precursors of high performance in parallel environments. LCPC 2008 received 35 paper submissions. Eachpaper received at least three independent reviews, and then the papers and the referee comments were d- cussed during a Program Committee meeting. The PC decided to accept 18 papers as regular papers and 6 papers as short papers. The short papers appear at the end of this volume. The LCPC 2008 program was fortunate to include two keynote talks. Keshav Pingali¿s talk titled ¿Amorphous Data Parallelism in Irregular Programs¿ - gued that irregular programs have data parallelism in the iterative processing of worklists. Pingali described the Galois system developed at The University of Texas at Austin to exploit this kind of amorphous data parallelism. The second keynote talk, ¿Generic ParallelAlgorithms in Threading Building Bocks (TBB),¿ presented by Arch Robison from Intel Corporation addressed very practical aspects of using TBB, a production C++ library, for generic p- allel programming and contrasted TBB with the Standard Template Library (STL).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the papers from BIOWIRE 2007, the first in a series of wo- shops on the bio-inspired design of networks, and additional papers contributed from the research area of bio-inspired computing and communication. The workshop took place at the University of Cambridge during April 2¿5, 2007 with sponsorship from the US/UK International Technology Alliance in Network and Information Sciences. Its objective was to present, discuss and explore the recent developments in the field of bio-inspired design of networks, with particular regard to wireless networks and the self-organizing properties of biological networks. The workshop was organized by Jon Crowcroft (University of Cambridge), Don Towsley (University of Massachusetts), Dinesh Verma (IBM T. J. Watson Research Center), Vasilis Pappas (IBM T. J. Watson Research Center), Ananthram Swami (ARL), Tom McCutcheon (DSTL) and Pietro Liò (University of Cambridge). The program for BIOWIRE 2007 included 54 speakers covering a diverse range of topics, categorized as follows: 1. Self-organized communication networks in insects 2. Neuronal communications 3. Bio-computing 4. Epidemiology 5. Network theory 6. Wireless and sensorial networks 7. Brain: models of sensorial integration The BIOWIRE workshop focuses on achieving a common ground for knowledge sharing among scientists with expertise in investigating the application domain (e. g. , biological, wireless, data communication and transportation networks) and scientists with relevant expertise in the methodology domain (e. g. , mathematics and statistical physics of networks).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -people volunteer their time and energy and work in a dedicated fashion to pull everything together each year, including our very supportive Steering Comm- tee members led by Sukumar Ghosh. However, the success of ICDCN is mainly due to the hard work of all those people who submit papers and/or attend the conference. We thank you all. January 2009 Prasad Jayanti Andrew T. Campbell Message from the Technical Program Chairs Welcome to the proceedings of the 10thInternationalConferenceon Distributed Computing and Networking (ICDCN) 2009. As ICDCN celebrates its 10th - niversary,ithasbecomeanimportantforumfordisseminatingthelatestresearch results in distributed computing and networking. We received 179 submissions from all over the world, including Algeria, A- tralia, Canada, China, Egypt, France, Germany, Hong Kong, Iran, Italy, Japan, Malaysia, The Netherlands, Poland, Singapore, South Korea, Taiwan, and the USA, besides India, the host country. The submissions were read and evaluated by the Program Committee, which consisted of 25 members for the Distributed Computing Track and 28 members for the Networking Track, with the ad- tional help of external reviewers. The Program Committee selected 20 regular papers and 32 short papers for inclusion in the proceedings and presentation at the conference. We were fortunate to have several distinguished scientists as keynote speakers. Andrew Campbell (Dartmouth College, USA), Maurice Herlihy (Brown University, USA), and P. R. Kumar (University of of Illinois, Urbana-Champaign) delivered the keynote address. Krithi Ramamritham from IIT Bombay, India, delivered the A. K. Choudhury Memorial talk.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2. 2. 1 TheImplicitlyRestartedArnoldiMethod. . . . . . . . . . . . . . . . 19 2. 2. 2 TheParallelizationwithMPI . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2. 2. 3 ThePerformanceoftheModel. . . . . . . . . . . . . . . . . . . . . . . . . 21 3 TheFreeOscillations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. 1 GravitationalModes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. 1. 1 The value. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 1. 2 TheIn uenceoftheLSA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 1. 3 TheAntarcticKelvinWave. . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3. 1. 4 NewModes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3. 1. 5 TheSlowestModes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3. 2 VorticityModes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3. 2. 1 TopographicalVorticityModes. . . . . . . . . . . . . . . . . . . . . . . . . 32 3. 2. 2 PlanetaryVorticityModes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4 SynthesisofForcedOscillations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 4. 1 TidalDynamicsandtheIn uenceofLSA. . . . . . . . . . . . . . . . . . . . . . 40 4. 1. 1 TheProcedureofTidalSynthesis. . . . . . . . . . . . . . . . . . . . . . . 40 4. 1. 2 LSA effectonForcedOscillations. . . . . . . . . . . . . . . . . . . . . . 45 4. 1. 3 TheSynthesisoftheSemidiurnalandDiurnalTides. . . . . . . 50 xi xii Contents 4. 2 IntegrationoftheSolutionsofaTidalModelwithAssimilationof Data. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 4. 2. 1 NewExpansionCoef cients. . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2008, held in Reykjavik, Iceland, Wroclaw, Poland, July 12, 2008. The workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -WearepleasedtowelcomeyoutotheproceedingsoftheThirdInternationalC- ference onSemantic andDigital Media Technologiesheld inKoblenz,Germany. The SAMT agenda brings together researchers at extreme ends of the - mantic multimedia spectrum. At one end, the Semantic Web and its supporting technologies are becoming established in both the open data environment and within specialist domains, such as corporate intranet search, e-Science (parti- larly life sciences), and cultural heritage. To facilitate the world-wide sharing of media, W3C is developing standard ways of denoting fragments of audio/visual content and of specifying and associating semantics with these. At the other end of the spectrum, media analysis tools continue to grow in sophistication, identifying features that can then be associated with explicit semantics, be they expressed formally or informally, using proprietary formats or open standards. Recent progress at these two fronts of the SAMT spectrum means that research spanningthesemanticgapisnowofvitalimportancetofeedtherealapplications that are emerging. This conference also represents a step towards bridging the gap between the research cultures and their respective approaches at both ends of the spectrum. The papers selected show that SAMT is able to attract researchers from media analysis, who see the bene ts that more explicit semantics can provide, as well as researchers from knowledge engineering who realize that, while a picture can be expressed as a thousand concepts, a million morearewaiting to be extracted.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -uncertain. Examples include weather forecasts or gambling odds. Canonical methods for representing and integrating such information are necessaryforcommunicating it ina seamlessfashion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecomeamajordeclarativespeci cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ve Workshops on Constraint Handling Rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume of Lecture Notes in Ariti cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8 papersinthis issuewereselectedfrom11submissionsaftercarefulreviewingand subsequent revisions. Each paper was reviewd by three reviewers. The accepted papers represent some of the research teams on CHR around the world. It is not by accident that the currently most active research group is featured here with three articles. We also would have liked to see contributions from other CHR teams, but space is limited and the reviewers took their job seriously. After an introductory article that foreshadows an upcoming monograph on CHR, the accepted papers span a range of current research topics in the CHR community. It goes from extending the CHR language with search facilities and the related adaptive framework, and from generating rules from speci cations of constraint solvers to implementing abductive probabilistic reasoning. They cover the theory that is a compositional semantics for CHR and nally describe e cient implementations of CHR in traditional mainstream programming l- guages and compiler optimizations in the context of the re ned semantics of CHR. Wewouldliketothanktheauthorsofsubmittedpapersandthemanyrevi- ers for their contribution in making this collection of researchpapers possible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences; special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series); other papers invited for publication in ToPNoC; papers submitted directly to ToPNoC by their authors.This is the first volume of ToPNoC. It contains revised and extended versions of a selection of the best papers from the workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 25-29, 2007. The material has been selected and evaluated by the two Workshop and Tutorial Chairs, Wil van der Aalst and Jonathan Billington, in close cooperation with the chairs of the individual workshops.The 13 papers in this volume cover a wide range of concurrency-related topics, including: teaching concurrency; process languages; process mining; software engineering; state space visualization techniques; timed Petri nets; unfolding techniques and hardware systems. Thus, this volume gives a good overview of the state of the art in concurrency research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Inthesummerof2008,reinforcementlearningresearchersfromaroundtheworld gathered in the north of France for a week of talks and discussions on reinfor- ment learning, on how it could be made more e cient, applied to a broader range of applications, and utilized at more abstract and symbolic levels. As a participant in this 8th European Workshop on Reinforcement Learning, I was struck by both the quality and quantity of the presentations. There were four full days of short talks, over 50 in all, far more than there have been at any p- vious meeting on reinforcement learning in Europe, or indeed, anywhere else in the world. There was an air of excitement as substantial progress was reported in many areas including Computer Go, robotics, and tted methods. Overall, the work reported seemed to me to be an excellent, broad, and representative sample of cutting-edge reinforcement learning research. Some of the best of it is collected and published in this volume. The workshopandthe paperscollectedhere provideevidence thatthe eldof reinforcement learning remains vigorous and varied. It is appropriate to re ect on some of the reasons for this. One is that the eld remains focused on a pr- lem ¿ sequential decision making ¿ without prejudice as to solution methods. Another is the existence of a common terminology and body of theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Most problems in science involve many scales in time and space. An example is turbulent ow where the important large scale quantities of lift and drag of a wing depend on the behavior of the small vortices in the boundarylayer. Another example is chemical reactions with concentrations of the species varying over seconds and hours while the time scale of the oscillations of the chemical bonds is of the order of femtoseconds. A third example from structural mechanics is the stress and strain in a solid beam which is well described by macroscopic equations but at the tip of a crack modeling details on a microscale are needed. A common dif culty with the simulation of these problems and many others in physics, chemistry and biology is that an attempt to represent all scales will lead to an enormous computational problem with unacceptably long computation times and large memory requirements. On the other hand, if the discretization at a coarse level ignoresthe nescale informationthenthesolutionwillnotbephysicallymeaningful. The in uence of the ne scales must be incorporated into the model. This volume is the result of a Summer School on Multiscale Modeling and S- ulation in Science held at Boso ¿n, Lidingo ¿ outside Stockholm, Sweden, in June 2007. Sixty PhD students from applied mathematics, the sciences and engineering parti- pated in the summer school.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -A key driving factor for biometrics is the widespread national and international depl- ment of biometric systems that has been initiated in the past two years and is about to accelerate. While nearly all current biometric deployments are government-led and pr- cipally concerned with national security and border control scenarios, it is now apparent that the widespread availability of biometrics in everyday life will also spin out an ev- increasing number of (private) applications in other domains. Crucial to this vision is the management of the user¿s identity, which does not only imply the creation and update of a biometric template, but requires the development of instruments to properly handle all the data and operations related to the user identity. COST Action 2101 on Biometrics for Identity Documents and Smart Cards has - erated as a valuable and effective platform for close collaboration of European sci- tists from academia and industry researching biometrics for identity documents and smartcards. This has led to the continuous advances achieved in various classes of biometrics and their implementations in the identity management domain. These c- tributions to knowledge in this field were first presented at the First European Wo- shop on Biometrics and Identity Management (BioID 2008) organized in Roskilde, Denmark during May 7¿9, 2008.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The all pervasive web is influencing all aspects of human endeavour. In order to strengthen the description of web resources, so that they are more meaningful to both humans and machines, web semantics have been proposed. These allow better annotation, understanding, search, interpretation and composition of these - sources. The growing importance of these has brought about a great increase in research into these issues. We propose a series of books that will address key issues in web semantics on an annual basis. This book series can be considered as an extended journal published annually. The series will combine theoretical results, standards, and their realizations in applications and implementations. The series is titled ¿Advances in Web Sem- tics¿ and will be published periodically by Springer to promote emerging Semantic Web technologies. It will contain the cream of the collective contribution of the Int- national Federation for Information Processing (IFIP) Web Semantics Working Group; WG 2. 12 & WG 12. 4. This book, addressing the current state of the art, is the first in the series. In subsequent years, books will address a particular theme, topic or issue where the greatest advances are being made. Examples of such topics include: (i) process semantics, (ii) web services, (iii) ontologies, (iv) workflows, (v) trust and reputation, (vi) web applications, etc. Periodically, perhaps every five years, there will be a scene-setting state of the art volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Buch. Etat : Neu. Neuware -This is the third and nal volume in a series of Lecture Notes based on the highlysuccessfulEuroSummerSchoolonExoticBeamsthathasbeenrunning yearly since 1993 (apart from 1999) and is planned to continue to do so. It is the aim of the series to provide an introduction to Radioactive Ion Beam (RIB) physics at the level of graduate students and young postdocs starting out in the eld. Each volume contains lectures covering a range of topics from nuclear theory to experiment to applications. Our understanding of atomic nuclei has undergone a major re-orientation over the past two decades and seen the emergence of an exciting eld of research: the study of ¿exotic¿ nuclei. The availability of energetic beams of short-lived nuclei, referred to as ¿radioactive ion beams¿ (RIBs), has opened the way to the study of the structure and dynamics of thousands of nuclear species never before observed in the laboratory. This eld has now become one of the most important and fast-moving in physics worldwide. And it is fair to say that Europe leads the way with a number of large international projects starting up in the next few years, such as the FAIR facility at GSI in Germany. From a broader perspective, one must also highlight just how widely RIB physics impacts on other areas, from energy and the environment to medicine and materials science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009.The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This special issue is the result of the selection and re-submission of advanced and revised versions of papers from the workshop on 'Trust in Agent Societies' (11th edition), held in Estoril (Portugal) on May 10, 2008 as part of the Autonomous Agents and Multi-Agent Systems 2008 Conference (AAMAS 2008), and organized by Rino Falcone, Suzanne Barber, Jordi Sabater-Mir, and Munindar Singh. The aim of the workshop was to bring together researchers from different fields (artificial intelligence, multi-agent systems, cognitive science, game theory, and social and organizational sciences) that could contribute to a better understanding of trust and reputation in agent societies. The workshop scope included theoretical results as well their applications in human¿computer interaction and electronic commerce. It was constituted by a main session integrated with two others: the first on the formal models of trust, and the second on reputation models. In this volume we present papers from the three workshop sessions: the main s- sion with papers on theoretical and applicative aspects of trust (from a engineering, cognitive, computational, sociological point of view); the formal model session with works in the field of applied logic and applied mathematics; the reputation models session with papers that specifically address models of reputation systems, theo- driven and empirically backed-up guidelines for designing reputation technologies, and analysis and discussion of existing reputation systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Buch. Etat : Neu. Neuware -The English version of the book does not di er essentially from the Rus- 1 sian version . Along with a few notes and new references I included Part II to Article 3 and added some new materials to the ¿Nobel¿ autobiography. Furthermore, Article 7 (M. Cardona and W. Marx ¿Vitaly L. Ginzburg ¿ a bibliometricstudy¿),whichwaspublishedinJournalofSuperconductivityand NovelMagnetism, v.19, No.3¿5, July 2006 is included as an appendix. My special thanks are due to Prof. Manuel Cardona and Prof. Werner Marx who kindly allowed publishing their paper as an appendix to this book (with some new minor author¿s amendments). Also, I am grateful to M.S. Aksent¿eva, E.A. Frimer, G.M. Krasnikova and S.G.RudnevfortheirassistanceinthepreparationoftheEnglishmanuscript. Moscow, September 2008 V.L.Ginzburg 1 V.L.Ginzburg,Osverkhprovodimostiiosverkhtekuchesti.Avtobiogra a (Moskva: Izdatel¿styvo Fiziko-matematicheskoi literatury, 2006) Preface to the Russian Edition The Nobel Prize in Physics, 2003 was awarded to A.A. Abrikosov, A.J. L- gett and myself ¿for pioneering contribution to the theory of superconductors and super uids¿. It does not mean that the contribution was made in joint works with these authors. Speci cally, I do not have any joint publications with A.A. Abrikosov and A.J. Leggett.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume collects the accepted papers presented at the Learning and Intelligent OptimizatioN conference (LION 2007 II) held December 8¿12, 2007, in Trento, Italy. The motivation for the meeting is related to the current explosion in the number and variety of heuristic algorithms for hard optimization problems, which raises - merous interesting and challenging issues. Practitioners are confronted with the b- den of selecting the most appropriate method, in many cases through an expensive algorithm configuration and parameter-tuning process, and subject to a steep learning curve. Scientists seek theoretical insights and demand a sound experimental meth- ology for evaluating algorithms and assessing strengths and weaknesses. A necessary prerequisite for this effort is a clear separation between the algorithm and the expe- menter, who, in too many cases, is 'in the loop' as a crucial intelligent learning c- ponent. Both issues are related to designing and engineering ways of 'learning' about the performance of different techniques, and ways of using memory about algorithm behavior in the past to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained from different runs or during a single run can - prove the algorithm development and design process and simplify the applications of high-performance optimization methods. Combinations of algorithms can further improve the robustness and performance of the individual components provided that sufficient knowledge of the relationship between problem instance characteristics and algorithm performance is obtained.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -th Welcome to the 15 International Multimedia Modeling Conference (MMM 2009), held January 7¿9, 2009 at EURECOM, Sophia-Antipolis, France. MMM is a leadinginternationalconference for researchersandindustry practitionersto share their new ideas, original research results and practical development ex- riences from all multimedia-related areas. MMM 2009 was held in co-operation with the ACM Special Interest Group on MultiMedia (ACM SIGMM). It was a great honor to host MMM 2009, one of the most long-standing th multimedia conferences, at EURECOM in Sophia-Antipolis, France. The 15 edition of MMM marked the return of the conference to Europe after numerous years of activity in Asia, and we are proud to have organized such a prestigious conference on the French Riviera. EURECOM is an engineering school in the domain of information and communication technology and a research center in communication systems. Since its creation in 1991 by TELECOM ParisTech and EPFL, it has developed strong international links with both academic and industrial partners. The heart of EURECOM is its internationally renowned research activities which focus on three areas: networking and security, mobile communications, and multimedia.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20¿22, 2008. WBL 2008 provided an international forum for the dissemination of original results in the design, implementation, and evaluation of blended learning systems and related areas. In particular, the aim of WBL 2008 was to bring together researchers from academia as well as commercial developers from industry to explore ideas, exchange and share experiences, and further build the blended learning research network. The inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social activities. The main focus of WBL 2008 was on the most critical areas of blended learning, namely, ¿e-Learning Platforms and Tools,¿ ¿Design, Model and Framework of e- Learning Systems,¿ ¿Practice and Experience Sharing,¿ and ¿Pedagogical Issues.¿ In total, the workshop selected 17 papers from authors of different countries for presen- tion and publication, a task which was not easy due to the high quality of the subm- ted papers. Using stringent selection criteria, submissions were rigorously reviewed based on their originality, significance, relevance, and clarity of presentation by an international Program Committee from Germany, Spain, UK, Italy, Ireland, Romania, Hong Kong, Japan, Taiwan, and Macao.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Provenance and Annotation Workshop, IPAW 2008, held in Salt Lake City, UT, USA, in June 2007. The 14 revised full papers and 15 revised short and demo papers presented together with 2 keynote lectures were carefully reviewed and selected from 40 submissions. The paper are organized in topical sections on provenance: models and querying; provenance: visualization, failures, identity; provenance and workflows; provenance for streams and collaboration; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of planners.This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006. A number of speakers were solicited to write surveys presenting the state of the art in their area of expertise. These contributions were peer-reviewed by experts in the field and revised before they were collated to the 9 papers of this volume. In addition, the volume contains a reprint of a survey by Kolaitis and Vardi on the logical approach to constraint satisfaction that first appeared in 'Finite Model Theory and its Applications', published by Springer in 2007.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.