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.
High Performance Computing in Science and Engineering [[electronic resource] ] : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers / / edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš
| High Performance Computing in Science and Engineering [[electronic resource] ] : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers / / edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 217 p. 90 illus.) |
| Disciplina | 004.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Dynamics Nonlinear theories Mathematics—Data processing Mathematics of Computing Artificial Intelligence Applied Dynamical Systems Computational Mathematics and Numerical Analysis |
| ISBN | 3-319-97136-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A High Arithmetic Intensity Krylov Subspace Method Based on Stencil Compiler Programs -- Applications of trace estimation techniques -- Fourier Method for Approximating Eigenvalues of Indefinite Stekloff Operator -- Proportionality-based gradient methods with applications in contact mechanics -- Schur Complement-Schwarz DD Preconditioners for Non-Stationary Darcy Flow Problems -- Relating computed and exact entities in methods based on Lanczos tridiagonalization -- Software Tool for Cranial Orthosis Design -- Implementation of BM3D Filter on Intel Xeon Phi for Rendering in Blender Cycles -- Investigating convergence of linear SVM implemented in PermonSVM employing MPRGP algorithm -- Using ESPRESO as Linear Solver Library for Third Party FEM Tools for Solving Large Scale Problems -- MERIC and RADAR generator: tools for energy evaluation and runtime tuning of HPC applications -- Disc vs. annulus: On the bleaching pattern optimization for FRAP experiments -- Modeling and simulation of microalgae growth in a Couette-Taylor bioreactor -- Karhunen-Loéve decomposition of isotropic Gaussian random fields using a tensor approximation of autocovariance kernel -- A Bayesian approach to the identification problem with given material interfaces in the Darcy flow. |
| Record Nr. | UNISA-996466183303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High Performance Computing in Science and Engineering : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers / / edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš
| High Performance Computing in Science and Engineering : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers / / edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 217 p. 90 illus.) |
| Disciplina | 004.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Dynamics Nonlinear theories Mathematics—Data processing Mathematics of Computing Artificial Intelligence Applied Dynamical Systems Computational Mathematics and Numerical Analysis |
| ISBN | 3-319-97136-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A High Arithmetic Intensity Krylov Subspace Method Based on Stencil Compiler Programs -- Applications of trace estimation techniques -- Fourier Method for Approximating Eigenvalues of Indefinite Stekloff Operator -- Proportionality-based gradient methods with applications in contact mechanics -- Schur Complement-Schwarz DD Preconditioners for Non-Stationary Darcy Flow Problems -- Relating computed and exact entities in methods based on Lanczos tridiagonalization -- Software Tool for Cranial Orthosis Design -- Implementation of BM3D Filter on Intel Xeon Phi for Rendering in Blender Cycles -- Investigating convergence of linear SVM implemented in PermonSVM employing MPRGP algorithm -- Using ESPRESO as Linear Solver Library for Third Party FEM Tools for Solving Large Scale Problems -- MERIC and RADAR generator: tools for energy evaluation and runtime tuning of HPC applications -- Disc vs. annulus: On the bleaching pattern optimization for FRAP experiments -- Modeling and simulation of microalgae growth in a Couette-Taylor bioreactor -- Karhunen-Loéve decomposition of isotropic Gaussian random fields using a tensor approximation of autocovariance kernel -- A Bayesian approach to the identification problem with given material interfaces in the Darcy flow. |
| Record Nr. | UNINA-9910349420203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
High Performance Computing in Science and Engineering [[electronic resource] ] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / / edited by Tomáš Kozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník, Martin Čermák
| High Performance Computing in Science and Engineering [[electronic resource] ] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / / edited by Tomáš Kozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník, Martin Čermák |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 197 p. 72 illus.) |
| Disciplina | 004.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Software engineering Artificial intelligence Dynamics Nonlinear theories Mathematics—Data processing Mathematics of Computing Software Engineering Artificial Intelligence Applied Dynamical Systems Computational Mathematics and Numerical Analysis |
| ISBN | 3-319-40361-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Large scale lattice Boltzmann simulation for the coupling of free and porous media flow -- CHRONO: An open source multi-physics dynamics engine -- Parallel computing in multi-scale analysis of coupled heat and moisture transport in masonry structures -- An Equation Error Approach for the Identification of Elastic Parameters in Beams and Plates with $H_1$ Regularization -- A comparison of preconditioning methods for saddle point problems with an application for porous media flow problems -- Efficient Implementation of Total FETI Solver for Graphic Processing Units using Schur Complement -- Solving contact mechanics problems with PERMON -- Many Core Acceleration of the Boundary Element Method -- Parallel implementation of collaborative filtering technique for denoising of CT images -- On Modeling of Bodies with Holes -- Analysis of model error for a continuum-fracture model of porous media flow -- Probabilistic Time-Dependent Travel Time Computation using Monte Carlo Simulation -- Model of the Belousov-Zhabotinsky reaction -- Parameter identification problem based on FRAP images: From data processing to optimal design of photobleaching experiments. |
| Record Nr. | UNISA-996465722103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High Performance Computing in Science and Engineering : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / / edited by Tomáš Kozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník, Martin Čermák
| High Performance Computing in Science and Engineering : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / / edited by Tomáš Kozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník, Martin Čermák |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 197 p. 72 illus.) |
| Disciplina | 004.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Software engineering Artificial intelligence Dynamics Nonlinear theories Mathematics—Data processing Mathematics of Computing Software Engineering Artificial Intelligence Applied Dynamical Systems Computational Mathematics and Numerical Analysis |
| ISBN | 3-319-40361-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Large scale lattice Boltzmann simulation for the coupling of free and porous media flow -- CHRONO: An open source multi-physics dynamics engine -- Parallel computing in multi-scale analysis of coupled heat and moisture transport in masonry structures -- An Equation Error Approach for the Identification of Elastic Parameters in Beams and Plates with $H_1$ Regularization -- A comparison of preconditioning methods for saddle point problems with an application for porous media flow problems -- Efficient Implementation of Total FETI Solver for Graphic Processing Units using Schur Complement -- Solving contact mechanics problems with PERMON -- Many Core Acceleration of the Boundary Element Method -- Parallel implementation of collaborative filtering technique for denoising of CT images -- On Modeling of Bodies with Holes -- Analysis of model error for a continuum-fracture model of porous media flow -- Probabilistic Time-Dependent Travel Time Computation using Monte Carlo Simulation -- Model of the Belousov-Zhabotinsky reaction -- Parameter identification problem based on FRAP images: From data processing to optimal design of photobleaching experiments. |
| Record Nr. | UNINA-9910483561003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scalable Algorithms for Contact Problems / / by Zdeněk Dostál, Tomáš Kozubek, Marie Sadowská, Vít Vondrák
| Scalable Algorithms for Contact Problems / / by Zdeněk Dostál, Tomáš Kozubek, Marie Sadowská, Vít Vondrák |
| Autore | Dostál Zdeněk |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (341 pages) : illustrations |
| Disciplina | 620.105 |
| Collana | Advances in Mechanics and Mathematics |
| Soggetto topico |
Computer mathematics
Applied mathematics Engineering mathematics Computer science—Mathematics Computational Mathematics and Numerical Analysis Mathematical and Computational Engineering Mathematics of Computing |
| ISBN | 1-4939-6834-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Contact Problems and their Solution -- Part I. Basic Concepts -- 2. Linear Algebra -- 3. Optimization -- 4. Analysis -- Part II. Optimal QP and QCQP Algorithms -- 5. Conjugate Gradients -- 6. Gradient Projection for Separable Convex Sets -- 7. MPGP for Separable QCQP -- 8. MPRGP for Bound Constrained QP -- 9. Solvers for Separable and Equality QP/QCQP Problems -- Part III. Scalable Algorithms for Contact Problems -- 10. TFETI for Scalar Problems -- 11. Frictionless Contact Problems -- 12. Contact Problems with Friction -- 13. Transient Contact Problems -- 14. TBETI -- 15. Mortars -- 16. Preconditioning and Scaling -- Part IV. Other Applications and Parallel Implementation -- 17. Contact with Plasticity -- 18. Contact Shape Optimization -- 19. Massively Parallel Implementation -- Index. |
| Record Nr. | UNINA-9910162852003321 |
Dostál Zdeněk
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||