springer berlin heidelberg springer berlin heidelberg mai 2005 (135 risultati)

Buch. Condizione: Neu. Neuware -The organization of traditional mutual funds as Exchange Traded Funds (ETFs) produced revolutionary changes in the fund industry. These changes, and the subsequent events to which they led, have greatly - creased the practical way of trading funds. Traditional mutual fund m- kets were fragmented, and transactions were both costly and from time to time difficult to arrange. Investments in emerging markets for example were anything but efficient. As a consequence of establishing ETF funds market segments, the efficiency of transactions has been broadly increased as well as transaction costs dramatically reduced. All this changed in the early Nineties with the introduction of the first ETF for the purpose of trading funds. Exchange Traded Funds ¿ Structure, Regulation and Application of a New Fund Class is a comprehensive summary of articles covering all aspects of the Exchange Traded Fund industry. Similar to several publications of the last few years this book includes articles form academia as well as the banking, investment, and insurance industry, this combining theoretical evolution and practical implementation of Exchange Trades Funds. The present book is divided into four parts: The opening part, containing ETFs ¿ A Leading Financial Innovation and From Continent to Sectors: Challenges and Uses of ETFs in Europe, is - signed to give the reader broad insight into the industry, developments and trends. Further, the article Spiders: Where Are the Bugs examine the characteristics and performance of these instruments from an academic point of view.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context retrieval approaches are key p- requisites in any context-aware system. Location is one of the primary aspects of all major context models ¿ together with time, identity and activity. From the technical side, sensing, fusing and distributing location and other context information is as important as providing context-awareness to applications and services in pervasive systems. Thematerialsummarizedinthisvolumewasselectedforthe1stInternational Workshop on Location- and Context-Awareness (LoCA 2005) held in coope- tion with the 3rd International Conference on Pervasive Computing 2005. The workshop was organized by the Institute of Communications and Navigation of the German Aerospace Center (DLR) in Oberpfa enhofen, and the Mobile and Distributed Systems Group of the University of Munich. During the workshop, novel positioning algorithms and location sensing te- niques were discussed, comprising not only enhancements of singular systems, like positioning in GSM or WLAN, but also hybrid technologies, such as the integration of global satellite systems with inertial positioning. Furthermore, - provements in sensor technology, as well as the integration and fusion of sensors, were addressed both on a theoretical and on an implementation level. Personal and con dential data, such as location data of users, have p- found implications for personal information privacy. Thus privacy protection, privacy-oriented location-aware systems, and how privacy a ects the feasibility and usefulness of systems were also addressed in the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We wish to extend a warm welcome to the reader of this extended postp- ceedings publication of SAG 2004, the 1st International Workshop on Scienti c Applications on Grid Computing. This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web Intelligence (WI 2004) and Intelligent Agent Technology (IAT 2004). The WI and IAT conferences have provided, for several years, a leading - ternational forum to bring together researchers and practitioners from diverse elds,suchascomputerscience,informationtechnology,business,education, - man factors, systems engineering, and robotics, to explore the fundamental roles as well as practical impacts of arti cial intelligence (AI) (e.g., knowledge r- resentation, planning, knowledge discovery, and data mining, intelligent agents and social network intelligence) and advanced information technology (IT) (e.g., wireless networks, ubiquitous devices, social networks, the Wisdom Web, and data/knowledge grids), and to examine the design principles and performance characteristics of various approaches in intelligent agent technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¿ eck, Germany, September 8¿10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¿ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto ndthebestsolution,ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18¿21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented advances in answering these questions. Here global optimization refers to nding the absolutely best feasible point, while constraint satisfaction refers to ndingallpossiblefeasiblepoints.AsinCOCOS2002,the rstsuchworkshop (see the proceeedings [1]), the emphasis was on complete solving techniques for problems involving continuous variables that provide all solutions with full rigor, and on applications which, however, were allowed to have relaxed standards of rigor. The participants used the opportunity to meet experts from global optimi- tion, mathematical programming, constraint programming, and applications, and to present and discuss ongoing work and new directions in the eld. Four invited lectures and 20 contributed talks were presented at the workshop. The invited lectures were given by John Hooker (Logic-Based Methods for Global Optimization), Jean-Pierre Merlet (Usual and Unusual Applications of Interval Analysis), Hermann Schichl (The COCONUT Optimization Environment), and Jorge Mor¿ e (Global Optimization Computational Servers). This volume contains the text of Hooker¿s invited lecture and of 12 c- tributed talks. Copies of the slides for most presentations canbe found at [2]. Constraintsatisfactionproblems.Threepapersfocusonalgorithmicaspects of constraint satisfaction problems. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -2 TheaimoftheannualW GIS workshop is to provide an up-to-date review of advances on recent development of Web and wireless geographical information systems, and new challenges and opportunities for researchers, developers and 2 users in the GIS community. The main topic of the W GIS workshop is theor- ical and technical issues of Web and wireless geographical information systems. This workshop followed the successful 2001, 2002 and 2003 editions, held in - oto, Singapore and Rome, respectively. The 2004 edition was held in Goyang, Korea. 2 In its 4th year, W GIS reached new heights of recognition as a quality wo- shopforthedisseminationanddiscussionofnewwaysofaccessingandanalyzing geospatial information. This year, 39 papers were submitted from 15 countries, and 20 papers were accepted from 11 countries. Similarly, the Program C- mittee consisted of 39 members from 16 countries. We had the privilege of having three distinguished invited talks: ¿Eliciting User Preferences in Web Urban Spaces,¿ Yanwu Yang and Christophe Cla- munt, Naval Academy Research Institute, France; ¿Discovering Regional Inf- mation from Web: Localness and Landmark Computation,¿ Katsumi Tanaka, Department of Social Informatics, Graduate School of Informatics, Kyoto U- versity, Japan; and ¿Towards Knowing, Always and Everywhere, Where - erything Is, Precisely,¿ Christian S. Jensen, Department of Computer Science, Aalborg University, Denmark.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at the International Workshop ¿Autonomous Intelligent Systems: Agents and Data Mining¿ (AIS-ADM 2005) held in St. Petersburg, Russia, during June 6¿8, 2005. The workshop was - ganized by the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS) in cooperation with Binghamton U- versity (SUNY, USA) and the Web Intelligence Consortium. Autonomous Intelligent Systems (AIS) constitute an emerging class of int- ligent information systems integrating recent advances in various technologies of Arti cial Intelligence. Modern AIS incorporate multi-agent and data mining systemsprovidinganewdimensionforfurtherprogressinintelligentinformation technology. AIS-ADM 2005 provided an international forum to multi-agent and data mining researchers. A total of 29 papers from 15 countries relating to various aspects of both theory and applications of multi-agent systems, data mining and their joint area were submitted to AIS-ADM 2005. Out of them 17 were selected as regular presentations. Three technical sessions were organized, namely: In- gration of Multi-agent and Data Mining Techniques; Ontology Issues and Web Mining; and Applications and Case Studies of the Integrated Technology. The panel discussion was devoted to the mutual enrichment and challenging pr- lems emerging in the joint area of research. The AIS-ADM 2005 program was enriched by six distinguished invited speakers: Nick Jennings, Chengqi Zhang, Mircea Negoita, Pericles Mitkas, Hai Zhuge and Leonid Perlovsky.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Information systems can be complex due to numerous factors including scale, decentralization, heterogeneity, mobility, dynamism, bugs and failures. Depl- ing, operating and maintaining such systems can be not only very di cult, but also very costly. A urry of recent activity has been directed at this pr- lem, and future information systems are envisioned as self-con guring, se- organizing,self-managingandself-repairing.Collectively,wecalltheseproperties self- properties. This book is a ¿spin-o ¿ of a by-invitation-only Bertinoro workshop on se- propertiesincomplexsystemswhichwasheldinsummer2004inBertinoro,Italy. The Self-star workshop brought together researchers and practitioners from d- ferent disciplines and with di erent backgrounds to discuss complex information systems.Thethemeoftheworkshopwastoidentifytheconceptualandpractical foundationsformodeling,analyzingandachievingself- propertiesindistributed and networked systems. Partly based on these discussions, we solicited papers from the workshop participants and a set of invitees for this book. We sought original contributions in which authors explicitly take a position concerningrequirements,usefulness,potentialandlimitations oftechnologies for self- properties of complex systems. This position needed to be founded on - search results that were put clearly in context with respect to the position sta- ment. We strongly encouraged visionary statements, thought-provoking ideas, and exploratory results that will help the reader form her or his own opinions on the importance of self- properties in current and future complex information systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -RISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are part of a methodological framework and which apply to both new and evolving app- cations, technologies and systems. The ERCIM (European Research Consortium forInformaticsandMathematics)RISEworkinggroupselectedapplicationareas such as the Web, mobility, high availability approaches, embedded approaches and user interfaces in speci c industry sectors comprising nance, telecom- nications, transportation (avionics, the automotive industry) and e-government. Considered research issues in these areas pertain to the following software en- neering domains: ¿ software/system architectures ¿ reuse ¿ testing ¿ model transformation/model-driven engineering ¿ requirements engineering ¿ lightweight formal methods ¿ ASE tools All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected for these proceedings 12 papers amongst 28 submitted, and an invited paper. The organization of such a workshop represents an important amount of work. We would like to acknowledge all the Program Committee members, all the additional referees,all the Organization Committee members, the University of Luxembourg, Faculty of Science, Technology and Communication administ- tive, scienti c and technical sta , and the Henri Tudor Public Research Center.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2005, held in Mont Saint-Michel, France in May 2005. The 22 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers address issues such as topics in distributed and parallel computing, information dissemination, communication complexity, interconnection networks, high speed networks, wireless networking, mobile computing, optical computing, and related areas. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 3rd International Conference on Trust Management, held in Paris, France, during 23¿26 May 2005. The conf- ence follows successful International Conferences in Crete in 2003 and Oxford in 2004. All conferences were organized by iTrust, which is a working group funded as a thematic network by the Future and Emerging Technologies (FET) unit of the Information Society Technologies (IST) program of the European Union. The purpose of the iTrust working group is to provide a forum for cro- disciplinary investigation of the applications of trust as a means of increasing security, building con dence and facilitating collaboration in dynamic open s- tems. The notion of trust has been studied independently by di erent academic disciplines, which has helped us to identify and understand di erent aspects of trust. Theaimofthisconferencewastoprovideacommonforum,bringingtogether researchers from di erent academic branches, such as the technology-oriented disciplines, law, social sciences and philosophy, in order to develop a deeper and more fundamental understanding of the issues and challenges in the area of trust management in dynamic open systems. The response to this conference was excellent; from the 71 papers submitted to the conference, we selected 21 full papers and 4 short papers for presentation. The program also included two keynote addresses, given by Steve Marsh from National Research Centre Canada, Institute for Information Technology, and Steve Kimbrough from the University of Pennsylvania; an industrial panel; 7 technology demonstrations; and a full day of tutorials. 440 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The rst workshop in this series was held at the International Computer S- ence Institute in Berkeley and was published as LNCS 2009 under the name ¿Workshop on Design Issues in Anonymity and Unobservability.¿ Subsequent Privacy Enhancing Technologies (PET) workshops met in San Francisco in 2002 (LNCS2482)andDresdenin2003(LNCS2760).Thisvolume,LNCS3424,holds the proceedings from PET 2004 in Toronto. Our 2005 meeting is scheduled for Dubrovnik, and we hope to keep nding new and interesting places to visit on both sides of the Atlantic ¿ or beyond. An event like PET 2004 would be impossible without the work and dedi- tion of many people. First and foremost we thank the authors, who wrote and submitted 68 full papers or panel proposals, 21 of which appear herein. The Program Committee produced 163 reviews in total. Along the way, they were assisted in reviewing by Steven Bishop, Rainer Bohme, Sebastian Clauß, Claudia D¿ az, Richard E. Newman, Ulrich Flegel, Elke Franz, Stefan Kopsell, Thomas Kriegelstein, Markus Kuhn, Stephen Lewis, Luc Longpre, Steven M- doch, Shishir Nagaraja, Thomas Nowey, Peter Palfrader, Lexi Pimenidis, Klaus Ploessl, Sivaramakrishnan Rajagopalan, Marc Rennhard, Leo Reyzin, Pankaj Rohatgi, Naouel Ben Salem, Sandra Steinbrecher, Mike Szydlo, Shabsi Wal sh, Jie Wang, Brandon Wiley, and Shouhuai Xu.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -CoLIS 5 was the fth in the series of international conferences whose general aim is to provide a broad forum for critically exploring and analyzing research inareassuchascomputerscience,informationscienceandlibraryscience.CoLIS examinesthehistorical,theoretical,empiricalandtechnicalissuesre latingtoour understanding and use of information, promoting an interdisciplinary approach to research. CoLIS seeks to provide a broad platform for the examination of context as it relates to our theoretical, empirical and technical development of information-centered disciplines. The theme for CoLIS 5 was the nature, impact and role of context within information-centered research. Context is a complex, dynamic and multi- - mensional concept that in uences both humans and machines: how they behave individually and how they interact with each other. In CoLIS 5 we took an interdisciplinary approach to the issue of context to help us understand and the theoretical approaches to modelling and understanding context, incorporate contextual reasoning within technology, and develop a shared framework for promoting the exploration of context.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr¿ eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP. Following the trends initiated at the 16th edition of the conference held in Oxford, UK, the rst call for papers issued in summer 2004 called for contri- tions from the general software testing community. The goal of the conference thisyearwas tocontinue the broadeningofthesubject. The themeoftheconf- ence this year is ¿Meeting Software Testing. ¿ In response to the call for papers, we received 62 abstracts. Out of these abstracts, 53 turned into paper subm- sions. Each of these submissions was evaluated by at least 3 reviewers from the Technical Programme Committee, with the help of additional co-reviewers when needed. The Programme Committee meeting was held online from January 18 to January 30, 2005. Out of the 53 submitted papers, the Programme C- mittee selected 24 papers covering the traditional topics of TestCom, such as EFSM/FSM model-based testing, and also papers on general software testing re ecting the new trends in the conference. We are very grateful to the keynote speaker, Prof. Tom Maibaum, from McMaster University, Hamilton, Canada. Prof. Maibaum addressed TestCom 2005 on this year¿s theme. He kindly provided an extended abstract, which is also included in this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Information systems have become the backbone of all kinds of organizations - day. In almost every sector ¿ manufacturing, education, health care, government and businesses large and small ¿ information systems are relied upon for - eryday work, communication, information gathering and decision-making. Yet, the in exibilities in current technologies and methods have also resulted in poor performance, incompatibilities and obstacles to change. As many organizations are reinventing themselves to meet the challenges of global competition and e-commerce, there is increasing pressure to develop and deploy new technologies that are exible, robust and responsive to rapid and unexpected change. Agent concepts hold great promise for responding to the new realities of - formation systems. They o er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, intentions, etc., all of which need conc- tual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities, e.g., in inference-based query answering, transaction control, adaptive work ows, brokering and integration of disparate information sources, and automated communication processes. On the other hand, their rich representational capabilities allow for more faithful and - ible treatments of complex organizational processes, leading to more e ective requirements analysis and architectural/detailed design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false ¿ rather, a conditional ¿if A then B¿ provides a context, A, for B to be plausible (or true) and must not be confused with ¿A entails B¿ or with the material implication ¿not A or B.¿ This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti cial Intelligence made claims for appropriate formaltoolstohandle¿generalizedrules.¿Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Self-organisation, self-regulation, self-repair, and self-maintenance are promising conceptual approaches to deal with the ever increasing complexity of distributed interacting software and information handling systems. Self-organising applications are able to dynamically change their functionality and structure without direct user intervention to respond to changes in requirements and the environment.This book comprises revised and extended papers presented at the International Workshop on Engineering Self-Organising Applications, ESOA 2004, held in New York, NY, USA in July 2004 at AAMAS as well as invited papers from leading researchers. The papers are organized in topical sections on state of the art, synthesis and design methods, self-assembly and robots, stigmergy and related topics, and industrial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31¿June1,2005. The conference is intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community. The invited speakers were: Filippo Focacci from ILOGS.A.,France,oneoftheleadingcompaniesinthe eld;PaulPop,professor in the Embedded Systems Lab in the Computer and Information Science - partment, Link¿ oping University; and Paul Williams, full professor of Operations Research at the London School of Economics. The day before CPAIOR, a Master Class was organized by Gilles Pesant, where leading researchers gave introductory and overview talks in the area of metaheuristics and constraint programming. The Master Class was intended for PhD students, researchers, and practitioners. We are very grateful to Gilles who brought this excellent program together. For conference publicity we warmly thank Willem Jan van Hoeve and Petr Vil¿ m who did a great job with the high number of submissions received.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1¿3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci cation and the direct relation to e cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e cient methods and paradigms from which language processing can pro t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi erent(-lyspeci ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ts quite well with current constraint programming paradigms. 220 pp. Englisch.

Buch. Condizione: Neu. Neuware -Computer simulations not only belong to the most important methods for the theoretical investigation of granular materials, but provide the tools that have enabled much of the expanding research by physicists and engineers. The present book is intended to serve as an introduction to the application of numerical methods to systems of granular particles. Accordingly emphasis is on a general understanding of the subject rather than on the presentation of latest advances in numerical algorithms. Although a basic knowledge of C++ is needed for the understanding of the numerical methods and algorithms in the book, it avoids usage of elegant but complicated algorithms to remain accessible for those who prefer to use a different programming language. While the book focuses more on models than on the physics of granular material, many applications to real systems are presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare¿s paper ¿Communicating Sequential Processes¿ is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society¿s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7¿8 July 2004, was hosted by London South Bank U- versity¿s Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP¿scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -E-commerce services are su ering abuse by programs (bots, spiders, etc.) m- querading as legitimate human users. E orts to defend against such attacks have, over the past several years, stimulated investigations into a new family of security protocols ¿ ¿Human Interactive Proofs¿ (HIPs) ¿ which allow a person to authenticate herself as a member of a given group: e.g., as a human (vs. a machine), as herself (vs. anyoneelse), as an adult (vs. a child). Most commercial usesofHIPstodayareCAPTCHAs,¿CompletelyAutomaticPublicTuringt ests to tell Computers and Humans Apart,¿ which exploit the gap in ability between humans and machine vision systems in reading images of text. HIP challenges can also be non-graphical, e.g., requiring recognition of speech, solving puzzles, etc. Wearepleasedtopresentthe rstrefereedandarchivallypublishedcollection of state-of-the-art papers on HIPs and CAPTCHAs. Each paper was reviewed by three members of the Program Committee, judged by the Co-chairs to be of su cient relevance and quality, and revised by the authors in response to the referees¿ suggestions. The papers investigate performance analysis of novel CAPTCHAs, HIP - chitectures, and the role of HIPs within security systems. Kumar Chellapilla, Kevin Larson, Patrice Simard, and Mary Czerwinski describe user trials of a CAPTCHA designed to resist segmentation attacks, including a systematic evaluation of its tolerance by human users. Henry Baird, Michael Moll, and Sui- Yu Wang analyze data from a human legibility trial of another segmentati- resistantCAPTCHAandlocateahighlylegibleengineeringregime.AmaliaRu su and Venu Govindaraju describe research towards CAPTCHAs based on reading synthetically damaged images of real images of unconstrained handwritten text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Volume III of the Transactions on Rough Sets (TRS) introduces advances in the theory and application of rough sets. These advances have far-reaching impli- tions in a number of researchareas such as approximate reasoning, bioinform- ics,computerscience,datamining,engineering(especially,computerengineering and signal analysis), intelligent systems, knowledge discovery, pattern recog- tion,machineintelligence,andvariousformsoflearning. This volumerevealsthe vigor, breadth and depth in research either directly or indirectly related to the rough sets theory introduced by Prof. Zdzis law Pawlak more than three decades ago. Evidence of this can be found in the seminal paper on data mining by Prof. Pawlak included in this volume. In addition, there are eight papers on the theory and application of rough sets as well as a presentation of a new version of the Rough Set Exploration System (RSES) tool set and an introduction to the Rough Set Database System (RSDS). Prof. Pawlak has contributed a pioneering paper on data mining to this v- ume. In this paper, it is shown that information ow in a ow graph is governed by Bayes¿ rule with a deterministic rather than a probabilistic interpretation. A cardinal feature of this paper is that it is self-contained inasmuch as it not only introduces a new viewof information owbut alsoprovidesanintroduction to the basic concepts of ow graphs. The representation of information ow - troduced in this paper makes it possible to study di erent relationships in data and establishes a basis for a new mathematical tool for data mining. Inadditionto thepaperbyProf.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Im ärztlich-medizinischen Berufsfeld wird häufig unterschätzt, wie eng körperliche Krankheiten mit psychischen Vorgängen verknüpft sind. Das Fachgebiet der medizinischen Psychologie setzt an den zahlreichen Berührungspunkten zwischen Medizin und Psychologie an: den Auswirkungen körperlicher Erkrankungen oder medizinischer Eingriffe auf das psychische Erleben und Befinden, den Einfluss psychischer Zustände auf Entstehung und Verlauf von Erkrankungen oder die zwischenmenschlichen Beziehungen zwischen Ärzten, Patienten und Angehörigen. In diesem Buch beleuchten führende Vertreter des Faches solche medizinpsychologischen Fragen und Erkenntnisse erstmals getrennt für spezifische, medizinische Anwendungsgebiete: Was hat die Psychologie u.a. zur Onkologie, Kardiologie, Zahnmedizin, Augenheilkunde oder auch zu Themen wie 'Sterben, Tod und Trauern' und 'Telemedizin' zu sagen Wie tragen z.B. psychische Faktoren zur Entstehung einer Herzinsuffizienz oder der Migräne bei Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Fallsammlung richtet sich vornehmlich an Studenten und Referendare der Wahlfachgruppe 'Wirtschaftsrecht'. Das Werk dient der Einarbeitung und Vervollkommnung der Fallbearbeitungstechnik. Insbesondere wird der Fokus auf eine Synthese von materiellem und prozessualem Recht gelegt. Inhaltlich gesehen werden die Bereiche des Urheberrechts, Wettbewerbsrechts, Kartellrechts, Markenrechts und Patentrechts abgedeckt. Um eine weitere eigenständige Wissensvertiefung zu ermöglichen und zu gewährleisten, werden am Ende der jeweiligen Fallbearbeitung weiterführende Literaturhinweise zu den jeweiligen Problemkomplexen gegeben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die C++-Standardbibliothek, deren interessantester Teil die Standard Template Library (STL) ist, revolutioniert die C++-Programmierung. Der korrekte und effiziente Einsatz stellt eine große Herausforderung dar, die nur mit fundiertem Wissen zu meistern ist. In diesem Buch wird die Funktionsweise und Implementierung der einzelnen Komponenten (Container, Iteratoren, Algorithmen, Funktionsobjekte, Strings, Streams usw.) verständlich und detailliert erklärt, wobei typische Stolpersteine aufgezeigt werden. Zahlreiche, mit gängigen C++-Compilern getestete Programmbeispiele demonstrieren den praktischen Einsatz. Antworten auf Standardfragen sowie unzählige Tipps und Tricks machen das Buch zu einem nützlichen Ratgeber für den alltäglichen Gebrauch. Anhand von anspruchsvollen Aufgaben und deren Lösungen kann das erworbene Wissen überprüft und vertieft werden. Der komplette Programmcode ist im Internet verfügbar. Ein ausführlicher Index ermöglicht gezieltes Nachschlagen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -It is fairly easy for a Finnish Jurist to understand German Company law. On the other hand, UK Company law seems very confusing. What is even more confusing is that the UK corporate govemance model is often regarded as one of the best in the World. Clearly German law cannot be as bad as it is often said to be. This books results from these kinds of thoughts and an interest in comparative law, Company law and securities markets law. I wanted to find out whether the functional method would give anything new to say about the regulation of corpo rate govemance in Germany and the UK. As I have been lecturing on Company law and corporate govemance myself, I also wanted to write a book that I could use as a textbook in my courses. For this reason, I focused on one of the key questions in corporate govemance: the regula tion of shareholder activism.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book offers the opportunity to study and experience advanced empi- cal techniques in finance and in general financial economics. It is not only suitable for students with an interest in the field, it is also highly rec- mended for academic researchers as well as the researchers in the industry. The book focuses on the contemporary empirical techniques used in the analysis of financial markets and how these are implemented using actual market data. With an emphasis on Implementation, this book helps foc- ing on strategies for rigorously combing finance theory and modeling technology to extend extant considerations in the literature. The main aim of this book is to equip the readers with an array of tools and techniques that will allow them to explore financial market problems with a fresh perspective. In this sense it is not another volume in eco- metrics. Of course, the traditional econometric methods are still valid and important; the contents of this book will bring in other related modeling topics that help more in-depth exploration of finance theory and putting it into practice. As seen in the derivatives analysis, modern finance theory requires a sophisticated understanding of stochastic processes. The actual data analyses also require new Statistical tools that can address the unique aspects of financial data. To meet these new demands, this book explains diverse modeling approaches with an emphasis on the application in the field of finance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 3rd International Conference on Applied Cryptography and Network Security (ACNS 2005) was sponsored and organized by ICISA (the International Commu- cations and Information Security Association). It was held at Columbia University in New York, USA, June 7¿10, 2005. This conference proceedings volume contains papers presented in the academic/research track. ACNS covers a large number of research areas that have been gaining importance in recent years due to the development of the Internet, wireless communication and the increased global exposure of computing resources. The papers in this volume are representative of the state of the art in security and cryptography research, worldwide. The Program Committee of the conference received a total of 158 submissions from all over the world, of which 35 submissions were selected for presentation at the a- demic track. In addition to this track, the conference also hosted a technical/ industrial/ short papers track whose presentations werealso carefully selected from among the submissions. All submissions were reviewed by experts in the relevant areas. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Maluf, Davide Martinenghi, Stan Matwin, Natasha Noy, Werner Nutt, James Peters, Jean-Marc Petit, Vijay Raghavan, Jan Rauch, Gilbert Ritschard, Erik Rosenthal, Marie-Christine Rousset, Nahid Shahmehri, Andrzej Skowron, Dominik Slezak, Nicolas Spyratos, V. S.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 720 pp. Englisch.