Handbook of Heuristics / Rafael Martí, Panos Pardalos, Mauricio G. C. Resende editors |
Edizione | [Continuously updated edition] |
Pubbl/distr/stampa | Cham, : Springer, 2019- |
Descrizione fisica | pag. varia : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00A05 - Mathematics in general [MSC 2020] 00A69 - General applied mathematics [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C59 - Approximation methods and heuristics in mathematical programming [MSC 2020] |
Soggetto non controllato |
Algorithms
Analysis Math Applications in Computer Science Mathematical and Computational Engineering Mathematical software Optimization |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0127508 |
Cham, : Springer, 2019- | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Pedestrian and evacuation dynamics 2012 / Ulrich Weidmann, Uwe Kirsch, Michael Schreckenberg editors |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | XXIV, 1424 p. : ill. ; 24 cm |
Soggetto topico | 97Mxx - Education of mathematical modeling and applications of mathematics [MSC 2020] |
Soggetto non controllato |
Civil Engineering
Computational science and engineering Decision theory Mathematical and Computational Engineering Numeric Computing Operations Research Simulation and Modeling |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0103242 |
Cham, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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. | UNINA-9910416122403321 |
Bungartz Hans-Joachim
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|