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.
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 | ||
| ||
Modeling excitable tissue : the EMI framework / / editors, Aslak Tveito, Kent-Andre Mardal, Marie E. Rognes
| Modeling excitable tissue : the EMI framework / / editors, Aslak Tveito, Kent-Andre Mardal, Marie E. Rognes |
| Autore | Tveito Aslak |
| Edizione | [1st edition 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XVII, 100 p. 25 illus. in color.) |
| Disciplina | 570.285 |
| Collana | Reports on Computational Physiology |
| Soggetto topico |
Bioinformatics
Cell physiology Computational biology Excitation (Physiology) - Mathematical models Mathematical models |
| Soggetto non controllato |
Mathematical and Computational Biology
Applications of Mathematics Mathematical Modeling and Industrial Mathematics applied mathematics scientific computing computational physiology finite element methods cardiac modelling biomechanics numerical methods preconditioning open access Maths for scientists Mathematical modelling Maths for engineers |
| ISBN | 3-030-61157-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Derivation of a cell-based mathematical model of excitable cells -- A cell-based model for ionic electrodiffusion in excitable tissue -- Modeling cardiac mechanics on a subcellular scale -- Operator splitting and finite difference schemes for solving the EMI model -- Solving the EMI equations using finite element methods -- Iterative solvers for EMI models -- Improving neural simulations with the EMI model -- Index. |
| Record Nr. | UNINA-9910424947903321 |
|
Tveito Aslak
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling excitable tissue : the EMI framework / / editors, Aslak Tveito, Kent-Andre Mardal, Marie E. Rognes
| Modeling excitable tissue : the EMI framework / / editors, Aslak Tveito, Kent-Andre Mardal, Marie E. Rognes |
| Autore | Tveito Aslak |
| Edizione | [1st edition 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XVII, 100 p. 25 illus. in color.) |
| Disciplina | 570.285 |
| Collana | Reports on Computational Physiology |
| Soggetto topico |
Bioinformatics
Cell physiology Computational biology Excitation (Physiology) - Mathematical models Mathematical models |
| Soggetto non controllato |
Mathematical and Computational Biology
Applications of Mathematics Mathematical Modeling and Industrial Mathematics applied mathematics scientific computing computational physiology finite element methods cardiac modelling biomechanics numerical methods preconditioning open access Maths for scientists Mathematical modelling Maths for engineers |
| ISBN | 3-030-61157-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Derivation of a cell-based mathematical model of excitable cells -- A cell-based model for ionic electrodiffusion in excitable tissue -- Modeling cardiac mechanics on a subcellular scale -- Operator splitting and finite difference schemes for solving the EMI model -- Solving the EMI equations using finite element methods -- Iterative solvers for EMI models -- Improving neural simulations with the EMI model -- Index. |
| Record Nr. | UNISA-996466563303316 |
|
Tveito Aslak
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection [[electronic resource] /] / by Xuefeng Zhou, Hongmin Wu, Juan Rojas, Zhihao Xu, Shuai Li
| Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection [[electronic resource] /] / by Xuefeng Zhou, Hongmin Wu, Juan Rojas, Zhihao Xu, Shuai Li |
| Autore | Zhou Xuefeng |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XVII, 137 p. 50 illus., 44 illus. in color.) |
| Disciplina | 629.892 |
| Soggetto topico |
Robotics
Automation Statistics Control engineering Mechatronics Machine learning Mathematical models Robotics and Automation Bayesian Inference Control, Robotics, Mechatronics Machine Learning Mathematical Modeling and Industrial Mathematics |
| Soggetto non controllato |
Robotics and Automation
Bayesian Inference Control, Robotics, Mechatronics Machine Learning Mathematical Modeling and Industrial Mathematics Robotic Engineering Control, Robotics, Automation Collaborative Robot Introspection Nonparametric Bayesian Inference Anomaly Monitoring and Diagnosis Multimodal Perception Anomaly Recovery Human-robot Collaboration Robot Safety and Protection Hidden Markov Model Robot Autonomous Manipulation open access Robotics Bayesian inference Automatic control engineering Electronic devices & materials Machine learning Mathematical modelling Maths for engineers |
| ISBN | 981-15-6263-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Robot Introspection -- Nonparametric Bayesian Modeling of Multimodal Time Series -- Incremental Learning Robot Complex Task Representation and Identification -- Nonparametric Bayesian Method for Robot Anomaly Monitoring -- Nonparametric Bayesian Method for Robot Anomaly Diagnose -- Learning Policy for Robot Anomaly Recovery based on Robot. |
| Record Nr. | UNISA-996418268803316 |
|
Zhou Xuefeng
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Probability in Electrical Engineering and Computer Science [[electronic resource] ] : An Application-Driven Course
| Probability in Electrical Engineering and Computer Science [[electronic resource] ] : An Application-Driven Course |
| Autore | Walrand Jean |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (390 p.) |
| Soggetto topico |
Maths for computer scientists
Communications engineering / telecommunications Maths for engineers Probability & statistics |
| Soggetto non controllato |
Probability and Statistics in Computer Science
Communications Engineering, Networks Mathematical and Computational Engineering Probability Theory and Stochastic Processes Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences Mathematical and Computational Engineering Applications Probability Theory Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences Applied probability Hypothesis testing Detection theory Expectation maximization Stochastic dynamic programming Machine learning Stochastic gradient descent Deep neural networks Matrix completion Linear and polynomial regression Open Access Maths for computer scientists Mathematical & statistical software Communications engineering / telecommunications Maths for engineers Probability & statistics Stochastics |
| ISBN | 3-030-49995-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464521903316 |
|
Walrand Jean
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Probability in Electrical Engineering and Computer Science : An Application-Driven Course
| Probability in Electrical Engineering and Computer Science : An Application-Driven Course |
| Autore | Walrand Jean |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (390 p.) |
| Soggetto topico |
Maths for computer scientists
Communications engineering / telecommunications Maths for engineers Probability & statistics |
| Soggetto non controllato |
Probability and Statistics in Computer Science
Communications Engineering, Networks Mathematical and Computational Engineering Probability Theory and Stochastic Processes Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences Mathematical and Computational Engineering Applications Probability Theory Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences Applied probability Hypothesis testing Detection theory Expectation maximization Stochastic dynamic programming Machine learning Stochastic gradient descent Deep neural networks Matrix completion Linear and polynomial regression Open Access Maths for computer scientists Mathematical & statistical software Communications engineering / telecommunications Maths for engineers Probability & statistics Stochastics |
| ISBN | 3-030-49995-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910488709003321 |
|
Walrand Jean
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software for Exascale Computing - SPPEXA 2016-2019 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel
| Software for Exascale Computing - SPPEXA 2016-2019 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel |
| Autore | Bungartz Hans-Joachim |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XII, 620 p. 256 illus., 231 illus. in color.) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer simulation
Computer software—Reusability Computer mathematics Input-output equipment (Computers) Applied mathematics Engineering mathematics Physics Simulation and Modeling Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
| Soggetto non controllato |
Simulation and Modeling
Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation Computer Science Computer Hardware Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics open access computational algorithms and numerical methods data management and exploration high-performance computing simulation software and applications system software and software tools Computer modelling & simulation Systems analysis & design Maintenance & repairs Maths for scientists Computer networking & communications Distributed databases Maths for engineers Mathematical physics |
| ISBN | 3-030-47956-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale. MYX-MUST Correctness Checking for YML and XMP Programs -- ExtraPeak: Automatic Performance Modeling of HPC Applications with Multiple Model Parameters. |
| Record Nr. | UNISA-996418265803316 |
|
Bungartz Hans-Joachim
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software for Exascale Computing - SPPEXA 2016-2019 / / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel
| Software for Exascale Computing - SPPEXA 2016-2019 / / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel |
| Autore | Bungartz Hans-Joachim |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XII, 620 p. 256 illus., 231 illus. in color.) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer simulation
Computer software—Reusability Computer science - Mathematics Computer input-output equipment Applied mathematics Engineering mathematics Physics Simulation and Modeling Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
| Soggetto non controllato |
Simulation and Modeling
Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation Computer Science Computer Hardware Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics open access computational algorithms and numerical methods data management and exploration high-performance computing simulation software and applications system software and software tools Computer modelling & simulation Systems analysis & design Maintenance & repairs Maths for scientists Computer networking & communications Distributed databases Maths for engineers Mathematical physics |
| ISBN | 3-030-47956-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale. MYX-MUST Correctness Checking for YML and XMP Programs -- ExtraPeak: Automatic Performance Modeling of HPC Applications with Multiple Model Parameters. |
| Record Nr. | UNINA-9910416122403321 |
|
Bungartz Hans-Joachim
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||