Czech Technical University Digital Library

Provides online access to these documents

  • CTU Publishing Activity (E-materials)
  • CTU Publishing Activity
  • CTU Theses


Electronic materials issued by CTU are organized by following types


CTU publishing activity is centralized for easier access and available in the collection


CTU theses are available in particular organizational units, furthermore divided by theses type (bachelor's, master's, doctoral)

Recently Added

  • SAT-Based Techniques for Lexicographically Smallest Finite Models 

    Author: Janota M.; Chow Ch.; Araujo J.; Codish M.; Vojtěchovský P.
    (AAAI Press, 2024)
    This paper proposes SAT-based techniques to calculate a specific normal form of a given finite mathematical structure (model). The normal form is obtained by permuting the domain elements so that the representation of the ...

  • First Experiments with Neural cvc5 

    Author: Piepenbrock J.; Janota M.; Urban J.; Jakubův J.
    (EasyChair Publications, 2024)
    The cvc5 solver is today one of the strongest systems for solving first order problems with theories but also without them. In this work we equip its enumeration-based instan tiation with a neural network that guides the ...

  • CO2 capture in pilot-scale unit using solid adsorbent in biomass fluidised bed boiler flue gas 

    Author: Dvořák, Michael; Hrdlička, Jan; Pilař, Lukáš; Skopec, Pavel; Burda, Jiří
    (České vysoké učení technické v PrazeCzech Technical University in Prague, 2024)
    The search for methods to capture carbon dioxide (CO2) emissions from solid fuel combustion processes has led to the development and subsequent testing of alternative innovative CO2 capture technologies. Vacuum Pressure ...

  • Anchor test and long-term monitoring of grouted anchors instrumented with Fiber Bragg Grating sensing technology 

    Author: Runcziková, Daniela; Záleský, Jan; Záleský, Marek; Koller, Jakub; Šašek, Ladislav
    (České vysoké učení technické v PrazeCzech Technical University in Prague, 2024)
    Geotechnical monitoring of anchors provides fundamental data for analysis and evaluation to ensure safe environment. The use of optic fiber sensing technology, especially Fiber Bragg Gratings, brings many advantages of ...

  • Design and analysis of spatially symmetric multi-dimensional delayed resonators (submitted draft) 

    Author: Michiels W.; Vyhlídal T.; Kraus K.; Šika Z.
    (IEEE, 2024)
    The contribution of the paper is three-fold. First, a novel, spatially symmetric two-dimensional vibration absorber is proposed. Structural conditions are given for unified frequencies and damping ratios, which lead to a ...

View more