top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui