Springer berlin heidelberg jun 2013 (188 resultados)

Taschenbuch. Condición: Neu. Neuware -Dieses Buch ist eine Darstellung des Mathematikstoffs für Physiker, die etwa einem vierstündigen Vorlesungsprogramm von vier Semestern entspricht. Darüber hinaus enthält es ein weiterführendes Kapitel über unbeschränkte Operatoren, wie sie in der Quantenmechanik auftreten. Das Buch umfaßt neben linearer Algebra, Funktionentheorie und klassischen Gebieten auch Distributionen, Anfangs-, Randwert- und Anfangsrandwertprobleme für Differentialgleichungen und eine Einführung in die Funktionalanalysis. Ein Ziel ist es, auch neuere Methoden der Mathematik, die in die Physik Eingang gefunden haben, vorzustellen. So werden der Kalkül der Differentialformen und seine Anwendungen, Distributionen, Fundamentallösungen von Differentialgleichungen, Hilbert-Räume und Operatoren hier behandelt. Zahlreiche Erläuterungen, Beispiele sowie Übungsaufgaben und ihre Lösungen unterstützen die Lektüre und ergänzen den Text.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 588 pp. Deutsch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book focuses mainly on fractional Brownian fields and their extensions. It has been used to teach graduate students at Grenoble and Toulouse's Universities. It is as self-contained as possible and contains numerous exercises, with solutions in an appendix. After a foreword by Stéphane Jaffard, a long first chapter is devoted to classical results from stochastic fields and fractal analysis. A central notion throughout this book is self-similarity, which is dealt with in a second chapter with a particular emphasis on the celebrated Gaussian self-similar fields, called fractional Brownian fields after Mandelbrot and Van Ness's seminal paper. Fundamental properties of fractional Brownian fields are then stated and proved. The second central notion of this book is the so-called local asymptotic self-similarity (in short lass), which is a local version of self-similarity, defined in the third chapter. A lengthy study is devoted to lass fields with finite variance. Among these lass fields, we find both Gaussian fields and non-Gaussian fields, called Lévy fields. The Lévy fields can be viewed as bridges between fractional Brownian fields and stable self-similar fields. A further key issue concerns the identification of fractional parameters. This is the raison d'être of the statistics chapter, where generalized quadratic variations methods are mainly used for estimating fractional parameters. Last but not least, the simulation is addressed in the last chapter. Unlike the previous issues, the simulation of fractional fields is still an area of ongoing research. The algorithms presented in this chapter are efficient but do not claim to close the debate. 284 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the various types of resonance effects on excitons, biexcitons and the local electronic centers (LEC) in solids, such as paramagnetic and paraelectric resonances on excitons, exciton acoustic resonance at intra- and interband transitions, radio-optical double resonance on excitons, hole-nuclear double resonance on localized biexcitons, ENDOR and acoustic ENDOR on LEC. The criteria for the generation of coherent photons, phonons and magnons by excitons are explained. The interactions of excitons and biexcitons with paramagnetic centers and nuclear spins, the indirect interaction between the PC through a field of excitons as well as the quasienergy spectrum of excitons and spin systems are discussed. It is proved that the interaction of paramagnetic centers with excitons increases the spin relaxation rate of paramagnetic centers in comparison with the case of their interaction with free carriers. The giant magneto-optical effects in semi-magnetic semiconductors are theoretically interpreted.In recent years, a new perspective has been added to these systems and their interactions: They can be used for storing and processing information in the form of quantum bits (qubits), the building blocks of quantum computers. The basics of this emerging technology are explained and examples of demonstration-type quantum computers based on localized spins in solids are discussed. 304 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These Lecture Notes contain the material relative to the courses given at the CIME summer school held in Cetraro, Italy from August 29 to September 3, 2011. The topic was 'Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications'. The courses dealt mostly with the following subjects: first order and second order Hamilton-Jacobi-Bellman equations, properties of viscosity solutions, asymptotic behaviors, mean field games, approximation and numerical methods, idempotent analysis. The content of the courses ranged from an introduction to viscosity solutions to quite advanced topics, at the cutting edge of research in the field. We believe that they opened perspectives on new and delicate issues. These lecture notes contain four contributions by Yves Achdou (Finite Difference Methods for Mean Field Games), Guy Barles (An Introduction to the Theory of Viscosity Solutions for First-order Hamilton-Jacobi Equations and Applications), Hitoshi Ishii (A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations) and Grigory Litvinov (Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations). 320 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 248 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 192 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the refereed proceedings of the 16th International Conference on Business Information Systems, BIS 2013, held in Poznan, 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. 240 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 4th International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2013, held in Heidelberg, Germany, on June 26, 2013. The 11 papers presented were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections on simulation, neurosurgical interventions, ultrasound guided interventions, and image guided interventions. 124 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM 2013, held in Bad Herrenalb (near Karlsruhe), Germany, in June 2013. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 51 submissions. The papers address issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays. The goal is to derive non-trivial combinatorial properties of such structures and to exploit these properties in order to either achieve superior performance for the corresponding computational problem or pinpoint conditions under which searches cannot be performed efficiently. The meeting also deals with problems in computational biology, data compression and data mining, coding, information retrieval, natural language processing, and pattern recognition. 272 pp. Englisch.…

Taschenbuch. Condición: 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 Unconventional Computation and Natural Computation, UCNC 2013, held in Milan, Italy, in July 2013. The 30 papers (28 full papers, 8 poster papers, and 2 invited papers) were carefully reviewed and selected from 46 submissions. The topics of the volume include: quantum, cellular, molecular, neural, DNA, membrane, and evolutionary computing; cellular automata; computation based on chaos and dynamical systems; massive parallel computation; collective intelligence; computation based on physical principles such as relativistic, optical, spatial, collision-based computing; amorphous computing; physarum computing; hypercomputation; fuzzy and rough computing; swarm intelligence; artificial immune systems; physics of computation; chemical computation; evolving hardware; the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes. 280 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 6th International Conference on Nonlinear Speech Processing, NOLISP 2013, held in Mons, Belgium, in June 2013.The 27 refereed papers included in this volume were carefully reviewed and selected from 34 submissions. The paper are organized in topical sections on speech and audio analysis; speech synthesis; speech-based biomedical applications; automatic speech recognition; and speech enhancement. 228 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.The 18 revised full papers were carefully reviewed and selected from 41 submissions. The papers cover the following topics: propositionalization, logical foundations, implementations, probabilistic ILP, applications in robotics and biology, grammatical inference, spatial learning and graph-based learning. 284 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed.This book provides fundamental concepts for the benchmarking of those algorithms in peer-to-peer systems. It also contains a collection of characteristic benchmarking results. The chapters of the book have been organized in three topical sections on: Fundamentals of Benchmarking in P2P Systems; Synthetic Benchmarks for Peer-to-Peer Systems; and Application Benchmarks for Peer-to-Peer Systems. They are preceded by a detailed introduction to the subject. 208 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern languages themselves. The journal also includes reviews, survey articles, criticisms of patterns and pattern languages, as well as other research on patterns and pattern languages. This book, the third volume in the Transactions on Pattern Languages of Programming series, presents five papers that have been through a careful peer review process involving both pattern experts and domain experts. The papers present various pattern languages and a study of applying patterns and represent some of the best work that has been carried out in design patterns and pattern languages of programming over the last few years. 208 pp. Englisch.…

Taschenbuch. Condición: 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 4th International Workshop on Optical SuperComputing, OSC 2012, held in Bertinoro, Italy, in July 2012. The 11 papers presented together with 11 invited papers were carefully reviewed and selected for inclusion in this book. Being an annual forum for research presentations on all facets of optical computing for solving hard computation tasks, OCS addresses the following topics of interest: design of optical computing devices, electro-optic devices for interacting with optical computing devices, practical implementations, analysis of existing devices and case studies, optical and laser switching technologies, applications and algorithms for optical devices, alpha particles, X-rays and nano-technologies for optical computing. 148 pp. Englisch.…

Taschenbuch. Condición: 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 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics in multi-agent system programming languages, including language design and efficient implementation, agent communication, and robot programming. I addition to these regular papers, the volume includes six papers from the Multi-Agent programming Contest 2012 (MAPC). 256 pp. Englisch.…

Taschenbuch. Condición: 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 Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing. 244 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 4th International United Information Systems Conference, UNISCON 2012, which was held in Yalta, Ukraine, during June 1-3, 2012. UNISCON 2012 was affiliated with the 8th International Conference on ICT in Education, Research, and Industrial Applications, ICTERI 2012.The 14 full papers, four short papers, and three extended abstracts presented with a keynote speech were carefully reviewed and selected from 96 submissions. The topical sections covered are: data management; applications; modeling and semantics; and social issues in information systems. 228 pp. Englisch.…

Taschenbuch. Condición: 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 Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013.The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation. 288 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies. 276 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013. There is a technical and a socio-economic track. The full papers presented, 14 and 5 respectively, were carefully reviewed from 39 in the technical track and 14 in the socio-economic track. Also included are 5 abstracts describing ongoing research. On the technical track the papers deal with issues such as 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. Papers on the socio-economic track investigated, how trust is managed and perceived in online environments, and how the disclosure of personal data is perceived; and some papers probed trust issues across generations of users and for groups with special needs. 292 pp. Englisch.…

Taschenbuch. Condición: 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 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012, held in Valencia, Spain, in June 2012. The 11 revised full papers presented were carefully selected from 35 submissions. The papers are organized in topical sections on modeling social interactions; cognition and agents behaviors; agents, games and finance; and methodologies and tools. 168 pp. Englisch.…

Taschenbuch. Condición: 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 Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events.The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming. 264 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends. 376 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution. 304 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2013, held in Shanghai, China, in July 2013. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on digital aids to design creativity, concepts, and strategies; digital fabrication and local materialization; human-computer interaction, user participation, and collaborative design; modeling and simulation; shape and form studies. 392 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 80 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 424 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Computer Networks, CN 2013, held in Lwowek Slaski, Poland, in June 2013. The 58 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers in these proceedings cover the following topics: computer networks, network architectural issues, Internet and wireless solutions, teleinformatics and communications, new technologies, queueing theory and queueing networks, innovative applications, networking in e-business, security aspects of hardware and software, industrial systems, quantum and bio-informatics, cloud networking and services. 612 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 23rd International Conference on Information Processing in Medical Imaging, IPMI 2013, held in Asilomar in June/July 2013.The 26 full papers and 38 poster papers presented in this volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on connectivity, groupwise registration, neuro segmentation, statistical analysis, dynamic imaging, cortical surface registration, diffusion MRI, functional imaging, torso image analysis, and tract analysis. 808 pp. Englisch.…