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.
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNINA-9910491025703321 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph |
| Autore | Cochez Michael |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer communication systems Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages |
| Soggetto non controllato |
Artificial Intelligence
Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages Computer and Information Systems Applications Formal Languages and Automata Theory open access concept lattices data mining databases fca formal concept analysis formal languages formal logic information analysis information systems knowledge-based system model-based reasoning network protocols ontologies Information retrieval Internet searching Network hardware Mathematical theory of computation |
| ISBN | 3-030-72308-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs. |
| Record Nr. | UNISA-996464442403316 |
|
Cochez Michael
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
| Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph |
| Autore | Cochez Michael |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer communication systems Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages |
| Soggetto non controllato |
Artificial Intelligence
Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages Computer and Information Systems Applications Formal Languages and Automata Theory open access concept lattices data mining databases fca formal concept analysis formal languages formal logic information analysis information systems knowledge-based system model-based reasoning network protocols ontologies Information retrieval Internet searching Network hardware Mathematical theory of computation |
| ISBN | 3-030-72308-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs. |
| Record Nr. | UNINA-9910473457803321 |
|
Cochez Michael
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
International Symposium on Mathematics, Quantum Theory, and Cryptography [[electronic resource] ] : Proceedings of MQC 2019 / / edited by Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Yasuhiko Ikematsu
| International Symposium on Mathematics, Quantum Theory, and Cryptography [[electronic resource] ] : Proceedings of MQC 2019 / / edited by Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Yasuhiko Ikematsu |
| Autore | Takagi Tsuyoshi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XII, 274 p. 83 illus., 24 illus. in color.) |
| Disciplina | 519 |
| Collana | Mathematics for Industry |
| Soggetto topico |
Applied mathematics
Engineering mathematics Data structures (Computer science) Quantum computers Computer security Mathematical and Computational Engineering Data Structures and Information Theory Quantum Computing Systems and Data Security |
| Soggetto non controllato |
Mathematical and Computational Engineering
Data Structures and Information Theory Quantum Computing Systems and Data Security Mathematical and Computational Engineering Applications Data and Information Security Cryptography for Quantum Computers Post-quantum Cryptography Number Theory Representation Theory Quantum Physics Security Modelling Open Access Maths for engineers Algorithms & data structures Information theory Mathematical theory of computation Computer security Network security |
| ISBN | 981-15-5191-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sustainable Cryptography -- What Kind of Insight Provide Analytical Solutions of Quantum Models? -- Emerging Ultrastrong Coupling between Light and Matter Observed in Circuit Quantum Electrodynamics -- Quantum Random Numbers Generated by a Cloud Superconducting Quantum Computer -- Quantum Factoring Algorithm: Resource Estimation and Survey of Experiments -- A Review of Secret Key Distribution Based on Bounded Observability -- Towards Constructing Fully Homomorphic Encryption without Ciphertext Noise from Group Theory -- Number Theoretic Study in Quantum Interactions -- From the Bloch Sphere to Phase Space Representations with the Gottesman-Kitaev-Preskill Encoding -- A Data Concealing Technique with Random Noise Disturbance and A Restoring Technique for the Concealed Data by Stochastic Process Estimation. |
| Record Nr. | UNISA-996466557703316 |
|
Takagi Tsuyoshi
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
International Symposium on Mathematics, Quantum Theory, and Cryptography : Proceedings of MQC 2019 / / edited by Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Yasuhiko Ikematsu
| International Symposium on Mathematics, Quantum Theory, and Cryptography : Proceedings of MQC 2019 / / edited by Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Yasuhiko Ikematsu |
| Autore | Takagi Tsuyoshi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XII, 274 p. 83 illus., 24 illus. in color.) |
| Disciplina | 519 |
| Collana | Mathematics for Industry |
| Soggetto topico |
Applied mathematics
Engineering mathematics Data structures (Computer science) Quantum computers Computer security Mathematical and Computational Engineering Data Structures and Information Theory Quantum Computing Systems and Data Security |
| Soggetto non controllato |
Mathematical and Computational Engineering
Data Structures and Information Theory Quantum Computing Systems and Data Security Mathematical and Computational Engineering Applications Data and Information Security Cryptography for Quantum Computers Post-quantum Cryptography Number Theory Representation Theory Quantum Physics Security Modelling Open Access Maths for engineers Algorithms & data structures Information theory Mathematical theory of computation Computer security Network security |
| ISBN | 981-15-5191-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sustainable Cryptography -- What Kind of Insight Provide Analytical Solutions of Quantum Models? -- Emerging Ultrastrong Coupling between Light and Matter Observed in Circuit Quantum Electrodynamics -- Quantum Random Numbers Generated by a Cloud Superconducting Quantum Computer -- Quantum Factoring Algorithm: Resource Estimation and Survey of Experiments -- A Review of Secret Key Distribution Based on Bounded Observability -- Towards Constructing Fully Homomorphic Encryption without Ciphertext Noise from Group Theory -- Number Theoretic Study in Quantum Interactions -- From the Bloch Sphere to Phase Space Representations with the Gottesman-Kitaev-Preskill Encoding -- A Data Concealing Technique with Random Noise Disturbance and A Restoring Technique for the Concealed Data by Stochastic Process Estimation. |
| Record Nr. | UNINA-9910424948503321 |
|
Takagi Tsuyoshi
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantum Computing for the Quantum Curious
| Quantum Computing for the Quantum Curious |
| Autore | Hughes Ciaran |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (159 pages) |
| Disciplina | 006.3843 |
| Altri autori (Persone) |
IsaacsonJoshua
PerryAnastasia SunRanbel F TurnerJessica |
| Soggetto topico |
Particle & high-energy physics
Computer science Teaching of a specific subject |
| Soggetto non controllato |
Quantum Physics
Quantum Computing Computer Science, general Science Education Quantum Information Technology, Spintronics Computer Science Spintronics Open Access Introduction to quantum computing quantum computing textbook quantum computing for high school students introduction to quantum cryptography quantum gates quantum algorithms quantum superposition what is a qubit? quantum key distribution Quantum physics (quantum mechanics & quantum field theory) Mathematical theory of computation Teaching of a specific subject Science: general issues |
| ISBN | 3-030-61601-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466740903316 |
|
Hughes Ciaran
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantum Computing for the Quantum Curious
| Quantum Computing for the Quantum Curious |
| Autore | Hughes Ciaran |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (159 pages) |
| Disciplina | 006.3843 |
| Altri autori (Persone) |
IsaacsonJoshua
PerryAnastasia SunRanbel F TurnerJessica |
| Soggetto topico |
Particle & high-energy physics
Computer science Teaching of a specific subject |
| Soggetto non controllato |
Quantum Physics
Quantum Computing Computer Science, general Science Education Quantum Information Technology, Spintronics Computer Science Spintronics Open Access Introduction to quantum computing quantum computing textbook quantum computing for high school students introduction to quantum cryptography quantum gates quantum algorithms quantum superposition what is a qubit? quantum key distribution Quantum physics (quantum mechanics & quantum field theory) Mathematical theory of computation Teaching of a specific subject Science: general issues |
| ISBN | 3-030-61601-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910473448703321 |
|
Hughes Ciaran
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||