springer international publishing jul 2015 (781 risultati)

Taschenbuch. Condizione: Neu. Elancheziyan (illustratore). Neuware -A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between interrogations, and the same prisoner may be interrogated again at any stage. When interrogated, a prisoner can either do nothing, or toggle the light switch, or announce that all prisoners have been interrogated. If that announcement is true, the prisoners will (all) be set free, but if it is false, they will all be executed. While still in the dining room, and before the prisoners go to their isolation cells (forever), can the prisoners agree on a protocol that will set them free At first glance, this riddle may seem impossible to solve: how can all of the necessary information be transmitted by the prisoners using only a single light bulb There is indeed a solution, however, and it can be found by reasoning about knowledge.This book provides a guided tour through eleven classic logic puzzles that are engaging and challenging and often surprising in their solutions. These riddles revolve around the characters¿ declarations of knowledge, ignorance, and the appearance that they are contradicting themselves in some way. Each chapter focuses on one puzzle, which the authors break down in order to guide the reader toward the solution.For general readers and students with little technical knowledge of mathematics, One Hundred Prisoners and a Light Bulb will be an accessible and fun introduction to epistemic logic. Additionally, more advanced students and their teachers will find it to be a valuable reference text for introductory course work and further study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents Nils Petter Gleditsch, a staff member of the Peace Research Institute of Oslo (PRIO) since 1964, a former editor of the Journal for Peace Research (1983-2010), a former president of the International Studies Association (2008-2009) and the recipient of several academic awards as a pioneer in the scientific analysis of war and peace. This unique anthology covers major themes in his distinguished career as a peace researcher. An autobiographical, critical retrospective puts his work on conflict and peace into a broader context, while a comprehensive bibliography documents his publications over a period of nearly 50 years. Part II documents his wide-ranging contributions on globalization, democratization and liberal peace, on international espionage, environmental security, climate change and conflict and on the decline of war and more generally of violence as a tool in conflict.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This work contains updated and clinically relevant information about tuberculosis. It is aimed at providing a succinct overview of history and disease epidemiology, clinical presentation and the most recent scientific developments in the field of tuberculosis research, with an emphasis on diagnosis and treatment. It may serve as a practical resource for students, clinicians and researchers who work in the field of infectious diseases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 76 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Titan is practically a planet in its own right, with a diameter similar to that of Mercury, methane rainstorms, organic soot and ethane seas. All of the most detailed knowledge on the moon's geology, volcanology, meteorology, marine sciences and chemistry are gathered together here to paint a factually accurate hypothetical future of early human colonization on this strange world.The views from Titan¿s Mayda Outpost are spectacular, but all is not well at the moon's remote science base. On the shore of a methane sea beneath glowering skies, atmospherics researcher Abigail Marco finds herself in the middle of murder, piracy and colleagues who seem to be seeing sea monsters and dead people from the past. On the Shores of Titan¿s Farthest Sea provides thrills, excitement and mystery ¿ couched in the latest science ¿ on one of the Solar System¿s most bizarre worlds, Saturn¿s huge moon Titan.'This riveting story, set against a plausibly well integrated interplanetary space, carries us along with its bright and interesting characters. We feel absolutely transported to a hauntingly beautiful and alien Titan through Carroll's masterful weaving of art and science.' ¿ Jani Radebaugh, Professor of Planetary Sciences, Titan dune expert, BYU'It's a fun read! Really makes Titan come alive, literally.' ¿ Astrophysicist and author Ralph Lorenz'Michael Carroll's new novel 'On the Shores of Titan's Farthest Sea' (Springer) is a gripping, good-vs-evil tale that sparkles with imagination. It's set on the shores of Kraken Mare, the vast methane sea found high in the northern latitudes of Saturn's moon, Titan, in a future when humanity has spread throughout the solar system. The villains are wicked, the heroes are scientists (Thanks, Mike!), the story is convincing, the dialogue snappy, and the scenery is right out of our catalog of findings on this cold, hazy and alien world.If you fancy skipping forward 250 years and checking out how humankind might be navigating the very geography and landforms we have uncovered in our years touring Saturn, this book is for you!' --Carolyn Porco, leader of the Cassini Imaging Science team and the Director of the Cassini Imaging Central Laboratory for Operations (CICLOPS) at the Space Science Institute in Boulder, ColoradoSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

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

Taschenbuch. Condizione: Neu. Neuware -This volume develops results on continuous time branching processes and applies them to study rate of tumor growth, extending classic work on the Luria-Delbruck distribution. As a consequence, the author calculate the probability that mutations that confer resistance to treatment are present at detection and quantify the extent of tumor heterogeneity. As applications, the author evaluate ovarian cancer screening strategies and give rigorous proofs for results of Heano and Michor concerning tumor metastasis. These notes should be accessible to students who are familiar with Poisson processes and continuous time Markov chains.Richard Durrett is amathematics professor at Duke University, USA. He is the author of 8 books, over 200 journal articles, and has supervised more than 40 Ph.D students. Most of his current research concerns the applications of probability to biology: ecology, genetics and most recently cancer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book introduces fundamentals of information communication. At first, concepts and characteristics of information and information communication are summarized. And then five classic models of information communication are introduced. The mechanisms and fundamental laws of the information transmission process are also discussed. In order to realize information communication, impediments in information communication process are identified and analyzed. For the purpose of investigating implications of Internet information communication, patterns and characteristics of information communication in the Internet and Web 2.0 environment are also analyzed. In the end, case studies are provided for readers to understand the theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since the end of Dennard scaling in the early 2000s, improving the energy efficiency of computation has been the main concern of the research community and industry. The large energy efficiency gap between general-purpose processors and application-specific integrated circuits (ASICs) motivates the exploration of customizable architectures, where one can adapt the architecture to the workload. In this Synthesis lecture, we present an overview and introduction of the recent developments on energy-efficient customizable architectures, including customizable cores and accelerators, on-chip memory customization, and interconnect optimization. In addition to a discussion of the general techniques and classification of different approaches used in each area, we also highlight and illustrate some of the most successful design examples in each category and discuss their impact on performance and energy efficiency. We hope that this work captures the state-of-the-art research and development oncustomizable architectures and serves as a useful reference basis for further research, design, and implementation for large-scale deployment in future computing systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -With the rapid growth of web search in recent years the problem of modeling its users has started to attract more and more attention of the information retrieval community. This has several motivations. By building a model of user behavior we are essentially developing a better understanding of a user, which ultimately helps us to deliver a better search experience. A model of user behavior can also be used as a predictive device for non-observed items such as document relevance, which makes it useful for improving search result ranking. Finally, in many situations experimenting with real users is just infeasible and hence user simulations based on accurate models play an essential role in understanding the implications of algorithmic changes to search engine results or presentation changes to the search engine result page. In this survey we summarize advances in modeling user click behavior on a web search engine result page. We present simple click models as well as more complex models aimed at capturing non-trivial user behavior patterns on modern search engine result pages. We discuss how these models compare to each other, what challenges they have, and what ways there are to address these challenges. We also study the problem of evaluating click models and discuss the main applications of click models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the authors of 'How to Find the Apollo Landing Sites,' this is a guide to connecting the view above with the history of recent scientific discoveries from the Hubble Space Telescope. Each selected HST photo is shown with a sky map and a photograph or drawing to illustrate where to find it and how it should appear from a backyard telescope. Here is the casual observer's chance to locate the deep space objects visually, and appreciate the historic Hubble photos in comparison to what is visible from a backyard telescope. HST objects of all types are addressed, from Messier objects, Caldwell objects, and NGC objects, and are arranged in terms of what can be seen during the seasons. Additionally, the reader is given an historical perspective on the work of Edwin Hubble, while locating and viewing the deep space objects that changed astronomy forever.Countless people have seen the amazing photographs taken by the Hubble Space Telescope. But how many people can actually point out where in the sky those objects are Why were these objects chosen to be studied What discoveries were made from the Hubble Space Telescope photographs This book is for anyone who wants answers to these questions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Translated from the popular French edition, the goal of the book is to provide a self-contained introduction to mean topological dimension, an invariant of dynamical systems introduced in 1999 by Misha Gromov. The book examines how this invariant was successfully used by Elon Lindenstrauss and Benjamin Weiss to answer a long-standing open question about embeddings of minimal dynamical systems into shifts.A large number of revisions and additions have been made to the original text. Chapter 5 contains an entirely new section devoted to the Sorgenfrey line. Two chapters have also been added: Chapter 9 on amenable groups and Chapter 10 on mean topological dimension for continuous actions of countable amenable groups. These new chapters contain material that have never before appeared in textbook form. The chapter on amenable groups is based on Følner¿s characterization of amenability and may be read independently from the rest of the book.Although the contents of this book lead directly to several active areas of current research in mathematics and mathematical physics, the prerequisites needed for reading it remain modest; essentially some familiarities with undergraduate point-set topology and, in order to access the final two chapters, some acquaintance with basic notions in group theory. Topological Dimension and Dynamical Systems is intended for graduate students, as well as researchers interested in topology and dynamical systems. Some of the topics treated in the book directly lead to research areas that remain to be explored.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Presenting a study of geometric action functionals (i.e., non-negative functionals on the space of unparameterized oriented rectifiable curves),this monograph focuseson the subclass of those functionals whose local action is a degenerate type of Finsler metric that may vanish in certain directions, allowing for curves with positive Euclidean length but with zero action.For such functionals, criteria are developed under which there exists a minimum action curve leading from one given set to another. Then the properties of this curve are studied, and the non-existence of minimizers is established in some settings.Applied to a geometric reformulation of the quasipotential of Wentzell-Freidlin theory (a subfield of large deviation theory), these results can yield the existence and properties of maximum likelihood transition curves between two metastable states in a stochastic process with small noise.The book assumes only standard knowledge in graduate-level analysis; all higher-level mathematical concepts are introduced along the way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains two review articles on nonlinear data assimilation that deal with closely related topics but were written and can be read independently. Both contributions focus on so-called particle filters.The first contribution by Jan van Leeuwen focuses on the potential of proposal densities. It discusses the issues with present-day particle filters and explorers new ideas for proposal densities to solve them, converging to particle filters that work well in systems of any dimension, closing the contribution with a high-dimensional example. The second contribution by Cheng and Reich discusses a unified framework for ensemble-transform particle filters. This allows one to bridge successful ensemble Kalman filters with fully nonlinear particle filters, and allows a proper introduction of localization in particle filters, which has been lacking up to now.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Lebesgue integral is an essential tool in the fields of analysis and stochastics and for this reason, in many areas where mathematics is applied. This textbook is a concise, lecture-tested introduction to measure and integration theory. It addresses the important topics of this theory and presents additional results which establish connections to other areas of mathematics. The arrangement of the material should allow the adoption of this textbook in differently composed Bachelor programmes.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book, now in a revised and updated second edition, explains the theory of special and general relativity in detail without approaching Einstein's life or the historical background. The text is formulated in such a way that the reader will be able to understand the essence intuitively, and new sections have been added on time machines, the twin paradoxes, and tensors. The first part of the book focuses on the essentials of special relativity. It explains the famous equivalence between mass and energy and tells why Einstein was able to use the theory of electrodynamics as a template for his 'electrodynamics of moving bodies'. General relativity is then addressed, mainly with the help of thought experiments. Reference is made to the previously introduced special relativity and the equivalence principle and, using many figures, it is explained how space-time is bending under gravity. The climax of the book is the Einstein equation of gravity, which describes the way in which matterbends space-time. The reader is shown how to obtain the famous Schwarzschild solution. Moreover, the book presents a numerically correct and yet intuitive explanation of the classic effects such as light bending and the advance of the perihelion. The book concludes by explaining the Friedmann model of the big bang and why the theory of gravity does not fit with quantum theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 7th International Formal Ontologies Meet Industries Workshop held in Berlin, Germany, in August 2015.The 11 full research papers accepted for FOMI 2015 were selected from 18 submissions. The papers focus on theoretical studies of formal ontologies committed to provide a sound basis for industrial applications and to allow formal representation of corporate knowledge, and on business experiences in case studies that single out concrete problems and possible solutions in the creation and deployment of formal ontologies. Overall, they provide valuable insights into the current state of progress in supporting industrial information and knowledge sharing through the development of formal ontologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions. The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t. energy consumption and cloud-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains extended and revised versions of a set of selected papers from two events organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Toulouse, France and Barcelona, Spain, in June and July 2014. Overall, 8 papers were accepted for publication in this edition after a rigorous review process through at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers focus on knowledge management and sharing, and on information models developed to support various decision processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: answer set programming, complex events, datalog, description logics, event-condition-action rules, information extraction, and logic programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2014, held in Munich, Germany, in September 2014, in conjunction with DEXA 2014. The 9 revised long papers presented together with 3 short papers were carefully reviewed and selected from numerous submissions. The papers address the following topics: clustering and bioinformatics; medical image and data processing; and knowledge discovery and machine learning in medicine.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Presenting topics that have not previously been contained in a single volume, this book offers an up-to-date review of computational methods in electromagnetism, with a focus on recent results in the numerical simulation of real-life electromagnetic problems and on theoretical results that are useful in devising and analyzing approximation algorithms. Based on four courses delivered in Cetraro in June 2014, the material covered includes the spatial discretization of Maxwell¿s equations in a bounded domain, the numerical approximation of the eddy current model in harmonic regime, the time domain integral equation method (with an emphasis on the electric-field integral equation) and an overview of qualitative methods for inverse electromagnetic scattering problems.Assuming some knowledge of the variational formulation of PDEs and of finite element/boundary element methods, the book is suitable for PhD students and researchers interested in numerical approximation of partial differential equations and scientific computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes revised selected papers from the First International Conference on Cryptography and Information Security in the Balkans, Balkan Crypt Sec 2014, held in Istanbul, Turkey, in October 2014.The 15 papers presented in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: symmetric cryptography, cryptographic hardware, cryptographic protocols and public key cryptography. The book also contains one invited talk in full paper length.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Social Computing and Social Media, SCSM 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.The total of 1462 papers and 246 poster papers presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The 25 contributions included in the SCSM 2015 proceedings were organized in the following topical sections: designing social media; social network analysis; and individual and group behaviour in social media.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2014, held in Thessaloniki, Greece, in October 2014. The 19 selected papers presented were carefully revised and report from the four workshops: computational social networks, IWCSN 2014, enterprise social networks, Org2 2014, personalization and context-awareness in cloud and service computing, PCS 2014, and data quality and trust in big data, QUAT 2014.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th Industrial Conference on Advances in Data Mining, ICDM 2015, held in Hamburg, Germany, in July 2015.The 16 revised full papers presented were carefully reviewed and selected from numerous submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine and agriculture, and in process control, industry and society.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.