الصفحة 1
الصفحة 1
Open Quantum Systems II : The Markovian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. Volume II is dedicated to the Markovian formalism of classical and quantum open systems. A complete exposition of noise theory, Markov processes and stochastic differential equations, both in the classical and the quantum context, is provided. These mathematical tools are put into perspective with physical motivations and applications.
Open Quantum Systems I : The Hamiltonian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. This Volume, I the Hamiltonian description of quantum open systems is discussed. This includes an introduction to quantum statistical mechanics and its operator algebraic formulation, modular theory, spectral analysis and their applications to quantum dynamical systems.
Global Computing ; IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, GC 2004, held in Rovereto, Italy in March 2004. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. Among the topics covered are programming environments, dynamic reconfiguration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility.
Formal Methods for Open Object-Based Distributed Systems ; Vol. 4037 ; 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
Dynamics of Dissipation
This collection of lectures treats the dynamics of open systems with a strong emphasis on dissipation phenomena related to dynamical chaos. This research area is very broad, covering topics such as nonequilibrium statistical mechanics, environment-system coupling (decoherence) and applications of Markov semi-groups to name but a few. The book addresses not only experienced researchers in the field but also nonspecialists from related areas of research, postgraduate students wishing to enter the field and lecturers searching for advanced textbook material.
