Applied Physics, System Science and Computers III : Proceedings of the 3rd International Conference on Applied Physics, System Science and Computers (APSAC2018), September 26-28, 2018, Dubrovnik, Croatia / Klimis Ntalianis … [et al.] editors] |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
Descrizione fisica | xi, 356 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 00A79 (77-XX) - Physics [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
Soggetto non controllato |
3d Technology
Approximation of Scattered Data Automatic Classification Cloud Computing Security Composition of Cosmic Rays Convolutional Neural Networks Doppler effect Game Engine Applications Maximum Permutation Code Problem Mixed Integer Nonlinear Problem Monitoring of Blockchain Networks P2p networks Position Determination Production Planning Problem Quad GPU Quantum Logic RBF Approximation Relational Galois Connection Social Attention Spam Detection |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0214533 |
Cham, : Springer, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite and Profinite Quantum Systems / Apostolos Vourdas |
Autore | Vourdas, Apostolos |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xiii, 196 p. : ill. ; 24 cm |
Soggetto topico |
81-XX - Quantum theory [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] 81V80 - Quantum optics [MSC 2020] 97N70 - Discrete mathematics (educational aspects) [MSC 2020] 81Pxx - Foundations, quantum information and its processing, quantum axioms, and philosophy [MSC 2020] |
Soggetto non controllato |
Finite quantum systems
Galois fields Heisenberg-Weyl group Mutually Unbiased Bases Profinite groups Quantum Logic Symplectic Groups |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0187509 |
Vourdas, Apostolos
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | x, 274 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Decidability
Diophantine Equations Foundations of mathematics Hilary Putnam Mathematical logic Modal Logic Model theory Number theory Quantum Logic Structuralism |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124755 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
New directions in paraconsistent logic : 5. WCP, Kolkata, India, february 2014 / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta editors |
Pubbl/distr/stampa | New Delhi, : Springer, 2015 |
Descrizione fisica | XI, 552 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] |
Soggetto non controllato |
Contradictions
Fuzzy Logic Many-valued Logic Modal Logic Negation Paracomplete Logic Paraconsistent Logic Quantum Logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114021 |
New Delhi, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Non-commutative multiple-valued logic algebras / Lavinia Corina Ciungu |
Autore | Ciungu, Lavinia Corina |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | XIV, 276 p. ; 24 cm |
Soggetto topico |
06D35 - MV-algebras [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 03G10 - Logical aspects of lattices and related structures [MSC 2020] 06F05 - Ordered semigroups and monoids [MSC 2020] |
Soggetto non controllato |
BCI-Algebras
BCK-Algebras Congruence Relations Fuzzy Logic Fuzzy Measure Theory Lattices and Duality Lattices and Related Structures MV-algebras Many-valued Logic Ordered Abelian Groups Quantum Logic Subalgebras Subdirect Irreducibility Subdirect Products |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0103188 |
Ciungu, Lavinia Corina
![]() |
||
Cham, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Operational symmetries : Basic operations in physics / Heinrich Saller |
Autore | Saller, Heinrich |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xi, 574 p. ; 24 cm |
Soggetto topico |
81-XX - Quantum theory [MSC 2020]
22Exx - Lie groups [MSC 2020] 32M05 - Complex Lie groups, group actions on complex spaces [MSC 2020] 81Vxx - Applications of quantum theory to specific physical systems [MSC 2020] 00A79 (77-XX) - Physics [MSC 2020] 37N20 - Dynamical systems in other branches of physics (quantum mechanics, general relativity, laser physics) [MSC 2020] 83C20 - Classes of solutions; algebraically special solutions, metrics with symmetries for problems in general relativity and gravitational theory [MSC 2020] 17B37 - Quantum groups (quantized enveloping algebras) and related deformations [MSC 2020] 17B10 - Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) [MSC 2020] 20G42 - Quantum groups (quantized function algebras) and their representations [MSC 2020] 81Q30 - Feynman integrals and graphs; applications of algebraic topology and algebraic geometry [MSC 2020] 58D30 - Applications of manifolds of mappings to the sciences [MSC 2020] 81Rxx - Groups and algebras in quantum theory [MSC 2020] |
Soggetto non controllato |
Gauge Theory Physics
Group Theory Physics Operational Physics Theory Quantum Fields of Positions Quantum Logic Quantum Probability Quartet Physics Spacetime Physics Spin Isospin Weyl Spinor |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0190680 |
Saller, Heinrich
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xvi, 178 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Ambiguity in Natural and Artistic Languages
Classical and Quantum Turing Machines Entanglement Epistemic Operators Individuals, Quantifiers and Epistemic Operators Mathematical Environment of Quantum Information Non-classical logics Quantum Computer Quantum Entanglement Quantum Information and Quantum Logical Gates Quantum Logic Quantum Logical Circuits to Quantum Computational Logics Quantum computation Quantum gates Quantum teleportation |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124953 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Quantum Measurement / Paul Busch [et al.]] |
Pubbl/distr/stampa | Cham, : Springer, 2016 |
Descrizione fisica | xii, 542 p. : ill. ; 24 cm |
Soggetto topico |
81-XX - Quantum theory [MSC 2020]
46L07 - Operator spaces and completely bounded maps [MSC 2020] 46G10 - Vector-valued measures and integration [MSC 2020] 81Q05 - Closed and approximate solutions to the Schrödinger, Dirac, Klein-Gordon and other equations of quantum mechanics [MSC 2020] 81P05 - General and philosophical questions in quantum theory [MSC 2020] 46N50 - Applications of functional analysis in quantum physics [MSC 2020] 81P15 - Quantum measurement theory, state operations, state preparations [MSC 2020] 47N50 - Applications of operator theory in the physical sciences [MSC 2020] |
Soggetto non controllato |
Arthurs-Kelly model
Bell inequalities Cayley transform Dilation theory Eight-port homodyne detection Fourier-Plancherel transform Fréchet-Riesz theorem Hilbert-Schmidt operator class Mach-Zehnder interferometer Measurement schemes Quantum Logic Qubit states Riesz-Markov-Kakutani representation theorem Stone's theorem Wigner-Araki-Yanase theorem Yanase condition |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0169951 |
Cham, : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics / Jarosław Pykacz |
Autore | Pykacz, Jarosław |
Pubbl/distr/stampa | Cham, : Springer, 2015 |
Descrizione fisica | vi, 70 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
81-XX - Quantum theory [MSC 2020] 03G12 - Quantum logic [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03E72 - Theory of fuzzy sets, etc. [MSC 2020] |
Soggetto non controllato |
Birkhoff–von Neumann Quantum Logic
Fuzzy Interpretation of Quantum Mechanics Infinite-valued Logic Interpretation of Quantum Mechanics Many-valued Interpretation of Quantum Mechanics Many-valued Logic Quantum Logic Łukasiewicz Infinite-valued Logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0133799 |
Pykacz, Jarosław
![]() |
||
Cham, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|