Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319070339ISBN 13: 9783319070339
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Providing a systematic introduction to differential characters as introduced by Cheeger and Simons, this text describes important concepts such as fiber integration, higher dimensional holonomy, transgression, and the product structure in a geometric manner. Differential characters form a model of what is nowadays called differential cohomology, which is the mathematical structure behind the higher gauge theories in physics. 200 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3031013905ISBN 13: 9783031013904
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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 Biography 96 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319079018ISBN 13: 9783319079011
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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 an unpredictable 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 Kanasis 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 ofSpace Psychology and Psychiatry, which won the 2004 International Academy of Astronautics Life Science Book Award, and the author ofHumans 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), hehas 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 CartographyandSolar System Maps: From Antiquity to the Space Age) and two science fiction novels (The New MartiansandThe Protos Mandate), all published by Springer. 152 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 303100616XISBN 13: 9783031006166
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To date, the most common form of simulators of computer systems are software-based running on standard computers. One promising approach to improve simulation performance is to apply hardware, specifically reconfigurable hardware in the form of field programmable gate arrays (FPGAs). This manuscript describes various approaches of using FPGAs to accelerate software-implemented simulation of computer systems and selected simulators that incorporate those techniques. More precisely, we describe a simulation architecture taxonomy that incorporates a simulation architecture specifically designed for FPGA accelerated simulation, survey the state-of-the-art in FPGA-accelerated simulation, and describe in detail selected instances of the described techniques. Table of Contents: Preface / Acknowledgments / Introduction / Simulator Background / Accelerating Computer System Simulators with FPGAs / Simulation Virtualization / Categorizing FPGA-based Simulators / Conclusion / Bibliography / Authors' Biographies 84 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3031009878ISBN 13: 9783031009877
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A response of the engineering profession to the challenges of security, poverty and underdevelopment, environmental sustainability, and native cultures is described. Ethical codes, which govern the behavior of engineers, are examined from a historical perspective linking the prevailing codes to models of the natural world. A new ethical code based on a recently introduced model of Nature as an integral community is provided and discussed. Applications of the new code are described using a case study approach. With the ethical code based on an integral community in place, new design algorithms are developed and also explored using case studies. Implications of the proposed changes in ethics and design on engineering education are considered. Table of Contents: Preface / Acknowledgments / Introduction / Engineering Ethics / Models of the Earth / Engineering in a Morally Deep World / Engineering Design in a Morally Deep World / Implications for Engineering Education / Final Thoughts / References / Author's Biography 88 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3031004434ISBN 13: 9783031004438
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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 / Index 128 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319079190ISBN 13: 9783319079196
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 184 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319053043ISBN 13: 9783319053042
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 192 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319063723ISBN 13: 9783319063720
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Providing an up-to-date overview of the geometry of manifolds with non-negative sectional curvature, this volume gives a detailed account of the most recent research in the area. The lectures cover a wide range of topics such as general isometric group actions, circle actions on positively curved four manifolds, cohomogeneity one actions on Alexandrov spaces, isometric torus actions on Riemannian manifolds of maximal symmetry rank, n-Sasakian manifolds, isoparametric hypersurfaces in spheres, contact CR and CR submanifolds, Riemannian submersions and the Hopf conjecture with symmetry. Also included is an introduction to the theory of exterior differential systems. 208 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319103288ISBN 13: 9783319103280
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 204 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319099574ISBN 13: 9783319099576
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 192 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319103970ISBN 13: 9783319103976
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 208 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319080008ISBN 13: 9783319080000
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 180 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319104365ISBN 13: 9783319104362
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 164 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319091913ISBN 13: 9783319091914
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 148 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319095455ISBN 13: 9783319095455
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 144 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319082213ISBN 13: 9783319082219
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 160 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319102613ISBN 13: 9783319102610
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 152 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319100661ISBN 13: 9783319100661
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 96 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319079492ISBN 13: 9783319079493
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed proceedings of the Third Australian Symposium on Service Research and Innovation, ASSRI 2013, held in Sydney, NSW, Australia, in November 2013.Overall, eight research papers were carefully reviewed and selected from 18 submissions. They are multidisciplinary in scope and cover strategic, organizational, and technological dimensions, ranging from purely conceptual to concrete implementations and testing of service-related technological platforms. Taken together, these papers provide a snapshot of the critical concerns and developments in service-related research and cover some of the key areas of research focus. 132 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319059416ISBN 13: 9783319059419
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the discovery of the Higgs boson, the LHC experiments have closed the most important gap in our understanding of fundamental interactions, confirming that such interactions between elementary particles can be described by quantum field theory, more specifically by a renormalizable gauge theory. This theory is a priori valid for arbitrarily high energy scales and does not require an ultraviolet completion.Yet, when trying to apply the concrete knowledge of quantum field theory to actual LHC physics - in particular to the Higgs sector and certain regimes of QCD - one inevitably encounters an intricate maze of phenomenological know-how, common lore and other, often historically developed intuitions about what works and what doesn't.These lectures cover three aspects to help understand LHC results in the Higgs sector and in searches for physics beyond the Standard Model: they discuss the many facets of Higgs physics, which is at the core of this significantly expanded second edition; then QCD, to the degree relevant for LHC measurements; as well as further standard phenomenological background knowledge. They are intended to serve as a brief but sufficiently detailed primer on LHC physics to enable graduate students and all newcomers to the field to find their way through the more advanced literature, and to help those starting to work in this very timely and exciting field of research. Advanced readers will benefit from this course-based text for their own lectures and seminars. 344 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319084151ISBN 13: 9783319084152
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 248 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319092731ISBN 13: 9783319092737
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 280 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319085085ISBN 13: 9783319085081
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 292 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319098454ISBN 13: 9783319098456
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project 'LOD2 -- Creating Knowledge out of Interlinked Data'. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea. The aim of this project was to advance the state-of-the-art in research and development in four key areas relevant for Linked Data, namely 1. RDF data management; 2. the extraction, creation, and enrichment of structured RDF data; 3. the interlinking and fusion of Linked Data from different sources and 4. the authoring, exploration and visualization of Linked Data. 224 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319105116ISBN 13: 9783319105116
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications in real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication. 264 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319097695ISBN 13: 9783319097695
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Trust and Privacy in Digital Business, TrustBus 2014, held in Munich, Germany, in September 2014 in conjunction with DEXA 2014. The 16 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: trust management; trust metrics and evaluation models; privacy and trust in cloud computing; security management; and security, trust, and privacy in mobile and pervasive environments. 208 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 331909842XISBN 13: 9783319098425
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on Security, IWSEC 2014, held in Hirosaki, Japan, in August 2014. The 13 regular papers presented together with 8 short papers in this volume were carefully reviewed and selected from 55 submissions. The focus of the workshop was on the following topics: system security, threshold cryptography, hardware security, foundation, and encryption. 300 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319088483ISBN 13: 9783319088488
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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 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. 208 pp. Englisch.
Published by Springer International Publishing Aug 2014, 2014
ISBN 10: 3319083104ISBN 13: 9783319083100
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 208 pp. Englisch.