Fakulta aplikovaných věd
Permanent URI for this collection
Browse
Recent Submissions
Item SemSegSS(Západočeská univerzita v Plzni, 2026) Baloun, Josef; Prantl, Martin; Lenc, Ladislav; Martínek, Jiří; Král, PavelItem ChronSeg v 1.0: Dataset for Segmentation of Handwritten Historical Chronicles(Západočeská univerzita v Plzni, 2026) Baloun, Josef; Král, Pavel; Lenc, LadislavItem Nemytskii operators in Lebesgue spaces(Západočeská univerzita v Plzni, 2026) Girg, Petr; Nečesal, Petr; Dvořák, Martin; Psutka, JakubThe library contains computer-verified Lean 4 code for advanced work with Nemytskii operators in Lebesgue spaces. As illustrative applications of the main theorems, nonlinear integral functionals have been chosen. Moreover, wherever general theorems are difficult to understand, they are explicitly supplemented with important special cases (typically for Euclidean spaces). The principal contribution of the library is to make available mathematical results that have been formally verified down to the level of the underlying axioms.Item SfePy: Homogenization of large deforming hyperelastic heterogeneous structures(Západočeská univerzita v Plzni, 2026) Lukeš, Vladimír; Rohan, EduardItem YouTube-ASL Clip Keypoint Dataset(Západočeská univerzita v Plzni, 2025) Železný, Tomáš; Hrúz, Marek; Straka, Jakub; Gueuwou, ShesterItem Supported data for manuscript "Thermally-induced microstructural evolution in nanoparticle-based CuO, WO3 and CuO-WO3 thin films for hydrogen gas sensing"(University of West Bohemia, 2025) Shaji, Kalyani; Haviar, Stanislav; Zeman, Petr; Procházka, Michal; Čerstvý, Radomír; Kumar, Nirmal; Čapek, JiříItem Dataset for publication "Self-formation of dual-phase nanocomposite Zr–Cu–N coatings based on nanocrystalline ZrN and glassy ZrCu“(University of West Bohemia, 2024) Zeman, Petr; Haviar, Stanislav; Houška, Jiří; Thakur, Deepika; Bondarev, Andrey; Červená, Michaela; Medlín, Rostislav; Čerstvý, Radomír