Springer international publishing jul 2015 (404 risultati)

Taschenbuch. Condizione: Neu. Neuware -The essays collected in this book address legislation from the viewpoint of legal theory and provide an overview of current research in legisprudence as a new scholarly approach to lawmaking. The overall focus of the volume is on the justification of legislation, with a special emphasis on the intricate notion of legislative rationality. With the rational justification of legislation as their central theme, the essays elaborate on the foundations and bounds of legislation and the search for a more principled lawmaking, discuss the role of legislation within the framework of democratic constitutionalism, analyze legislation as implementation of constitutional law, and explore how legislative argumentation in parliament can be construed as a source of justification of laws. 200 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 196 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 200 pp. Englisch. Elancheziyan (illustratore).…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 76 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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, Colorado 284 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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 a mathematics 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. 72 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the must-have guide for all amateur astronomers who double as makers, doers, tinkerers, problem-solvers, and inventors. In a world where an amateur astronomy habit can easily run into the many thousands of dollars, it is still possible for practitioners to get high-quality results and equipment on a budget by utilizing DIY techniques. Surprisingly, it's not that hard to modify existing equipment to get new and improved usability from older or outdated technology, creating an end result that can outshine the pricey higher-end tools. All it takes is some elbow grease, a creative and open mind and the help of Chung's hard-won knowledge on building and modifying telescopes and cameras. With this book, it is possible for readers to improve their craft, making their equipment more user friendly. The tools are at hand, and the advice on how to do it is here. Readers will discover a comprehensive presentation of astronomical projects that any amateur on any budget can replicate - projects that utilize leading edge technology and techniques sure to invigorate the experts and elevate the less experienced. As the 'maker' community continues to expand, it has wonderful things to offer amateur astronomers with a willingness to get their hands dirty. Tweaking observing and imaging equipment so that it serves a custom purpose can take your observing options to the next level, while being fun to boot. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 124 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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 on customizable architectures and serves as a useful reference basis for further research, design, and implementation for large-scale deployment in future computing systems. 120 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 116 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presenting a study of geometric action functionals (i.e., non-negative functionals on the space of unparameterized oriented rectifiable curves), this monograph focuses on 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. 204 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book examines contractual options for a performance based contract between an owner of a revenue generating unit and a repair agent for such unit. The framework of the analysis is that of economists' principal-agent problem. The contractual options of a principal and an agent are modeled as a Markov process with an undetermined time horizon. For a risk neutral principal, the authors identify the conditions under which a principal contracts with a risk-neutral, risk-averse, or risk-seeking agent and derive the principal's optimal offer together with the agent's optimal service capacity response. In essence, the book provides an extensive formulating analysis of principal-agent contracts given any exogenous parameter values. Ultimately a small number of formulas cover a large spectrum of principal-agent conditions. 140 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 216 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 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. 160 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 132 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 152 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 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. 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 112 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 192 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Jonathan Ward takes the reader deep into the facilities at Kennedy Space Center to describe NASA's first computer systems used for spacecraft and rocket checkout and explain how tests and launches proceeded. Descriptions of early operations include a harrowing account of the heroic efforts of pad workers during the Apollo 1 fire. A companion to the author's book Countdown to a Moon Launch: Preparing Apollo for Its Historic Journey, this explores every facet of the facilities that served as the base for the Apollo/Saturn missions. Hundreds of illustrations complement the firsthand accounts of more than 70 Apollo program managers and engineers. The era of the Apollo/Saturn missions was perhaps the most exciting period in American space exploration history. Cape Canaveral and Kennedy Space Center were buzzing with activity. Thousands of workers came to town to build the facilities and launch the missions needed to put an American on the Moon before the end of the decade. Work at KSC involved much more than just launching rockets. It was a place like none other on Earth. Technicians performed intricate operations, and hazards abounded everywhere, including lightning, fire, highly-toxic fuels, snakes, heat, explosives, LOX spills, and even plutonium. The reward for months of 7-day workweeks under intense pressure was witnessing a Saturn V at liftoff.For anyone who ever wished they had worked at Kennedy Space Center during the Apollo era, this book is the next best thing. The only thing missing is the smell of rocket fuel in the morning. 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 252 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 264 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 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. 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 272 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 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. 232 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 300 pp. Englisch.…