springer berlin heidelberg springer berlin heidelberg jun 2013 (118 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeFinite Difference Methods For Mean Field Games.- An Introduction to the Theory of Viscosity Solutions for First-Order Hamilton-Jacobi Equations and Applications.- A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations.- Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the refereed proceedings of the 16th International Conference on Business Information Systems, BIS 2013, held in Poznä, Poland, in June 2013. The theme of this year's conference was 'Business Applications on the Move,' reflecting the growing usage of mobile devices in business applications and its repercussions on business processes and information management.The 18 revised full papers were carefully reviewed and selected from 52 submissions. They are grouped into six sections on modern enterprises and mobile ERP, business models and BPM, linked data and ontologies, recommendations and content analysis, knowledge discovery, and IT frameworks and systems architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeTechnical tracks: key management.- Hypervisor usage.- Information flow analysis.- Trust in network measurement.- Random number generators.- Case studies that evaluate trust-based methods in practice: simulation environments for trusted platform modules.- Trust in applications running on mobile devices.- Trust across platform. Socio-economic track: investigated, how trust is managed and perceived in online environments.-How the disclosure of personal data is perceived.- Some papers probed trust issues across generations of users and for groups with special needs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeSimulation.- Neurosurgical interventions.- Ultrasound guided interventions.-Image guided interventions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013.The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-Based Mutation Testing with Timed Automata.- Model-Based Testing for Verification Back-Ends.- A Metric for Testing Program Verification Systems.- Test Program Generation for a Microprocessor: A Case-Study.- A Declarative Debugger for Sequential Erlang Programs.- Initiating a Benchmark for UML and OCL Analysis Tools.- Speeding Up Algorithmic Debugging Using Balanced Execution Trees.- Generating Test Suites with Augmented Dynamic Symbolic Execution.- Divergent Quiescent Transition Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book includes the thoroughly refereed post-conference proceedings of the 16th Annual RoboCup International Symposium, held in Mexico City, Mexico, in June 2012. The 24 revised papers presented together with nine champion team papers and one best paper award were carefully reviewed and selected from 64 submissions. The papers present current research and educational activities within the fields of Robotics and Artificial Intelligence with a special focus to robot hardware and software, perception and action, robotic cognition and learning, multi-robot systems, human-robot interaction, education and edutainment, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeBiometrics: behavioral.- Biometrics: physiological.- Classification and regression.- Object recognition.- Image processing and analysis: representations and models, compression, enhancement, feature detection and segmentation.- 3D image analysis.- Tracking; medical imaging: image segmentation, image registration, image analysis, coronary image analysis, retinal image analysis, computer aided diagnosis, brain image analysis; cell image analysis.- RGB-D camera applications.- Methods of moments.- Applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 832 pp. Englisch.

Buch. Zustand: Neu. Neuware -InhaltsangabeInnovation and sustainability.- Practices and methods.- FOSS technologies.- Security and open standards.- Business models and licensing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Zustand: Neu. Neuware -¿The research presented in this book discusses how to efficiently retrieve track and trace information for an item of interest that took a certain path through a complex network of manufacturers, wholesalers, retailers, and consumers. To this end, a super-ordinate system called 'Discovery Service' is designed that has to handle large amounts of data, high insert-rates, and a high number of queries that are submitted to the discovery service.An example that is used throughout this book is the European pharmaceutical supply chain, which faces the challenge that more and more counterfeit medicinal products are being introduced. Between October and December 2008, more than 34 million fake drug pills were detected at customs control at the borders of the European Union. These fake drugs can put lives in danger as they were supposed to fight cancer, take effect as painkiller or antibiotics, among others.The concepts described in this book can be adopted for supply chain management use cases other than track and trace, such as recall, supply chain optimization, or supply chain analytics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeCloud Cryptography.- Secure Computation.- Hash Function and Block Cipher.- Signature.- System Attack.- Secure Implementation - Hardware.- Secure Implementation-Software.- Group-oriented Systems.- Key Exchange and Leakage Resilience.- Cryptographic Proof.- Cryptosystems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book outlines the most important characteristics of IEEE 802.15.4 and ZigBee and how they can be used to engineer Wireless Sensor Network (WSN) systems and applications, with a particular focus on Quality-of-Service (QoS) aspects. It starts by providing a snapshot of the most relevant features of these two protocols, identifying some gaps in the standard specifications. Then it describes several state-of-the-art open-source implementations, models and tools that have been designed by the authors and have been widely used by the international community. The book also outlines the fundamental performance limits of IEEE 802.15.4/ZigBee networks, based on well-sustained analytical, simulation and experimental models, including how to dimension such networks to optimize delay/energy trade-offs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Buch. Zustand: Neu. Neuware -Television is a mature mass media with close to eight decades of regular broadcasts since its beginnings in Germany, the UK and the USA. Today, despite the spectacular growth of the Internet and social networks, television is still the leading medium for entertainment and information across the world, exerting an unparalleled influence on public opinion. Until recently television had undergone a rather slow evolution regarding the interaction with its users, yet this is beginning to change. The ongoing trend of digitalization has accelerated the process, and the computational capacity of televisions and set-top boxes has increased the possibilities of communication and implementation of services.This book provides the first descriptive and structured presentation of the TV-Anytime norm, which will standardize information formats and communication protocols to create a framework for the development of novel and intelligent services in the audiovisual market. The standard, thedissemination of which has been entrusted to the European Telecommunications Standards Institute, ensures manufacturers and service providers that their products will be presented to the widest possible market, without fear of being constrained by the wars of interest typical for emerging technologies. The individual chapters provide detailed descriptions of the new standard¿s most important capabilities and contributions, including metadata management, customization and personalization processes, uni- and bidirectional data transfer, and remote receiver programming. Overall, the authors deliver a solid introduction to the standard. To ensure a better understanding of concepts and tools, they present a wide range of simple examples illustrating many different usage scenarios that can be found when describing users, equipment and content. This presentation style mainly targets professionals in the television and broadcasting industry who are interested in acquainting themselves withthe standard and the possibilities it offers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This monograph, written from a numerical analysis perspective, aims to provide a comprehensive treatment of both the mathematical framework and the numerical methods for flexible multibody dynamics. Not only is this field permanently and rapidly growing, with various applications in aerospace engineering, biomechanics, robotics, and vehicle analysis, its foundations can also be built on reasonably established mathematical models. Regarding actual computations, great strides have been made over the last two decades, as sophisticated software packages are now capable of simulating highly complex structures with rigid and deformable components. The approach used in this book should benefit graduate students and scientists working in computational mechanics and related disciplines as well as those interested in time-dependent partial differential equations and heterogeneous problems with multiple time scales. Additionally, a number of open issues at the frontiers of research are addressed by taking a differential-algebraic approach and extending it to the notion of transient saddle point problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2013, held in Malaga, Spain, in June 2013. The 14 revised full papers and 9 short papers presented were carefully reviewed and selected from 62 submissions. The papers cover a wide range of topics focusing on multi-disciplinary areas such as: trust models, social foundations of trust, trust in networks, mobile systems and cloud computation, privacy, reputation systems, and identity management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding the loss and gain of genes during evolution, the interactions among gene products, and the relationship between genotype, phenotype and the environment. The many examples in the book have been carefully chosen from primary research literature based on two criteria: their biological insight and their pedagogical merit. The phylogeny-based comparative methods, involving both continuous and discrete variables, often represent a stumbling block for many students entering the field of comparative genomics. They are numerically illustrated and explained in great detail. The book is intended for researchers new to the field, i.e., advanced undergraduate students, postgraduates and postdoctoral fellows, although professional researchers who are not in the area of comparative genomics will also find the book informative.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 768 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 18th Scandinavian Conference on Image Analysis, SCIA 2013, held in Espoo, Finland, in June 2013.The 67 revised full papers presented were carefully reviewed and selected from 132 submissions. The papers are organized in topical sections on feature extraction and segmentation, pattern recognition and machine learning, medical and biomedical image analysis, faces and gestures, object and scene recognition, matching, registration, and alignment, 3D vision, color and multispectral image analysis, motion analysis, systems and applications, human-centered computing, and video and multimedia analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 748 pp. Englisch.

Buch. Zustand: Neu. Neuware -InhaltsangabeDesign methodologies.- Non-functional aspects of embedded systems.- Verification.- Performance analysis.- Real-time systems.- Embedded system applications.- Real-time aspects in distributed systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeComputer vision.- Image processing.- Pattern recognition and artificial intelligence.- Neural networks.- Document processing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeProgramming the LU Factorization for a Multicore System with Accelerators.- Efficient Two-Level Preconditioned Conjugate Gradient Method on the GPU.- Parallelization of the QR Decomposition with Column Pivoting Using Column Cyclic Distribution on Multicore and GPU Processors.- A High Performance SYMV Kernel on a Fermi-core GPU.- Optimizing Memory-Bound SYMV Kernel on GPU Hardware Accelerators.- Numerical Simulation of Long-Term Fate of CO2 Stored in Deep Reservoir Rocks on Massively Parallel Vector Supercomputer.- High Performance Simulation of Complicated Fluid Flow in 3D Fractured Porous Media with Permeable Material Matrix Using LBM.- Parallel Scalability Enhancements of Seismic Response and Evacuation Simulations of Integrated Earthquake Simulator.- QMC=Chem: A Quantum Monte Carlo Program for Large-Scale Simulations in Chemistry at the Petascale Level and beyond.- Optimizing Sparse Matrix Assembly in Finite Element Solvers with One-Sided Communication.- Implementation and Evaluation of 3D Finite Element Method Application for CUDA.- A Service-Oriented Architecture for Scientific Computing on Cloud Infrastructures.- Automatic Generation of the HPC Challenge's Global FFT Benchmark for Blue Gene/P.- High Performance CPU Kernels for Multiphase Compressible Flows.- Efficient Algorithm for Linear Systems Arising in Solutions of Eigenproblems and Its Application to Electronic-Structure.- Control Formats for Unsymmetric and Symmetric Sparse Matrix-Vector Multiplications on Open MP Implementations.- Sparsification on Parallel Spectral Clustering.- A Multi GPU Read Alignment Algorithm with Model-Based Performance Optimization.- Parallel Smoother Based on Block Red-Black Ordering for Multigrid Poisson Solver.- Accelerating the Reorthogonalization of Singular Vectors with a Multi-core Processor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Human Factors in Computing and Informatics, SouthCHI 2013, held in Maribor, Slovenia, in July 2013. SouthCHI is the successor of the USAB Conference series and promotes all aspects of human-computer interaction. The 38 revised full papers presented together with 12 short papers, 4 posters and 3 doctoral thesis papers were carefully reviewed and selected from 169 submissions. The papers are organized in the following topical sections: measurement and usability evaluation; usability evaluation - medical environments; accessibility methodologies; game-based methodologies; Web-based systems and attribution research; virtual environments; design culture for ageing well: designing for 'situated elderliness'; input devices; adaptive systems and intelligent agents; and assessing the state of HCI research and practice in South-Eastern Europe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 872 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2013, held in Nice, France, in June 2013. The 25 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on bio-molecular networks and pathway analysis; learning, classification, and clustering; data mining and knowledge discovery; protein: structure, function, and interaction; motifs, sites, and sequence analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Applications of Natural Language to Information Systems, held in Salford, UK, in June 2013. The 21 long papers, 15 short papers and 17 poster papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers cover the following topics: requirements engineering, question answering systems, named entity recognition, sentiment analysis and mining, forensic computing, semantic web, and information search.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Case-Based Reasoning Research and Development (ICCBR 2013) held in Saratoga Springs, NY, USA, in July 2013.The 17 revised full papers presented together with 9 posters werecarefully reviewed and selected from 39 submissions. The presentations and posters covered a wide range of CBR topics of interest both to researchers and practitioners including case retrieval and adaptation, similarity assessment, case base maintenance, knowledge management, recommender systems, multiagent systems, textual CBR, and applications to healthcare and computer games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -As indicated by the title, this book focuses on fundamental problems in finance: a logical dilemma in valuation, stock valuation methods/models, risk valuation, and optimal capital structure. It presents an innovative approach to logic and quantitative reasoning (without advanced mathematics) that delivers valuable results ---- convincing solutions to these problems. Readers in finance will definitely be interested in these solutions as well as the methods. In fact, these fundamental problems are essential in the field of finance, and they have remained unsolved (or partly unsolved) for decades. The solutions offered in this book are all sound in theory and feasible in practice, and will hopefully benefit boththeoretic al research and practical decision-making.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - As indicated by the title, this book focuses on fundamental problems in finance: a logical dilemma in valuation, stock valuation methods/models, risk valuation, and optimal capital structure. It presents an innovative approach to logic and quantitative reasoning (without advanced mathematics) that delivers valuable results ---- convincing solutions to these problems. Readers in finance will definitely be interested in these solutions as well as the methods. In fact, these fundamental problems are essential in the field of finance, and they have remained unsolved (or partly unsolved) for decades. The solutions offered in this book are all sound in theory and feasible in practice, and will hopefully benefit both theoretic al research and practical decision-making.

Buch. Zustand: Neu. Neuware -'Exhibition organizers and venue managers must have a thorough knowledge of their customers and they must be very close to the industries they serve. We must react rapidly to their changing needs and even be ahead of the curve in providing the tools and services which they¿ll need to successfully meet their business objectives. This book, Exhibit Marketing and Trade Show Intelligence, will assist all those in the exhibition industry to stay on top of trends and changes as we work to improve our customer¿s ROI and at the same time strengthen our own bottom line.'Paul WoodwardManaging DirectorUFI, the Global Association of the Exhibition Industry'The Exhibit and Event industry has been rapidly expanding over the past several years and offers many global opportunities for a fascinating and rewarding career. Exhibit Marketing & Trade Show Intelligence provides those interested in a career in Exhibit and Event Management a solid foundation on how to become a valuable asset to any organization.'Jim Wurm, Executive DirectorExhibit & Event Marketers Association (E2MA)'Dr. Klaus Solberg Søilen's book is a vital handbook for all marketers who work with exhibitions as a marketing tool. The book provides clear and extremely useful recommendations for actions before, under and after the exhibition has taken place'.Svend Hollensen, author of 'Global Marketing'(Pearson) and Associate Professor of International Marketing at the University of Southern Denmark.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.