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š |
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 | ||
|
Mathematical and Engineering Methods in Computer Science [[electronic resource] ] : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XI, 159 p. 50 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Algorithms Management information systems Computer science Economic theory Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Economic Theory/Quantitative Economics/Mathematical Methods |
ISBN | 3-319-14896-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic -- Today’s Challenges for Embedded ASR -- Automating Software Analysis at Large Scale -- 3D Model-Based Segmentation of 3D Biomedical Images -- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions Synthesis on Intel Xeon Phi Coprocessor -- Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition -- Mapping Problems to Skills Combining Expert Opinion and Student Data -- Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes -- Context-Switch-Directed Verification in DIVINE -- A New Concept in Advice Complexity of Job Shop Scheduling. |
Record Nr. | UNISA-996211262103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical and Engineering Methods in Computer Science : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XI, 159 p. 50 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Algorithms Management information systems Computer science Economic theory Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Economic Theory/Quantitative Economics/Mathematical Methods |
ISBN | 3-319-14896-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic -- Today’s Challenges for Embedded ASR -- Automating Software Analysis at Large Scale -- 3D Model-Based Segmentation of 3D Biomedical Images -- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions Synthesis on Intel Xeon Phi Coprocessor -- Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition -- Mapping Problems to Skills Combining Expert Opinion and Student Data -- Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes -- Context-Switch-Directed Verification in DIVINE -- A New Concept in Advice Complexity of Job Shop Scheduling. |
Record Nr. | UNINA-9910483639803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|