In the realm of data quality management, integrating robust data quality rules into automated workflows and data pipelines is essential for maintaining data integrity. This thesis addresses the gap in programmatic accessibility ...

This thesis explores the topic of generating Czech lyrics to English cover songs. Songs are often adapted to different languages to make them more available to people who do not necessarily speak the language of the original ...

Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be ...

Effective path planning for long-distance flights is critically important when air streams significantly affect airship movement, as is the case for a ship or a zeppelin. Optimal con- trol can save travel time, fuel consumed ...

Resonance phenomena appear in various areas of physics. A case of shape resonance is associated with the scattering of particles on a potential barrier, through which particles pass due to tunneling effect. The energy ...