springer okt 2009 (612 resultados)

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on learning, graphs, testing, optimization and caching, as well as stochastic algorithms in bioinformatics. 220 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Developments over the last twenty years have fueled considerable speculation about the future of the book and of reading itself. This book begins with a gloss over the history of electronic books, including the social and technical forces that have shaped their development. The focus then shifts to reading and how we interact with what we read: basic issues such as legibility, annotation, and navigation are examined as aspects of reading that Elektronisches Buchs inherit from their print legacy. Because reading is fundamentally communicative, I also take a closer look at the sociality of reading: how we read in a group and how we share what we read. Studies of reading and Elektronisches Buch use are integrated throughout the book, but Chapter 5 'goes meta' to explore how a researcher might go about designing his or her own reading-related studies. No book about Elektronisches Buchs is complete without an explicit discussion of content preparation, i.e., how the electronic book is written. Hence, Chapter 6 delves into the underlying representation of Elektronisches Buchs and efforts to create and apply markup standards to them. This chapter also examines how print genres have made the journey to digital and how some emerging digital genres might be realized as Elektronisches Buchs. Finally, Chapter 7 discusses some beyond-the-book functionality: how can Elektronisches Buch platforms be transformed into portable personal libraries In the end, my hope is that by the time the reader reaches the end of this book, he or she will feel equipped to perform the next set of studies, write the next set of articles, invent new Elektronisches Buch functionality, or simply engage in a heated argument with the stranger in seat 17C about the future of reading. Table of Contents: Preface / Figure Credits / Introduction / Reading / Interaction / Reading as a Social Activity / Studying Reading / Beyond the Book / References / Author BiographySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Testing applications for mobile phones is difficult, time-consuming, and hard to do effectively. Many people have limited their testing efforts to hands-on testing of an application on a few physical handsets, and they have to repeat the process every time a new version of the software is ready to test. They may miss many of the permutations of real-world use, and as a consequence their users are left with the unpleasant mess of a failing application on their phone. Test automation can help to increase the range and scope of testing, while reducing the overhead of manual testing of each version of the software. However automation is not a panacea, particularly for mobile applications, so we need to pick our test automation challenges wisely. This book is intended to help software and test engineers pick appropriately to achieve more; and as a consequence deliver better quality, working software to users. This Synthesis lecture provides practical advice based on direct experience of using software test automation to help improve the testing of a wide range of mobile phone applications, including the latest AJAX applications. The focus is on applications that rely on a wireless network connection to a remote server, however the principles may apply to other related fields and applications. We start by explaining terms and some of the key challenges involved in testing smartphone applications. Subsequent chapters describe a type of application e.g. markup, AJAX, Client, followed by a related chapter on how to test each of these applications. Common test automation techniques are covered in a separate chapter, and finally there is a brief chapter on when to test manually. The book also contains numerous pointers and links to further material to help you to improve your testing using automation appropriately. Table of Contents: Introduction / Markup Languages / Testing Techniques for Markup Applications / AJAX Mobile Applications / Testing Mobile AJAX Applications / Client Applications / Testing Techniques for Client Applications / Common Techniques / When to Test Manually / Future Work / Appendix A: Links and References / Appendix B: Data Connectivity / Appendix C: Configuring Your MachineSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This lecture describes the author's approach to the representation of color spaces and their use for color image processing. The lecture starts with a precise formulation of the space of physical stimuli (light). The model includes both continuous spectra and monochromatic spectra in the form of Dirac deltas. The spectral densities are considered to be functions of a continuous wavelength variable. This leads into the formulation of color space as a three-dimensional vector space, with all the associated structure. The approach is to start with the axioms of color matching for normal human viewers, often called Grassmann's laws, and developing the resulting vector space formulation. However, once the essential defining element of this vector space is identified, it can be extended to other color spaces, perhaps for different creatures and devices, and dimensions other than three. The CIE spaces are presented as main examples of color spaces. Many properties of the color space are examined. Once the vector space formulation is established, various useful decompositions of the space can be established. The first such decomposition is based on luminance, a measure of the relative brightness of a color. This leads to a direct-sum decomposition of color space where a two-dimensional subspace identifies the chromatic attribute, and a third coordinate provides the luminance. A different decomposition involving a projective space of chromaticity classes is then presented. Finally, it is shown how the three types of color deficiencies present in some groups of humans leads to a direct-sum decomposition of three one-dimensional subspaces that are associated with the three types of cone photoreceptors in the human retina. Next, a few specific linear and nonlinear color representations are presented. The color spaces of two digital cameras are also described. Then the issue of transformations between different color spaces is addressed. Finally, these ideas are applied to signal and system theory for color images. This is done using a vector signal approach where a general linear system is represented by a three-by-three system matrix. The formulation is applied to both continuous and discrete space images, and specific problems in color filter array sampling and displays are presented for illustration. The book is mainly targeted to researchers and graduate students in fields of signal processing related to any aspect of color imaging.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book introduces Chinese language-processing issues and techniques to readers who already have a basic background in natural language processing (NLP). Since the major difference between Chinese and Western languages is at the word level, the book primarily focuses on Chinese morphological analysis and introduces the concept, structure, and interword semantics of Chinese words. The following topics are covered: a general introduction to Chinese NLP; Chinese characters, morphemes, and words and the characteristics of Chinese words that have to be considered in NLP applications; Chinese word segmentation; unknown word detection; word meaning and Chinese linguistic resources; interword semantics based on word collocation and NLP techniques for collocation extraction. Table of Contents: Introduction / Words in Chinese / Challenges in Chinese Morphological Processing / Chinese Word Segmentation / Unknown Word Identification / Word Meaning / Chinese Collocations / Automatic Chinese Collocation Extraction / Appendix / References / Author BiographiesSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Cartilage injuries in children and adolescents are increasingly observed, with roughly 20% of knee injuries in adolescents requiring surgery. In the US alone, costs of osteoarthritis (OA) are in excess of $65 billion per year (both medical costs and lost wages). Comorbidities are common with OA and are also costly to manage. Articular cartilage's low friction and high capacity to bear load makes it critical in the movement of one bone against another, and its lack of a sustained natural healing response has necessitated a plethora of therapies. Tissue engineering is an emerging technology at the threshold of translation to clinical use. Replacement cartilage can be constructed in the laboratory to recapitulate the functional requirements of native tissues. This book outlines the biomechanical and biochemical characteristics of articular cartilage in both normal and pathological states, through development and aging. It also provides a historical perspective of past and current cartilage treatments and previous tissue engineering efforts. Methods and standards for evaluating the function of engineered tissues are discussed, and current cartilage products are presented with an analysis on the United States Food and Drug Administration regulatory pathways that products must follow to market. This book was written to serve as a reference for researchers seeking to learn about articular cartilage, for undergraduate and graduate level courses, and as a compendium of articular cartilage tissue engineering design criteria.Table of Contents: Hyaline Articular Cartilage / Cartilage Aging and Pathology / In Vitro / Bioreactors / Future DirectionsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -A Spectroscopic Atlas of the Stars: A Pocket Field Guide is a standard reference book for all amateur astronomers interested in practical spectroscopy or spectrography. For the first time in one place, it identifies more than 70 (northern hemisphere) bright stars that are suitable observational targets for both amateurs and astronomy students.Finder charts are provided for locating these sometimes-familiar stars. Data for each star includes labelled stellar spectra, a spectral profile with spectral lines identified. These are conveniently laid out on a single page, opposite tables of spectroscopic properties, and lines and wavelengths identified.This is the first Spectral Atlas designed for amateur astronomers. It is equally relevant to college undergraduates, being intended to familiarize astronomers of any age and level of knowledge with labelled stellar spectra and their different properties. It contains much information about stars which is hard to find or inaccessible to most people.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 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 184 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 180 pp. Englisch.

Buch. Condición: Neu. Neuware -The fourth edition is augmented by more than 70 new formulas. In particular, we have included some key concepts and results from trade theory, games of incomplete information and combinatorics. In addition there are scattered additions of new formulas in many chapters. Again we are indebted to a number of people who has suggested corrections, - provements and new formulas. In particular, we would like to thank Jens-Henrik Madsen, Larry Karp, Harald Goldstein, and Geir Asheim. In a reference book, errors are particularly destructive. We hope that readers who nd our remaining errors will call them to our attention so that we may purge them from future editions. Oslo and Berkeley, May 2005 Knut Sydsæter, Arne Strøm, Peter Berck From the preface to the third edition Thepracticeofeconomicsrequiresawide-rangingknowledgeofformulasfrommat- matics, statistics, andmathematicaleconomics. Withthisvolumewehopetopresent a formulary tailored to the needs of students and working professionals in economics. In addition to a selection of mathematical and statistical formulas often used by economists, this volume contains many purely economic results and theorems. It containsjusttheformulasandtheminimumcommentaryneededtorelearnthema- ematics involved. We have endeavored to state theorems at the level of generality economists might nd useful. In contrast to the economic maxim, 'everything is twice more continuously di erentiable than it needs to be', we have usually listed theregularityconditionsfortheoremstobetrue.Wehopethatwehaveachieveda level of explication that is accurate and useful without being pedantic.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 225 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Second Annual Workshop on Privacy and Security, organized by the Center for Interdisciplinary Studies in Information Privacy and Security of the School of C- munication and Information at Rutgers University, was held on May 12, 2008 at the Hyatt Regency, New Brunswick, New Jersey, USA. A few of the papers in this volume were produced through a multi-step process. First, we recorded the talk given by each author at the workshop in May 2008. Next, we transcribed the recording. The authors then produced a draft of their paper from these transcriptions, refining each draft until the final version. Although the papers are not verbatim transcriptions of the talks given, some do retain the informal and conv- sational quality of the presentations. In one instance we have included some material from the question-and-answer period after the talk, since the material covered proved to be relevant and interesting. The majority of authors, however, preferred to include a more formal paper based on the material presented at the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -work for small problems, but it introduces signi cant accidental complexities when tackling larger problems. Notethattherealchallengehereisnothowtodesignthesystemtotakeap- ticular aspect into account: there is signi cant design know-how in industry on this and it is often captured in the form of design patterns. Taking into account more than one aspect can be a little harder, but many large scale successful projects in industry provide some evidence that engineers know how di erent concerns should be handled. The real challenge is reducing the e ort that the engineerhasto expendwhengrapplingwithmanyinter-dependentconcerns.For example, in a product-line context, when an engineer wants to replace a variant of an aspect used in a system, she should be able to do this cheaply, quickly and safely. Manually weaving every aspect is not an option. Unlike many models used in the sciences, models in software and in lingu- tics have the same nature as the things they model. In software, this provides an opportunity to automatically derive software from its model, that is, to - tomate the weaving process. This requires models to be formal, and the weaving process be described as a program (i.e., an executable meta-model) manipul- ing models to produce a detailed design. The detailed design produced by the weaving process can ultimately be transformed to code or at least test suites.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Mathematical sciences are contributing more and more to advances in life science research, a trend that will grow in the future. Realizing that the mathematical sciences can be critical to many areas of biomedical imaging, we organized a three-day minicourse on mathema- cal modelling in biomedical imaging at the Institute Henri Poincar¿einParis in March 2007. Prominent mathematicians and biomedical researchers were paired to review the state-of-the-art in the subject area and to share mat- maticalinsightsregardingfutureresearchdirectionsinthisgrowingdiscipline. The speakers gave presentations on hot topics including electromagnetic brain activity, time-reversal techniques, elasticity imaging, infrared thermal tomography,acoustic radiationforce imaging, electrical impedance and m- netic resonance electrical impedance tomographies. Indeed, they contributed to this volume with original chapters to give a wider audience the bene t of their talks and their thoughts on the eld. This volume is devoted to providing an exposition of the promising - alytical and numerical techniques for solving important biomedical imaging problems and to piquing interest in some of the most challenging issues. We hope that it will stimulate much needed progress in the directions that were described during the course. The biomedical imaging problems addressed in this volume trigger the investigation of interesting and di cult problems in various branches of mathematics including partialdi erential equations, h- monic analysis, complex analysis, numerical analysis, optimization, image analysis, and signal theory. The partial support o ered by the ANR project EchoScan (AN-06- Blan-0089) is acknowledged. We also thank the sta at the Institute Henri Poincar¿ e.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. Topics addressed by the workshops are active conceptual modeling of learning (ACM-L), conceptual modeling in the large (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint international workshop on metamodels, ontologies, semantic technologies, and information systems for the semantic web (MOST-ONISW), quality of information systems (QoIS), requirements, Intentions and goals in conceptual modeling ( RIGiM) and semantic and conceptual issues in geographic information systems (SeCoGIS).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems. Incorrect or inappropriate agent behavior can have harmful - fects, including financial cost, loss of data, and injury to humans or systems. For - ample, NASA has proposed missions where multiagent systems, working in space or on other planets, will need to do their own reasoning about safety issues that concern not only themselves but also that of their mission. Likewise, industry is interested in agent systems that can search for new supply opportunities and engage in (semi-) automated negotiations over new supply contracts. These systems should be able to securely negotiate such arrangements and decide which credentials can be requested and which credentials may be disclosed. Such systems may encounter environments that are only partially understood and where they must learn for themselves which aspects of their environment are safe and which are dangerous. Thus, security and safety are two central issues when developing and deploying such systems. We refer to a multiagent system¿s security as the ability of the system to deal with threats that are intentionally caused by other intelligent agents and/or s- tems, and the system¿s safety as its ability to deal with any other threats to its goals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Welcome back to the International Security Protocols Workshop. Our theme for this, the 14th workshop in the series, is ¿Putting the Human Back in the Protocol¿. We¿ve got into the habit of saying ¿Of course, Alice and Bob aren¿t really people. Alice and Bob are actually programs running in some computers.¿ But we build computer systems in order to enable people to interact in accordance with certain social protocols. So if we¿re serious about system services being end-to-end then, at some level of abstraction, the end points Alice and Bob are humanafterall.Thishascertainconsequences.Weexploresomeoftheminthese proceedings, in the hope that this will encourage you to pursue them further. Is Alice talking to the correct stranger Our thanks to Sidney Sussex College, Cambridge for the use of their faci- ties, and to the University of Hertfordshire for lending us several of their sta . Particular thanks once again to Lori Klimaszewska of the University of C- bridge Computing Service for transcribing the audio tapes, and to Virgil Gligor for acting as our advisor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision Theory. The conference was held in San Servolo, a small island of the Venice lagoon, during October 20-23, 2009. The program of the conference included oral presentations, posters, invited talks, and tutorials. The conference received 65 submissions of which 39 papers were accepted (9 papers were posters). The topics of these papers range from computational social choice preference modeling, from uncertainty to preference learning, from multi-criteria decision making to game theory. 476 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. The 21 full papers and two brief announcements were carefully selected from 41 submissions. This workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). The purpose of ICSOFT 2008 was to bring together researchers, engineers and practitioners interested in information technology and software development. The conference tracks were ¿Software Engineering¿, ¿Information Systems and Data Management¿, ¿Programming Languages¿, ¿Distributed and Parallel Systems¿ and ¿Knowledge Engineering¿. Being crucial for the development of information systems, software and data te- nologies encompass a large number of research topics and applications: from imp- mentation-related issues to more abstract theoretical aspects of software engineering; from databases and data-warehouses to management information systems and kno- edge-base systems; next to that, distributed systems, pervasive computing, data qu- ity and other related topics are included in the scope of this conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ThepromiseoftheSemanticWeb,atits most expansive, is to allow knowledge to be freely accessed and exchanged by software. It is now recognized that if the SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to nd the righttrade-o betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on the Web. The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown into a major international forum in this area. The third RR conference was held during October 25¿26, 2009 in Chantilly, Virginia, co-located with the International Semantic Web Conference (ISWC 2009). This year 41 papers were submitted from authors in 21 countries. The P- gram Committee performed outstandingly to ensure that each paper submitted to RR 2009 was thoroughly reviewed by at least three referees in a short - riod of time. The resulting conference presented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Robert Kowalski, in his talk ¿- tegrating Logic Programming and Production Systems with Abductive Logic Programming Agents¿ addressed some of the fundamental considerations - hind reasoning about evolving systems. Benjamin Grossof¿s talk ¿SILK: Higher Level Rules with Defaults and Semantic Scalability¿ described the design of a major next-generation rule system. The invited tutorial ¿Uncertainty Reas- ing for the Semantic Web¿ by Thomas Lukasiewicz provided perspectives on a central issue in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Distribution of anaphora in natural language and the complexity of its resolution have resulted in a wide range of disciplines focusing their research on this grammatical phenomenon. It has emerged as one of the most productive topics of multi- and int- disciplinary research such as cognitive science, artificial intelligence and human language technology, theoretical, cognitive, corpus and computational linguistics, philosophy of language, psycholinguistics and cognitive psychology. Anaphora plays a major role in understanding a language and also accounts for the cohesion of a text. Correct interpretation of anaphora is necessary in all high-level natural language pr- essing applications. Given the growing importance of the study of anaphora in the last few decades, it has emerged as the frontier area of research. This is evident from the high-quality th submissions received for the 7 DAARC from where the 10 excellent reports on - search findings are selected for this volume. These are the regular papers that were presented at DAARC.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The ability to interface patient monitors directly to a computer, and generate a clinical record has existed for over 20 years. However, the acceptance of comprehensive electronic medical records in anesthesia has been slow to develop. Experts anticipate this reluctance is changing because of enhanced patient care through the use of detailed health information record systems. Anesthesia Informatics provides the health informatician and administrator with a comprehensive overview of this blossoming technology. With contributions from leaders in the field, this user-friendly guide addresses how this technology has enhanced both the need for and the ability to collect and apply data in an acute care setting. It also offers invaluable insight on the business implications and the rationales required to make a purchase decision. Each section outlines need to know information to help the reader with the implementation and utilization of an Anesthesia Information Management System. Useful case scenarios focus on the ideal components (anesthesia record, business rationale, communication, collaboration, and training) of a fully automated record-keeping system.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2¿9, 2008. During the last 14 years the DNA C- puting meetings have been the key forum at the boundary between computer science, biochemistry and nanotechnology where the most recent results have been presented and their authors have met. Their scienti c program includes mathematical foundations and theoretical study of DNA computing ¿ or b- computing in general¿ and recent experimental results in DNA nanotechnology, nanoscience and nanocomputing. It continues to be one of the most exciting interdisciplinary meetings, as exempli ed by the diverse nature of contributions in this volume. The meeting began with tutorial talks by Friedrich Simmel (¿Molecular - ology for Computer Scientists¿), Nadrian Seeman (¿Structural DNA Nanote- nology¿), and Yasubumi Sakakibara (¿Formal Grammars for DNA Compu- tion and Bioinformatics¿). During the meeting, a number of excellent keynote speakers gave an up-to-date overview of di erent aspects of DNA computing and biochemical information processing. Luca Cardelli talked about ¿Molecules as Automata,¿ while Niles Pierce gave an exciting talk entitled ¿Molecular Choreography¿ProgrammingNucleicAcidSelf-AssemblyandDisassemblyPa- ways.¿Inamorebiologicaltalk,LauraLandweberdiscussed¿RNA-Guided,E- geneticProgrammingandRe-programmingofGenomicInformationinCiliates,¿ and Ming Li gave an overview of ¿Modern Homology Search.¿ The meeting was concluded by a Nanoday with beautiful presentations by Christof Niemeyer, Kurt Gothelf, Andrew Ellington and David Pine.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The First Asian Conference on Machine Learning (ACML 2009) was held at Nanjing, China during November 2¿4, 2009.This was the rst edition of a series of annual conferences which aim to provide a leading international forum for researchers in machine learning and related elds to share their new ideas and research ndings. This year we received 113 submissions from 18 countries and regions in Asia, Australasia, Europe and North America. The submissions went through a r- orous double-blind reviewing process. Most submissions received four reviews, a few submissions received ve reviews, while only several submissions received three reviews. Each submission was handled by an Area Chair who coordinated discussions among reviewers and made recommendation on the submission. The Program Committee Chairs examined the reviews and meta-reviews to further guarantee the reliability and integrity of the reviewing process. Twenty-nine - pers were selected after this process. To ensure that important revisions required by reviewers were incorporated into the nal accepted papers, and to allow submissions which would have - tential after a careful revision, this year we launched a ¿revision double-check¿ process. In short, the above-mentioned 29 papers were conditionally accepted, and the authors were requested to incorporate the ¿important-and-must¿re- sionssummarizedbyareachairsbasedonreviewers¿comments.Therevised nal version and the revision list of each conditionally accepted paper was examined by the Area Chair and Program Committee Chairs. Papers that failed to pass the examination were nally rejected.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2009), which was held in Venice, Italy, during October 27-28, 2009. DSOM 2009 was the 20th event in a series of annual workshops. It followed in the footsteps of previous successful meetings, the most recent of which were held on Samos, Greece (DSOM 2008), San Jos¿ e, California, USA (DSOM 2007), Dublin, Ireland (DSOM 2006), Barcelona, Spain (DSOM 2005), and Davis, C- ifornia, USA (DSOM 2004). The goal of the DSOM workshops is to bring - gether researchersfromindustry andacademia workingin the areasofnetworks, systems, and service management, to discuss recent advances and foster future growth. In contrast to the larger management conferences, such as IM (Inter- tional Symposium on Integrated Network Management) and NOMS (Network OperationsandManagementSymposium),DSOMworkshopshaveasingle-track program in order to stimulate more intense interaction among participants. 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -From the reviews:'. Despite the appearance [.] in a series titled Algorithms and Computation of Mathematics, computation occupies only a small part of the monograph. It is best described as a useful reference for one's personal collection and a text for a full-year course given to graduate or even senior undergraduate students. [.] the book under review is worth purchasing for the library and possibly even for one's own collection. The author's interest in the history and development of this area is evident, and we have pleasant glimpses of progress over the last three centuries [.] the reader gains a synopsis of and guide to the literature .' E.Barbeau, SIAM Review 47:3, 2005.'This is an exposition of polynomial theory and results, both classical and modern. [.] the volume is packed with results and proofs that are well organised thematically [.] What is unusual is to have a text that embraces and intermingles both analytic and algebraic aspects of the theory¿' S.D.Cohen, Math.Reviews 2005Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Condición: Neu. Neuware -The purpose of this volume is to present current work of the Intelligent Computer Graphics community, a community growing up year after year. This volume is a kind of continuation of the previously published Springer volume 'Artificial Int- ligence Techniques for Computer Graphics'. Nowadays, intelligent techniques are more and more used in Computer Graphics in order, not only to optimise the pr- essing time, but also to find more accurate solutions for a lot of Computer Gra- ics problems, than with traditional methods. What are intelligent techniques for Computer Graphics Mainly, they are te- niques based on Artificial Intelligence. So, problem resolution (especially constraint satisfaction) techniques, as well as evolutionary techniques, are used in Declarative scene Modelling; heuristic search techniques, as well as strategy games techniques, are currently used in scene understanding and in virtual world exploration; multi-agent techniques and evolutionary algorithms are used in behavioural animation; and so on. However, even if in most cases the used intelligent techniques are due to Artificial - telligence, sometimes, simple human intelligence can find interesting solutions in cases where traditional Computer Graphics techniques, even combined with Artificial Intelligence ones, cannot propose any satisfactory solution. A good example of such a case is the one of scene understanding, in the case where several parts of the scene are impossible to access. 232 pp. Englisch.

Buch. Condición: Neu. Neuware -This monograph is the first one to systematically present a series of local and global estimates and inequalities for differential forms, in particular the ones that satisfy the A-harmonic equations. The presentation focuses on the Hardy-Littlewood, Poincare, Cacciooli, imbedded and reverse Holder inequalities. Integral estimates for operators, such as homotopy operator, the Laplace-Beltrami operator, and the gradient operator are discussed next. Additionally, some related topics such as BMO inequalities, Lipschitz classes, Orlicz spaces and inequalities in Carnot groups are discussed in the concluding chapter. An abundance of bibliographical references and historical material supplement the text throughout.This rigorous presentation requires a familiarity with topics such as differential forms, topology and Sobolev space theory. It will serve as an invaluable reference for researchers, instructors and graduate students in analysis and partial differential equations and could be used as additional material for specific courses in these fields. 404 pp. Englisch.