springer jul 2008 (592 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.

Taschenbuch. Condizione: Neu. 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 / AppendixSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Condizione: Neu. 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 MachiningSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. 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 toverify 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 / SoftwareSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. 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 DirectionsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. 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 / BibliographySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. 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¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Condizione: Neu. 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).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

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

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

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

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

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

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

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

Buch. Condizione: Neu. Neuware -Number theory has a wealth of long-standing problems, the study of which over the years has led to major developments in many areas of mathematics. This volume consists of seven significant chapters on number theory and related topics. Written by distinguished mathematicians, key topics focus on multipartitions, congruences and identities (G. Andrews), the formulas of Koshliakov and Guinand in Ramanujan's Lost Notebook (B.C. Berndt, Y. Lee, and J. Sohn), alternating sign matrices and the Weyl character formulas (D.M. Bressoud), theta functions in complex analysis (H.M. Farkas), representation functions in additive number theory (M.B. Nathanson), and mock theta functions, ranks, and Maass forms (K. Ono), and elliptic functions (M. Waldschmidt).All of the surveys were outgrowths of featured talks given during the Special Year in Number Theory and Combinatorics at the University of Florida, Gainesville, 2004-2005, and describe major progress on a broad range of topics.This volume is intended for mathematicians and graduate students interested in number theory and related areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

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

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

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

Taschenbuch. Condizione: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

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

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

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

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

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

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

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

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

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

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