Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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]
| 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 |
00A79 (77-XX) - Physics [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 68-XX - Computer science [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-VAN00214533 |
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Architectures and circuits for distributed quantum computing : doctoral thesis accepted by university of Parma, Parma, Italy / Daniele Cuomo
| Architectures and circuits for distributed quantum computing : doctoral thesis accepted by university of Parma, Parma, Italy / Daniele Cuomo |
| Autore | Cuomo, Daniele |
| Pubbl/distr/stampa | Cham, : Springer, 2024 |
| Descrizione fisica | 1 testo elettronico (xi, 76 p. : ill.) |
| Soggetto topico |
81-XX - Quantum theory [MSC 2020]
81P68 - Quantum computation [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 81P40 - Quantum coherence, entanglement, quantum correlations [MSC 2020] |
| Soggetto non controllato |
Quantum Computing
Quantum error correction Quantum logic Scalable quantum computing technologies System design for quantum computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00310121 |
Cuomo, Daniele
|
||
| Cham, : Springer, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite and Profinite Quantum Systems / Apostolos Vourdas
| 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 |
00A79 (77-XX) - Physics [MSC 2020]
81-XX - Quantum theory [MSC 2020] 81Pxx - Foundations, quantum information and its processing, quantum axioms, and philosophy [MSC 2020] 81V80 - Quantum optics [MSC 2020] 97N70 - Discrete mathematics (educational aspects) [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-VAN00187509 |
|
Vourdas, Apostolos
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors
| 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 |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [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-VAN00124755 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Quantum Technologies / Alto Osada, Rekishu Yamazaki, Atsushi Noguchi
| Introduction to Quantum Technologies / Alto Osada, Rekishu Yamazaki, Atsushi Noguchi |
| Autore | Osada, Alto |
| Pubbl/distr/stampa | Singapore, : Springer, 2022 |
| Descrizione fisica | xv, 298 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Noguchi, Atsushi
Yamazaki, Rekishu |
| Soggetto topico |
81-XX - Quantum theory [MSC 2020]
81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 81P68 - Quantum computation [MSC 2020] 81V80 - Quantum optics [MSC 2020] |
| Soggetto non controllato |
Cavity-QED
Measurements in Electromagnetic Resonators Primer of Quantum Technologies Quantum Control Quantum error correction Quantum logic Two Level Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00284145 |
|
Osada, Alto
|
||
| Singapore, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
New directions in paraconsistent logic : 5. WCP, Kolkata, India, february 2014 / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta editors
| 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 |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03B53 - Paraconsistent logics [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 |
| Nota di contenuto | The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics. |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114021 |
| New Delhi, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Non-commutative multiple-valued logic algebras / Lavinia Corina Ciungu
| 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 |
03G10 - Logical aspects of lattices and related structures [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 06D35 - MV-algebras [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-VAN00103188 |
|
Ciungu, Lavinia Corina
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Operational symmetries : Basic operations in physics / Heinrich Saller
| 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 |
00A79 (77-XX) - Physics [MSC 2020]
17B10 - Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) [MSC 2020] 17B37 - Quantum groups (quantized enveloping algebras) and related deformations [MSC 2020] 20G42 - Quantum groups (quantized function algebras) and their representations [MSC 2020] 22Exx - Lie groups [MSC 2020] 32M05 - Complex Lie groups, group actions on complex spaces [MSC 2020] 37N20 - Dynamical systems in other branches of physics (quantum mechanics, general relativity, laser physics) [MSC 2020] 58D30 - Applications of manifolds of mappings to the sciences [MSC 2020] 81-XX - Quantum theory [MSC 2020] 81Q30 - Feynman integrals and graphs; applications of algebraic topology and algebraic geometry [MSC 2020] 81Rxx - Groups and algebras in quantum theory [MSC 2020] 81Vxx - Applications of quantum theory to specific physical systems [MSC 2020] 83C20 - Classes of solutions; algebraically special solutions, metrics with symmetries for problems in general relativity and gravitational theory [MSC 2020] |
| Soggetto non controllato |
Gauge Theory Physics
Group theory Operational Physics Theory Quantum Fields of Positions Quantum Probability Quantum logic Quartet Physics Spacetime Physics Spin Isospin Weyl Spinor |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00190680 |
|
Saller, Heinrich
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.]
| 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 |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [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 Logic Quantum Computer Quantum Entanglement Quantum Information and Quantum Logical Gates Quantum Logical Circuits to Quantum Computational Logics Quantum computation Quantum gates Quantum logic Quantum teleportation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124953 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Quantum Measurement / Paul Busch [et al.]]
| Quantum Measurement / Paul Busch [et al.]] |
| Pubbl/distr/stampa | Cham, : Springer, 2016 |
| Descrizione fisica | xii, 542 p. : ill. ; 24 cm |
| Soggetto topico |
46G10 - Vector-valued measures and integration [MSC 2020]
46L07 - Operator spaces and completely bounded maps [MSC 2020] 46N50 - Applications of functional analysis in quantum physics [MSC 2020] 47N50 - Applications of operator theory in the physical sciences [MSC 2020] 81-XX - Quantum theory [MSC 2020] 81P05 - General and philosophical questions in quantum theory [MSC 2020] 81P15 - Quantum measurement theory, state operations, state preparations [MSC 2020] 81Q05 - Closed and approximate solutions to the Schrödinger, Dirac, Klein-Gordon and other equations of quantum mechanics [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-VAN00169951 |
| Cham, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
