999 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Czech Academy of SciencesCZ67 papers
- Charles UniversityCZ39 papers
- Czech Technical University in PragueCZ33 papers
- Johannes Kepler University of LinzAT7 papers
- University of South Bohemia in České BudějoviceCZ6 papers
- University of WarwickGB6 papers
- V. N. Karazin Kharkiv National UniversityUA6 papers
- Federation UniversityAU5 papers
- Prague University of Economics and BusinessCZ5 papers
- Technical University of LiberecCZ5 papers
- Czech Academy of Sciences, Institute of ThermomechanicsCZ4 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE4 papers
181 papers
Your Retriever Already Knows: Distribution-Shape QPP for RAG Retrieval Sufficiency
Matyáš Veselý, Michal Průšek, Jiří Franc
Standard Retrieval-Augmented Generation (RAG) pipelines often provide no reliable inference-time signal of whether retrieval succeeded; on ambiguous or out-of-scope queries, genera…
Information Inequalities for Five Random Variables
E. P. Csirmaz, L. Csirmaz
The entropic region is formed by the collection of the Shannon entropies of all subvectors of finitely many jointly distributed discrete random variables. For four or more variable…
Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization
Marouan Handa, Marek Tyburec, Giovanni Fantuzzi +2
The Arrow Decomposition (AD) technique, initially introduced in [Mathematical Programming 190(1-2) (2021), pp 105-134], demonstrated superior scalability over the classical chordal…
Finite-strain constitutive model for shape memory alloys formulated in the logarithmic strain space
Alexej Moskovka, Martin Horák, Jan Valdman +4
This work presents a finite-strain version of an established three-dimensional constitutive model for polycrystalline shape memory alloys (SMA) that is able to account for the larg…
Surface-Polyconvex Models for Soft Elastic Solids
Martin Horák, Michal Šmejkal, Martin Kružík
Soft solids with surface energy exhibit complex mechanical behavior, necessitating advanced constitutive models to capture the interplay between bulk and surface mechanics. This in…
condition and regularity of the inverse
Anna Doležalová, Stanislav Hencl, Jani Onninen
Let be a Sobolev mapping of finite distortion between planar domains and , satisfying the condition and coinciding with a homeomorphism near $\p…
Towards active stiffness control in pattern-forming pneumatic metamaterials
Ondřej Faltus, Milan Jirásek, Martin Horák +4
Pattern-forming metamaterials feature microstructures specifically designed to change the material's macroscopic properties due to internal instabilities. These can be triggered ei…
Indiscernibles in monadically NIP theories
Samuel Braunfeld, Michael C. Laskowski
We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previou…
Integral Micromorphic Model Reproducing Dispersion in 1D Continuum
Michal Šmejkal, Milan Jirásek, Martin Horák
The paper develops a new integral micromorphic elastic continuum model, which can describe dispersion properties of band-gap metamaterials, i.e., metamaterials that inhibit propaga…
Curvature-dependent Eulerian interfaces in elastic solids
Katharina Brazda, Martin Kružík, Fabian Rupp +1
We propose a sharp-interface model for a hyperelastic material consisting of two phases. In this model, phase interfaces are treated in the deformed configuration, resulting in a f…
Occupation measure relaxations in variational problems: the role of convexity
Didier Henrion, Milan Korda, Martin Kružík +1
This work addresses the occupation measure relaxation of calculus of variations problems, which is an infinite-dimensional linear programming relaxation amenable to numerical appro…
Weaves, webs and flows
Nic Freeman, Jan Swart
We introduce weaves, which are random sets of non-crossing càdlàg paths that cover space-time . The Brownian web is one example of…
Blur Invariants for Image Recognition
Jan Flusser, Matej Lebl, Matteo Pedone +2
Blur is an image degradation that is difficult to remove. Invariants with respect to blur offer an alternative way of a~description and recognition of blurred images without any de…
Integral Micromorphic Model for Band Gap in 1D Continuum
Milan Jirásek, Martin Horák, Michal Šmejkal
The design of band-gap metamaterials, i.e., metamaterials with the capability to inhibit wave propagation of a specific frequency range, has numerous potential engineering applicat…
Global weight optimization of frame structures with polynomial programming
Marek Tyburec, Michal Kočvara, Martin Kružík
Weight optimization of frame structures with continuous cross-section parametrization is a challenging non-convex problem that has traditionally been solved by local optimization t…
Limit cycles for dynamic crawling locomotors with periodic prescribed shape
Paolo Gidoni, Alessandro Margheri, Carlota Rebelo
We study the asymptotic behaviour of a family of dynamic models of crawling locomotion, with the aim of characterizing a gait as a limit property. The locomotors, which might have…
Minimal Energy for Geometrically Nonlinear Elastic Inclusions in Two Dimensions
Ibrokhimbek Akramov, Hans Knüpfer, Martin Kružík +1
We are concerned with a variant of the isoperimetric problem, which in our setting arises in a geometrically nonlinear two-well problem in elasticity. More precisely, we investigat…
On bounded Wang tilings
Marek Tyburec, Jan Zeman
Wang tiles enable efficient pattern compression while avoiding the periodicity in tile distribution via programmable matching rules. However, most research in Wang tilings has cons…
Double Nonstationarity: Blind Extraction of Independent Nonstationary Vector/Component from Nonstationary Mixtures -- Algorithms
Zbyněk Koldovský, Václav Kautský, Petr Tichavský
In this article, nonstationary mixing and source models are combined for developing new fast and accurate algorithms for Independent Component or Vector Extraction (ICE/IVE), one o…
Nonlinear and Linearized Models in Thermoviscoelasticity
Rufat Badal, Manuel Friedrich, Martin Kružík
We consider a quasistatic nonlinear model in thermoviscoelasticity at a finite-strain setting in the Kelvin-Voigt rheology where both the elastic and viscous stress tensors comply…
A polyconvex transversely-isotropic invariant-based formulation for electro-mechanics: stability, minimisers and computational implementation
M. Horák, A. J. Gil, R. Ortigosa +1
The fabrication of evermore sophisticated miniaturised soft robotic components made up of Electro-Active Polymers (EAPs) is constantly demanding parallel development from the in-si…
Fast Computation of Hahn Polynomials for High Order Moments
Basheera M. Mahmmod, Sadiq H. Abdulhussain, Tomáš Suk +1
Discrete Hahn polynomials (DHPs) and their moments are considered to be one of the efficient orthogonal moments and they are applied in various scientific areas such as image proce…
Fully probabilistic design for knowledge fusion between Bayesian filters under uniform disturbances
Lenka Kuklišová Pavelková, Ladislav Jirsa, Anthony Quinn
This paper considers the problem of Bayesian transfer learning-based knowledge fusion between linear state-space processes driven by uniform state and observation noise processes.…
A reduced model for plates arising as low energy -limit in nonlinear magnetoelasticity
Marco Bresciani, Martin Kružík
We investigate the problem of dimension reduction for plates in nonlinear magnetoelasticity. The model features a mixed Eulerian-Lagrangian formulation, as magnetizations are defin…