Martin Suda - Böcker
Visar alla böcker från författaren Martin Suda. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 14279 - Lecture Notes in Computer Science
Frontiers of Combining Systems
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Häftad, Engelska, 2023
445 kr
Skickas inom 7-10 vardagar
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.
1 069 kr
Skickas inom 10-15 vardagar
Quantum Interferometry in Phase Space is primarily concerned with quantum-mechanical distribution functions and their applications in quantum optics and neutron interferometry. In the first part of the book, the author describes the phase-space representation of quantum optical phenomena such as coherent and squeezed states. Applications to interferometry, e.g. in beam splitters and fiber networks, are also presented. In the second part of the book, the theoretical formalism is applied to neutron interferometry, including the dynamical theory of diffraction, coherence properties of superposed beams, and dephasing effects.
1 069 kr
Skickas inom 10-15 vardagar
"Quantum Interferometry in Phase Space" is primarily concerned with quantum-mechanical distribution functions and their applications in quantum optics and neutron interferometry. In the first part of the book, the author describes the phase-space representation of quantum optical phenomena such as coherent and squeezed states. Applications to interferometry, e.g. in beam splitters and fiber networks, are also presented. In the second part of the book, the theoretical formalism is applied to neutron interferometry, including the dynamical theory of diffraction, coherence properties of superposed beams, and dephasing effects.