springer international publishing springer international publishing jul 2015 (342 Ergebnisse)

Taschenbuch. Zustand: Neu. Elancheziyan (illustrator). 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 11th International Conference on Data Integration in the Life Sciences, DILS 2015, held in Los Angeles, CA, USA, in July 2015.The 24 papers presented in this volume were carefully reviewed and selected from 40 submissions. They are organized in topical sections named: data integration technologies; ontology and knowledge engineering for data integration; biomedical data standards and coding; medical research applications; and graduate student consortium.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book deals directly with the characteristics of the relationships that the leader builds in the context of the work environment.It argues that the prevailing work community work culture is intended to help the leader lead but, increasingly it impedes the leader¿s work.Leadership is a function of the leader¿s values, attitudes, and aspirations: leadership flows from the leader¿s spiritual character-defining core essence.However, the author argues thatcultural forces coming from both inside and outside the workplace, oftendesigned to promote diversity,inclusivity, andtolerance,have introduced into the work culture values and behavior that are pathological toexecuting effectiveleadership and detrimental to the health of work communities. While attractive on the surface, these new values are toxic to the idea of relationship and thus threaten the work community culture, in effect 'killing leadership.'This book will arm leaders with the tools, resources, and techniques to recognize and overcome workplace pathologies. After reading this book, leaders will:have a complete understanding of the key principles of spirit-based values leadershipsee clearly that the leader¿s values shape both the leader¿s one-on-one relationships with coworkers and are at the center of the work culture they create to re-enforce coworker actions and decisionsappreciate more fully the power of the ambient work culture to influence coworkers toward leader set values and methods guiding the work communityknow the toxic effect on doing leadership of introducing non-work values and standards into the work community cultureunderstand the arguments against allowing subgroups of the work community to form and practice values opposed to the values the leader has set for the full groupbe better prepared to deal with the consequences of encountering evil, hatred and/or fear in theworkplacerealize that not all coworkers are uniformly honest and truthful and learn ways to counter this behavior and still accomplish the work community¿s goals and ensure its productivityThe result is a pragmatic approach to aligning values, behaviors, and performance, while enhancing the principles of effective and positive leadership throughout the organization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book purports to examine the international dimensions of the democratization process in Egypt in the post Cold War era; a theme which acquired significance at the academic and policy-oriented levels in light of the growing internationalization of reform arrangements in the Arab world in post 9/11 and the greater involvement of external powers in Arab politics following the Arab Spring uprisings.During the second half of the twentieth century, the mainstream scholarship presented the democratization process as the outcome of domestic conditions not significantly influenced by actors outside the nation-state. With the end of the Cold War, this perspective was challenged as a result of the third wave of democratization and the subsequent growth of the ¿good governance¿ discourse on the agenda of the international development establishment. The new perspective attached a more significant role to external factors in the democratization process than was originally conceptualized.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book challenges the assumptions of modern criminal law that insanity is a natural, legally and medically defined phenomenon (covering a range of medical disorders). By doing so, it paves the way for a new perspective on insanity and can serve as the basis for a new approach to insanity in modern criminal law.The book covers the following aspects: the structure of the principle of fault in modern criminal law, the development of the insanity defense in criminal law, tangential in personam defenses in criminal law and their implications for insanity and the legal mechanism of reproduction of fault.The focus is on the Anglo-American and European-Continental legal systems. Given the attention consistently drawn by international and domestic events in this context, the book will be of interest to a broad and growing international audience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book addresses the ability of market-based instruments to improve the sustainable provision of environmental services. The author combines field research and insights from the multi-stakeholder dialogue at the FAO to analyze the gap between the predictions provided by theory and the corresponding outcomes in practice. In particular, the author challenges the theory behind Payments for Environmental Services (PES), a concept derived from neoclassical welfare economics, by demonstrating that PES projects often lack financial sustainability unless local entrepreneurs make use of the resulting new networks to create innovative markets for environmental goods. The author calls for a shift of focus from regulation to innovation in projects and policies designed to improve the provision of environmental services. Its spotlight on the positive social impacts of companies that engage in hybrid PES schemes will make the book appealing to practitioners and policymakers alike.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.