Springer berlin heidelberg jul 2008 (150 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007. The 7 revised full papers presented together with 1 invited paper were carefully selected from 11 submissions. Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, and query reformulation; and storing and indexing semantic Web data and schemas. 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the best papers from the International Conference on Web Inf- mation Systems and Technologies (WEBIST 2007), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), endorsed by IW3C2, and held in Barcelona, Spain. The purpose of WEBIST is to bring together researchers, engineers, and practit- ners interested in the technological advances and business applications of web-based information systems. It has four main topic areas, covering different aspects of web information systems, namely, internet technology; web interfaces and applications; society, e-business and e-government; and e-learning. WEBIST 2007 received 367 submissions from more than 50 countries across all continents. After a double-blind review process, with the help of more than 200 - perts from the international program committee, and also after presentation at the conference, 23 papers were finally selected. Their extended and revised versions are published in this book. This strict selection made the conference appealing to a global audience of engineers, scientists, business practitioners, and policy experts. The - pers accepted and presented at the conference demonstrated a number of new and innovative solutions for e-business and web information systems in general, showing that the technical problems in this field are challenging and worth further R&D effort. The program of this conference also included three outstanding keynote lectures presented by internationally renowned distinguished researchers. Their keynote speeches reinforced the overall quality of the event. 364 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Experience-based Communication is a powerful tool. Companies can use it to bring their values to life and to make their messages accessible and credible. By communicating in a way that can be both sensed and felt, companies can increase their influence on internal and external stakeholders - and existing and potential customers. This book teaches you how to architect the way your company is experienced at every real-life touchpoint. How to use physical meetings and locations to create an affinity with a given market segment. And how to engage your audience mentally, physically and socially in order to transform them into loyal customers and willing ambassadors. If you want to get closer to your target groups, you will find no greater source of inspiration than the methods presented in this book.'Experience-based Communication fills a much-neglected hole of knowledge in the Experience Economy, simultaneously making the point that proper staging and drama can make experiences more, not less, authentic. As the authors make clear, the Experience Medium IS the communicated message. This bookis a very valuable addition to the pantheon of the Experience Economy.'B. Joseph Pine II and James H. Gilmore, co-authors, The Experience Economy and Authenticity: What Consumers Really Want'I normally dislike business books, and books on communication are often the worst. This book, however, has real personality and is an experience in itself to read. Would that Chief Executives of today's organisations, with their wretched, dismembered, irritating, time-consuming, soul-destroying 'We value your call' systems would spare some of their time to read this book, all our lives would be enriched as a result. It is worth remembering that there are only 100 cents in a Euro, so cost cutting is finite, whereas creating value for customers is infinite and is limited only by our own creativity and imagination. Buy this book. Enjoy it.'Malcolm McDonald, Emeritus Professor at the Cranfield University School of Management'The book, Experience-Based Communication, highlights some of the most important issues regarding the embodiment of cultural artefacts and manifestos. The architectural utterance is itself experience-based. Setting the stage for human interaction it adds to both history and social behaviour. Read the book. It is an inspirational source to everyone engaged with experience-based communication!'Mette Kynne Frandsen, CEO and Architect MAA at HENNINGLARSENARCHITECTS 'This book is a must-read for marketers seeking to find alternative ways to engage their target audiences in a deeper dialogue in order to build customer loyalty. In a world where the 'new influencers' preside over the all important word-of-mouth, brands need to be able to offer enduring and valuable experiences that are capable of transforming ordinary customers into willing ambassadors. Charting a company's experience architecture offers the ability to gauge where they stand and score in their consumers' hearts, minds and most importantly, lives'Joseph Jaffe, President and Chief Interruptor, crayon and author of 'Join the Conversation' 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the outcome of the Dagstuhl Seminar on 'Information Visualization -- Human-Centered Issues in Visual Representation, Interaction, and Evaluation' held at Dagstuhl Castle, Germany, from May 28 to June 1, 2007.Information Visualization (InfoVis) is a relatively new research area, which focuses on the use of visualization techniques to help people understand and analyze data. This book documents and extends the findings and discussions of the various sessions in detail. The seven contributions cover the most important topics: There are general reflections on the value of information visualization; evaluating information visualizations; theoretical foundations of information visualization; teaching information visualization. And specific aspects on creation and collaboration: engaging new audiences for information visualization; process and pitfalls in writing information visualization research papers; and visual analytics: definition, process, and challenges. 188 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 572 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Multi-Agent-Based Simulation, MABS 2007, held in Honolulu, HI, USA in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems. The 10 revised full papers presented were carefully reviewed and selected from 20 submissions.The papers are organized in topical sections on architectures; teams, learning, education; economy, trust and reputation. 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21-24, 2008. This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2008, as well as the abstracts of the poster papers that were displayed during the conference. The volume also includes the - per/extended abstract of the four invited talks presented by Markus Holzer, Kai Salomaa, Mihalis Yannakakis, and Hsu-Chun Yen. The 24 regular papers were selected from 40 submissions covering various topics in the theory, implementation, and applications of automata and related structures. Each submitted paper was reviewed by at least three ProgramC- mittee members, with the assistance of external referees. The authors of the papers and posters presented in this volume come from the following co- tries: Australia, Belgium, Canada, China, Columbia, Czech Republic, France, Germany, Hungary, Italy, Japan, The Netherlands, Poland, Portugal, Romania, Russia, Spain, Sweden, Taiwan, United Arab Emerates, and USA. We wish to thank all who made this conference possible: the authors for s- mittingpapers,theProgramCommitteemembersandexternalreferees(listedin the proceedings) for their excellent work, and the four invited speakers. Finally, we wish to express our sincere appreciation to the sponsors, local organizers, and the editors of the Lecture Notes in Computer Science seriesand Springer, in particular Alfred Hofmann, for their help in publishing this volume in a timely manner. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 436 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18 21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference and publication in this v- ume. In keeping with longstanding tradition, TPHOLs 2008 also o ered a venue for the presentation of emerging trends, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2008 technical report of Concordia University. The organizersaregratefulto MichaelGordonand StevenMiller for agreeing togiveinvitedtalksatTPHOLs2008.Aspartofthecelebrationofthe20yearsof TPHOLs, TPHOLs 2008 invited tool developers and expert users to give special tool presentations of the most representative theorem provers in higher order logics. The following speakers kindly accepted our invitation and we aregrateful tothem:YvesBertot(Coq),MattKaufmann(ACL2),SamOwre(PVS),Konrad Slind (HOL), and Makarius Wenzel (Isabelle). 336 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 264 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This year, we received about 170 submissions to ICWL 2008. There were a total of 52 full papers, representing an acceptance rate of about 30%, plus one invited paper accepted for inclusion in this LNCS proceedings. The authors of these accepted papers came from many different countries. We would like to thank all the reviewers for spending their precious time reviewing the papers and for providing valuable c- ments that aided significantly in the paper selection process. Authors of the best papers presented in this conference will be invited to submit extended versions of their papers for possible publication in a special issue of IEEE Internet Computing. This was the second time that the ICWL conference was organized in China. It was particularly special this year to hold ICWL 2008 in China, as the Beijing 2008 Olympic Games were co-located in the same country during the conference period. We would like to especially thank our Organization Co-chair, Lanfang Miao, for spending an enormous amount of effort in coordinating the local arrangements. In fact, we would like to thank the entire conference Organizing Committee for their hard work in putting together the conference. In particular, we would like to express our appreciation to our Registration Chairs, Jiying (Jean) Wang and Lanfang Miao, and Treasurer Howard Leung for their tremendous efforts in communicating with the authors regarding registration matters and maintaining the registration lists up-to-date. 572 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD) 2006, on whose results we report here. 204 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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 from malicious attacks. 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 208 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC) held in L- don, UK, July 13-16, 2008. This year's working conference continued its tra- tion of being a forum for disseminating original research results and practical experiences in data and applications security. This year we had an excellent program that consists of 9 research paper s- sions with 22 high-quality research papers, which were selected from a total of 56 submissions after a rigorous reviewing process by the Program Committee members and external reviewers. These sessions included such topics as access control, privacy, auditing, systems security and data security in advanced app- cation domains. In addition, the programincluded a keynote address, an invited talk and a panel session. The success of this conference was a result of the e orts of many people. I would like to extend my appreciation to the Program Committee members and external reviewers for their hard work. I would like to thank the General Chair, SteveBarker,fortakingcareoftheorganizationaspectsoftheconferenceandfor arranging the keynote address and the panel session. I would also like to thank Claudio Ardagna for serving as the Publicity Chair and for promptly updating the conference Web page, and Don Lokuadassuriyage for serving as the Local Arrangements Chair. Special thanks go to Alfred Hofmann, Editorial Director at Springer, for agreeing to include these conference proceedings in the Lecture Notes in Computer Science series. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19-22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume. 540 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First International Conference on Hybrid Learning was organized by City Univ- sity of Hong Kong, Caritas Francis Hsu College and Caritas Bianchi College of - reers in August 2008. ICHL2008 was an innovative and consolidative experience for Hong Kong tertiary higher education. The conference aims to unify the traditional classroom face-to-face learning and Internet eLearning into one teaching and learning method hybrid learning for both teachers and students. Its audience are educators and eLearning practitioners. The conference obtained sponsorship from six local u- versities in Hong Kong: Hong Kong Baptist University, The Hong Kong Polytechnic University, The Hong Kong University of Science and Technology, University of Hong Kong, The Chinese University of Hong Kong, and Lingnan University. It was also sponsored by Pei Hua Education Foundation Limited, and K. C. Wong Education Foundation Limited. Hybrid learning originated from North America in 2000 and is an ongoing trend. It is not merely a simple combination of direct teaching and eLearning, but comprises different learning strategies and important elements for teaching and learning. It - cuses on student center learning and provides an environment for knowledge learning. Students are given more opportunities to be active learners and practice practical skills such as communication, collaboration, critical thinking, creativity, self-management, self-study, problem solving, analysis and numeracy. 492 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks. 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2008, held inParis, Francein July 2008.The 13 revised full papers presentedtogether with one extended abstractwere carefully reviewed and selected from42 submissions. The papers are organized in topical sections on attack prevention, malware detection and prevention, attack techniques and vulnerability assessment, and intrusion detection and activity correlation. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This series constitutes a collection of selected papers presented at the International Conference on Medical Imaging and Informatics (MIMI2007), held during August 14-16, in Beijing, China. The conference, the second of its kind, was funded by the European Commission (EC) under the Asia IT&C programme and was co-organized by Middlesex University, UK and Capital University of Medical Sciences, China. The aim of the conference was to initiate links between Asia and Europe and to exchange research results and ideas in the field of medical imaging. A wide range of topics were covered during the conference that attracted an audience from 18 countries/regions (Canada, China, Finland, Greece, Hong Kong, Italy, Japan, Korea, Libya, Macao, Malaysia, Norway, Pakistan, Singapore, Switzerland, Taiwan, the United Kingdom, and the USA). From about 110 submitted papers, 50 papers were selected for oral presentations, and 20 for posters. Six key-note speeches were delivered during the conference presenting the state of the art of medical informatics. Two workshops were also organized covering the topics of 'Legal, Ethical and Social Issues in Medical Imaging' and 'Informatics' and 'Computer-Aided Diagnosis (CAD),' respectively. 404 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 620 pp. Englisch.…