springer springer jul 2008 (585 risultati)

Taschenbuch. Condizione: Neu. Neuware -The Funk Era and Beyond is the first scholarly collection to discuss the significance of funk music in America. Contributors employ a multitude of methodologies to examine this unique musical genre's relationship to African American culture and to music, literature, and visual art as a whole. 262 pp. Englisch.

Buch. Condizione: Neu. Neuware - Ever since I was a graduate student at the University of Chicago in October 1962, I have been interested in challenges at the global scale that could affect the future of humanity. The Cuban Missile Crisis brought home to me how vulnerable we are. Indeed it brought home that we could be dead from causes thousands of miles away with a warning of a maximum of thirty minutes. It was obvious the world was becoming smaller. As I looked out the window from my apartment in Chicago, I could see ch- dren of school age at play in the alley - despite it being a weekday. They weren't in school. One rarely saw adult men with them - only women. What con- quences would that bring Not far away was the headquarters of a strange group calling themselves the Black Moslems. There was a palpable anger that radiated from there. Where would this lead Was there not a breaking point in how much difference in wealth and general well-being could be tolerated I became increasingly interested in international politics, in particular about how we governed ourselves through international institutions and international law. Hans Morgenthau emphasized to us the importance of national interests. It became clear to me that governments needed interests as an incentive to act, c- tainly if there were important consequences in acting. Values were important but were not a sufficient condition.

Taschenbuch. Condizione: Neu. Neuware - Ordinary di erential equations serve as mathematical models for many exciting 'real-world' problems, not only in science and technology, but also in such diverse elds as economics, psychology, defense, and demography. Rapid growth in the theory of di erential equations and in its applications to almost every branch of knowledge has resulted in a continued interest in its study by students in many disciplines. This has given ordinary di er- tial equations a distinct place in mathematics curricula all over the world and it is now being taught at various levels in almost every institution of higher learning. Hundredsofbooksonordinarydi erentialequationsareavailable. H- ever, the majority of these are elementary texts which provide a battery of techniquesfor ndingexplicitsolutions. Thesizeofsomeofthes Elektronisches Buchhas grown dramatically-to the extent that students are often lost in deciding wheretostart. Thisisallduetotheadditionofrepetitiveexamplesand- ercises, and colorful pictures. The advanced books are either on specialized topics or are encyclopedic in character. In fact, there are hardly any rig- ousandperspicuousintroductorytextsavailablewhichcanbeuseddirectly in class for students of applied sciences. Thus, in an e ort to bring the s- ject to a wide audience we provide a compact, but thorough, introduction to the subject in An Introduction to Ordinary Di erential Equations. This book is intended for readers who have had a course in calculus, and hence it canbeusedforaseniorundergraduatecourse. Itshouldalsobesuitablefor a beginning graduate course, because in undergraduate courses, students do not have any exposure to various intricate concepts, perhaps due to an inadequate level of mathematical sophistication.

Taschenbuch. Condizione: Neu. Neuware - Universal Algebra heralded as '. . . the standard reference in a field notorious for the lack of standardization . . .', has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science.Each chapter is followed by an extensive list of exercises and problems. The 'state of the art' account also includes new appendices (with contributions from B. Jónsson, R. Quackenbush, W. Taylor, and G. Wenzel) and a well selected additional bibliography of over 1250 papers and books which makes this an indispensable new edition for students, faculty, and workers in the field.'This book will certainly be, in the years to come, the basic reference to the subject.' The American Mathematical Monthly (First Edition)'In this reviewer's opinion [the author] has more than succeeded in his aim. The problems at the end of each chapter are well-chosen; there are more than 650 of them. The book is especially suitable for self-study, as the author frequently provides ample explanation not only of what he is proving, but also of how and why he is proving it. As a reference work for the specialist or a text for the student, the book is highly recommended.' Mathematical Reviews (First Edition)'Since the first day of its appearance in 1968, this book has been the standard reference in universal algebra, and no book since has reached its quality.' Journal of Symbolic Logic (Second Edition).

Buch. Condizione: Neu. Neuware - Conceptualization and measurement of poverty have traditionally relied on purely economic approaches, with income or consumption as the only indicator. Multidimensional approaches have increasingly been used to understand poverty, but have yet to be fully operationalized. This book uses factor analysis and structural equations modelling to develop a multidimensional framework that integrates capability and social inclusion as additional poverty indicators. The empirical relevance of this methodological contribution is demonstrated through its application in the United States and Nepal.The proposed approach not only helps to identify different categories of the poor, but also to more accurately target resources and policies of poverty alleviation. The book will therefore be an important reference for professionals in development agencies as well as for poverty and policy researchers.

Buch. Condizione: Neu. Neuware - Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments held at the Institute of Computer Science, Foundation for Research and Technology - Hellas in Crete, Greece, June 2007. This workshop brought together representatives of the academic and industrial communities performing Grid research in Europe. Organized within the context of the CoreGRID Network of Excellence, this workshop provided a forum for the presentation and exchange of views on the latest developments in Grid Technology research. This volume is the 7th in the series of CoreGRID books.Making Grids Work is designed for a professional audience, composed of researchers and practitioners in industry. This volume is also suitable for graduate-level students in computer science.

Buch. Condizione: Neu. Neuware - Sponsored by the American Real Estate Society (ARES), Indigenous Peoples and Real Estate Valuation addresses a wide variety of timely issues relating to property ownership, rights, and use, including: ancestral burial, historical record of occupancy, treaty implementation problems, eminent domain, the effects of large governmental change, financing projects under formal and informal title or deed document systems, exclusive ownership vs. non-exclusive use rights, public land ownership, tribal or family land claims, insurgency and war, legal systems of ownership, prior government expropriation of lands, moral obligation to indigenous peoples, colonial occupation, and common land leases. These issues can also be broadly grouped into topics, such as conflict between indigenous and western property rights, communal land ownership, land transfer by force, legacy issues related to past colonization and apartheid, and metaphysical/indigenous land value.

Taschenbuch. Condizione: Neu. Neuware - Sol-gel processing is a soft-chemistry method to obtain functional materials at low temperatures. This route can be used to produce very sophisticated nanomaterials and to tailor the materials to very specific applications. Adsorption and detection of pollutants, water purification and soil remediation represent challenging fields of application that can be exploited by sol-gel materials. In this volume several contributions from invited speakers and participants at the NATO advanced research workshop on 'Sol-gel approaches to materials for pollution control, water purification and soil remediation', which has been held in Kiev, Ukraine on October 2007, are reported. The book offers a wide and updated overview of the most advanced sol-gel methods for materials processing and at the same time presents several case studies concerning possible solutions for environmental issues. General articles on sol-gel from the invited speakers and focused research articles allow getting inside sol-gel applications on this very important field.

Buch. Condizione: Neu. Neuware - This book was written with the purpose of providing a sound basis for the design of enzymatic reactions based on kinetic principles, but also to give an updated vision of the potentials and limitations of biocatalysis, especially with respect to recent app- cations in processes of organic synthesis. The rst ve chapters are structured in the form of a textbook, going from the basic principles of enzyme structure and fu- tion to reactor design for homogeneous systems with soluble enzymes and hete- geneous systems with immobilized enzymes. The last chapter of the book is divided into six sections that represent illustrative case studies of biocatalytic processes of industrial relevance or potential, written by experts in the respective elds. We sincerely hope that this book will represent an element in the toolbox of gr- uate students in applied biology and chemical and biochemical engineering and also of undergraduate students with formal training in organic chemistry, biochemistry, thermodynamics and chemical reaction kinetics. Beyond that, the book pretends also to illustrate the potential of biocatalytic processes with case studies in the eld of organic synthesis, which we hope will be of interest for the academia and prof- sionals involved in R&D&I. If some of our young readers are encouraged to engage or persevere in their work in biocatalysis this will certainly be our more precious reward.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Barrie Jones addresses the question 'are we alone ', which is one of the most frequently asked questions by scientists and non-scientists alike. In The Search for Life Continued, this question is addressed scientifically, and the author is not afraid to include speculation. Indeed, the author believes beyond reasonable doubt that we are not alone and this belief is based firmly on frontier science of the most imaginative kind.Theauthor concentrates on planetary systems beyond our own but starts with life on Earth, which is the only life we know to exist, and which provides guidance on how best to search for life elsewhere. Planets are the most likely abode of life and so we start the quest with the search for planets beyond the Solar System - exoplanets. The methods of searching are outlined and the nature ofhundreds ofexoplanetary systems so far discovered described. In the near future we expect to discover habitable Earth-like planets. But are they actually inhabited How could we tell All will be revealed.This full color book is written for everybody who wants to stay inclose contactwith the latest on possible life on other planets. 277 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an introduction to narrowband array signal processing, classical and subspace-based direction of arrival (DOA) estimation with an extensive discussion on adaptive direction of arrival algorithms. The book begins with a presentation of the basic theory, equations, and data models of narrowband arrays. It then discusses basic beamforming methods and describes how they relate to DOA estimation. Several of the most common classical and subspace-based direction of arrival methods are discussed. The book concludes with an introduction to subspace tracking and shows how subspace tracking algorithms can be used to form an adaptive DOA estimator. Simulation software and additional bibliography are given at the end of the book.Table of Contents: Introduction / Background on Array Processing / Nonadaptive Direction of Arrival Estimation / Adaptive Direction of Arrival Estimation / Appendix 84 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Artificial systems that think and behave intelligently are one of the most exciting and challenging goals of Artificial Intelligence. Action Programming is the art and science of devising high-level control strategies for autonomous systems which employ a mental model of their environment and which reason about their actions as a means to achieve their goals. Applications of this programming paradigm include autonomous software agents, mobile robots with high-level reasoning capabilities, and General Game Playing. These lecture notes give an in-depth introduction to the current state-of-the-art in action programming. The main topics are knowledge representation for actions, procedural action programming, planning, agent logic programs, and reactive, behavior-based agents. The only prerequisite for understanding the material in these lecture notes is some general programming experience and basic knowledge of classical first-order logic. Table of Contents: Introduction / Mathematical Preliminaries / Procedural Action Programs / Action Programs and Planning / Declarative Action Programs / Reactive Action Programs / Suggested Further Reading 100 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about relations between three different areas of mathematics and theoretical computer science: combinatorial group theory, cryptography, and complexity theory. It is explored how non-commutative (infinite) groups, which are typically studied in combinatorial group theory, can be used in public key cryptography. It is also shown that there is a remarkable feedback from cryptography to combinatorial group theory because some of the problems motivated by cryptography appear to be new to group theory, and they open many interesting research avenues within group theory.Then, complexity theory, notably generic-case complexity of algorithms, is employed for cryptanalysis of various cryptographic protocols based on infinite groups, and the ideas and machinery from the theory of generic-case complexity are used to study asymptotically dominant properties of some infinite groups that have been applied in public key cryptography so far. Its elementary exposition makes the book accessible to graduate as well as undergraduate students in mathematics or computer science. 183 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Interactive display and visualization of large geometric and textured models is becoming a fundamental capability. There are numerous application areas, including games, movies, CAD, virtual prototyping, and scientific visualization. One of observations about geometric models used in interactive applications is that their model complexity continues to increase because of fundamental advances in 3D modeling, simulation, and data capture technologies.As computing power increases, users take advantage of the algorithmic advances and generate even more complex models and data sets. Therefore, there are many cases where we are required to visualize massive models that consist of hundreds of millions of triangles and, even, billions of triangles. However, interactive visualization and handling of such massive models still remains a challenge in computer graphics and visualization. In this monograph we discuss various techniques that enable interactive visualization of massive models.These techniques include visibility computation, simplification, levels-of-detail, and cache-coherent data management.We believe that the combinations of these techniques can make it possible to interactively visualize massive models in commodity hardware.Table of Contents: Introduction / Visibility / Simplification and Levels of Detail / Alternative Representations / Cache-Coherent Data Management / Conclusions / Bibliography 124 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many products are designed with aesthetic sculptured surfaces to enhance their appearance, an important factor in customer satisfaction, especially for automotive and consumer electronics products. In other cases, products have sculptured surfaces to meet functional requirements. Functional surfaces interact with the environment or with other surfaces. Because of this, functional surfaces can also be called dynamic surfaces. Functional surfaces do not possess the property to slide over itself, which causes significant complexity in machining of sculptured surfaces. The application of multiaxis numerically controlled (NC) machines is the only way for an efficient machining of sculptured surfaces. Reduction of machining time is a critical issue when machining sculptured surfaces on multiaxis NC machines. To reduce the machining cost of a sculptured surface, the machining time must be as short as possible.Table of Contents: Introduction / Analytical Representation of Scupltured Surfaces / Kinematics of Sculptured-Surface Machining / Analytical Description of the Geometry of Contact of the Sculptured Surface and of the Generating Surface of the Form-Cutting Tool / Form-Cutting Tools of Optimal Design / Conditions of Proper Sculptured-Surface Generation / Predicted Accuracy of the Machined Sculptured Surface / Optimal Sculptured-Surface Machining 124 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As new displays and cameras offer enhanced color capabilities, there is a need to extend the precision of digital content. High Dynamic Range (HDR) imaging encodes images and video with higher than normal 8 bit-per-color-channel precision, enabling representation of the complete color gamut and the full visible range of luminance.However, to realize transition from the traditional toHDRimaging, it is necessary to develop imaging algorithms that work with the high-precision data. Tomake such algorithms effective and feasible in practice, it is necessary to take advantage of the limitations of the human visual system by aligning the data shortcomings to those of the human eye, thus limiting storage and processing precision. Therefore, human visual perception is the key component of the solutions we discuss in this book.This book presents a complete pipeline forHDR image and video processing fromacquisition, through compression and quality evaluation, to display. At the HDR image and video acquisition stage specialized HDR sensors or multi-exposure techniques suitable for traditional cameras are discussed. Then, we present a practical solution for pixel values calibration in terms of photometric or radiometric quantities, which are required in some technically oriented applications. Also, we cover the problem of efficient image and video compression and encoding either for storage or transmission purposes, including the aspect of backward compatibility with existing formats. Finally, we review existing HDR display technologies and the associated problems of image contrast and brightness adjustment. For this purpose tone mapping is employed to accommodate HDR content to LDR devices. Conversely, the so-called inverse tone mapping is required to upgrade LDR content for displaying on HDR devices. We overview HDR-enabled image and video quality metrics, which are needed to verify algorithms at all stages of the pipeline. Additionally, we cover successful examples of the HDR technology applications, in particular, in computer graphics and computer vision.The goal of this book is to present all discussed components of the HDR pipeline with the main focus on video. For some pipeline stages HDR video solutions are either not well established or do not exist at all, in which case we describe techniques for single HDR images. In such cases we attempt to select the techniques, which can be extended into temporal domain. Whenever needed, relevant background information on human perception is given, which enables better understanding of the design choices behind the discussed algorithms and HDR equipment.Table of Contents: Introduction / Representation of an HDR Image / HDR Image and Video Acquisition / HDR Image Quality / HDR Image, Video, and Texture Compression / Tone Reproduction / HDR Display Devices / LDR2HDR: Recovering Dynamic Range in Legacy Content / HDRI in Computer Graphics / Software 172 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Representations are at the heart of artificial intelligence (AI). This book is devoted to the problem of representation discovery: how can an intelligent system construct representations from its experience Representation discovery re-parameterizes the state space - prior to the application of information retrieval, machine learning, or optimization techniques - facilitating later inference processes by constructing new task-specific bases adapted to the state space geometry. This book presents a general approach to representation discovery using the framework of harmonic analysis, in particular Fourier and wavelet analysis. Biometric compression methods, the compact disc, the computerized axial tomography (CAT) scanner in medicine, JPEG compression, and spectral analysis of time-series data are among the many applications of classical Fourier and wavelet analysis. A central goal of this book is to show that these analytical tools can be generalized from their usual setting in (infinite-dimensional) Euclidean spaces to discrete (finite-dimensional) spaces typically studied in many subfields of AI. Generalizing harmonic analysis to discrete spaces poses many challenges: a discrete representation of the space must be adaptively acquired; basis functions are not pre-defined, but rather must be constructed. Algorithms for efficiently computing and representing bases require dealing with the curse of dimensionality. However, the benefits can outweigh the costs, since the extracted basis functions outperform parametric bases as they often reflect the irregular shape of a particular state space. Case studies from computer graphics, information retrieval, machine learning, and state space planning are used to illustrate the benefits of the proposed framework, and the challenges that remain to be addressed. Representation discovery is an actively developing field, and the author hopes this book will encourage other researchers to explore this exciting area of research. Table of Contents: Overview / Vector Spaces / Fourier Bases on Graphs / Multiscale Bases on Graphs / Scaling to Large Spaces / Case Study: State-Space Planning / Case Study: Computer Graphics / Case Study: Natural Language / Future Directions 160 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A comprehensive, highly readable account of complex, technical, political and human endeavor and a worthy successor to Creating the International Space Station (Springer Praxis, January 2002) by David Harland and John Catchpole. This volume details for the first time the construction and occupation of the International Space Station from 2002 through to 2008, when it should reach American 'Core Complete'. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This remarkable book is a unique insight into the people involved in the development of the Salyut space station and the crews assigned to operate it. It describes the rotation between the crews, analyses the decision to send the back-up crew on Soyuz 11 and recounts the intrigues and difficult relationships between all the personalities involved - politicians, CKBEM managers, designers, generals and cosmonauts. Biographies of the Soyuz 11 cosmonauts are published for the first time in English and the longest manned space mission of the time is described before Grujica Ivanovich gives a unique summary of the most tragic day in the Soviet/Russian manned space program. An investigation into the cause of the tragic deaths of the Soyuz 11 cosmonauts precedes a description of the post-Salyut era, showing how the legacy of the first space station has survived for decades. The first two chapters provide the history of the first Soviet space station projects Almaz, Soyuz-R, MKS and DOS from 1964 to1970 and cover the selection of DOS-1 crews in 1971, their training and crew rotations. Chapter 3 launches the Salyut space station with its first crew to occupy the first space station, while Chapter 4 portrays the drama of the Soyuz 10 mission in April 1971, which failed to dock with Salyut due to a broken docking probe element, culminating a dramatic night return to the Earth. The following two chapters describe the State Commission's decision to replace the original crew of Soyuz 11 two days before the launch in June 1971 and introduce cosmonauts Dobrovolysky, Volkov and Patcayev. The launch of Soyuz 11, its docking with Salyut and the first days aboard the space station are described in Chapter 7 and the fire which almost curtailed the mission and led to Dobrovolsky and Volkov's deteriorating relationship is then covered. The final stages of the mission, including the problems with the hatch before Soyuz 11 separated from the Salyut space station, areexplained before the author details the separation of the orbital and service modules and the tragic mistake made by the cosmonauts. Chapter 10 describes the normal landing of Soyuz 11, the discovery of and attempts to revive the dead cosmonauts.and includes the first interview with one of the rescuers. The author then demonstrates how detailed analysis found that, after separation from the orbital module, the internal pressure in the descent module dropped from 920mm to zero in 112 seconds due to the premature opening of one of the valves. Without spacesuits, the cosmonauts had only 15-20 seconds to close the valve and save their lives. An attempt by Dobrovolsky sadly failed. Further investigation identified numerous problems which contributed to the tragedy, including the valve technology, leaking of personal protection equipment, problems with the hatch and omissions in crew training, as well as confusion between the cosmonauts. The last chapters describe the Post-Salyut era. After three single modular stations, in 1986 the USSR launched the base module of the third generation space station Mir, which has six docking probes. In the following years, Mir grew rapidly and was extended with five additional scientific modules to become a true space outpost continually occupied by humans, the dream of space pioneers. The service module Zvezda, a modified Salyut/DOS-1, currently serves as a core for the International Space Station. The book ends with memories of all those affected by the DOS program and the tragedy of the heroic Soyuz 11 crew and looks forward to a continuation of the historic mission of Salyut. 456 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this new textbook, acclaimed author John Stillwell presents a lucid introduction to Lie theory suitable for junior and senior level undergraduates. In order to achieve this, he focuses on the so-called 'classical groups'' that capture the symmetries of real, complex, and quaternion spaces. These symmetry groups may be represented by matrices, which allows them to be studied by elementary methods from calculus and linear algebra.This naive approach to Lie theory is originally due to von Neumann, and it is now possible to streamline it by using standard results of undergraduate mathematics. To compensate for the limitations of the naive approach, end of chapter discussions introduce important results beyond those proved in the book, as part of an informal sketch of Lie theory and its history.John Stillwell is Professor of Mathematics at the University of San Francisco. He is the author of several highly regarded books published by Springer, including The Four Pillars of Geometry (2005), Elements of Number Theory (2003), Mathematics and Its History (Second Edition, 2002), Numbers and Geometry (1998) and Elements of Algebra (1994). 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -How important is the notion of community to skilled social work Thisbook explores how the concept relates to policy, theory and professional practice. With analysis of contemporary social problems throughout a variety of community settings, this book demonstrates how important community-based approaches are to all social workers today. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Offers a novel cross-disciplinary theoretical perspective on conflict and conflict transformation in world society, and integrates the study of conflicts in the Middle East region into a modern systems theoretical framework. 239 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Considering the effort and funding devoted to a company's success, understanding Intellectual Property rights patents, trade secrets, trademarks, and licensing is essential. Establishing appropriate internal policies from the outset can prevent companies from learning a costly and painful lesson in the courtroom. With Intellectual Property in the Food Technology Industry, currently the only book of its kind focusing specifically on the food industry, one will learn what to consider throughout the various creative phases of a product's lifespan from initial research and development initiatives through post-production. Readers will have an understanding of the intellectual property protections afforded to U.S. corporations, methods to pro-actively reduce potential problems, and guidelines for future considerations to reduce legal spending, prevent IP theft, and allow for greater profitability from corporate innovation and inventiveness. 164 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 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 -This book constitutes the refereed proceedings of the 5th International Conference on Articulated Motion and Deformable Objects, AMDO 2008, held in Port d'Andratx, Mallorca, Spain, in July 2008. The 36 revised full papers and 7 poster papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on computer graphics: human modelling and animation, human motion: analysis, tracking, 3D reconstruction and recognition, multimodal user interaction: VR and ar, speech, biometrics, and advanced multimedia systems: standards, indexed video contents. 476 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, held in Lausanne, Switzerland in February 2008. The 26 revised full papers presented together with 4 short papers were carefully reviewed and selected from 72 submissions. The papers address all current aspects of fast and secure primitives for symmetric cryptology and are organized in topical sections on SHA collisions, new hash function designs, block cipher cryptanalysis, implementation aspects, hash function cryptanalysis, stream cipher cryptanalysis, security bounds, and entropy. 504 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 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra. 452 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 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management. 328 pp. Englisch.