springer berlin heidelberg springer berlin heidelberg jul 2008 (91 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Articulated Motion and Deformable Objects, AMDO 2008, held in Port d'Andratx, Mallorca, Spain, in July 2008. The 36 revised full papers and 7 poster papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on computer graphics: human modelling and animation, human motion: analysis, tracking, 3D reconstruction and recognition, multimodal user interaction: VR and ar, speech, biometrics, and advanced multimedia systems: standards, indexed video contents.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Software intensive systems are increasingly expected to deal with changing user needs and dynamic operating conditions at run time. Examples are the need for life recon gurations, management of resource variability, and dealing with p- ticular failure modes. Endowing systems with these kinds of capabilities poses severe challenges to software engineers and necessitates the development of new techniques, practices, and tools that build upon sound engineering principles. The eld of multi-agent systems focuses on the foundations and engineering of systems that consists of a network of autonomous entities (agents) that int- act to achieve the system goals. One line of research in multi-agent systems, inspired by biological, physical and other naturally occurring systems, concerns multi-agent systems in which agents share information and coordinate their - havior througha shared medium called an agentenvironment. Typical examples are gradient elds and digital pheromones that guide agents in their local c- text and as such facilitate the coordination of a community of agents. Since environment-mediation in multi-agent systems has shown to result in mana- able solutions with very adaptable qualities, it is a promising paradigm to deal with the increasing complexity and dynamism of distributed applications. Control in environment-mediated multi-agent systems is decentralized, i. e. , noneofthecomponentshasfullaccessorcontroloverthesystem. Self-organization isanapproachtoengineerdecentralized,distributedandresource-limitedsystems thatarecapableofdynamicallyadaptingtochangingconditionsandrequir ements without external intervention. This useful system property is often re ected in functionssuchasself-con guration,self-optimization,andself-healing. Engine- ing approachesto self-organizing systems often rely on global functionality to emerge from localand autonomous decisions of individual agents that commu- catethroughasharedagentenvironment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the Program Committee, it is my pleasure to present the p- ceedings of the 5th GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Every year since 2004 DIMVA has brought together leading researchers and practitionersfromacademia,governmentandindustrytopresentanddiscussnovel security research. DIMVA is organized by the Security¿Intrusion Detection and Response(SIDAR)specialinterestgroupoftheGermanInformaticsSociety(GI). The DIMVA 2008 Program Committee received 42 submissions from 16 d- ferent countries, and from governmental,industrial and academic organizations. All the submissions were carefully reviewed by several members of the Program Committee and evaluated on the basis of scienti c novelty, importance to the eld and technical quality. The nal selection took place at the Program C- mittee meeting held on March 28, 2008 at the IBM Zu ¿rich Research Laboratory in Switzerland. Thirteen full papers and one extended abstract were selected for presentation and publication in the conference proceedings. The conference took place during July 10-11, 2008, in the France T¿ el¿ ecom R&D/Orange Labs premises of Issy les Moulineaux, near Paris, France, with the program grouped into ve sessions. Two keynote speeches were presented by Richard Bejtlich (Director of Incident Response, General Electric) and by Tal Gar nkel (VMware Inc./Stanford University). The conference program also included a rump session organized by Sven Dietrich of the Stevens Institute of Technology, in which recent research results, works in progress,and other topics of interest to the community were presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, held in Lausanne, Switzerland in February 2008. The 26 revised full papers presented together with 4 short papers were carefully reviewed and selected from 72 submissions. The papers address all current aspects of fast and secure primitives for symmetric cryptology and are organized in topical sections on SHA collisions, new hash function designs, block cipher cryptanalysis, implementation aspects, hash function cryptanalysis, stream cipher cryptanalysis, security bounds, and entropy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial Cryptography and Data Security, FC 2008, held in Cozumel, Mexico, in January 2008. The 16 revised full papers and 9 revised short papers presented together with 5 poster papers, 2 panel reports, and 1 invited lecture were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on attacks and counter measures, protocols, theory, hardware, chips and tags, signatures and encryption, as well as anonymity and e-cash. 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International Workshop on Classification of Events, Activities and Relationships, CLEAR 2007, and the 5th Rich Transcription 2007 Meeting Recognition evaluation, RT 2007, held in succession in Baltimore, MD, USA, in May 2007. The workshops had complementary evaluation efforts; CLEAR for the evaluation of human activities, events, and relationships in multiple multimodal data domains; and RT for the evaluation of speech transcription-related technologies from meeting room audio collections. The 35 revised full papers presented from CLEAR 2007 cover 3D person tracking, 2D face detection and tracking, person and vehicle tracking on surveillance data, vehicle and person tracking aerial videos, person identification, head pose estimation, and acoustic event detection. The 15 revised full papers presented from RT 2007 are organized in topical sections on speech-to-text, and speaker diarization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Buch. Zustand: Neu. Neuware -Sepsis is an important public health problem around the world. Severe sepsis carries significant morbidity, mortality and high costs. The incidence of sepsis is increasing because of the aging population, the growing number of immunocompromised hosts, the increasing use of invasive procedures, and, to a lesser extent, antibiotic resistance among pathogens. Despite recent advances in the pathogenesis, diagnosis, and therapeutic approaches the mortality rate associated with this condition remains high. Therefore, the goal of Sepsis: New Strategies is to review novel targets to be considered in patients with severe sepsis and to assess new developments for patients with sepsis originating in the respiratory tract.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting examples), 5 tool presentations, and 2 invited papers were carefully reviewed and selected from 40 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the Third International Conference on Information Theoretic Security, held in Calgary, Canada, in August 2008.The 14 papers presented in this volume were carefully reviewed and selected from 43 submissions. There were nine invited speeches to the conference. The topics covered are secure and reliable communication; quantum information and communication; networks and devices; multiparty computation; information hiding and tracing; coding theory and security; quantum computation; foundation; and encryption.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 was held at Queen¿s University in Kingston, Canada, during July 16¿18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen¿s University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -FromMay28toJune1,2007,aseminaron¿InformationVisualization¿Human- Centered Issues in Visual Representation, Interaction, and Evaluation¿ ( 07221) took place at the International Conference and Research Center for Computer Science, Dagstuhl Castle, Germany. The center was initiated by the German government to promote informatics research at an international level. It seeks to foster dialog among the computer science research community, advance a- demic education and professional development, and transfer knowledge between academia and industry. The primary feature of Dagstuhl is its series of week-long seminars on v- ious topics in computer science. Dagstuhl seminars are frequently described as being the mostproductive academic events that the participantresearchershave ever experienced. The informal and friendly atmosphere fostered at the center promotes personal interaction between the guests. Traditionally, there is no set programfollowedat Dagstuhl seminars.Instead, the pace and the procedure are determined by the presentations o ered during the seminar and the discussion results. Further general information about Dagstuhl seminars can be found on 1 the Dagstuhl Castle webpage . Information visualization (InfoVis) is a relatively new research area, which focuses on the use of visualization techniques to help people understand and analyze data. While related elds such as scienti c visualization involve the p- sentation of data that has some physical or geometric correspondence, infor- tionvisualizationcentersonabstractinformationwithoutsuchcorrespondences, i.e., information that cannot be mapped into the physical world in most cases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia Retrieval, AMR 2007, held in Paris, France, in July 2007. The 18 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on image annotation, feedback and user modelling, music retrieval, fusion, P2P and middleware, databases and summarization, as well as ontology and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 4th International Workshop on Medical Imaging and Augmented Reality, MIAR 2008, was held at the University of Tokyo, Tokyo, Japan during August 1¿2, 2008. The goal of MIAR 2008 was to bring together researchersin medical imaging and intervention to present state-of-the-art developments in this ever-growing research area. Rapid technical advances in medical imaging, including its gr- ing application in drug/gene therapy and invasive/interventional procedures, have attracted signi cant interest in the close integration of research in the life sciences, medicine, physical sciences, and engineering. Current research is also motivated by the fact that medical imaging is moving increasingly from a p- marily diagnostic modality towards a therapeutic and interventional aid, driven by the streamlining of diagnostic and therapeutic processes for human diseases by means of imaging modalities and robotic-assisted surgery. The impact of MIAR on these elds increases each year, and the quality of submitted papers this yearwas veryimpressive. We received90 full submissions, which were subsequently reviewed by up to ve reviewers. Reviewer a liations were carefully checked against author a liations to avoid con icts of interest, and the review process was run as a double-blind process. A special procedure was also devised for papers from the universities of the organizers, upholding a double-blind review process for these papers. The MIAR 2008 Program C- mittee nally accepted 44 full papers. For this workshop, we also included three papers from the invited speakers coveringregistration and segmentation, virtual reality, and perceptual docking for robotic control. 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2006, held in Hakodate, Japan, in May 2006, in the context of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006. The 10 revised full papers and 6 revised short papers presented together with 1 invited paper were carefully reviewed and selected from 23 submissions; they are fully revised to incorporate reviewers' comments and discussions at the workshop. The volume is organized in topical sections on P2P Infrastructure, agents in P2P, P2P search, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008. The 38 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on hybrid education, model and pedagogies for hybrid learning, trends, pervasive learning, mobile and ubiquitous learning, hybrid learning experiences, hybrid learning systems, technologies, as well as contextual attitude and cultural effects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Third SKLOIS Conference on Information Security and Cryptology (- scrypt2007)wasorganizedbytheStateKeyLaboratoryofInformationSecurity of the Chinese Academy of Sciences in cooperation with Qinhai University for Nationalities. This international conference was held in Xining, Qinhai Province of China, and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate University of the Chinese Academy of Sciences and the National Natural Science Foundations of China. By now, Inscrypt (the International SKLOIS Conference on Information - curity and Cryptology) has become a tradition, and it is, in fact, a leading event in this area, which takes place annually in China. We are pleased with the continuous support by authors, committee members, reviewers, sponsors and organizers. Indeed, the research areas covered by Inscrypt are important, since modern computing (including communication infrastructures and applications) requires increased security, trust, safety and reliability. This need has motivated the research community worldwide to produce important fundamental, exp- imental and applied work in the wide areas of cryptography and information securityresearchin recent years.Accordingly,the programof Inscrypt 2007c- ered numerous elds of research within these general areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008.The 40 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on computational immunology, applied AIS, and theoretical AIS. Position papers and conceptual papers are also included.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008. The 24 revised full papers presented together with a contamplative keynote and additional papers of two special workshop sessions were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on architecture, new frontiers, SoC, application specific contributions, system level design for heterogeneous systems, programming multicores, sensors and sensor networks; and systems modeling and design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 8thPrivacyEnhancing TechnologiesSymposium washeldat the Katholieke Universiteit Leuven during July 23¿25,2008.This year completed the transition from workshop to symposium, with a printed proceedings published before the symposium. PETS remains a premier venue for publishing original research on privacy-enhancing technologies. PETS received 48 submissions, each of which wasreviewedbyatleastfourmembersoftheProgramCommittee.Thirteenwere accepted into the program, maintaining the selective and competitive nature of the event. The program also included a keynote address by Stuart Shapiro. A new feature this year was the HotPETs session, designed to balance the desire for rigorous scienti c quality of the PETS program and the need for a venue to present work that is not yet fully developed. HotPETs accepted s- missions on the hottest, most exciting new ideas and put together an excellent program of presentations. PETS was once again collocated with the IAVoSS Workshop on Trustworthy Elections (WOTE 2008), with a full day of plenary sessions. In addition, three otherprivacy-relatedeventswereheldatK.U.Leuvenduring thesameweek,- abling greater exchange of ideas among the respective communities: the closing event of the Privacy and Identity Management for Europe (PRIME) project, a workshop presenting the results from the Advanced Applications for Electronic Identity Cards (ADAPID) project, and a working session of the Future of Id- tity in the Information Society (FIDIS) Workpackage 13.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedbythehostilenatureofsomeaspectsofthenetworkand the persistent e orts of intruders, and has been widely discussed among - searchers in this eld. Contributions to the investigation of novel and e cient ideas and techniques have been made through some important conferences and journals, such asESORICS,CSFW andACM Transactions in Computer Systems. Thus, formal methods have played an important role in a variety of applications such as discrete system analysis for cryptographic protocols, - lief logics and state exploration tools. A complicated security protocol can be abstractedasamanipulationofsymbolsandstructurescomposedbysymbols. The analysis of e-commerce (electronic commerce) protocols is a particular case of such symbol systems. There have been considerable e orts in developing a number of tools for ensuring the security of protocols, both specialized and general-purpose, such as belief logic and process algebras. The application of formal methods starts with the analysis of key-distribution protocols for communication between two principals at an early stage. With the performance of transactions - coming more and more dependent on computer networks, and cryptography becoming more widely deployed, the type of application becomes more varied and complicated. The emerging complex network-based transactions such as nancial transactionsand secure groupcommunication have not only brought innovationstothecurrentbusinesspractice,butthey alsoposeabigchallenge to protect the information transmitted over the open network frommalicious attacks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Jointly organized by the National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, and the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, it was held from July 31 to August 2, 2008 in the Castle of Hagenberg. Algebraic biology is an interdisciplinary forum for research on all aspects of applying symbolic computation in biology. The rst conference on algebraic biology (AB 2005) was held November 28¿30, 2005 in Tokyo, the second during July 2¿4, 2007 in Hagenberg. The AB conference series is intended as a bridge between life sciences and symbolic computation: On the one hand, new insights inbiologyarefoundbypowerfulsymbolicmethods;ontheotherhand,biological problems suggestnew algebraicstructures andalgorithms.While this pro le has been established in the previous proceedings, the papers in the present volume demonstrate the continuous growth of algebraic biology. We received 27 submissions from 14 countries (Australia, Austria, Canada, China, Colombia, France, Germany, Italy, Japan, Norway, Russia, Switzerland, UK, USA), and 14 papers were accepted for publication. Each submission was assigned to at least three ProgramCommittee members, who carefully reviewed the papers, in many cases with the help of external referees. The reviews were discussedby the ProgramCommittee for oneweekvia the EasyChairconference management system. 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Adaptive Hypermedia has emerged as an important area of both academic and deployed research. It encompasses a broad range of research that will enable personalized, adaptive hypermedia systems to play an even more e ective role in people¿s lives. The Web has enabled the widespread use of many person- ized systems, such as recommenders, personalized lters and retrieval systems, e-learning systems and various forms of collaborative systems. Such systems have been widely deployed in diverse domains such as e-Commerce, e-Health, e-Government, digital libraries, personalized travel planning as well as tourist and cultural heritage services. They are particularly promising for users with special needs. The exciting possibilities of such deployed adaptive hypermedia systems rely on research progress in a broad range of areas such as: user pro- ing and modeling; acquisition, updating and management of user models; group modeling and community-based pro ling;recommender systems and recomm- dation strategies; data mining for personalization; the Semantic Web; adaptive multimedia content authoring and delivery; ubiquitous computing environments and Smart Spaces; personalization for the plethora of mobile devices, such as PDAs, mobile phones and other hand-held devices; and pragmatics such as p- vacy, trust and security. Empirical studies of adaptive hypermedia and Web systems are also critical to informing future directions. The AdaptiveHypermediaconferenceshavebecomethe majorforumsforthe scienti c exchange and presentation of research results on adaptive hypermedia and adaptive Web-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Tutoring Systems, ITS 2008, held in Montreal, Canada, in June 2008. The 63 revised full papers and 61 poster papers presented together with abstracts of 5 keynote talks were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on emotion and affect, tutor evaluation, student modeling, machine learning, authoring tools , tutor feedback and intervention, data mining, e-learning and Web-based ITS, natural language techniques and dialogue, narrative tutors and games, semantic Web and ontology, cognitive models, and collaboration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 860 pp. Englisch.

Buch. Zustand: Neu. Neuware -Collaborative research in bioinformatics and systems biology is a key element of modern biology and health research. This book highlights and provides access to many of the methods, environments, results and resources involved, including integral laboratory data generation and experimentation and clinical activities. Collaborative projects embody a research paradigm that connects many of the top scientists, institutions, their resources and research worldwide, resulting in first-class contributions to bioinformatics and systems biology. Central themes include describing processes and results in collaborative research projects using computational biology and providing a guide for researchers to access them.The book is also a practical guide on how science is managed. It shows how collaborative researchers are putting results together in a way accessible to the entire biomedical community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.