springer berlin heidelberg aug 2008 (262 risultati)

Buch. Condizione: Neu. Neuware -Terms such as 'expanding Universe', 'big bang', and 'initial singularity', are nowadays part of our common language. The idea that the Universe we observe today originated from an enormous explosion (big bang) is now well known and widely accepted, at all levels, in modern popular culture. But what happens to the Universe before the big bang And would it make any sense at all to ask such a question In fact, recent progress in theoretical physics, and in particular in String Theory, suggests answers to the above questions, providing us with mathematical tools able in principle to reconstruct the history of the Universe even for times before the big bang.In the emerging cosmological scenario the Universe, at the epoch of the big bang, instead of being a 'new born baby' was actually a rather 'aged' creature in the middle of its possibly infinitely enduring evolution. The aim of this book is to convey this picture in non-technical language accessibile also to non-specialists. The author, himself a leading cosmologist, draws attention to ongoing and future observations that might reveal relics of an era before the big bang.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA 2008, held in Prague, Czech Republik, in September 2008. The book contains 5 invited papers and 19 revised full papers which were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on Trust, Applications, Coordination and Communications, and Negotiation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The papers in this volume were presented at TMRA 2007, the International Conference on Topic Maps Research and Applications, held October 11¿12, 2007, in Leipzig, Germany. TMRA 2007 was the third conference in an annual series of international conferences dedicated to Topic Maps in science and industry. The motto of TMRA 2007 was ¿Scaling Topic Maps.¿ Taken literally the motto implies developing Topic Maps approaches that scale to large data and user volumes. This is a very real and useful research problem which is addressed by many of the contributions to the conference. But there is an even broader interpretation of the motto: wide adoption of Topic Maps in academia and industry. This is an equally important problem, and one that the TMRA conference series exists to help solve. And there is a more fanciful view on the motto. To ¿scale¿ can also mean to climb, so for the attendees the conference provided a way to ¿scale the mountain of Topic Maps.¿ In all these ways TMRA 2007 helped to scale Topic Maps.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Data Warehousing and Knowledge Discovery have been widely accepted as key te- nologies for enterprises and organizations as a means of improving their abilities in data analysis, decision support, and the automatic extraction of knowledge from data. With the exponentially growing amount of information to be included in the decision making process, the data to be processed is becoming more and more complex in both structure and semantics. Consequently, the process of retrieval and knowledge disc- ery from this huge amount of heterogeneous complex data constitutes the reality check for research in the area. During the past few years, the International Conference on Data Warehousing and Knowledge Discovery (DaWaK) has become one of the most important international scientific events to bring together researchers, developers and practitioners. The DaWaK conferences serve as a prominent forum for discussing the latest research issues and experiences in developing and deploying data warehousing and knowledge discovery systems, applications, and solutions. This year¿s conference, the 10th Int- national Conference on Data Warehousing and Knowledge Discovery (DaWaK 2008), continued the tradition of facilitating the cross-disciplinary exchange of ideas, expe- ence and potential research directions. DaWaK 2008 sought to disseminate innovative principles, methods, algorithms and solutions to challenging problems faced in the development of data warehousing, knowledge discovery and data mining applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St. John's, Canada, in August 2008. The 44 revised full papers were carefully reviewed and selected from 84 submissions. The papers feature original research in the areas of combinatorial optimization -- both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, held in Yokohama, Japan, in September 2008. The 43 revised full papers and 22 revised poster papers presented together with 4 invited lectures were carefully reviewed and selected from 78 submissions. The papers focus on challenging problems and new research not only in theoretical but application aspects of cellular automata, including cellular automata tools and computational sciences. The volume also contains 11 extended abstracts dealing with crowds and cellular automata, which were presented during the workshop C&CA 2008. The papers are organized in topical sections on CA theory and implementation, computational theory, physical modeling, urban, environmental and social modeling, pedestrian and traffic flow modeling, crypto and security, system biology, CA-based hardware, as well as crowds and cellular automata.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 596 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th European PVM/MPI Users' Group Meeting held in Dublin, Ireland, in September 2008. The 29 revised full papers presented together with abstracts of 7 invited contributions, 1 tutorial paper and 8 poster papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, synchronisation issues in point-to-point and one-sided communications, tools, and verification of message passing programs. The volume is rounded off with 4 contributions to the special ParSim session on current trends in numerical simulation for parallel engineering environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri cation and quality prediction, such as FMCO, CBSE, FESCA,FACS andQoSA. There are a plethoraof componentmodels published, all with speci c merits and bene ts. However, most often these models are not used for comparison, as each research group concentrates on di erent aspects of formal component modelling and quality prediction. Like the famous pro- 1 duction cell approach of the FZI, Karlsruhe, which has served since 1995 as a common example for di erent embedded systems safety veri cation, in this v- ume we de ne a commonexample for modelling approachesof component-based systems. This Common Component Modelling Example enables the compa- bility of di erent approaches, the validation of existing models, a better focus of research to tackle aspects less frequently dealt within the classi cation of - isting models and approaches, an eased interchange of research ideas, as well as a simpli ed and increased coordination and research collaborations to join complementary models and approaches. In this volume we de ne the Common Component Modelling Example and present the models in current modelling and analysis approaches. The book concludes with comments on each modelling approach by an international jury. August 2007 Andreas Rausch Ralf Reussner Ra aela Mirandola Franti sek Pl¿ a sil 1 Springer LNCS vol. 891. Organization The Dagstuhl research seminar for CoCoME (Common Component Modelling Example)modellingcontestispartofaseriesofseminarsorganizedwithsupport by the German Computer Science Society (Gesellschaft fu ¿r Informatik,GI). It was held during August 1¿3, 2007 at Schloss Dagstuhl, Germany, as event number 07312.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Information and communication technologies are advancing fast. Processing speed is still increasing at a high rate, followed by advances in digital storage technology, which double storage capacity every year. Furthermore, communication techno- gies do not lag behind. The Internet has been widely used, as well as wireless te- nologies. With a few mouse clicks, people can communicate with each other around the world. All these advances have great potential to change the way people live, introducing new concepts like ubiquitous computing and ambient intelligence. Technology is becoming present everywhere in the form of smart and sensitive c- puting devices. They are nonintrusive, transparent and hidden in the background, but they collect, process, and share all kinds of information, including user beh- ior, in order to act in an intelligent and adaptive way. These emerging technologies put new requirements on security and data m- agement. As data are accessible anytime anywhere, it becomes much easier to get unauthorized data access. Furthermore, the use of new technologies has brought about some privacy concerns. It becomes simpler to collect, store, and search personal information, thereby endangering people¿s privacy. Therefore, research in secure data management is gaining importance, attracting the attention of both the data management and the security research communities. The intere- ing problems range from traditional topics, such as, access control and general database security, via privacy protection to new research directions, such as cryptographically enforced access control.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Software Measurement, IWSM-Mensura 2007, held in Palma de Mallorca, Spain, in November 2007. The 16 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, industrial experiences in software measurement, planning and implementing measurement, measurement-based software process improvement, best practices in software measurement, usability and user interaction measurement, measurement of open source projects, teaching and learning software measurement as well as new trends and ontologies for software measurement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Here follows a brief description of the subjects of these courses.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, held at Dagstuhl Castle, Germany, in December 2007. The 37 revised full papers presented were carefully reviewed and selected for presentation at the workshop from 50 initial submissions. The papers are organized in an ad hoc track and 6 topical sections on book search, XML-mining, entity ranking, interactive, link-the-wiki, and multimedia.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008. The volume contains 20 revised full research papers and 3 industrial papers carefully reviewed and selected from 154 submissions, as well as 8 prototype demonstration papers selected out of 15 demo submissions. In addition three invited keynote papers are presented. The conference has a record of attracting innovative research of the highest quality related to all aspects of BPM, including theory, frameworks, methods, techniques, architectures, standards, and empirical findings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.The 21 revised full papers presented together with 2 keynote addresses were carefully reviewed and selected from 73 initial submissions. The papers are organized in topical sections on measurement, processes, UML, experiments, tools, and change.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2008, held in Sophia-Antipolis, France, September 2008. The 40 revised full papers and the 15 poster presentations were carefully reviewed and selected from 110 submissions. The papers deal with advances in Ad-Hoc networks, i.e. wireless, self-organizing systems formed by co-operating nodes within communication range of each other that form temporary networks. Their topology is dynamic, decentralized, ever changing and the nodes may move around arbitrarily.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Machine Learning for Multimodal Interaction, MLMI 2008, held in Utrecht, The Netherlands, in September 2008. The 12 revised full papers and 15 revised poster papers presented together with 5 papers of a special session on user requirements and evaluation of multimodal meeting browsers/assistants were carefully reviewed and selected from 47 submissions. The papers cover a wide range of topics related to human-human communication modeling and processing, as well as to human-computer interaction, using several communication modalities. Special focus is given to the analysis of non-verbal communication cues and social signal processing, the analysis of communicative content, audio-visual scene analysis, speech processing, interactive systems and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -paperwasanonymouslyreviewedbyatleastthreecommitteemembers.Inorderto encourageandpromotestudentparticipation,theISC2008ProgramCommittee selected three student-coauthored papers for the Best Student Paper award,one fromeachregion:Asia,Europe,andtheAmericas.Thepaperswere,respectively, ¿Deterministic Constructions of 21-Step Collisions for the SHA-2 Hash Family,¿ bySomitraSanadhyaandPalashSarkar(IndianStatisticalInstitute,India),¿C- lisions for RC4-Hash,¿ by Sebastiaan Indesteege and Bart Preneel (Katholieke UniversiteitLeuven,Belgium),and¿ProxyRe-signaturesintheStandardModel,¿ byShermanS.M. Chow(New YorkUniversity,USA) andRaphaelPhan(Lou- borough University, UK). The program also included invited speeches by Doug Tygar(UC Berkeley,USA) andTatsuakiOkamoto(NTT, Japan). Many people helped to make ISC 2008 successful. We would like to thank all thosewhocontributedtothetechnicalprogramandtoorganizingtheconference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the best papers presented at the 12th East-European Conference on Advances in Databases and Information Systems (ADBIS 2008) held during S- tember 5¿9, 2008, in Pori, Finland. The series of ADBIS conferences is the successor of the annual international workshops with the same title that during 1993-1996 were organized in Russia by the Moscow ACM SIGMOD Chapter. ADBIS 2008 continues the series of ADBIS conferences held in St. Petersburg, Russia (1997), Poznan, Poland (1998), Maribor, Slovenia (1999), Prague, Czech Republic (2000), Vilnius, Lithuania (2001), Bratislava, Slovakia (2002), Dresden, Germany (2003), Budapest, Hungary (2004), Tallinn, Estonia (2005), Thessaloniki, Greece (2006), and Varna, Bulgaria (2007). The conferences are initiated and supervised by an international Steering Committee chaired by professor Leonid Kalinichenko. The ADBIS conferences established an outstanding reputation as a scientific event of high quality serving as an internationally highly visible showcase for research achie- ments in the field of databases and information systems. ADBIS 2008 aimed to create conditions for experienced researchers to impart their knowledge and experience to the young researchers at pre- or post-doctoral level, and to promote interaction and colla- ration between European research communities (especially from Central and East Europe) and the rest of the world. The conference encourages contacts between the p- ticipants who are nationals of, but active outside, the Member States and Associated States and their colleagues in Member States and Associated States. Special attention is paid to collaboration of researchers in Central and East Europe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Condizione: Neu. Neuware -The study of the mechanisms that govern origin and propagation of stellar jets involves the treatment of many concurrent physical processes such as gravitation, hydrodynamics and magnetohydrodynamics, atomic physics and radiation. In the past years, an intensive work has been done looking for so- tions of the ideal MHD equations in the steady state limit as well as studying the stability of out ows in the linear regime. These kind, of approaches have provided a contribution to the understanding of jets that can hardly be ov- estimated. However, the extension of the analyses to the time-dependent and nonlinear regimes could not be avoided, and the MHD numerical simulations were the only mean to achieve this goal. Intherecentyears,considerableprogresseshavebeenmadebythecom- tational uiddynamiccommunityinthedevelopmentofnumericaltechniques, theso-calledhighresolutionshockcapturingschemes,wellsuitedforthetre- ment of supersonic ows with discontinuities. The numerical simulations of astrophysical jets took advantage of these developments; however new physics needed to be incorporated, such as magnetic eld e ects, radiation losses by diluted gases, and proper astrophysics environments. These needs led to the nontrivial extension of the methods devised for the Euler equations of g- dynamics to the magneto-hydrodynamical system. On the other hand, the possibility of carrying out numerical calculations has been greatly facilitated bytheavailability, ononehand,ofpowerfulsupercomputersand,ontheother hand, of fast processors at low cost. Large scale 3D simulations of jets at high resolution are now possible thanks to supercomputers, but also high reso- tion 2D MHD simulations can be performed routinely on desktop computers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -First International Conference on Data Management in Grid and Peer-to-Peer (P2P) Systems, Globe 2008 Data management can be achieved by different types of systems: from centralized file management systems to grid and P2P systems passing through distributed systems, par- lel systems, and data integration systems. An increase in the demand of data sharing from different sources accessible through networks has led to proposals for virtual data in- gration approach. The aim of data integration systems, based on the mediator-wrapper architecture, is to provide uniform access to multiple distributed, autonomous and h- erogeneous data sources. Heterogeneity may occur at various levels (e. g. , different ha- ware platforms, operating systems, DBMS). For more than ten years, research topics such as grid and P2P systems have been very active and their synergy has been pointed out. They are important for scale d- tributed systems and applications that require effective management of voluminous, distributed, and heterogeneous data. This importance comes out of characteristics offered by these systems (e. g. , autonomy and the dynamicity of nodes, decentralized control for scaling). Today, the grid and P2P systems intended initially for intensive computing and file sharing are open to the management of voluminous, heteroge- ous, and distributed data in a large-scale environment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Buch. Condizione: Neu. Neuware -A decade ago Tim Berners-Lee proposed an extraordinary vision: despite the p- nomenal success of the Web, it would not, and could not, reach its full potential unless it became a place where automated processes could participate as well as people. This meant the publication of documents and data to the web in such a way that they could be interpreted, integrated, aggregated and queried to reveal new connections and answer questions, rather than just browsed and searched. Many scoffed at this idea, interpreting the early emphasis on language design and reas- ing as AI in new clothes. This missed the point. The Grand Challenge of the Semantic Web is one that needs not only the information structure of ontologies, metadata, and data, but also the computational infrastructure of Web Services, P2P and Grid distributed computing and workflows. Consequently, it is a truly who- system and multi-disciplinary effort. This is also an initiative that has to be put into practice. That means a pragmatic approach to standards, tools, mechanisms and methodologies, and real, challenging examples. It would seem self-evident that the Semantic Web should be able to make a major contribution to clinical information discovery. Scientific commu- ties are ideal incubators: knowledge-driven, fragmented, diverse, a range of str- tured and unstructured resources with many disconnected suppliers and consumers of knowledge. Moreover, the clinicians and biosciences have embraced the notions of annotation and classification using ontologies for centuries, and have dema- ing requirements for trust, security, fidelity and expressivity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Visual Information Systems, VISUAL 2008, held in Salerno, Italy, September 11-12, 2008. The 35 papers presented in this volume, together with 3 keynote speeches, were carefully reviewed and selected from 58 submissions. The topics covered are information and data visualization; advances techniques for visual information management; mobile visual information systems; image and video indexing and retrieval; applications of visual information systems; and industrial experiences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 9th International Conference on Web Information Systems Engineering, WISE 2008, held in Auckland, New Zealand, in September 2008. The 17 revised full papers and 14 revised short papers presented together with two keynote talks were carefully reviewed and selected from around 110 submissions. The papers are organized in topical sections on grid computing and peer-to-peer systems; Web mining; rich Web user interfaces; semantic Web; Web information retrieval; Web data integration; queries and peer-to-peer systems; and Web services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited for modelling and analyzing intended computing systems before the expensive c- mitment is made to real programs and hardware. Recent years have seen major improvements in the cost-e ectiveness of tools supporting the exploitation of theories through proof, model-checking and testing. Against this encouraging background, we are pleased to present papers that show something of the live- ness and diversity of research in theoretical aspects of computing today. ICTAC 2008, the 5th International Colloquium on Theoretical Aspects of Computing, was held on 1-3 September 2008 in Istanbul, Turkey, hosted by - banc University. The ICTAC series was founded by the International Institute for SoftwareTechnologyof the United Nations University(UNU-IIST). It brings together practitioners and researchers from academia, industry and government to present results and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methodsandtoolsforsystemdevelopment. Theseriesalsopromotescooperation in research and education between participants and their institutions, from - veloping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281) and Macau SAR, China (2007, LNCS 4711).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A large amount of the capacity of today¿s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri edor reliablecomputations. Since real numbersare objects c- taining an in nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri ed - plementations of real number algorithms using nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on ¿Reliable Imp- mentation of Real Number Algorithms: Theory and Practice,¿ which took place January 8¿13, 2006. It was intended to stimulate an exchange of ideas between the di erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di erent countries and many di erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di erent theoretical models and practical - proaches for reliable real number computations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Smart Card Research and Advanced Applications, CARDIS 2008, held in London, UK, in September 2008. The 21 revised full papers presented, together with the abstract of one invited talk, were carefully reviewed and selected from 51 submissions. The papers deal with the various issues related to the use of small electronic tokens in the process of human-machine interactions. The conference scopes include numerous subfields such as networking, efficient implementations, physical security, biometrics, etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Condizione: Neu. Neuware -The aim of publishing this book is the further development of the concept of dissipative solitons, which has been in the air for at least the last decade and a half. Since the development of classical soliton theory in the 1960s, the theory of these ¿nonlinear modes¿ of integrable systems outgrew its initial ideas. The purely mathematical concept, as it appeared in the work of Zabusky and Kruskal in 1965, required experimental veri cation, and this was successfully carried out in liquids, optical bers, and some other exotic media. Scientists came to the conclusion that ¿solitons are everywhere¿. Indeed, the notion of solitons gave a powerful boost to the multibillion industry of telecommunications. The idea of solitons underlies our understanding of tidal bores, cyclones and massive ocean waves like tsunamis. There is no doubt that the magni cent phenomenon known as ¿Morning Glory¿ ¿ a cloud wave hundreds of kilometers long ¿ is also a dissipative soliton. During almost four decades of blossoming, soliton science produced brilliant results based on the ¿inverse scattering technique¿, which allowed for construction of soliton solutions for a variety of integrable systems describing physics of water waves, light propagation, etc. At the same time, experimental scientists realized that the framework of a few particular ¿integrable systems¿ does not fully allow us to describe real applications which do not exactly belong to the class of ¿integrable equations¿. Life is actually more complicated than the exceptional image of ideal solitons in an ¿integrable world¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, Pairing 2008, held in London, UK, in September 2008. The 20 full papers, presented together with the contributions resulting from 3 invited talks, were carefully reviewed and selected from 50 submissions. The contents are organized in topical sections on cryptography, mathematics, constructing pairing-friendly curves, implementation of pairings, and hardware implementation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.