berlin springer berlin heidelberg springer jun 2013 (316 risultati)

Taschenbuch. Condizione: 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. 120 pp. Englisch.

Taschenbuch. Condizione: 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.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -InhaltsangabeSimulation.- Neurosurgical interventions.- Ultrasound guided interventions.-Image guided interventions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Buch. Condizione: 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.

Taschenbuch. Condizione: 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.

Buch. Condizione: 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.

Buch. Condizione: Neu. Neuware -Various effects of the atmosphere have to be considered in space geodesy and all of them are described and treated consistently in this textbook. Two chapters are concerned with ionospheric and tropospheric path delays of microwave and optical signals used by space geodetic techniques, such as the Global Navigation Satellite Systems (GNSS), Very Long Baseline Interferometry (VLBI), or Satellite Laser Ranging (SLR). It is explained how these effects are best reduced and modelled to improve the accuracy of space geodetic measurements. Other chapters are on the deformation of the Earth¿s crust due to atmospheric loading, on atmospheric excitation of Earth rotation, and on atmospheric effects on gravity field measurements from special satellite missions such as CHAMP, GRACE, and GOCE. All chapters have been written by staff members of the Department of Geodesy and Geoinformation at TU Wien who are experts in the particular fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condizione: Neu. Neuware -Backward stochastic differential equations (BSDEs) provide a general mathematical framework for solving pricing and risk management questions of financial derivatives. They are of growing importance for nonlinear pricing problems such as CVA computations that have been developed since the crisis. Although BSDEs are well known to academics, they are less familiar to practitioners in the financial industry. In order to fill this gap, this book revisits financial modeling and computational finance from a BSDE perspective, presenting a unified view of the pricing and hedging theory across all asset classes. It also contains a review of quantitative finance tools, including Fourier techniques, Monte Carlo methods, finite differences and model calibration schemes. With a view to use in graduate courses in computational finance and financial modeling, corrected problem sets and Matlab sheets have been provided.Stéphane Crépey¿s book starts with a few chapters on classical stochastic processes material, and then. fasten your seatbelt. the author starts traveling backwards in time through backward stochastic differential equations (BSDEs). This does not mean that one has to read the book backwards, like a manga! Rather, the possibility to move backwards in time, even if from a variety of final scenarios following a probability law, opens a multitude of possibilities for all those pricing problems whose solution is not a straightforward expectation. For example, this allows for framing problems like pricing with credit and funding costs in a rigorous mathematical setup. This is, as far as I know, the first book written for several levels of audiences, with applications to financial modeling and using BSDEs as one of the main tools, and as the song says: 'it's never as good as the first time'.Damiano Brigo, Chair of Mathematical Finance, Imperial College LondonWhile the classical theory of arbitrage free pricinghas matured, and is now well understood and used by the finance industry, the theory of BSDEs continues to enjoy a rapid growth and remains a domain restricted to academic researchers and a handful of practitioners. Crépey¿s book presents this novel approach to a wider community of researchers involved in mathematical modeling in finance. It is clearly an essential reference for anyone interested in the latest developments in financial mathematics.Marek Musiela, Deputy Director of the Oxford-Man Institute of Quantitative FinanceSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is an introduction to the theories of Special and General Relativity. The target audience are physicists, engineers and applied scientists who are looking for an understandable introduction to the topic - without too much new mathematics. The fundamental equations of Einstein's theory of Special and General Relativity are derived using matrix calculus, without the help of tensors. This feature makes the book special and a valuable tool for scientists and engineers with no experience in the field of tensor calculus. In part I the foundations of Special Relativity are developed, part II describes the structure and principle of General Relativity. Part III explains the Schwarzschild solution of spherical body gravity and examines the 'Black Hole' phenomenon. Any necessary mathematical tools are user friendly provided, either directly in the text or in the appendices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.