Notes, reports, papers, publications and other stuff that I have accumulated over the years ...

NDBI045 Notes (Vyhledávání ve videu, 🇨🇿, 2024)

lecturer: Jakub Lokoč
some parts are incomplete and unclear
lots of images
introduction to video formats, saving and distribution of multimedia, video compression
similarity search, global image descriptor, local image descriptors
detection of cuts in video
introduction to neural networks, multi-modal search, temporal query
interactive search, visualisation (this chapter is, in my opinion, very well written)

Ruskey-Savage Conjecture (Haskell, 🇬🇧, 2024)

final project for Non-procedural programming course
proposed in 1993, this conjecture states that every pairing in an n-dimensional hypercube graph can be extended to a Hamiltonian cycle
to prove the conjecture for a specific dimension, the program generates the hypercube, finds all possible matchings, and checks if they can be extended to Hamiltonian cycles