| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910257448303321 |
|
|
Titolo |
Differential Geometry, Group Representations, and Quantization [[electronic resource] /] / edited by Jörg-Dieter Hennig, Wolfgang Lücke, Jiri Tolar |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 280 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Physics, , 0075-8450 ; ; 379 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Physics |
Quantum computers |
Spintronics |
Quantum physics |
Differential geometry |
Mathematical Methods in Physics |
Numerical and Computational Physics, Simulation |
Quantum Information Technology, Spintronics |
Quantum Physics |
Differential Geometry |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Global differential geometric methods in elasticity and hydrodynamics -- GL(n, ?), tetrads and generalized space-time dynamics -- On boundary conditions for Yang-Mills fields in spatially bounded domains -- Parallel transport of phases -- An alternative approach to the quantization of linear relativistic field equations -- A lattice approximation of the dirac equation -- Some hidden aspects of hidden symmetry -- A baryon standard model for electroweak and strong interactions -- Is the physical vacuum really Lorentz-invariant? -- Quantization, coherent states and diffeomorphism groups -- Borel quantization and the origin of topological effects in quantum mechanics -- Symmetries of quantum group coupling coefficients -- Symmetry groups and spectrum generating groups -- Spectrum and |
|
|
|
|
|
|
|
|
|
|
|
|
|
character formulae of so(3, 2) unitary representations -- Quantum theory of single events -- Symmetry, entropy and complexity -- Steps in the philosophy of quantum theory. |
|
|
|
|
|
|
Sommario/riassunto |
|
Differential geometry and analytic group theory are among the most powerful tools in mathematical physics. This volume presents review articles on a wide variety of applications of these techniques in classical continuum physics, gauge theories, quantization procedures, and the foundations of quantum theory. The articles, written by leading scientists, address both researchers and grad- uate students in mathematics, physics, and philosophy of science. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466185903316 |
|
|
Titolo |
Model-Based Safety and Assessment [[electronic resource] ] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / / edited by Marco Bozzano, Yiannis Papadopoulos |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 273 p. 109 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 10437 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Software engineering |
Mathematical logic |
Algorithms |
Special purpose computers |
Logics and Meanings of Programs |
Software Engineering |
Mathematical Logic and Formal Languages |
Algorithm Analysis and Problem Complexity |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies. |
|
|
|
|
|
|
|
| |