David Horák

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 15

Top Topics

Decomposition Method

Quadratic Programming

Energy Efficiency

Top Venues

Adv. Eng. Softw.

Comput. Math. Appl.

Publications

Petr Vodstrcil, Dalibor Lukás, Zdenek Dostál, Marie Sadowská, David Horák, Oldrich Vlach, Jirí Bouchala, Jakub Kruzík
On favorable bounds on the spectrum of discretized Steklov-Poincaré operator and applications to domain decomposition methods in 2D. Comput. Math. Appl. 167 (2024)
Jan Stebel, Jakub Kruzík, David Horák, Jan Brezina, Michal Béres
On the parallel solution of hydro-mechanical problems with fracture networks and contact conditions. CoRR (2023)
Zdenek Dostál, David Horák, Jakub Kruzík, Tomás Brzobohatý, Oldrich Vlach
Highly scalable hybrid domain decomposition method for the solution of huge scalar variational inequalities. Numer. Algorithms 91 (2) (2022)
Zdenek Dostál, David Horák, Tomás Brzobohatý, Petr Vodstrcil
Bounds on the spectra of Schur complements of large H-TFETI-DP clusters for 2D Laplacian. Numer. Linear Algebra Appl. 28 (2) (2021)
Owe Axelsson, Zhao-Zheng Liang, Jakub Kruzik, David Horák
Inner product free iterative solution and elimination methods for linear systems of a three-by-three block matrix form. J. Comput. Appl. Math. 383 (2021)
Jakub Kruzik, David Horák, Vaclav Hapla, Martin Cermák
Comparison of selected FETI coarse space projector implementation strategies. Parallel Comput. 93 (2020)
Serena Crisci, Jakub Kruzík, Marek Pecha, David Horák
Comparison of active-set and gradient projection-based algorithms for box-constrained quadratic programming. Soft Comput. 24 (23) (2020)
Jakub Kruzík, David Horák, Martin Cermák, Lukás Pospísil, Marek Pecha
Active set expansion strategies in MPRGP algorithm. Adv. Eng. Softw. 149 (2020)
Jakub Kruzik, David Horák, Martin Cermák, Lukás Pospísil, Marek Pecha
Active set expansion strategies in MPRGP algorithm. CoRR (2020)
Jirí Tomcala, Jan Papuga, David Horák, Václav Hapla, Marek Pecha, Martin Cermák
Steps to increase practical applicability of PragTic software. Adv. Eng. Softw. 129 (2019)
Radim Sojka, David Horák, Vaclav Hapla, Martin Cermák
The impact of enabling multiple subdomains per MPI process in the TFETI domain decomposition method. Appl. Math. Comput. 319 (2018)
Joseph Schuchart, Michael Gerndt, Per Gunnar Kjeldsberg, Michael Lysaght, David Horák, Lubomír Ríha, Andreas Gocht, Mohammed Sourouri, Madhura Kumaraswamy, Anamika Chowdhury, Magnus Jahre, Kai Diethelm, Othman Bouizi, Umbreen Sabir Mian, Jakub Kruzík, Radim Sojka, Martin Beseda, Venkatesh Kannan, Zakaria Bendifallah, Daniel Hackenberg, Wolfgang E. Nagel
The READEX formalism for automatic tuning for energy efficiency. Computing 99 (8) (2017)
Jakub Kruzík, Marek Pecha, Václav Hapla, David Horák, Martin Cermák
Investigating Convergence of Linear SVM Implemented in PermonSVM Employing MPRGP Algorithm. HPCSE (2017)
Lubomír Ríha, Tomás Brzobohatý, Alexandros Markopoulos, Marta Jarosová, Tomás Kozubek, David Horák, Vaclav Hapla
Implementation of the efficient communication layer for the highly parallel total FETI and hybrid total FETI solvers. Parallel Comput. 57 (2016)
David Horák, Lubomír Ríha, Radim Sojka, Jakub Kruzik, Martin Beseda
Energy consumption optimization of the Total-FETI solver and BLAS routines by changing the CPU frequency. HPCS (2016)
Vaclav Hapla, David Horák, Lukás Pospísil, Martin Cermák, Alena Vasatová, Radim Sojka
Solving Contact Mechanics Problems with PERMON. HPCSE (2015)
Martin Cermák, Vaclav Hapla, David Horák, Michal Merta, Alexandros Markopoulos
Total-FETI domain decomposition method for solution of elasto-plastic problems. Adv. Eng. Softw. 84 (2015)
Zdenek Dostál, David Horák, Petr Vodstrcil
On R-linear convergence of semi-monotonic inexact augmented Lagrangians for saddle point problems. Comput. Optim. Appl. 58 (1) (2014)
Zdenek Dostál, Tomás Brzobohatý, David Horák, Tomás Kozubek, Petr Vodstrcil
On R-linear convergence of semi-monotonic inexact augmented Lagrangians for bound and equality constrained quadratic programming problems with application. Comput. Math. Appl. 67 (3) (2014)
Vaclav Hapla, Martin Cermák, Alexandros Markopoulos, David Horák
FLLOP: A Massively Parallel Solver Combining FETI Domain Decomposition Method and Quadratic Programming. HPCC/CSS/ICESS (2014)
Tomás Kozubek, Vít Vondrák, Martin Mensík, David Horák, Zdenek Dostál, Vaclav Hapla, Pavla Kabelíková, Martin Cermák
Total FETI domain decomposition method and its massively parallel implementation. Adv. Eng. Softw. 60 (2013)
Vaclav Hapla, David Horák, Michal Merta
Use of Direct Solvers in TFETI Massively Parallel Implementation. PARA (2012)
Vaclav Hapla, David Horák
TFETI Coarse Space Projectors Parallelization Strategies. PPAM (1) (2011)
Zdenek Dostál, David Horák, Dan Stefanica
A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface. J. Comput. Appl. Math. 231 (2) (2009)
Zdenek Dostál, David Horák, Oldrich Vlach
FETI-based algorithms for modelling of fibrous composite materials with debonding. Math. Comput. Simul. 76 (1-3) (2007)
Zdenek Dostál, David Horák
Theoretically Supported Scalable FETI for Numerical Solution of Variational Inequalities. SIAM J. Numer. Anal. 45 (2) (2007)
Nina Castová, David Horák, Zdenek Kaláb
Description of Seismic Events Using Wavelet Transform. Int. J. Wavelets Multiresolution Inf. Process. 4 (3) (2006)
Zdenek Dostál, David Horák
Scalable FETI with optimal dual penalty for a variational inequality. Numer. Linear Algebra Appl. 11 (5-6) (2004)
Zdenek Dostál, David Horák
Scalability and FETI based algorithm for large discretized variational inequalities. Math. Comput. Simul. 61 (3-6) (2003)