springer international publishing aug 2014 (642 risultati)

Taschenbuch. Condizione: Neu. Neuware -In the 25th Century, the effects of overpopulation and global warming on Earth have led to the formation of human colonies on the Moon, Mars and elsewhere in the Solar System, yet the limited number of viable places forces humanity to look to the stars. A crash program has been developed to send Protos 1, a giant multigenerational star ship, to a newly discovered Earth-like planet orbiting a nearby star. The plan is for awake crewmembers to run the ship and for people in suspended animation to be roused before planet fall to use their skills in exploration and colony formation. To fulfill the goals of the mission and ensure that the in-flight population does not deplete the limited resources, the Protos Mandate is set up to govern a tightly controlled social system for the duration of the journey, which will take several generations. But problems threaten to sabotage the mission during its launch and transit and what finally awaits the crewmembers shocks them in anunpredictable way. This novel chronicles the trials and tribulations of this epic first interstellar mission.The scientific appendix at the end of the book discusses the challenges of such an interstellar mission based on an extensive literature review and it links these challenges to specific episodes in the novel. Issues that are considered include interstellar propulsion systems, economic considerations of interstellar flight, psychological and sociological factors inherent in a multigenerational space mission, problems with suspended animation, current knowledge of exoplanets and issues related to colonizing a distant planet and the possible discovery of extraterrestrial life. A history of interstellar missions in science fiction is also reviewed.Nick Kanas is an Emeritus Professor of Psychiatry at the University of California, San Francisco, where he directed the group therapy training program. For over 20 years he conducted research on group therapy, and for nearly 20 years after that he was the Principal Investigator of NASA-funded research on astronauts and cosmonauts. He is the co-author of Space Psychology and Psychiatry, which won the 2004 International Academy of Astronautics Life Science Book Award, and the author of Humans in Space: The Psychological Hurdles, which won the 2016 International Academy of Astronautics Life Science Book Award.Dr. Kanas has presented talks on space psychology and on celestial mapping at several regional and Worldcon science fiction conventions. A Fellow of the Royal Astronomical Society (London), he has been an amateur astronomer for over 50 years and is an avid reader of science fiction. He is also the author of two non-fiction books (Star Maps: History, Artistry, and Cartography and Solar System Maps: From Antiquity to the Space Age) and two science fiction novels (The New Martians andThe Protos Mandate), all publishedby Springer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book puts the debates about the energy-climate continuum on a scientific ground!It is a must-read for everyone, who wants to understand how intimately the energy and climate debates are linked to each other, and who wants to participate in these omnipresent discussions. Antoine Bret explains in his book how fossil fuels became indispensable for our society. He carefully explains how and why this impacts the earth's climate. And he points out that all available fossil fuels will sooner or later be used up. Therefore, he introduces and discusses the alternatives, which are currently considered.The book is divided into three parts. The first part explains the problem and where we stand today, the second part critically discusses possible elements of solution. The third part illustrates historic case studies, containing both warning as well as encouraging examples of societies at turning points.This book is a careful introduction to these topics. The basic science behind the problem and the debates are introduced in an understandable and nicely readable fashion. Facts are illustrated with simple back-on-the-envelope calculations, providing a good feeling for orders of magnitudes. A rich appendix provides additional background information for the interested readers. In this way, the book can even be a valuable resource for introductory university courses in physics, climate science, natural science and many more subjects.This book is a real conversation starter and can be recommended to everyone, specialist or non-specialist, who wants to understand the actual energy-climate debates and maybe even involve.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -While labeled data is expensive to prepare, ever increasing amounts of unlabeled data is becoming widely available. In order to adapt to this phenomenon, several semi-supervised learning (SSL) algorithms, which learn from labeled as well as unlabeled data, have been developed. In a separate line of work, researchers have started to realize that graphs provide a natural way to represent data in a variety of domains. Graph-based SSL algorithms, which bring together these two lines of work, have been shown to outperform the state-of-the-art in many applications in speech processing, computer vision, natural language processing, and other areas of Artificial Intelligence. Recognizing this promising and emerging area of research, this synthesis lecture focuses on graph-based SSL algorithms (e.g., label propagation methods). Our hope is that after reading this book, the reader will walk away with the following: (1) an in-depth knowledge of the current state-of-the-art in graph-based SSL algorithms, and the ability to implement them; (2) the ability to decide on the suitability of graph-based SSL methods for a problem; and (3) familiarity with different applications where graph-based SSL methods have been successfully applied. Table of Contents: Introduction / Graph Construction / Learning and Inference / Scalability / Applications / Future Work / Bibliography / Authors' Biographies / IndexSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Electricity is all around us: cars, telephones, computers, lights -- the modern world runs entirely on electrons. But what are electrons How do they behave How do we control them This book will show you how to build a battery, detect static electricity and construct a basic current meter, all using common items from your kitchen. Along the way you'll learn about the meaning of 'voltage' and 'current', what makes an LED work and the difference between AC and DC. The last chapter uses transistors -- the basic building blocks of every computer -- for lots of interesting experiments. With plenty of colorful illustrations, historical stories and an easy, accessible style, 'A Kitchen Course in Electricity and Magnetism' will be a great start for budding and amateur scientists who want to learn more about how the world works.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Adiabatic quantum computation (AQC) is an alternative to the better-known gate model of quantum computation. The two models are polynomially equivalent, but otherwise quite dissimilar: one property that distinguishes AQC from the gate model is its analog nature. Quantum annealing (QA) describes a type of heuristic search algorithm that can be implemented to run in the ``native instruction set'' of an AQC platform. D-Wave Systems Inc. manufactures {quantum annealing processor chips} that exploit quantum properties to realize QA computations in hardware. The chips form the centerpiece of a novel computing platform designed to solve NP-hard optimization problems. Starting with a 16-qubit prototype announced in 2007, the company has launched and sold increasingly larger models: the 128-qubit D-Wave One system was announced in 2010 and the 512-qubit D-Wave Two system arrived on the scene in 2013. A 1,000-qubit model is expected to be available in 2014. This monograph presents an introductory overview of this unusual and rapidly developing approach to computation. We start with a survey of basic principles of quantum computation and what is known about the AQC model and the QA algorithm paradigm. Next we review the D-Wave technology stack and discuss some challenges to building and using quantum computing systems at a commercial scale. The last chapter reviews some experimental efforts to understand the properties and capabilities of these unusual platforms. The discussion throughout is aimed at an audience of computer scientists with little background in quantum computation or in physics.Table of Contents: Acknowledgments / Introduction / Adiabatic Quantum Computation / Quantum Annealing / The D-Wave Platform / Computational Experience / Bibliography / Author's BiographySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Smart Grid Security, SmartGridSec 2014, held in Munich, Germany, in February 2014. The volume contains twelve corrected and extended papers presented at the workshop which have undergone two rounds of reviewing and improvement. The engineering, deployment and operation of the future Smart Grid will be an enormous project that will require the active participation of many stakeholders with different interests and views regarding the security and privacy goals, technologies, and solutions. There is an increasing need for workshops that bring together researchers from different communities, from academia and industry, to discuss open research topics in the area of future Smart Grid security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Multiple Access Communications, MACOM 2014, held in Halmstad, Sweden, in August 2014. The 12 full papers presented were carefully reviewed and selected from 22 submissions. They describe the latest advancements in the field of multiple access communications with an emphasis on reliability issues, physical layer techniques, cognitive radio, medium access control protocols, and video coding.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the Second Asia Pacific Conference on Business Process Management held in Brisbane, QLD, Australia, in July 2014.In all, 33 contributions from 12 countries were submitted. After each submission was reviewed by at least three Program Committee members, nine full papers were accepted for publication in this volume. These nine papers cover various topics that can be categorized under four main research focuses in BPM: process mining, process modeling and repositories, process model comparison, and process analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the refereed proceedings of the 5th Scandinavian Conference on Information Systems, SCIS 2014, held in Ringsted, Denmark, in August 2014.The theme for this book as well as for the conference is ¿Designing Human Technologies.¿ The theme combines the interplay of people with technology¿a classic theme in Scandinavian information systems research¿with a growing interest within the IS research field in design and design science research. The nine papers accepted for SCIS 2014 were selected from 22 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, held in Istanbul, Turkey, in September 2014. The 13 full papers presented together with 2 keynotes were carefully reviewed and selected from 33 submissions. The focus of the conference was on following topics: Competence Science Education, Competence Measurement for Informatics, Emerging Technologies and Tools for Informatics, Teacher Education in Informatics, and Curriculum Issues.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2014, in Boston, MA, USA in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 23 submissions. The scope of the workshop spans the theoretical and practical aspects of augmented reality and visualization computer assisted intervention, interventional imaging, image-guided robotics, image-guided intervention, surgical planning and simulation, systematic extra- and intra-corporeal imaging modalities, general biological and neuroscience image computing, patient specific modeling, and medical image understanding.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2014, held in Stockholm, Sweden in August 2014. The 9 revised full papers and 9 revised short papers presented were carefully reviewed and selected from 29 submissions. The focus of the conference was on the latest Research in Pattern Recognition and Computational Intelligence-Based Techniques Applied to Problems in Bioinformatics and Computational Biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2014, held in Munich, Germany, in September 2014, in conjunction with DEXA 2014. The 7 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers are organized in the following topical sections: query processing in cloud, grid, and P2P systems: optimization and recommendation; MapReduce framework: data privacy and similarity search; data management in grid systems: protocol and recovery failure.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed workshop proceedings of the 11th International Workshop on Approximation and Online Algorithms, WAOA 2013, held in Sophia Antipolis, France, in September 2013 as part of the ALGO 2013 conference event. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. They focus on the design and analysis of algorithms for online and computationally hard problems, for example in algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, geometric problems, graph algorithms, inapproximability results, mechanism design, natural algorithms, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, parameterized complexity, real-world applications, scheduling problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Artificial General Intelligence, AGI 2014, held in Quebec City, QC, Canada, in August 2014. The 22 papers and 8 posters were carefully reviewed and selected from 65 submissions. Researchers have recognized the necessity of returning to the original goals of the field by treating intelligence as a whole. Increasingly, there is a call for a transition back to confronting the more difficult issues of 'human-level intelligence' and more broadly artificial general intelligence. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence and by carrying out the engineering practice according to an outline of a system comparable to the human mind in a certain sense. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, original sense of the term of 'artificial intelligence'. The conferences encourage interdisciplinary research based on different understandings of intelligence and exploring different approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 25th Australasian Database Conference, ADC 2014, held in Brisbane, NSW, Australia, in July 2014. The 15 full papers presented together with 6 short papers and 2 keynotes were carefully reviewed and selected from 38 submissions. A large variety of subjects are covered, including hot topics such as data warehousing; database integration; mobile databases; cloud, distributed, and parallel databases; high dimensional and temporal data; image/video retrieval and databases; database performance and tuning; privacy and security in databases; query processing and optimization; semi-structured data and XML; spatial data processing and management; stream and sensor data management; uncertain and probabilistic databases; web databases; graph databases; web service management; and social media data management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014.The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the International Conference for Smart Health, ICSH 2014, held in Beijing, China, in July 2014. The 21 papers presented together with 4 extended abstracts were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on information sharing, integrating and extraction; health data analysis and management; clinical and medical data mining; and clinical practice and medical monitoring.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th Industrial Conference on Advances in Data Mining, ICDM 2014, held in St. Petersburg, Russia, in July 2014. The 16 revised full papers presented were carefully reviewed and selected from various 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 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference, AlCoB 2014, held in July 2014 in Tarragona, Spain.The 20 revised full papers were carefully reviewed and selected from 39 submissions. The scope of AlCoB includes topics of either theoretical or applied interest, namely: exact sequence analysis, approximate sequence analysis, pairwise sequence alignment, multiple sequence alignment, sequence assembly, genome rearrangement, regulatory motif finding, phylogeny reconstruction, phylogeny comparison, structure prediction, proteomics: molecular pathways, interaction networks, transcriptomics: splicing variants, isoform inference and quantification, differential analysis, next-generation sequencing: population genomics, metagenomics, metatranscriptomics, microbiome analysis, systems biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Workshop on Biomedical Image Registration, WBIR 2014, held in London, UK, in July 2014.The 16 full papers and 8 poster papers included in this volume were carefully reviewed and selected from numerous submitted papers. The full papers are organized in the following topical sections: computational efficiency, model based regularisation, optimisation, reconstruction, interventional application and application specific measures of similarity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2014, held in Egham, UK, in July 2014.The 13 revised full papers presented together with one extended abstract were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on malware, mobile security, network security and host security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Articulated Motion and Deformable Objects, AMDO 2014, held in Palma de Mallorca, Spain, in July 2014. The 18 papers presented were carefully reviewed and selected from 37 submissions. The conference dealt with the following topics: geometric and physical deformable models; motion analysis; articulated models and animation; modeling and visualization of deformable models; deformable model applications; motion analysis applications; single or multiple human motion analysis and synthesis; face modeling, tracking, recovering and recognition models; virtual and augmented reality; haptics devices; biometric techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th Conference on Advances in Autonomous Robotics, TAROS 2014, held in Birmingham, UK, in September 2014. The 23 revised full papers presented together with 9 extended abstracts were carefully reviewed and selected from 48 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Controlled Natural Language, CNL 2014, held in Galway, Ireland, in August 2014. The 17 full papers and one invited paper presented were carefully reviewed and selected from 26 submissions. The topics include simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 13th International Conference on Web-Based Learning, ICWL 2014, held in Tallinn, Estonia, in August 2014. The 18 revised full papers presented together with 9 short papers were carefully reviewed and selected from about 78 submissions. The papers are organized in topical sections on computer supported collaborative learning, Web 2.0 and social learning environments; personal learning environments; game-based learning; learner modeling and learning analytics; personalized and adaptive learning; design, model and implementation of e-learning platforms and tools; and pedagogical issues, practice and experience sharing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2014, held in Budapest, Hungary, in June/July 2014. The 18 papers presented were carefully reviewed and selected from 27 submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.