springer berlin heidelberg apr 2013 (438 risultati)

Buch. Condizione: Neu. Neuware -The aim of this interdisciplinary study is to reconstruct the evolution of our changing conceptions of time in the light of scientific discoveries. It will adopt a new perspective and organize the material around three central themes, which run through our history of time reckoning: cosmology and regularity; stasis and flux; symmetry and asymmetry. It is the physical criteria that humans choose ¿ relativistic effects and time-symmetric equations or dynamic-kinematic effects and asymmetric conditions ¿ that establish our views on the nature of time. This book will defend a dynamic rather than a static view of time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This monograph is concerned with the fitting of linear relationships in the context of the linear statistical model. As alternatives to the familiar least squared residuals procedure, it investigates the relationships between the least absolute residuals, the minimax absolute residual and the least median of squared residuals procedures. It is intended for graduate students and research workers in statistics with some command of matrix analysis and linear programming techniques.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Systemanalyse kompakt zeigt Ihnen die Schwerpunkte derAnforderungsanalyse im Rahmen der Software- und Systemanalyse auf. Die Anforderungsanalyse bildet das Fundament eines jeden Systementwicklungsprojektes undentscheidet daher maßgeblich über Erfolg oder Misserfolg Ihres Projektes. Gerade in der Analysephase eröffnet sich Ihnen das Potenzial zur effizienten und zielorientierten Beeinflussung der Systementwicklung: Erstellen Sie eine vollständige und eindeutige Anforderungsdefinition, bei der Aufwand undErgebnis in optimalem Verhältnis zueinander stehen.Dabei hilft Ihnen Systemanalyse kompakt. Das Buch bringt die Haupttätigkeiten der Systemanalyse auf den Punkt. Dabei vermittelt es mit den vom International RequirementsEngineering Board festgelegten Begriffen, Definitionen und Zusammenhängen neben grundlegenden organisatorischen Rahmenbedingungen zahlreiche pragmatische Ansätze, wieSie das grundlegend notwendige Wissen umfassend ermitteln verständlich dokumentieren effektiv verwalten und angemessen prüfen.Lösungsvorschläge zu konkreten Problemen der Systementwicklung und praxiserprobte Tippsunterstützen Sie bei Ihrer täglichen Arbeit. So können Sie dafür sorgen, dass dieAnforderungen an ein System von allen Projektbeteiligten verstanden und verwirklicht werden können.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -How did life originate on Earth For over 50 years, scientists believed that life was the result of a chemical reaction involving simple molecules such as methane and ammonia cooking in a primordial soup. Recent space observations have revealed that old stars are capable of making very complex organic compounds. At some point in their evolution, stars eject those organics and spread them all over the Milky Way galaxy. There is evidence that these organic dust particles actually reached the early Solar System. Through bombardments by comets and asteroids, the young Earth inherited significant amounts of stardust. Was the development of life assisted by the arrival of these extraterrestrial materials In this book, the author describes stunning discoveries in astronomy and solar system science made over the last 10 years that have yielded a new perspective on the origin of life.Other interesting topics discussed in this bookThe discovery of diamonds and other gemstones in spaceThe origin of oilNeon signs and fluorescent lights in spaceSmoke from the starsStardust in our handsWhere oceans come fromThe possibility of bacteria in spaceSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The engineering, deployment and security of the future smart grid will be an enormous project requiring the consensus of many stakeholders with different views on the security and privacy requirements, not to mention methods and solutions. The fragmentation of research agendas and proposed approaches or solutions for securing the future smart grid becomes apparent observing the results from different projects, standards, committees, etc, in different countries. The different approaches and views of the papers in this collection also witness this fragmentation.This book contains three full-paper length invited papers and 7 corrected and extended papers from the First International Workshop on Smart Grid Security, SmartGridSec 2012, which brought together researchers from different communities from academia and industry in the area of securing the Future Smart Grid and was held in Berlin, Germany, on December 3, 2012.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeMedical, health, biomedicine information resources.- Data management, data mining, and knowledge discovery.- Development of new architectures and applications for health information systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Persuasive Technology, PERSUASIVE 2013, held in Sydney, NSW, Australia, in April 2013.The 16 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 47 submissions. The papers address not only typical persuasive domains like health and environment, but also cover emerging research topics, such as data safety and evaluation of persuasive technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the joint refereed proceedings of the 5th International Workshop on Communication Technologies for Vehicles/Trains, Nets4Cars 2013 and Nets4Trains 2013, held in Vilnius, Lithuania, in May 2013.The 12 full papers of the road track and 5 full papers of the rail track presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. They address topics such as intra-vehicle, inter-vehicle and vehicle to infrastructure communications (protocols and standards), mobility and traffic models (models, methodologies, and techniques), testing, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012.The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions. The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel application frameworks, performance analysis tools, debugging tools for parallel programs, parallel algorithms and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

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

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Clinical Image-based Procedures: From Planning to Intervention, CLIP 2012, held in Nice, France, in conjunction with the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012.This successful workshop was a productive and exciting forum for the discussion and dissemination of clinically tested, state-of-the-art methods for image-based planning, monitoring and evaluation of medical procedures. The 16 papers presented in this volume were carefully reviewed and selected from 24 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the International Workshop on Augemented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2012, in Nice, France in September 2012. The 16 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers cover the topics of image registration and fusion, calibration, visualization and 3D perception, hardware and optical design, real-time implementation, as well as validation, clinical applications, and clinical evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is based on the findings of a long-term (2000-2014) interdisciplinary research project of the University of Hohenheim in collaboration with several universities in Thailand and Vietnam. Titled Sustainable Land Use and Rural Development in Mountainous Areas in Southeast Asia, or the Uplands Program, the project aims to contribute through agricultural research to the conservation of natural resources and the improvement of living conditions of the rural population in the mountainous regions of Southeast Asia. Having three objectives the book first aims to give an interdisciplinary account of the drivers, consequences and challenges of ongoing changes in mountainous areas of Southeast Asia. Second, the book describes how innovation processes can contribute to addressing these challenges and third, how knowledge creation to support change in policies and institutions can assist in sustainably develop mountain areas and people¿s livelihoods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Competition law regulates anti-competitive conduct by companies in order to maintain market competition.Cartel law can also cause restraints of competition and therefore, the existing regulations should be checked, revised and updated regularly. This book deals with the prohibition of Resale Price Maintenance, which is intensively discussed in Germany at the moment. It provides a new interdisciplinary approach to the topicthat emphasizes the empirically observable marketing perspective, but draws conclusions from competition theory. Thus it reflects on the consumer benefits and welfare effects of RPM legalization at the same time. Since it provides new and constructive class-based suggestions for a re-design of European cartel law, this book should be valuable for researchers, practitioners and politicians. ¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Buch. Condizione: Neu. Neuware -It provides fuzzy programming approach to solve real-life decision problems in fuzzy environment. Within the framework of credibility theory, it provides a self-contained, comprehensive and up-to-date presentation of fuzzy programming models, algorithms and applications in portfolio analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The manuscript reviews some key ideas about artificial intelligence, and relates them to economics. These include its relation to robotics, and the concepts of synthetic emotions, consciousness, and life. The economic implications of the advent of artificial intelligence, such as its effect on prices and wages, appropriate patent policy, and the possibility of accelerating productivity, are discussed. The growing field of artificial economics and the use of artificial agents in experimental economics is considered.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Buch. Condizione: Neu. Neuware -Thisbook focuses on understanding the strategic role of the knowledge workers in companies, especially in creating an innovative company. The author presents the 'Sknowinnov method' anda decision-making model for the assessment of the value of strategic knowledge resources in companies.Thismethod and its approach can be used asexcellent tools for a quantitative knowledge analysis inan economic viewpoint. TheIT tool that is developed for this methodoffers support indecision making at a strategic level regarding the profitability of any investment in employee qualifications and skills. The tool alsoconnects the selected determinants described in an innovative company with the value of the personnel usefulness function, enabling the assessment of the rationality and effectiveness of knowledge. HR managers and knowledge management consultants for innovative companies would find this book and the IT tools presentedspecially useful. This book also adds value to researchersdealing withanalysis of quantitative and qualitative methods inintellectual capitalresearch.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Should more water be diverted to or from electricity generation This timely question is addressed in this short volume. Two different approaches are introduced and compared:The first is a cost-benefit analysis, examining the case of re-regulating a Swedish hydropower plant in which water is diverted from electricity generation to the downstream dryway. The proposed scenario generates environmental and other benefits, but comes at a cost in terms of lost electricity.The second study introduces an approach very different from the one used in conventional cost-benefit analysis, and provides a set of measures designed so that most, if not all, affected parties will be better off. Thus, in contrast to a conventional cost-benefit analysis, which draws on hypothetical compensation measures, the new approach envisages actual compensation.Comparing two different theoretical frameworks on the basis of a real-world case, this study can be seen as a manual that can be used to evaluate reasonably small re-regulation of rivers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 76 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeIntroduction.- Selected Topics in Revenue Management.- A Review of Strategic Passenger Airline Alliances.- Selected Topics in Cooperative Game Theory.- Airline Alliance Revenue Management Game.- Approximate Nucleolus-Based Revenue Shares for Airline Alliances.- Selfish Revenue Sharing Mechanisms for Airline Alliances.- A Revenue Sharing Mechanism Based on the Transfer of Dual Prices.- Conclusion and Future Research.- Appendix: Computational Study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, organized and sponsored by the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), in cooperation with the Center for Telematics and Information Technology (CTIT), the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and Technical University of Sofia. The theme of BMSD 2012 was 'From Business Modeling to Service-Oriented Solutions'.The 7 papers presented in this book were carefully reviewed and selected from 46 submissions. Each paper was reviewed by at least two internationally known experts from the BMSD Program Committee. The papers focus on business models, service engineering, and information systems architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book summarizes results of longstanding research and scientific contributions from many projects and relevant working groups. It collects and evaluates wind and wave climate projections under changing climate having design needs and marine safety in focus. Potential impact of projected climate change in met-ocean conditions on ships and offshore structures is discussed and illustrated by an example of the expected wave climate change on tanker design.Themonograph is intended for students, researchers and industry based engineers who want a summary of the many studies that have been carried out on climate change effects on wind and waves and their importance for design and operations of ship and offshore structures. The reader needs only a moderate knowledge of marine wind and wave climate to follow the text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular topic covered in this volume addresses the issue of data input/output and post-processing in the context of Earth system modeling, with an emphasis on parallel I/O, storage management and analysis subsystems for very large scale data requirements.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.

Buch. Condizione: Neu. Neuware -Why writing a book about a specialized task of the large topic of complex systems And who will read it The answer is simple: The fascination for a didactically valuable point of view, the elegance of a closed concept and the lack of a comprehensive disquisition.The fascinating part is that field equations can have localized solutions exhibiting the typical characteristics of particles. Regarding the field equations this book focuses on, the field phenomenon of localized solutions can be described in the context of a particle formalism, which leads to a set of ordinary differential equations covering the time evolution of the position and the velocity of each particle. Moreover, starting from these particle dynamics and making the transition to many body systems, one considers typical phenomena of many body systems as shock waves and phase transitions, which themselves can be described as field phenomena. Such transitions between different level of modelling are well known from conservative systems, where localized solutions of quantum field theory lead to the mechanisms of elementary particle interaction and from this to field equations describing the properties of matter. However, in dissipative systems such transitions have not been considered yet, which is adjusted by the presented book. The elegance of a closed concept starts with the observation of self-organized current filaments in a semiconductor gas discharge system. These filaments move on random paths and exhibit certain particle features like scattering or the formation of bound states. Neither the reasons for the propagation of the filaments nor the laws of the interaction between the filaments can be registered by direct observations. Therefore a model is established, which is phenomenological in the first instance due to the complexity of the experimental system. This model allows to understand the existence of localized structures, their mechanisms of movement, and their interaction, at least, on a qualitative level. But this model is also the starting point for developing a data analysis method that enables the detection of movement and interaction mechanisms of the investigated localized solutions. The topic is rounded of by applying the data analysis to real experimental data and comparing the experimental observations to the predictions of the model.A comprehensive publication covering the interesting topic of localized solutions in reaction diffusion systems in its width and its relation to the well known phenomena of spirals and patterns does not yet exist, and this is the third reason for writing this book. Although the book focuses on a specific experimental system the model equations are as simple as possible so that the discussed methods should be adaptable to a large class of systems showing particle-like structures.Therefore, this book should attract not only the experienced scientist, who is interested in self-organization phenomena, but also the student, who would like to understand the investigation of a complex system on the basis of a continuous description.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Brain-computer interfaces (BCIs) are rapidly developing into a mainstream, worldwide research endeavor. With so many new groups and projects, it can be difficult to identify the best ones. This book summarizes ten leading projects from around the world. About 60 submissions were received in 2011 for the highly competitive BCI Research Award, and an international jury selected the top ten. This Brief gives a concise but carefully illustrated and fully up-to-date description of each of these projects, together with an introduction and concluding chapter by the editors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Buch. Condizione: Neu. Neuware -Mashups are mostly lightweight Web applications that offer new functionalities by combining, aggregating and transforming resources and services available on the Web. Popular examples include a map in their main offer, for instance for real estate, hotel recommendations, or navigation tools.Mashups may contain and mix client-side and server-side activity. Obviously, understanding the incoming resources (services, statistical figures, text, videos, etc.) is a precondition for optimally combining them, so that there is always some undercover semantics being used. By using semantic annotations, neutral mashups permute into the branded type of semantic mashups. Further and deeper semantic processing such as reasoning is the next step.The chapters of this book reflect the diversity of real-life semantic mashups. Two overview chapters take the reader to the environments where mashups are at home and review the regulations (standards, guidelines etc.) mashups are based on and confronted with. Chapters focusing on DBpedia, search engines and the Web of Things inspect the main Web surroundings of mashups. While mashups upgrading search queries may be nearer to the everyday experience of readers, mashups using DBpedia input and sensor data from the real world lead to important new and therefore less known developments. Finally, the diversity of mashups is tracked through a few application areas: mathematical knowledge, speech, crisis and disaster management, recommendations (for games), inner-city information, and tourism.Participants of the AI Mashup Challenge wroteall the chapters of this book. The authors were writing for their current and future colleagues ¿ researchers and developers all over the Web who integrate mashup functionalities into their thinking and possibly into their applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Buch. Condizione: Neu. Neuware -With the success of Cherenkov Astronomy and more recently with the launch of NASA¿s Fermi mission, very-high-energy astrophysics has undergone a revolution in the last years. This book provides three comprehensive and up-to-date reviews of the recent advances in gamma-ray astrophysics and of multi-messenger astronomy. Felix Aharonian and Charles Dermer address our current knowledge on the sources of GeV and TeV photons, gleaned from the precise measurements made by the new instrumentation. Lars Bergström presents the challenges and prospects of astro-particle physics with a particular emphasis on the detection of dark matter candidates. The topics covered by the 40th Saas-Fee Course present the capabilities of current instrumentation and the physics at play in sources of very-high-energy radiation to students and researchers alike. This book will encourage and prepare readers for using space and ground-based gamma-ray observatories, as well as neutrino and other multi-messenger detectors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular topic covered in this volume addresses the usefulness of coupling infrastructures and data management, strategies and tools for pre- and post-processing, and coupling software and strategies in regional and global coupled climate models. This first part in the series of 6 books sets the scene for the following volumes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.