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.
Advanced Numerical Methods in Applied Sciences / Felice Lavernaro, Luigi Brugnano
| Advanced Numerical Methods in Applied Sciences / Felice Lavernaro, Luigi Brugnano |
| Autore | Lavernaro Felice |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 electronic resource (306 p.) |
| Soggetto non controllato |
structured matrices
numerical methods time fractional differential equations hierarchical splines finite difference methods null-space highly oscillatory problems stochastic Volterra integral equations displacement rank constrained Hamiltonian problems hyperbolic partial differential equations higher-order finite element methods continuous geometric average spectral (eigenvalue) and singular value distributions generalized locally Toeplitz sequences Volterra integro–differential equations B-spline discontinuous Galerkin methods adaptive methods Cholesky factorization energy-conserving methods order collocation method Poisson problems time harmonic Maxwell’s equations and magnetostatic problems tree multistep methods stochastic differential equations optimal basis finite difference method elementary differential gradient system curl–curl operator conservative problems line integral methods stochastic multistep methods Hamiltonian Boundary Value Methods limited memory boundary element method convergence analytical solution preconditioners asymptotic stability collocation methods histogram specification local refinement Runge–Kutta edge-preserving smoothing numerical analysis THB-splines BS methods barrier options stump shock waves and discontinuities mean-square stability Volterra integral equations high order discontinuous Galerkin finite element schemes B-splines vectorization and parallelization initial value problems one-step methods scientific computing fractional derivative linear systems Hamiltonian problems low rank completion ordinary differential equations mixed-index problems edge-histogram Hamiltonian PDEs matrix ODEs HBVMs floating strike Asian options Hermite–Obreshkov methods generalized Schur algorithm Galerkin method symplecticity high performance computing isogeometric analysis discretization of systems of differential equations |
| ISBN |
9783038976677
3038976679 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346690203321 |
Lavernaro Felice
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber Security of Critical Infrastructures
| Cyber Security of Critical Infrastructures |
| Autore | Maglaras Leandros |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (316 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
analysis security testing
assessment framework assessment methodology bloom cloud robotics CNR code cryptography computers in education crypto-ransomware cyber exercises cyber ranges cyber-attacks cyber-ranges cybercrime cybersecurity deep learning deep learning algorithms DSPT dynamic adaptation dynamic analysis dynamic analysis security testing dynamic malware analysis education encryption algorithms false negative false positive fine-tuning formal verification GDPR hash chain Hasse diagram high performance computing image classification image face recognition industrial control system interactive analysis security testing interval-valued complex intuitionistic fuzzy relations interval-valued complex intuitionistic fuzzy sets lattice cryptography lightweight secure hash (LSH) locker-ransomware machine learning malware analysis malware classification military n/a NISD offensive cybersecurity offensive cybersecurity framework PCI-DSS physical unclonable function post quantum cryptography probabilistic model checking public key infrastructure random forest research risk assessment scoring model security security modelling security training security vulnerability serious games smart grid smart shipping static analysis static analysis security testing static malware analysis STRIDE support vector machines T-OTP testbeds threat modeling tools combination training training programmes transfer learning VMF web application |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557336503321 |
|
Maglaras Leandros
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design Space Exploration and Resource Management of Multi/Many-Core Systems
| Design Space Exploration and Resource Management of Multi/Many-Core Systems |
| Autore | Singh Amit Kumar |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (218 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
3D-stacked memories
code annotation compiler optimizations composability concurrent workloads cyber security data centers design space exploration (DSE) directed acyclic task graphs embedded computer systems embedded systems energy consumption energy efficiency energy-efficient computing high performance computing Hybrid Application Mapping (HAM) machine learning many-core many-core systems mixed-criticality multi-core systems multi-objective optimization multi/many-core platforms near-memory processing Network-on-Chip (NoC) NoC non-volatile memories OFDMA online heuristics peak-power management predictability processing-in-memory profit real-time guarantees reconfigurable reinforcement learning reliability resource allocation resource management RF routing run-time management server consolidation simulator system trade-offs system-level design and design-space exploration |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557520303321 |
|
Singh Amit Kumar
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multiscale, Multiphysics Modelling of Coastal Ocean Processes: Paradigms and Approaches
| Multiscale, Multiphysics Modelling of Coastal Ocean Processes: Paradigms and Approaches |
| Autore | Tang Hansong |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (172 p.) |
| Soggetto topico |
History of engineering & technology
Technology: general issues |
| Soggetto non controllato |
app
boundary conditions Catch the King coastal modelling coastal ocean modelling coastal storm surge and inundation cold front compound flooding computational methods crowdsourcing curvilinear data collection domain decomposition downstream blocking explosive lateral flooding FVCOM GCCOM Gulf of Mexico high performance computing HPC Hurricane Barry hurricane inland and upland flooding hydrodynamic inter-comparison inverse problems machine learning mathematical modelling mobile application model coupling model evaluation modeling multi-inlet multiphysics multiscale NEMO non-hydrostatic numerical model numerical simulation ocean modeling Ocean Protection Plan open boundaries operational forecasting parallel performance parallelization PETSc scalability SCHISM sea level rise shallow water equations StormSense streams subtidal hydrodynamics suspended sediment Tidewatch turbidity current variational data assimilation volume flux |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Multiscale, Multiphysics Modelling of Coastal Ocean Processes |
| Record Nr. | UNINA-9910557615003321 |
|
Tang Hansong
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantum Foundations. 90 Years of Uncertainty
| Quantum Foundations. 90 Years of Uncertainty |
| Autore | Fortin Sebastian |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 online resource (188 p.) |
| Soggetto non controllato |
bell inequalities
Bohmian dynamics Born probability rule Born rule continuous variables deep learning energy quantization entanglement indicators entropy foundations of quantum mechanics generalized uncertainty principle Gleason theorem high performance computing Kochen-Specker theorem linear entropy measure of classicality minimal observable length neuromorphic computing original Bell inequality perfect correlation/anticorrelation quantum bound quantum computing quantum foundations Quantum Hamilton-Jacobi Formalism quantum information quantum mechanics quantum memory quantum trajectory quantum uncertainty quantum-classical relationship qudit states Rényi entropy spinors in quantum and classical physics square integrable successive measurements Tsallis entropy uncertainty relation uncertainty relations Wigner-Yanase-Dyson skew information |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346665103321 |
|
Fortin Sebastian
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
| Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
| Autore | Panda Dhabaleswar K |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 004.11 |
| Altri autori (Persone) | SullivanMichael |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware |
| Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
| ISBN | 3-031-10419-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478861303316 |
|
Panda Dhabaleswar K
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
| Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
| Autore | Panda Dhabaleswar K |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 004.11 |
| Altri autori (Persone) | SullivanMichael |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware Superordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
| ISBN |
9783031104190
3031104196 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580293303321 |
|
Panda Dhabaleswar K
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
XcalableMP PGAS Programming Language [[electronic resource] ] : From Programming Model to Applications / / edited by Mitsuhisa Sato
| XcalableMP PGAS Programming Language [[electronic resource] ] : From Programming Model to Applications / / edited by Mitsuhisa Sato |
| Autore | Sato Mitsuhisa |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 262 p. 367 illus., 57 illus. in color.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| Soggetto non controllato |
Programming Languages, Compilers, Interpreters
PGAS model Partitioned Global Address Space model Coarray parallel programming language high performance computing Open Access Programming & scripting languages: general Compilers & interpreters |
| ISBN | 981-15-7683-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: XcalableMP programming model and language -- Chapter 2: Design and Performance Evaluation of the Omni XcalableMP Compiler -- Chapter 3: Coarrays in the Context of XcalableMP -- Chapter 4: XcalableACC: an Integration of XcalableMP and OpenACC -- Chapter 5: Mixed-language programming with XMP and Python -- Chapter 6: Three-dimensional Fluid Code with XcalableMP -- Chapter 7: Hybrid-View Data Model Programming of Nuclear Fusion Simulation Code in XcalableMP -- Chapter 8: Parallelization of Atomic Image Reconstruction from X-ray Fluorescence Holograms by XcalableMP -- Chapter 9: Multi-SPMD programming model with YML and XcalableMP -- Chapter 10: XcalableMP 2.0 and Future Directions. |
| Record Nr. | UNISA-996464409803316 |
|
Sato Mitsuhisa
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||