Personal information

Other IDs

Scopus Author ID: 34770654300

Activities

Collapse all

Employment (2)

VSB - Technical University of Ostrava: Ostrava, CZ

Employment
Source: check_circle
VŠB - Technická univerzita Ostrava

Vysoká škola báňská - Technická univerzita Ostrava: Ostrava, CZ

2004-09-01 to present | Assoc. Prof. (Department of Applied Mathematics)
Employment
Source: Self-asserted source
David Horák

Works (50 of 52)

Items per page:
Page 1 of 2

Non-Monotone Projected Gradient Method in Linear Elasticity Contact Problems with Given Friction

Sustainability
2020-10-19 | Journal article
DOI: 10.3390/su12208674
Contributors: Lukáš Pospíšil; Martin Čermák; David Horák; Jakub Kružík
Source: check_circle
Crossref

Comparison of selected FETI coarse space projector implementation strategies

Parallel Computing
2020-05 | Journal article
DOI: 10.1016/j.parco.2020.102608
Contributors: Jakub Kruzik; David Horak; Vaclav Hapla; Martin Cermak
Source: check_circle
Crossref

Steps to increase practical applicability of PragTic software

Advances in Engineering Software
2019 | Journal article
DOI: 10.1016/j.advengsoft.2018.06.009
EID:

2-s2.0-85057053101
Contributors: Tomčala, J.; Papuga, J.; Horák, D.; Hapla, V.; Pecha, M.; Čermák, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Investigating convergence of linear SVM implemented in PermonSVM employing MPRGP algorithm

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
DOI: 10.1007/978-3-319-97136-0_9
EID:

2-s2.0-85050502411
Contributors: Kružík, J.; Pecha, M.; Hapla, V.; Horák, D.; Čermák, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Notes on the preliminary results of a linear two-class classifier in the PERMON toolbox

AIP Conference Proceedings
2018 | Conference paper
DOI: 10.1063/1.5043965
EID:

2-s2.0-85049939523
Contributors: Pecha, M.; Hapla, V.; Horák, D.; Cermák, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

The fatigue damage software parallelization

AIP Conference Proceedings
2018 | Conference paper
DOI: 10.1063/1.5043966
EID:

2-s2.0-85049988753
Contributors: Tomčala, J.; Cermák, M.; Pecha, M.; Horák, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

The impact of enabling multiple subdomains per MPI process in the TFETI domain decomposition method

Applied Mathematics and Computation
2018 | Journal article
DOI: 10.1016/j.amc.2017.07.031
EID:

2-s2.0-85026417381
Contributors: Sojka, R.; Horák, D.; Hapla, V.; Čermák, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

A note on massively parallel implementation of feti for the solution of contact problems

Advances in Electrical and Electronic Engineering
2017 | Journal article
DOI: 10.15598/aeee.v15i2.2321
EID:

2-s2.0-85025651332
Contributors: Horak, D.; Hapla, V.; Kruzik, J.; Sojka, R.; Cermak, M.; Tomcala, J.; Pecha, M.; Dostal, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Advanced approach of material region detections on fibre-reinforced concrete CT-scans

Advances in Electrical and Electronic Engineering
2017 | Journal article
DOI: 10.15598/aeee.v15i2.2319
EID:

2-s2.0-85025604384
Contributors: Pecha, M.; Cermak, M.; Hapla, V.; Horak, D.; Tomcala, J.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Efficient lifetime estimation techniques for general multiaxial loading

AIP Conference Proceedings
2017 | Conference paper
DOI: 10.1063/1.4992518
EID:

2-s2.0-85026664632
Contributors: Papuga, J.; Halama, R.; Fusek, M.; Rojíček, J.; Fojtík, F.; Horák, D.; Pecha, M.; Tomčala, J.; Čermák, M.; Hapla, V. et al.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Energy consumption optimization of the total-FETI solver by changing the CPU frequency

AIP Conference Proceedings
2017 | Conference paper
DOI: 10.1063/1.4992511
EID:

2-s2.0-85026665480
Contributors: Horak, D.; Riha, L.; Sojka, R.; Kruzik, J.; Beseda, M.; Cermak, M.; Schuchart, J.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Matlab parallel codes for 3D slope stability benchmarks

Proceedings of the 14th International Conference on Computational Plasticity - Fundamentals and Applications, COMPLAS 2017
2017 | Conference paper
EID:

2-s2.0-85045293341
Contributors: Cermak, M.; Hapla, V.; Horak, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

On the efficient reconstruction of displacements in feti methods for contact problems

Advances in Electrical and Electronic Engineering
2017 | Journal article
DOI: 10.15598/aeee.v15i2.2322
EID:

2-s2.0-85025624923
Contributors: Horak, D.; Dostal, Z.; Sojka, R.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Projector-less TFETI for contact problems: Preliminary results

Civil-Comp Proceedings
2017 | Journal article
EID:

2-s2.0-85020383251
Contributors: Horak, D.; Dostal, Z.; Hapla, V.; Kruzik, J.; Sojka, R.; Cermak, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

The energy consumption optimization of the BLAS routines

AIP Conference Proceedings
2017 | Conference paper
DOI: 10.1063/1.4992522
EID:

2-s2.0-85026650012
Contributors: Sojka, R.; Riha, L.; Horak, D.; Kruzik, J.; Beseda, M.; Cermak, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

The READEX formalism for automatic tuning for energy efficiency

Computing
2017 | Journal article
DOI: 10.1007/s00607-016-0532-7
EID:

2-s2.0-85009205005
Contributors: Schuchart, J.; Gerndt, M.; Kjeldsberg, P.G.; Lysaght, M.; Horák, D.; Říha, L.; Gocht, A.; Sourouri, M.; Kumaraswamy, M.; Chowdhury, A. et al.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Wavelet based deflation of conjugate gradient method

Civil-Comp Proceedings
2017 | Journal article
EID:

2-s2.0-85020439669
Contributors: Kruzik, J.; Horak, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Energy consumption optimization of the Total-FETI solver and BLAS routines by changing the CPU frequency

2016 International Conference on High Performance Computing and Simulation, HPCS 2016
2016 | Conference paper
DOI: 10.1109/HPCSim.2016.7568453
EID:

2-s2.0-84991665786
Contributors: Horak, D.; Riha, L.; Sojka, R.; Kruzik, J.; Beseda, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Implementation of the efficient communication layer for the highly parallel total FETI and hybrid total FETI solvers

Parallel Computing
2016 | Journal article
DOI: 10.1016/j.parco.2016.05.002
EID:

2-s2.0-84973649739
Contributors: Říha, L.; Brzobohatý, T.; Markopoulos, A.; Jarošová, M.; Kozubek, T.; Horák, D.; Hapla, V.
Source: Self-asserted source
David Horák via Scopus - Elsevier

PERMON software toolbox as solver of contact problems in mechanics

AIP Conference Proceedings
2016 | Conference paper
DOI: 10.1063/1.4952135
EID:

2-s2.0-84984576849
Contributors: Cermak, M.; Hapla, V.; Horak, D.; Pospisil, L.; Vasatova, A.; Markopoulos, A.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Solving contact mechanics problems with PERMON

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
DOI: 10.1007/978-3-319-40361-8_7
EID:

2-s2.0-84976611645
Contributors: Hapla, V.; Horak, D.; Pospisil, L.; Cermak, M.; Vasatova, A.; Sojka, R.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Active-Set based quadratic programming algorithm for solving inner optimization problems with inequalities in granular dynamics simulations

Proceedings of the 4th International Conference on Particle-Based Methods - Fundamentals and Applications, PARTICLES 2015
2015 | Conference paper
EID:

2-s2.0-84960384364
Contributors: Pospíšil, L.; Dostál, Z.; Horak, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Massively parallel solution of elasticity contact problems using the PERMON toolbox

Civil-Comp Proceedings
2015 | Journal article
EID:

2-s2.0-84971641426
Contributors: Hapla, V.; Horak, D.; Markopoulos, A.; Cermak, M.; Pospisil, L.; Vasatova, A.; Sojka, R.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Total-FETI domain decomposition method for solution of elasto-plastic problems

Advances in Engineering Software
2015 | Journal article
DOI: 10.1016/j.advengsoft.2014.12.011
EID:

2-s2.0-84925431233
Contributors: Čermák, M.; Hapla, V.; Horák, D.; Merta, M.; Markopoulos, A.
Source: Self-asserted source
David Horák via Scopus - Elsevier

FLLOP: A massively parallel solver combining FETI domain decomposition method and quadratic programming

Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014
2014 | Conference paper
DOI: 10.1109/HPCC.2014.56
EID:

2-s2.0-84968659848
Contributors: Hapla, V.; Cermak, M.; Markopoulos, A.; Horak, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

On R-linear convergence of semi-monotonic inexact augmented Lagrangians for bound and equality constrained quadratic programming problems with application

Computers and Mathematics with Applications
2014 | Journal article
DOI: 10.1016/j.camwa.2013.11.009
EID:

2-s2.0-84892588431
Contributors: Dostál, Z.; Brzobohatý, T.; Horák, D.; Kozubek, T.; Vodstrčil, P.
Source: Self-asserted source
David Horák via Scopus - Elsevier

On R-linear convergence of semi-monotonic inexact augmented Lagrangians for saddle point problems

Computational Optimization and Applications
2014 | Journal article
DOI: 10.1007/s10589-013-9611-2
EID:

2-s2.0-84898911161
Contributors: Dostál, Z.; Horák, D.; Vodstrčil, P.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Parallel implementation of total-FETI DDM with application to medical image registration

Lecture Notes in Computational Science and Engineering
2014 | Book
DOI: 10.1007/978-3-319-05789-7_89
EID:

2-s2.0-84937073975
Contributors: Merta, M.; Vašatová, A.; Hapla, V.; Horák, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Total FETI domain decomposition method and its massively parallel implementation

Advances in Engineering Software
2013 | Journal article
DOI: 10.1016/j.advengsoft.2013.04.001
EID:

2-s2.0-84878353120
Contributors: Kozubek, T.; Vondrák, V.; Menšík, M.; Horák, D.; Dostál, Z.; Hapla, V.; Kabelíková, P.; Čermák, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Use of direct solvers in TFETI massively parallel implementation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-36803-5_14
EID:

2-s2.0-84874212003
Contributors: Hapla, V.; Horák, D.; Merta, M.
Source: Self-asserted source
David Horák via Scopus - Elsevier

TFETI coarse problem massively parallel implementation

ECCOMAS 2012 - European Congress on Computational Methods in Applied Sciences and Engineering, e-Book Full Papers
2012 | Conference paper
EID:

2-s2.0-84871629726
Contributors: Horák, D.; Hapla, V.
Source: Self-asserted source
David Horák via Scopus - Elsevier

TFETI coarse space projectors parallelization strategies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-31464-3_16
EID:

2-s2.0-84865209750
Contributors: Hapla, V.; Horak, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Parallelization of the total-FETI-1 algorithm for contact problems using PETSc

Civil-Comp Proceedings
2011 | Journal article
EID:

2-s2.0-84894209954
Contributors: Horák, D.; Dostál, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

The OOSol scalable library based on a domain decomposition method

Civil-Comp Proceedings
2011 | Journal article
EID:

2-s2.0-84894142042
Contributors: Horák, D.; Kabelíková, P.; Merta, M.; Vondrák, V.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Contact corner preconditioning of the FETI-DP

Proceedings of the 7th International Conference on Engineering Computational Technology
2010 | Conference paper
EID:

2-s2.0-84858394474
Contributors: Horák, D.; Dostál, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Parallel domain decomposition solvers for contact shape optimization problems

Proceedings of the 7th International Conference on Engineering Computational Technology
2010 | Conference paper
EID:

2-s2.0-84858419824
Contributors: Vondrak, V.; Kozubek, T.; Dostal, Z.; Kabelikova, P.; Horak, D.; Markopoulos, A.
Source: Self-asserted source
David Horák via Scopus - Elsevier

A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface

Journal of Computational and Applied Mathematics
2009 | Journal article
DOI: 10.1016/j.cam.2009.04.017
EID:

2-s2.0-67949091105
Contributors: Dostál, Z.; Horák, D.; Stefanica, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Improving convergence of scalable FETI-DP for contact problems

Proceedings of the 12th International Conference on Civil, Structural and Environmental Engineering Computing
2009 | Conference paper
EID:

2-s2.0-84858380749
Contributors: Horák, D.; Dostál, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

FETI-DP for variational inequalities with corners on the contact interface

Proceedings of the 6th International Conference on Engineering Computational Technology
2008 | Conference paper
EID:

2-s2.0-84858382896
Contributors: Horák, D.; Dostál, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Scalable FETI algorithms for frictionless contact problems

Lecture Notes in Computational Science and Engineering
2008 | Book
DOI: 10.1007/978-3-540-75199-1_30
EID:

2-s2.0-77955709340
Contributors: Dostál, Z.; Vondrák, V.; Horák, D.; Farhat, C.; Avery, P.
Source: Self-asserted source
David Horák via Scopus - Elsevier

A scalable FETI-DP algorithm for a semi-coercive variational inequality

Computer Methods in Applied Mechanics and Engineering
2007 | Journal article
DOI: 10.1016/j.cma.2006.03.025
EID:

2-s2.0-33751120136
Contributors: Dostál, Z.; Horák, D.; Stefanica, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

An Overview of Scalable FETI-DP Algorithms for Variational Inequalities

Lecture Notes in Computational Science and Engineering
2007 | Book
EID:

2-s2.0-84858422814
Contributors: Dostál, Z.; Horák, D.; Stefanica, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

FETI-based algorithms for modelling of fibrous composite materials with debonding

Mathematics and Computers in Simulation
2007 | Journal article
DOI: 10.1016/j.matcom.2007.01.026
EID:

2-s2.0-34848886051
Contributors: Dostál, Z.; Horák, D.; Vlach, O.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Theoretically supported scalable FETI for numerical solution of variational inequalities

SIAM Journal on Numerical Analysis
2007 | Journal article
DOI: 10.1137/050639454
EID:

2-s2.0-36048997560
Contributors: Dostál, Z.; Horák, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Description of seismic events using wavelet transfrom

International Journal of Wavelets, Multiresolution and Information Processing
2006 | Journal article
DOI: 10.1142/S0219691306001336
EID:

2-s2.0-33748972510
Contributors: Častová, N.; Horák, D.; Kaláb, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

The wavelet based analysis of seismic signals and not only of them

5th International Conference APLIMAT 2006
2006 | Conference paper
EID:

2-s2.0-84990935016
Contributors: Častová, N.; Horák, D.; Kaláb, Z.
Source: Self-asserted source
David Horák via Scopus - Elsevier

Total FETI - An easier implementable variant of the FETI method for numerical solution of elliptic PDE

Communications in Numerical Methods in Engineering
2006 | Journal article
DOI: 10.1002/cnm.881
EID:

2-s2.0-33845499690
Contributors: Dostál, Z.; Horák, D.; Kučera, R.
Source: Self-asserted source
David Horák via Scopus - Elsevier

A scalable FETI-DP algorithm for a coercive variational inequality

Applied Numerical Mathematics
2005 | Journal article
DOI: 10.1016/j.apnum.2004.09.009
EID:

2-s2.0-20444450872
Contributors: Dostál, Z.; Horák, D.; Stefanica, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier

FETI based algorithms for contact problems: Scalability, large displacements and 3D Coulomb friction

Computer Methods in Applied Mechanics and Engineering
2005 | Journal article
DOI: 10.1016/j.cma.2004.05.015
EID:

2-s2.0-10444253965
Contributors: Dostál, Z.; Horák, D.; Kučera, R.; Vondrák, V.; Haslinger, J.; Dobiáš, J.; Pták, S.
Source: Self-asserted source
David Horák via Scopus - Elsevier

On scalable algorithms for numerical solution of variational inequalities based on FETI and semi-monotonic augmented Lagrangians

Lecture Notes in Computational Science and Engineering
2005 | Book
EID:

2-s2.0-84880371186
Contributors: Dostál, Z.; Horák, D.
Source: Self-asserted source
David Horák via Scopus - Elsevier
Items per page:
Page 1 of 2

Peer review (1 review for 1 publication/grant)

Review activity for Computers & structures. (1)
How many people are using ORCID?