springer springer jul 2009 (448 resultados)

Buch. Condición: Neu. Neuware -Mapping Geomorphological Environments is a highly descriptive textbook providing an excellent introduction to the latest methodologies for mapping geomorphological formations in a variety of different environments. Its holistic approach seeks to provide a meaningful linkage between state of the art techniques for geomorphological mapping, including the latest innovations in geospatial applications, and advances in the understanding of the formation of geomorphological phenomena in a variety of settings and environments. The book includes: - An introduction to the processes which form geomorphological formations and how to map them. - Case studies from a variety of environments with many examples of geomorphological maps. - In-depth descriptions of the latest tools and methodologies such as field sampling, GPS usage, 3-4D mapping, GIS analysis, digital image analysis, etc. - A list of the geomorphological characteristics per environment (e.g. coastal, fluvial, etc.) in the format of a geomorphological encyclopaedia, with pictures, maps and symbols. It covers the entire workflow ranging from data collection, analysis, interpretation, and mapping.AcknowledgementsAll authors would like to acknowledge the contribution of Dr. John W.M. Peterson, School of Computing Sciences, University of East Anglia, Norwich, UK, for corrections and improvement to the English text.Università Telematica Guglielmo Marconi (UTGM) and ENEA acknowledge the collaboration of CUTGANA (Centro Universitario per la Tutela e la Gestione degli Ambienti Naturali e degli Agroecosistemi), Università di Catania, for the paper on 'The Cyclops Islands'.IRMCo acknowledges the use of the Integrated Land and Water Information System (ILWIS), developed by ITC, the Netherlands, for the management and assessment of geographic information in a GIS environment. ILWIS functionality was employed for the paper on 'The natural heritage of the Island of Gozo' and the paper on 'The geomorphological cave features of Ghar il-Friefet'.IPB (Polytechnic Institute of Bragança) wishes to acknowledges all those colleagues, most of them also members of CIMO (Centre for Mountain Research), that contributed to the recently issued Management Plan of Montesinho Natural Park (PNM). Their hidden contribution to the articles concerning PNM is much acknowledged. A word in recognition of his endless and contagious enthusiasm towards Montesinho and to the Mountain domain, spread among us all in the IPB, is due to Professor Dionísio Gonçalves, the first Director, Coordinator and President of PNM, CIMO and IPB, respectively. The authors of the photos inserted in the articles concerning Montesinho are also much acknowledged for their contribution. 237 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career. He is universally admired as a long-standing pillar of the discipline of computer science. He has contributed to the development of fundamental research in artificial intelligence in the area of complexity and spatial-temporal reasoning as well as in the area of compiler optimization. Golumbic's work in graph theory led to the study of new perfect graph families such as tolerance graphs, which generalize the classical graph notions of interval graph and comparability graph. He is credited with introducing the systematic study of algorithmic aspects in intersection graph theory, and initiated research on new structured families of graphs including the edge intersection graphs of paths in trees (EPT) and trivially perfect graphs.Golumbic is currently the founder and director of the Caesarea Edmond Benjamin de Rothschild Institute for Interdisciplinary Applications of Computer Science at the University of Haifa. He also served as chairman of the Israeli Association of Artificial Intelligence (1998-2004), and founded and chaired numerous international symposia in discrete mathematics and in the foundations of artificial intelligence.This Festschrift volume, published in honor of Martin Charles Golumbic on the occasion of his 60th birthday, contains 20 papers, written by graduate students, research collaborators, and computer science colleagues, who gathered at a conference on subjects related to Martin Golumbic's manifold contributions in the field of algorithmic graph theory and artificial intelligence, held in Jerusalem, Tiberias and Haifa, Israel in September 2008. 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Conceptual Structures, ICCS 2009, which took place in Moscow, Russia, on July 26-31, 2009.The 18 papers presented together with 5 invited contributions were carefully reviewed and selected from approximately 50 submissions. Originally centered around research on knowledge representation and reasoning with conceptual graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices, among them other forms of graph-based formalisms like RDF or existential graphs, formal concept analysis, semantic Web technologies, ontologies, concept mapping and more. 321 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The science of biology celebrates the discovery and understanding of biological systems that already exist in nature. In parallel, the engineering of biology must learn how to make use of our understanding of the natural world to design and build new useful biological systems. ''Synthetic biology'' represents one example of recent work to engineer biological systems. This emerging field aims to replace the ad hoc process of assembling biological systems by primarily developing tools to assemble reliable-but-complex living organisms from standard components that can later be reused in new combination. The focus of this book is ''genome refactoring,'' one of several approaches to manage the complexity of a biological system in which the goal is to redesign the genetic elements that encode a living form--preserving the function of that form but encoding it with a genome far easier to study and extend. This book presents genome refactoring in two ways: as an important aspect of the emerging field of synthetic biology and as a powerful teaching tool to train would be professionals in the subject. Chapters focus on the overarching goals of synthetic biology and their alignment with the motivations and achievements in genome engineering; the engineering frameworks of refactoring, including genome synthesis, standardization of biological parts, and abstraction; a detailed description of the bacteriophages that have been refactored up to this point; and the methods of refactoring and contexts for that work drawn from the bacteriophage M13. Overall, these examples offer readers the potential for synthetic biology and the areas in need of further research. If successful, synthetic biology and genome refactoring could address any number of persistent societal needs, including sustainable energy, affordable and effective medicine, and green manufacturing practices.Table of Contents:Tools for Genome Engineering and Synthetic Biology / Bacteriophage as Templates for Refactoring / Methods/Teaching Protocols for M13 Reengineering / Writing and Speaking as Biological Engineers / Summary and Future Directions / Appendix A / Appendix B / Appendix CSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Buch. Condición: Neu. Neuware -From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a rich object-oriented software system supporting graphics and multimedia, which students can use to produce impressive applications from day one, then understand inside out as they learn new programming techniques. Unique to Touch of Class is a combination of a practical, hands-on approach to programming with the introduction of sound theoretical support focused on helping students learn the construction of high quality software. The use of full color brings exciting programming concepts to life. Among the useful features of the book is the use of Design by Contract, critical to software quality and providing a gentle introduction to formal methods. Will give students a major advantage by teaching professional-level techniques in a literate, relaxed and humorous way. 876 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -his monograph on the concept of capitalism is the intellectual core of a larger work, entitled Capitalism, Its Origins and Evolution as Ta System of Governance, due for publication November 2009. The purpose of this monograph is to put forth an original concept of ca- talism as a system of governance, including a theory of how it functions at any point in time and how it evolves through time. In the larger book, I present a theory of its origins and evolution and support this theory with a set of country case studies that span both time and geography. It was, in fact, my experience in studying these case studies that led me to the c- cept presented here as well as to the theory of capitalism¿s origins and e- lution. In the larger book, I build on the present work, identifying and expla- ing capitalism as a system of governance for political entities such as - tion states. I then supplement these ideas with a description and expla- tion of three generic economic strategies. Taken together, my studies of economic strategies and specific capitalist systems of governance are - tended to enhance and enrich existing literature on ¿varieties of capit- ism¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This lecture presents an overview of the Web analytics process, with a focus on providing insight and actionable outcomes from collecting and analyzing Internet data. The lecture first provides an overview of Web analytics, providing in essence, a condensed version of the entire lecture. The lecture then outlines the theoretical and methodological foundations of Web analytics in order to make obvious the strengths and shortcomings of Web analytics as an approach. These foundational elements include the psychological basis in behaviorism and methodological underpinning of trace data as an empirical method. These foundational elements are illuminated further through a brief history of Web analytics from the original transaction log studies in the 1960s through the information science investigations of library systems to the focus on Websites, systems, and applications. Following a discussion of on-going interaction data within the clickstream created using log files and page tagging foranalytics of Website and search logs, the lecture then presents a Web analytic process to convert these basic data to meaningful key performance indicators in order to measure likely converts that are tailored to the organizational goals or potential opportunities. Supplementary data collection techniques are addressed, including surveys and laboratory studies. The overall goal of this lecture is to provide implementable information and a methodology for understanding Web analytics in order to improve Web systems, increase customer satisfaction, and target revenue through effective analysis of user¿Website interactions. Table of Contents: Understanding Web Analytics / The Foundations of Web Analytics: Theory and Methods / The History of Web Analytics / Data Collection for Web Analytics / Web Analytics Fundamentals / Web Analytics Strategy / Web Analytics as Competitive Intelligence / Supplementary Methods for Augmenting Web Analytics / Search Log Analytics / Conclusion / Key Terms / Blogs for Further Reading / ReferencesSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Designing Asynchronous Circuits using NULL Convention Logic (NCL) begins with an introduction to asynchronous (clockless) logic in general, and then focuses on delay-insensitive asynchronous logic design using the NCL paradigm. The book details design of input-complete and observable dual-rail and quad-rail combinational circuits, and then discusses implementation of sequential circuits, which require datapath feedback. Next, throughput optimization techniques are presented, including pipelining, embedding registration, early completion, and NULL cycle reduction. Subsequently, low-power design techniques, such as wavefront steering and Multi-Threshold CMOS (MTCMOS) for NCL, are discussed. The book culminates with a comprehensive design example of an optimized Greatest Common Divisor circuit. Readers should have prior knowledge of basic logic design concepts, such as Boolean algebra and Karnaugh maps. After studying this book, readers should have a good understanding of the differencesbetween asynchronous and synchronous circuits, and should be able to design arbitrary NCL circuits, optimized for area, throughput, and power. Table of Contents: Introduction to Asynchronous Logic / Overview of NULL Convention Logic (NCL) / Combinational NCL Circuit Design / Sequential NCL Circuit Design / NCL Throughput Optimization / Low-Power NCL Design / Comprehensive NCL Design ExampleSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This textbook provides practicing scientists and engineers an advanced treatment of the Atmel AVR microcontroller. This book is intended as a follow-on to a previously published book, titled Atmel AVR Microcontroller Primer: Programming and Interfacing. Some of the content from this earlier text is retained for completeness. This book will emphasize advanced programming and interfacing skills. We focus on system level design consisting of several interacting microcontroller subsystems. The first chapter discusses the system design process. Our approach is to provide the skills to quickly get up to speed to operate the internationally popular Atmel AVR microcontroller line by developing systems level design skills. We use the Atmel ATmega164 as a representative sample of the AVR line. The knowledge you gain on this microcontroller can be easily translated to every other microcontroller in the AVR line. In succeeding chapters, we cover the main subsystems aboard the microcontroller, providing a short theory section followed by a description of the related microcontroller subsystem with accompanying software for the subsystem. We then provide advanced examples exercising some of the features discussed. In all examples, we use the C programming language. The code provided can be readily adapted to the wide variety of compilers available for the Atmel AVR microcontroller line. We also include a chapter describing how to interface the microcontroller to a wide variety of input and output devices. The book concludes with several detailed system level design examples employing the Atmel AVR microcontroller. Table of Contents: Embedded Systems Design / Atmel AVR Architecture Overview / Serial Communication Subsystem / Analog to Digital Conversion (ADC) / Interrupt Subsystem / Timing Subsystem / Atmel AVR Operating Parameters and Interfacing / System Level DesignSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Tiling theory is an elegant branch of mathematics that has applications in several areas of computer science. The most immediate application area is graphics, where tiling theory has been used in the contexts of texture generation, sampling theory, remeshing, and of course the generation of decorative patterns. The combination of a solid theoretical base (complete with tantalizing open problems), practical algorithmic techniques, and exciting applications make tiling theory a worthwhile area of study for practitioners and students in computer science. This synthesis lecture introduces the mathematical and algorithmic foundations of tiling theory to a computer graphics audience. The goal is primarily to introduce concepts and terminology, clear up common misconceptions, and state and apply important results. The book also describes some of the algorithms and data structures that allow several aspects of tiling theory to be used in practice.Table of Contents: Introduction / Tiling Basics / Symmetry / Tilings by Polygons / Isohedral Tilings / Nonperiodic and Aperiodic Tilings / SurveySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Mars Outpost provides a detailed insight into the various technologies, mission architectures, medical requirements, and training needed to send humans to Mars. It focuses on mission objectives and benefits, and the risks and complexities that are compounded when linked to an overall planet exploration program involving several expeditions and setting up a permanent presence on the surface.The first section provides the background to sending a human mission to Mars. Analogies are made with early polar exploration and the expeditions of Shackleton, Amundsen, and Mawson. The interplanetary plans of the European Space Agency, NASA, and Russia are examined, including the possibility of one or more nations joining forces to send humans to Mars. Current mission architectures, such as NASA¿s Constellation, ESA¿s Aurora, and Ross Tierney¿s DIRECT, are described and evaluated.The next section looks at how humans will get to the Red Planet, beginning with the preparation of the crew. The author examines the various analogues to understand the problems Mars-bound astronauts will face. Additional chapters describe the transportation hardware necessary to launch 4-6 astronauts on an interplanetary trajectory to Mars, including the cutting edge engineering and design of life support systems required to protect crews for more than a year from the lethal radiation encountered in deep space. NASA¿s current plan is to use standard chemical propulsion technology, but eventually Mars crews will take advantage of advanced propulsion concepts, such as the Variable Specific Impulse Magnetoplasma Rocket, ion drives and nuclear propulsion.The interplanetary options for reaching Mars, as well as the major propulsive maneuvers required and the trajectories and energy requirements for manned and unmanned payloads, are reviewed . Another chapter addresses the daunting medical problems andavailable countermeasures for humans embarking on a mission to Mars: the insidious effects of radiation on the human body and the deleterious consequences of bone and muscle deconditioning. Crew selection will be considered, bearing in mind the strong possibility that they may not be able to return to Earth. Still another chapter describes the guidance, navigation, and control system architecture, as well as the lander design requirements and crew tasks and responsibilities required to touch down on the Red Planet.Section 3 looks at the surface mission architectures. Seedhouse describes such problems as radiation, extreme temperatures, and construction challenges that will be encountered by colonists. He examines proposed concepts for transporting cargo and astronauts long distances across the Martian surface using magnetic levitation systems, permanent rail systems, and flying vehicles. In the penultimate chapter of the book, the author explains an adaptable and mobile exploration architecture that will enable long-term human exploration of Mars, perhaps making it the next space-based tourist location.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Condición: Neu. Neuware -Do not learn the tricks of the trade, learn the trade I started teachinggraduate coursesin chemical sensors in early 1980s, rst as a o- quarter (30 h) class then as a semester course and also as several intensive, 4-5-day courses. Later I organized my lecture notes into the rst edition of this book, which was published by Plenum in 1989 under the title Principles of Chemical Sensors. I started working on the second edition in 2006. The new edition of Principles of Chemical Sensors is a teaching book, not a textbook. Let me explain the difference. Textbooks usually cover some more or less narrow subject in maximum depth. Such an approach is not possible here. The subject of chemical sensors is much too broad, spanning many aspects of physical and analytical chemistry, biochemistry, materials science, solid-state physics, optics, device fabrication, electrical engine- ing, statistical analysis, and so on. The challengefor me has been to present uniform logical coverage of such a large area. In spite of its relatively shallow depth, it is intended as a graduate course. At its present state the amount of material is more thancan be coveredin a one-semestercourse (45h). Two one-quartercourseswould be more appropriate. Because of the breadth of the material, the sensor course has a somewhat unexpected but, it is hoped, bene cial effect. 392 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book aims to give a user friendly tutorial of an interdisciplinary research topic (fronts or interfaces in random media) to senior undergraduates and beginning grad uate students with basic knowledge of partial differential equations (PDE) and prob ability. The approach taken is semiformal, using elementary methods to introduce ideas and motivate results as much as possible, then outlining how to pursue rigor ous theorems, with details to be found in the references section. Since the topic concerns both differential equations and probability, and proba bility is traditionally a quite technical subject with a heavy measure theoretic com ponent, the book strives to develop a simplistic approach so that students can grasp the essentials of fronts and random media and their applications in a self contained tutorial. The book introduces three fundamental PDEs (the Burgers equation, Hamilton¿ Jacobi equations, and reaction¿diffusion equations), analysis of their formulas and front solutions, and related stochastic processes. It builds up tools gradually, so that students are brought to the frontiers of research at a steady pace. A moderate number of exercises are provided to consolidate the concepts and ideas. The main methods are representation formulas of solutions, Laplace meth ods, homogenization, ergodic theory, central limit theorems, large deviation princi ples, variational principles, maximum principles, and Harnack inequalities, among others. These methods are normally covered in separate books on either differential equations or probability. It is my hope that this tutorial will help to illustrate how to combine these tools in solving concrete problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In 'Paving the Way for Apollo 11' David Harland explains the lure of the Moon to classical philosophers, astronomers, and geologists, and how NASA set out to investigate the Moon in preparation for a manned lunar landing mission. It focuses particularly on the Lunar Orbiter and Surveyor missions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 7th Workshop on e-Business (WeB 2008) was held on December 13, 2008, in Paris. As a pre-ICIS workshop, it provided an open forum for e-business - searchersandpractitionerstoshareresearch ndings,explorenovelideas,discuss success stories and lessons learned, and map out major challenges with regard to the design of e-business systems. The workshop theme was ¿Designing e-Business Systems: Markets, Services and Networks.¿ With WeB 2008 having been located in Europe, we wanted to highlight the increasing importance of the design science approach for infor- tionsystemsresearch,which hasa longtraditionin theEuropeanIS community. We received a large number of submissions that addressed key issues speci c to the workshop theme as well as e-business in general. Based on a rigorous review process, a total of 31 full papers and 30 research-in-progresspapers were accepted for presentation at the workshop, covering a broad range of technical, empirical, managerial,and economic aspects of e-business. Of the 31 full papers, 17 selected papers are contained in this volume of Lecture Notes in Business Information Processing. We hope that you will nd them an interesting read and that you will bene t from the authors¿ ne contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 6th GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Since 2004, DIMVA annually brings together leading researchers and practitioners from academia, government and industry to present and discuss novel security research. DIMVA is organized by the Special Interest Group Security¿Intrusion Detection and Response (SIDAR)¿of the German Inf- matics Society (GI). The DIMVA 2009 Program Committee received 44 submissions from ind- trial and academic organizations from 17 di erent countries. Each submission was carefully reviewed by at least three Program Committee members or ext- nal experts. The submissions were evaluated on the basis of scienti c novelty, importance to the eld and technical quality. The nal selection took place at the Program Committee meeting held on March 23, 2009, in Brussels, Belgium. Ten full papers and three extended abstracts were selected for presentation and publication in the conference proceedings. TheconferencetookplaceduringJuly9¿10,2009,atVillaGallia,LakeComo, Italy, with the program grouped into ve sessions. Two keynote speeches were presented by Richard A. Kemmerer (University of California, Santa Barbara) and HenryStern (Ironport/ Cisco).The conferenceprogramwascomplemented by the Capture-the-Flag contest CIPHER (Challenges in Informatics: Progr- ming, Hosting and ExploRing) organized by Lexi Pimenidis (iDev GmbH) and a rump session organized by Sven Dietrich (Stevens Institute of Technology). A successful conference is the result of the joint e ort of many people. In particular, we would like to thank all the authors who submitted contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: ¿ Design, speci cation, code generation and testing based on formal methods ¿ Veri cation and validation of complex, distributed, real-time systems and embedded systems ¿ Veri cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g. , scalability and usability issues) ¿ Tools for the development of formal design descriptions ¿ Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi cation of new research - rections ¿ Impact of the adoption of formal methods on the development process and associated costs ¿ Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume brings together the peer-reviewed contributions of the participants at the COST 2102 International Conference on ¿Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions¿ held in Prague, Czech Republic, October 15¿18, 2008. The conference was sponsored by COST (European Cooperation in the Field of Scientific and Technical Research, cost. esf. org/domains_actions/ict) in the - main of Information and Communication Technologies (ICT) for disseminating the research advances developed within COST Action 2102: ¿Cross-Modal Analysis of Verbal and Nonverbal Communication¿ cost2102. cs. stir. ac. uk. COST 2102 research networking has contributed to modifying the conventional theoretical approach to the cross-modal analysis of verbal and nonverbal communi- tion changing the concept of face to face communication with that of body to body communication as well as developing the idea of embodied information. Information is no longer the result of a difference in perception and is no longer measured in terms of quantity of stimuli, since the research developed in COST 2102 has proved that human information processing is a nonlinear process that cannot be seen as the sum of the numerous pieces of information available. Considering simply the pieces of inf- mation available, results in a model of the receiver as a mere decoder, and produces a huge simplification of the communication process. 456 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Previously published as Handbook of Critical Care by CMG this book is a pocket-sized basic intensive care manual. The handbook is divided into 15 chapters, eight substantial ones covering the major organ systems, as well as infection, nutrition, physical injury and toxicology, and brief chapters on scoring systems and obstetrics. Many of the sections are loaded with very clear pictures, comparative tables, diagrams and lists, and provide more than adequate information for juniors training in intensive care medicine. The definitions, aetiology, clinical features and differential diagnoses are well covered. Excellent use is made of bullet points and numbering, which vastly increases the clarity of presentation compared with many other books that are pitched at a similar audience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Buch. Condición: Neu. Neuware -A 'Learning Network' is a community of people who help each other to better understand and handle certain events and concepts in work or life. As a result ¿ and sometimes also as an aim ¿ participating in learning networks stimulates personal development, a better understanding of concepts and events, career development, and employability. 'Learning Network Services' are Web services that are designed to facilitate the creation of distributed Learning Networks and to support the participants with various functions for knowledge exchange, social interaction, assessment and competence development in an effective way. The book presents state-of-the-art insights into the field of Learning Networks and Web-based services which can facilitate all kinds of processes within these networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2¿7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized rst on a bi-annual basis mostly and since 1996 on an annual basis, in 2001, 2004, 2004, 2006 and 2008 as a constituent of IJCAR. This year the Program Committee selected 32 technical contributions out of 77 initial submissions. Of the selected papers 27 were regular papers and 5 were system papers. Each paper was refereed by at least three reviewers on its sign- icance, technical quality, originality, quality of presentation and relevance to the conference. The refereeing process and the Program Committee meeting were conducted electronically via the Internet using the EasyChair conference m- agement system. The program included three invited lectures by distinguished experts in the area: Instantiation-Based Automated Reasoning: From Theory to Practice by Konstantin Korovin(The Universityof Manchester,UK),Integrated Reasoning and Proof Choice Point Selection in the Jahob System: Mechanisms for Program Survival by Martin Rinard (Massachusetts Institute of Technology, USA),and Building Theorem Provers byMarkStickel(SRIInternational,USA). 520 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and the e ective solving of largecombinatorialproblems. Basedonastrongtheoreticalfoundation,itisincreasinglyattractingcommercial interest. Since the 1990s, CP has been deployed by many industry leaders, in particular to model heterogeneous optimization and satisfaction problems. - amples of application domains where such problems naturally arise, and where constraint programming has made a valuable contribution, are scheduling, p- duction planning, communication networks, routing, planning of satellite m- sions, robotics, and bioinformatics. This volumecontainsthe papers selectedfor the post-proceedingsof the13th International Workshop on Constraint Solving and Constraint Logic Progr- ming(CSCLP2008)heldduringJune18¿20,2008inRome,Italy.Thisworkshop was organized as the 13th meeting of the working group on Constraints of the EuropeanResearchConsortiumforInformaticsandMathematics(ERCIM),c- tinuing a series of workshops organized since the creation of the working group in 1997. A selection of papers of these annual workshops plus some additional contributions have been published since 2002 in a series of volumes which ill- trate the evolutioninthe eld, under the title ¿RecentAdvances in Constraints¿ in the Lecture Notes in Arti cial Intelligence series.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the proceedings of the 13th International Conference on Financial Cryptography and Data Security, held at the Accra Beach Hotel and Resort, Barbados, February 23¿26, 2009. Financial Cryptography and Data Security (FC) is a well-established int- national forum for research, advanced development, education, exploration and debate regarding information assurance in the context of nance and commerce. The conference covers all aspects of securing transactions and systems. The goal of FC is to bring security and cryptography researchers and pr- titioners together with economists, bankers, and policy makers. This year, we assembled a vibrant program featuring 21 peer-reviewed research paper pres- tations, two panels (on the economics of information security and on authen- cation), and a keynote address by David Dagon. Despite a proliferation of security and cryptography venues, FC continues to receive a large number of high-quality submissions. This year, we received 91 submissions(75full-lengthpapers,15shortpapersand1panel).Eachsubmission was reviewed by at least three reviewers. Following a rigorous selection, ranking and discussion process, the Program Committee accepted 20 full-length papers, 1 short paper and 1 panel. The overall acceptance rate was 24%. 392 pp. Englisch.

Buch. Condición: Neu. Neuware -Terrestrial carbon balance is uncertain at the regional and global scale. A significant source of variability in mid-latitude ecosystems is related to the timing and duration of phenological phases. Spring phenology, in particular, has disproportionate effects on the annual carbon balance. However, the traditional phenological indices that are based on leaf-out and flowering times of select indicator species are not universally amenable for predicting the temporal dynamics of ecosystem carbon and water exchange.Phenology of Ecosystem Processes evaluates current applications of traditional phenology in carbon and H2O cycle research, as well as the potential to identify phenological signals in ecosystem processes themselves. The book summarizes recent progress in the understanding of the seasonal dynamics of ecosystem carbon and H2O fluxes, the novel use of various methods (stable isotopes, time-series, forward and inverse modeling), and the implications for remote sensing and global carbon cycle modeling.Each chapter includes a literature review, in order to present the state-of-the-science in the field and enhance the book¿s usability as an educational aid, as well as a case study to exemplify the use and applicability of various methods. Chapters that apply a specific methodology summarize the successes and challenges of particular methods for quantifying the seasonal changes in ecosystem carbon, water and energy fluxes. The book will benefit global change researchers, modelers, and advanced students.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 2005. The 29 revised full papers and 2 keynote papers presented were carefully reviewed and selected from numerous submissions. The papers address many current topics in multi-agent research and development, ranging from theoretical and methodological issues to various applications in different fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and trade, e-procurement, recommendation systems, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, envir- ments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -TheSAMOSworkshopisaninternationalgatheringofhighlyquali edresearchers from academia and industry, sharing ideas in a 3-day lively discussion on the quietandinspiringnorthernmountainsideoftheMediterraneanislandofSamos. The workshopmeeting is one of two co-locatedevents (the other event being the IC-SAMOS).Asatradition,theworkshopfeaturespresentationsinthemorning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the scienti c arena. Consequently, the workshopprovidesthe participantswithanenvironmentwherecollaboration rather than competition is fostered. The SAMOS conference and workshop were established in 2001 by Stamatis Vassiliadis with the goals outlined above in mind, and located on Samos, one of the most beautiful islands of the Aegean. The rich historical and cultural environment of the island, coupled with the intimate atmosphereandthe slowpaceofasmallvillagebythe seainthe middle of the Greek summer, provide a very conducive environment where ideas can be exchanged and shared freely.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Symposium on Privacy Enhancing Technologies, PETS 2009, held in Seattle, WA, USA, in August 2009. The 14 revised full papers presented were carefully reviewed and selected from 44 initial submissions. The papers - both from academia and industry - cover design and realization of privacy services for the internet and other communication networks and present novel research on all theoretical and practical aspects of privacy technologies, as well as experimental studies of fielded systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18¿20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia,industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me- ods and tools for system development. The series also promotes cooperation in research and education between participants and their institutions, from dev- oping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281), Macao SAR, China (2007, LNCS 4711), and Istanbul, Turkey (2008, LNCS 5160). This year, 81 submissions were received, distributed over 70 full research papers and 11 tool papers. Each submission was reviewed by at least three P- gram Committee members. We thank the members of the Program Committee and the other specialist referees for the e ort and skill that they invested in the review and selection process, which was managed using EasyChair. The C- mittee decided to accept 20 papers: 17 full research papers and 3 tool papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -We would like to welcome you to the proceedings of CCIW 2009, the Computational Color Imaging Workshop, held in Saint-Etienne, France, March 26¿27, 2009. This, the second CCIW, was organized by the University Jean Monnet and the - boratoire Hubert Curien UMR 5516 (Saint-Etienne, France) with the endorsement of the International Association for Pattern Recognition (IAPR), the French Association for Pattern Recognition and Interpretation (AFRIF) affiliated with IAPR, and the 'Groupe Français de l'Imagerie Numérique Couleur' (GFINC). The first CCIW was organized in 2007 in Modena, Italy, with the endorsement of IAPR. This workshop was held along with the International Conference on Image Analysis and Processing (ICIAP), the main conference on image processing and pattern recognition organized every two years by the Group of Italian Researchers on Pattern Recognition (GIRPR) affiliated with the International Association for Pattern Recognition (IAPR). Our first goal, since we began the planning of the workshop, was to bring together engineers and scientists from various imaging companies and from technical com- nities all over the world to discuss diverse aspects of their latest work, ranging from theoretical developments to practical applications in the field of color imaging, color image processing and analysis. The workshop was therefore intended for researchers and practitioners in the digital imaging, multimedia, visual communications, computer vision, and consumer electronic industry, who are interested in the fundamentals of color image processing and its emerging applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.